基于Pr/T网的网格安全体系结构的分析

网格安全体系结构GSI保障了网格环境的安全认证和安全通信,它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现时过程比较复杂,一般的建模图只能描述它的主要过程和静态特征,难以分析其动态特性及细节。Pr/T网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统。利用Pr/T网的这些特性来描述和分析网格安全体系结构GSI中的任务提交与执行过程。

面向Artifact的业务过程模型

提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。

基于Petri网的MMS服务描述、验证及实现

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系结构的抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务——程序唤醒服务进行了描述、分析和验证，最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上实现了ＭＭＳ服务。

软件构架动态行为建模与检测

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模·提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述·最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果·提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础·

DNA双链断裂修复基因XRCC4多态性与肺癌易感性的关系

目的:探讨DNA双链断裂修复基因X-射线修复交叉互补4(X-ray repair cross-complementing 4, XRCC4)基因单核甘酸多态性(single nucleotide polymorphism, SNP)与肺癌发生风险的关系.方法:采用病例-对照研究的方法,应用聚合酶链反应-限制性片段长度多态性(polymerase chain reaction-restriction fragment length polymorphism, PCR-RFLP)技术和TaqMan探针基因分型技术对781例肺癌患者和781健康志愿者(作为对照)进行XRCC4 rs6869366、rs3734091和rs1056503多态性的检测;结合PCR和定点突变技术,分别构建含有XRCC4基因启动子rs6869366位点不同等位基因的重组质粒,以双荧光素酶报告系统检测SNP位点碱基突变对启动子活性的影响.结果:XRCC4 rs6869366位点携带G等位基因的基因型(T/G+G/G)可显著增加肺癌的患病风险[比值比(odds ratio, OR)=1.607, 95%可信区间(confidence interval,CI): 1.138~2.270];rs6869366与rs3734091存在连锁不平衡,携带由其构建的单体型GC或单体型对TC/GC者患肺癌的风险增加(OR=1.993,95%CI:1.194~3.329;OR=2.013,95%CI:1.174~3.452);含rs6869366不同等位基因的启动子转录活性差异无统计学意义.结论:XRCC4 rs6869366位点多态性与肺癌的易感性有关,其影响机制还需进一步研究.