基于Petri网的入侵检测模型研究及应用

传统的安全策略在面对当前网络中层出不穷的攻击手段和入侵行为程度、规模不断加大的环境下,逐渐显露出其自身的局限性及实现过程中出现的漏洞.入侵检测以一种主动的,动态的防御技术出现,弥补了传统被动的,静态防御体系的不足,从而能够全面的实时监控网络,主机及应用程序的运行状态,发现并分析可疑事件,主动对计算机,网络系统内的入侵行为进行识别并作出响应,实现对内外部攻击及误操作的实时监测,构建动态的安全循环,最大程度上减少安全威胁,提高网络的安全性及应变能力.利用Petri网来描述入侵行为,并进行实例分析.     

基于时间Petri网的船舶并行设计过程建模及评价

论述了并行工程在船舶系统工程中的应用,简述了其原理,即通过增加设计小循环次数来减少设计大循环次数,从而减少设计的反复过程和缩短产品开发周期。重点细分了传统串行造船过程,构建了优化的并行设计过程,并对该过程建立基于时间Petri网的过程模型,通过计算设计循环时间。定量分析了并行设计的优越性,从而为船舶产品实施并行设计方法提供了可靠的理论依据。     

Modeling of combined Bayesian networks and cognitive framework for decision-making in C2

The command and control (C2) is a decision-making process based on human cognition, which contains operational, physical, and human characteristics, so it takes on uncertainty and complexity. As a decision support approach, Bayesian networks (BNs) provide a framework in which a decision is made by combining the experts’ knowledge and the specific data. In addition, an expert system represented by human cognitive framework is adopted to express the real-time decision-making process of the decision maker. The combination of the Bayesian decision support and human cognitive framework in the C2 of a specific application field is modeled and executed by colored Petri nets (CPNs), and the consequences of execution manifest such combination can perfectly present the decision-making process in C2.       

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

基于Petri网的某型导弹单发任务完成概率仿真

任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率。使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿真模型,并计算其任务完成概率,最后通过应用实例验证模型的可行性。     

装备作战单元需求量仿真模型研究

装备作战单元是指作战单元中的武器系统及其相应的保障系统。文中采用基于Petri网原理的ExSpect仿真软件构建了装备作战单元需求量在基本任务下的仿真模型,在此基础上构建了复杂任务下装备作战单元需求量的仿真模型。最后通过实例验证模型的可行性。     

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架（TOGAF）业务架构作为数据架构、应用架构和技术架构的基准，在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性，存在无法对系统业务架构框架动态特征进行分析的问题，故提出一种基于ROAD业务架构的着色petri网（CPN）可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型（RM）、组织模型（OM）、活动模型（AM）和数据模型（DM），建立4类模型不同描述形式与CPN建模语言间的对应关系，进而提出以RM，OM，AM和DM为主体的可执行模型五阶段建模方法。最后，以幼儿园智能晨检机器人系统业务架构为例，验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成，打破了业务架构建模语言和CPN建模语言之间的限制。     

基于模糊Petri网的个性化运动方案智能生成

为了生成针对不同用户个体的个性化科学运动方案，一个基于模糊Petri网的个性化运动方案智能生成方法被提出。该方法遵循FITT（Frequency-Intensity-Time-Type）原则，依据大规模运动知识构造运动类型、运动时间、运动频率、运动强度模糊Petri网，结合个体的个性化信息，以矩阵运算形式进行智能推理。首先推理生成个性化运动类型，在此基础上进一步推理个性化的运动时间、频率和强度，然后基于个体意愿对不同运动类型的运动方案进行组合，最终形成一套完备且可操作性高的个性化运动方案。     

多感知通道融合虚拟实验的快速生成方法

针对传统虚拟实验存在的开发效率低、体验单一等问题，提出多感知通道融合虚拟实验的可视化快速生成方法。对虚拟实验的实验步骤、实验步骤序列进行定义。提出基于Petri网的实验元素参数化描述方法对实验步骤序列进行描述，突破传统虚拟实验一步步按既定程序走的约束，支持建立探究式虚拟实验。提出路由图的可视化表达方法及其与Petri网之间的转换方法，使用户能通过编辑路由图的方式实现实验的快速开发，融入了嗅觉与温感两个通道的反馈，使实现视、听、嗅、触多感知通道融合的虚拟实现成为可能。为验证所提出的方法，开发了相应的原型系统，并以铝热反应实验为例，介绍生成过程。结果表明：该可视化快速编辑方法对虚拟实验的编辑有效且可行。