基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

基于VPN的安全企业网实现探讨

VPN作为方便有效而又低成本地实现远程用户对企业网安全访问的有效技术在企业网的建设中有着广泛的应用.文章在对VPN基本技术特性介绍的基础上,讨论了企业网实现中对VPN的不同安全需求,针对性地提出了构建企业VPN的方法并给出了基于Windows2000的VPN解决方案.     

大型基础下含软弱夹层的层状砂土变形计算

基于饱和土的相关理论,推导了大型基础下层状地基的沉降计算模型.考虑不同的土性,根据修正剑桥模型和摩尔-库伦模型,推导了K_○0条件下且能够考虑其塑性变形的压缩模量.基于平面网格子域法结合分层总和法建立了一个完整的、更加贴近工程实际的大型基础下含软弱夹层的层状砂土地基沉降计算模型.研究结果表明:该模型的计算结果与模拟结果很贴近,且能够突出体现出软弱夹层的变形特性.研究结论可为含软弱夹层的大型基础地基沉降计算提供直接参考依据.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

铝合金双层网壳结构的抗震性能分析

以双层球面网壳为研究对象,分析了结构随参数变化的自振特性.采用Newmark积分法对其进行地震时程响应分析,研究了铝合金与钢双层网壳结构在竖向地震荷载作用下节点的位移响应及杆件的轴力响应.研究结果表明,铝合金双层网壳与钢双层网壳在结构相同情况下,其自振特性基本相同.而地震荷载引起的位移响应,铝合金双层网壳要略大于钢双层网壳,但铝合金双层网壳的杆件轴向应力远小于钢双层网壳的杆件轴向应力,因此用铝合金取代钢材是可行的.     

携人源TPA基因的慢病毒表达质粒的构建与鉴定

利用PCR扩增人源TPA基因,再用酶切-连接的方法将目的片段亚克隆入慢病毒表达质粒pL-PGK-eGFP中,最后用测序、酶切和在293细胞中瞬时表达的方法进行了鉴定.结果显示：含人源TPA基因的pL-PGK-TPA-eGFP慢病毒表达载体构建成功,为进一步利用转基因技术更加安全高效地生产TPA,治疗血栓类疾病打下基础.     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

四川省瓦屋山自然保护区小型兽类群落结构的初步研究

2004年 3-5月,作者用网格式取样捕捉法对瓦屋山自然保护区的小型兽类进行了调查,用最优分割法将区内小型兽类群落分为 5个群落.记录了小型兽类的组成、数量、量度及生境因子特征.根据调查计算小型兽类的密度、多样性、均匀度、优势度、相对重要值等群落特征参数.共记录小型兽类 22种,隶属 3目 8科,各群落的多样性指数为 1. 685, 1. 062, 1. 295, 0. 854, 0. 723.小型兽类丰富度喜好乔木多度 >40%、灌木盖度 >60%、干扰度 >500m,与坡向、坡度等则无明显关系.