基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

浅析新办本科院校助理班主任管理

选拔优秀的高年级学生担任助理班主任是高校在新形势下加强和改进大学生思想政治教育的有效探索与实践。阐述了新办本科院校选拔优秀高年级学生担任助理班主任的重要作用,介绍了高校助理班主任的基本概况,同时,就实施助理班主任制度过程中应注意的问题进行了分析和探讨,提出了相应的对策。     

基于EMD与坐标寻优的松脱件定位方法

针对目前松脱件定位方法普遍存在的定位误差大的问题,采用多传感器布局方案,提出一种基于经验模态分解（empirical mode decomposition,EMD）与坐标寻优的松脱件定位方法。EMD处理可分离信号不同振动波成分并提取信号主要本征模函数（intrinsic mode function,IMF）分量,使到达时间提取及波速计算更为准确;多传感器布局能有效降低定位偏差,通过制定传感器选取策略选择最优的传感器组合用于定位分析,实现定位的进一步优化。最后搭建平板试验台并与不同定位方法进行对比,结果显示本文方法定位精度最高,最小定位偏差在0.1 m左右。     

基于HLA的维修保障仿真保守时间推进算法研究

高层体系结构(HLA)中的保守时间推进机制是以并行离散事件仿真(PDES)的保守算法为基础,而考虑不全面的时间推进算法会导致死锁。在维修保障仿真中,维修单元成员常常由于不满足保守算法而引起整个仿真系统无法向前推进。针对具有确定维修任务完成时间的成员不遵循本地因果约束条件的情况下,提出了强制时间同步法;针对具有不定维修任务完成时间的成员违反可预测性的情况下,提出了空事件法和任务阶段法。最终,通过实例验证了算法的正确性和有效性。     

微小病毒TLMV的检测研究

目的 TLMV是一种新型与输血性肝炎相关的人类DNA病毒,检测中国慢性乙型肝炎患者体内是否存在TLMV感染.方法根据日本学者Shunji Mishiro提供的序列选择TLMV-CBD279和CBD231最保守区设计引物,用慢性乙型肝炎且TTV阳性患者血清制备DNA模板,进行PCR扩增;将阳性PCR产物连接至pGEM(r)T质粒,碱裂解法提取质粒DNA并纯化.以T7引物为起始全自动荧光测序仪测序.结果获得了162bp基因序列,该序列与日本株CBD231,CBD279同源性为72%.结论说明在中国慢性乙型肝炎患者体内存在TLMV感染.     

柴达木盆地小柴旦地区构造演化对烃源岩热演化的控制作用

柴达木盆地小柴旦地区是发育在元古界结晶基底上的中新生代叠合盆地,构造上具有南北分带的特征,形成6个典型的构造单元。中生代以来受燕山运动和喜山运动改造,形成两期区域不整合,不整合界面相互叠置,多期改造,且剥蚀作用涉及地层层系多、范围广。在主要不整合界面地层剥蚀量恢复基础上开展了骨干剖面构造演化研究,针对研究区具体情况采用针对性参数,系统开展了不同构造带中下侏罗统烃源岩埋藏史和热演化史分析。结果显示,不同构造带形成时期与四个演化阶段的沉降抬升幅度具有一定差异,构造演化的差异性也导致了中下侏罗统烃源岩在地质历史时期埋藏过程的差异性。区内烃源岩热演化可总结为山前推覆深埋型、持续埋深成熟型、抬升成熟型和抬升低熟型等四种类型。不同构造带烃源岩热演化的差异性也导致了研究区目前的油气发现主要集中于山前带及其周缘,但凹陷内也具备低熟油形成的条件。     

碳纤维加固钢筋混凝土梁的受弯全过程分析

为了研究碳纤维加固梁体的机理,探讨二次受力对加固效果的影响,应用弹性力学理论,分析粘贴碳纤维加固钢筋混凝土梁前后的受弯全过程,提出了梁体开裂荷载和极限荷载承栽力计算公式,并将计算结果与试验结果进行了比较.结果表明:梁体加固时二次受力是不可忽视的,但在提高梁体承载能力时可不考虑二次受力的影响;理论计算结果与试验结果吻合程度较好,其研究成果可供工程加固设计时参考.     

多阶段任务系统任务持续能力仿真模型研究

多阶段任务系统(PMS)是一种典型的复杂系统,它包括多个在时间上连续且无相互重叠的阶段任务,执行作战与使用任务的武器装备多数属于这种复杂系统。分析了PMS及任务可靠度、可信度和任务效能等任务持续能力评价参数。结合实际装备系统大都属于可用马尔可夫过程进行描述的可修复系统的特点,为简化模型复杂程度提出了一些合理的假设条件。在此基础上,结合多阶段任务系统自身特点,通过分析多阶段任务系统任务持续能力建模仿真步骤,多阶段任务系统任务效能仿真方法,建立了基于Petri网的多阶段任务系统任务效能多层仿真模型。最后结合常见的"靶场打靶"任务进行了实例验证,并对仿真结果进行了分析。     

吉林双阳梅花鹿成纤维细胞生长因子10的克隆和基因分析

根据多个物种的成纤维细胞生长因子10的序列,设计了特异的引物,从吉林双阳梅花鹿子宫cDNA库中得到了梅花鹿成纤维细胞生长因子10,并应用多种数据库和软件对其进行了分析．