Objective: To develop a sensitive, specific and simple method for detection of extremely low numbers of T. pallidum in clinical specimens, as a significant addition to the serologic tests for syphilis diagnosis. Metho...Objective: To develop a sensitive, specific and simple method for detection of extremely low numbers of T. pallidum in clinical specimens, as a significant addition to the serologic tests for syphilis diagnosis. Methods: Double-tube nested PCR(DN-PCR) and single-tube nested PCR(SN-PCR) assays were performed to amplify specific fragments of the DNA poly-merase I gene(polA) of T. pallidum. Sensitivity and specificity of the two PCR assays were tested. Eighty-six whole blood specimens from persons with suspected syphilis were detected by the two nested PCR methods. The TPPA test was used as a comparison for detecting syphilis in sera from corresponding patients. Results: Only specific amplicons could be obtained during amplification of the T. pallidum polA gene and the detection limit was approximately 1 organism when analyzed on gel by the two PCR methods. Of 86 clinical specimens, 62 were positive by TPPA. Of these, 54 and 51 were positive by the DN-PCR and SN-PCR, respectively, which does not represent a statistically significant difference between the two PCR tests. Of 24 TPPA-negative specimens, 5 were positive by both DN-PCR assay and SN-PCR assay. Conclusion: The SN- polA PCR method is extremely sensitive, specific and easy to perform for detecting low numbers of T. pallidum in clinical blood specimens as a complementary to serology for syphilis diagnosis.展开更多
In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
文摘Objective: To develop a sensitive, specific and simple method for detection of extremely low numbers of T. pallidum in clinical specimens, as a significant addition to the serologic tests for syphilis diagnosis. Methods: Double-tube nested PCR(DN-PCR) and single-tube nested PCR(SN-PCR) assays were performed to amplify specific fragments of the DNA poly-merase I gene(polA) of T. pallidum. Sensitivity and specificity of the two PCR assays were tested. Eighty-six whole blood specimens from persons with suspected syphilis were detected by the two nested PCR methods. The TPPA test was used as a comparison for detecting syphilis in sera from corresponding patients. Results: Only specific amplicons could be obtained during amplification of the T. pallidum polA gene and the detection limit was approximately 1 organism when analyzed on gel by the two PCR methods. Of 86 clinical specimens, 62 were positive by TPPA. Of these, 54 and 51 were positive by the DN-PCR and SN-PCR, respectively, which does not represent a statistically significant difference between the two PCR tests. Of 24 TPPA-negative specimens, 5 were positive by both DN-PCR assay and SN-PCR assay. Conclusion: The SN- polA PCR method is extremely sensitive, specific and easy to perform for detecting low numbers of T. pallidum in clinical blood specimens as a complementary to serology for syphilis diagnosis.
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
