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 Yong Cao
Total Records ( 4 ) for Yong Cao
  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.
  Yong Cao
  Software testing can find errors, but can not find them absent. Because program verification can provide this guarantee, it has arguably been one of the most fertile application areas of formal methods and becomes more and more important in software development. Proving the correctness of a program entails showing that if the program is initiated from a machine state satisfying a certain precondition then the state on termination satisfies some desired post-condition. The emphasis was put on formal verification in program proving previous. If we can algebraize program proving, the correctness proving can be mechanized and automated easily and the efficiency of proving can be also improved greatly. Wu’s method has been shown to improve efficiencies in mechanical geometry theorem proving, where it can replace the well-known Grobner basis method. It seems to have promise to bring the powerful mathematical machinery to settle the program total correctness problem. This study applies Wu’s characteristic set method and mathematical induction to proving the total correctness of recursive program. Our method is based on the algebraic theory of polynomial set, 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 proving tool Isabelle, our method is more efficient through experiments and greatly improves the efficiency of proving especially in polynomial program. In this way, an algebraic approach based on mathematics mechanization is introduced to software verification. A new idea for program correctness proving is proposed in this study.
  Xiang-Dong Liu , An-Jing Xiang , Ming-Di Fang , Yong Cao , Zhen-Fang Wu and Shu-Hong Zhao
  Mx proteins, as interferon-induced GTPases had been shown to have antiviral activity in different species. Recently, it has been recognized that an 11 bp-deletion in coding region of porcine Mx1 gene can lead to a special Mx1 protein isoform, which is lacking antiviral activity to influenza in vitro. This Mx1 11 bp-deletion polymorphism is a potential gene marker in pig breeding for disease resistance in future but there is no report on its relationship with economic traits in pig. It’s interesting to know, whether it associates with the economic QTLs or traits in commercial pigs, as well as its distribution in different breeds. In this pilot study, the pig Mx1 gene was found within three QTL regions which were related with fiber percentage, average daily gain and average backfat thickness. Seven economic traits of pure Landrace and Yorkshire were used to analyze the association with the Mx1 11 bp-deletion polymorphism. These traits include body length, body height, lean meat percentage, correction backfat thickness, average daily gain from birth to 100 kg, average daily gain from 30-100 kg and age to 100 kg. The results showed no statistical significant associations between the Mx1 11 bp-deletion allele and the seven porcine economic traits in the tested pure Landrace and Yorkshire population. We also detected the allele frequencies of the Mx1 11 bp-deletion in seven different porcine breeds and estimate its population homogeneity between breeds. However, more research is still necessary before this gene marker is utilized in porcine breeding.
 
 
 
Copyright   |   Desclaimer   |    Privacy Policy   |   Browsers   |   Accessibility