String matching algorithms play an important role in computer science. However, there is no uniform mathematical model to describe these algorithms. Thus, read-head-Skippable DFA (SDFA) is put forward, which is an ext...String matching algorithms play an important role in computer science. However, there is no uniform mathematical model to describe these algorithms. Thus, read-head-Skippable DFA (SDFA) is put forward, which is an extension of two-way DFA. It is proved that SDFA is equivalent to DFA. Furthermore, SDFA is a more natural mathematical model for string matching algorithms. After that, four types of the movement of the read head of string matching are analyzed and modeled by SDFA. Finally, the SDFA model of BMA string matching algorithms is given.展开更多
DNA fragmentation has been shown to be one of the causes of male infertility, particularly related to repeated abortions, and different methods have been developed to analyze it. In the present study, two commercial k...DNA fragmentation has been shown to be one of the causes of male infertility, particularly related to repeated abortions, and different methods have been developed to analyze it. In the present study, two commercial kits based on the SCD technique （Halosperm~ and SDFA） were evaluated by the use of the DNA fragmentation module of the ISAS vl CASA system. Seven semen samples from volunteers were analyzed. To compare the results between techniques, the Kruskal-Wallis test was used. Data were used for calculation of Principal Components （two PCs were obtained）, and subsequent subpopulations were identified using the Halo, Halo/Core Ratio, and PC data. Results from both kits were significantly different （P 〈 0.001）. In each case, four subpopulations were obtained, independently of the classification method used. The distribution of subpopulations differed depending on the kit used. From the PC data, a discriminant analysis matrix was obtained and a good a posterioriclassification was obtained （97.1% for Halosperm and 96.6% for SDFA）. The present results are the first approach on morphometric evaluation of DNA fragmentation from the SCD technique. This approach could be used for the future definition of a classification matrix surpassing the current subjective evaluation of this important sperm factor.展开更多
基金中国高科技研究与发展项目，the Defence Pre-research Project of the Tenth Five-Year Plan of China
文摘String matching algorithms play an important role in computer science. However, there is no uniform mathematical model to describe these algorithms. Thus, read-head-Skippable DFA (SDFA) is put forward, which is an extension of two-way DFA. It is proved that SDFA is equivalent to DFA. Furthermore, SDFA is a more natural mathematical model for string matching algorithms. After that, four types of the movement of the read head of string matching are analyzed and modeled by SDFA. Finally, the SDFA model of BMA string matching algorithms is given.
文摘DNA fragmentation has been shown to be one of the causes of male infertility, particularly related to repeated abortions, and different methods have been developed to analyze it. In the present study, two commercial kits based on the SCD technique （Halosperm~ and SDFA） were evaluated by the use of the DNA fragmentation module of the ISAS vl CASA system. Seven semen samples from volunteers were analyzed. To compare the results between techniques, the Kruskal-Wallis test was used. Data were used for calculation of Principal Components （two PCs were obtained）, and subsequent subpopulations were identified using the Halo, Halo/Core Ratio, and PC data. Results from both kits were significantly different （P 〈 0.001）. In each case, four subpopulations were obtained, independently of the classification method used. The distribution of subpopulations differed depending on the kit used. From the PC data, a discriminant analysis matrix was obtained and a good a posterioriclassification was obtained （97.1% for Halosperm and 96.6% for SDFA）. The present results are the first approach on morphometric evaluation of DNA fragmentation from the SCD technique. This approach could be used for the future definition of a classification matrix surpassing the current subjective evaluation of this important sperm factor.
