3篇
您的检索式：作者名="Weijiang HONG"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Evaluation of model checkers by verifying message passing programs显示文摘Benchmarks and evaluation are important for the development of techniques and tools. Studies regarding evaluation of model checkers by large-scale benchmarks are few. The lack of such studies is mainly because of the language difference of existing model checkers and the requirement of intensive labor in building models. In this study, we present a large-scale benchmark for evaluating model checkers whose inputs are concurrent models. The benchmark consists of 2318 models that are generated automatically from real-world message passing interface(MPI) programs. The complexities of the models have been inspected to be well distributed and suitable for evaluating model checkers. Based on the benchmark, we have evaluated five state-of-the-art model checkers, i.e., PAT, FDR, Spin, PRISM, and NuSMV, by verifying the deadlock freedom property. The evaluation results demonstrate the ability and performance difference of these model checkers in verifying message passing programs. | Weijiang HONG Zhenbang CHEN Hengbiao YU Ji WANG | 2019 | Science China(Information Sciences)2019，62，10： | 1 |
| 2 | Effect of sodium ozagrel on the activity of rat CYP2D6显示文摘 | Hong Wu Weijiang Yu Lijun Huang Jing Wang Xiaobo Tang Wei Yang Yan Liu Huiyan Yu Daling Zhu | 2007 | European Journal of Pharmacology2007，，1： | 1 |
| 3 | Correlation between single nucleotide polymorphisms of 17β-HSD-1 and endometrial adenocarcinoma显示文摘Objective: To investigate the correlation between 17-beta-hydroxysteroid dehydrogenase type1(17β-HSD-1) gene polymorphisms and risk of endometrial adenocarcino-ma.Methods: Forty-one patients with endometrial adenocarcinoma were selected as experimen-tal group and twenty-seven healthy women were selected as control group.The three common single nucleotide polymorphism of 17β-HSD-1 gene at sites + 1004,+ 1322 and + 1954 were detected by allele-specific PCR(ASA-PCR).The allele frequencies were analyzed by SPSS13.0 software between endometrial cancer cases and controls.Results: We observed no significant difference in various frequency distribution between experimental group and control group.P1004= 0.994,P1322 = 0.974,and P1954 = 0.981.Conclusion: We found that three common SNPs with the 17β-HSD-1 gene were not associated with endometrial adenocarcinoma.We suggest that more research for 17β-HSD needs to explore. | Qian Shao Zhang Hong Han Wenfei Jian Yan Fu Weijiang Yang Xingsheng | 2011 | 现代妇产科进展2011，20，8： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员