Asian Science Citation Index is committed to provide an authoritative, trusted and significant information by the coverage of the most important and influential journals to meet the needs of the global scientific community.  
ASCI Database
308-Lasani Town,
Sargodha Road,
Faisalabad, Pakistan
Fax: +92-41-8815544
Contact Via Web
Suggest a Journal
 
Articles by Qing-Xin Zhu
Total Records ( 2 ) for Qing-Xin Zhu
  Yong Cao and Qing-Xin Zhu
  A forecasting method of software failure using fractals is proposed in this study. The empirical failure data (three data sets of Musa’s and one of NTDS) are used to demonstrate the performance of the reliability forecasting. Compared with other method, our method is very effective. It should be noticed that the analyses and research methods in this study are differ from the conventional methods in the past and a new idea for the research of the software failure mechanism is presented.
  Yong Cao and Qing-Xin Zhu
  Loop invariants are important parts in program verification and proof. Correspondingly, techniques for automatically checking and finding invariants have been studied for many years. In present study, an approach using Wu's characteristic set method for automatically finding polynomial invariants of imperative programs is presented. Present method is based on the algebraic theory of polynomial set over polynomial rings, which have wider application domain. We implement this method with the computer algebra tools MMP. The application of the method is demonstrated on a few examples. Compared with other polynomial algebraic approaches, our method is more efficient through experiments.
 
 
 
Copyright   |   Desclaimer   |    Privacy Policy   |   Browsers   |   Accessibility