基于对象Petri网的雷达组网系统建模仿真研究

建立了复杂环境下雷达网的OPDL模型，并以雷达网分布式目标检测分析为背景，运用所建立的雷达网OPDL模型进行了仿真实验。研究表明，基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。     

网络中心战下的雷达自组网技术

现有雷达组网从数据的角度实现雷达的组网,并没有实现雷达网络的组网。文中提出的雷达自组网机制实现了雷达网络的真正组网。在这种机制中,雷达可以自发地与其他相邻雷达进行通信,协同完成数据融合等功能,并能自主地寻找转发路径,将有效数据返回到指挥中心。通过对两种组网机制的定量分析,雷达自组网在数据冗余和通信距离方面具有一定的优势。     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

水面舰艇光电干扰系统建模与仿真

介绍了基于HLA平台的水面舰艇光电干扰仿真系统的组成、主要模型及工作流程,对其中的反舰导弹运动模型和红外场景三维模型进行了详细描述,并对仿真结果进行了分析。文中建立的仿真系统可用于舰艇光电干扰演练和性能评估。     

面向对象Petri网建模技术与应用

面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点.     

基于对象Petri网的远程虚拟实验过程模型

针对远程虚拟实验设计中存在的缺乏统一的系统模型的问题，本文提出了一种虚拟实验过程模型，介绍了这个模型的基本结构，给出了形式化定义，并利用对象Petri网(Object Petri Nets，OPN)对这个模型进行了描述。     

潜艇网络中心战电子信息支撑系统

未来战争将是以网络中心战为代表的高科技信息化战争，潜艇为了在网络中心战中发挥应有的作用，必需大力发展电子信息支撑系统。介绍了几种适用于潜艇网络中心战的电子信息支撑系统，并给出了适用策略。     

基于复杂网络和UML的舰艇编队分布式网络化反导建模

以分布式网络化反导作战为切入点,分析舰艇编队分布式网络化反导的作战特性,依据复杂网络相关理论建立静态模型,依据统一建模语言（Unifiedmodelinglanguage,UML）建立动态模型。静态模型可明确显示参战单元的整体状态,为进一步动态建模提供支撑;动态模型分析了舰艇编队分布式网络化反导的整个作战流程及系统内各单元的动作关联情况。经研究,建立的静态和动态模型能够体现编队反导的特性,符合协同作战的要求,为进一步的定量和定性研究打下基础。     

基于多层模糊Petri网的编队空战战术决策

对于编队空战战术决策这一个动态的不确定性决策问题,FPN是一种快速、适用、直观的方法,但存在不能适应知识库的扩展和更新,以及不能利用结构化方法对知识库进行建模的问题.为此,根据编队空战战术决策过程,利用抽象库所和抽象变迁来提高模型对复杂知识的表示能力,建立基于HFPN的编队空战战术决策模型.以典型的“二对一”空战战术为...     

反潜直升机舰艇编队尾后截击潜艇建模

高航速、低噪声的先进核动力潜艇使得水面舰艇编队尾后方向的潜艇威胁越来越大,因而需对此类威胁的应对策略展开研究。针对水面舰艇编队尾后拦截潜艇作战问题,在分析敌潜艇追击阵位与鱼雷攻击阵位的基础上,综合反潜直升机巡航速度、留空时间等因素,建立了反潜直升机尾后拦截阵长度、拦截阵设置阵位、拦截阵有效工作时间的计算模型,并对编队尾后截击区域、声纳浮标拦截阵的设置进行了分析。最后仿真分析了尾追潜艇航速、拦截扇面、拦截阵阵位、拦截阵工作时间等因素影响下的拦截潜艇模型。结果表明:敌潜艇航速的提高,将使拦截阵的长度大幅增加;反潜直升机留空时间制约了拦截阵的阵位与有效工作时间。     

基于Petri网的食用菌工厂控制系统研究

摘 要： 现代化食用菌工厂规模不断扩大,PLC控制系统也日趋复杂,传统的经验法设计PLC控制系统出错率增加,检错不易。因此,对系统进行建模和分析具有非常重要的意义。文章利用Petri网的图形性质和对并发事件的建模能力,以食用菌工厂出菇房的PLC控制系统为对象,进行建模、分析,包括新风机,排风机,加湿器,内风机,压缩机,抑制机等关键设备的控制运行,从而简便、直观地构建PLC控制系统的模型并编制程序,可以保证系统可靠、高效地运行。     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

基于有色Petri网的动态资源模型

针对移动计算环境下的动态资源描述问题,提出了基于有色Petri网的动态资源模型——DRM-CPN模型.该模型首先按照一定的映射规则将物理网络映射到几何拓扑空间中,构造出空间结点图.随后,给图赋予一定的资源语义及语义约束.进而,在资源语义及语义约束的基础上构造出物理网络的形式化动态资源描述模型.最后,为了验证模型的有效性,采用CPN进行了仿真验证.实验表明,该模型合理、有效地描述了移动计算环境下的动态资源的变迁情形.     

基于Petri网的作业网络模型的正确性研究

文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，并用Petri网的可达图来检验作业网络模型的正确性。     

基于FPGA的有色Petri网仿真系统设计

为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.     

含有非马尔可夫过程的排队Petri网模型和性能分析

本文提出了一种新的高级性能模型技术,称作NM-QPN(含有非马尔可夫过程的排队Petri网,Queuing Petri Net including Non-Markovian processes),它综合了排队网,随机Petri网以及模拟求解各自的特点.NM-QPN以模拟模型为总体框架,发挥排队网和随机Petri网各自的优势对系统进行建模.提出了一套完整的NM-QPN模型求解方案,通过流等价方法将模型中的马尔可夫过程进行化简,这样可以大大减少模型的状态,最后再用模拟求解方法求解剩下的非马尔可夫过程.     

基于改进人工免疫算法的模糊Petri网参数优化

提出了一种基于改进人工免疫算法的模糊Petri网参数优化算法。首先,对模糊Petri网和产生式规则进行了定义和描述,然后,设计了抗体编码方式、亲和度评估函数和模拟退火免疫选择算子,以实现对经典人工免疫算法的改进,并定义了基于此改进人工免疫算法对参数进行优化的具体算法。仿真实验表明,文中方法能较为准确地实现参数优化,得到的优化结果与期望值具有较小的均方误差,且与其他方法相比,具有较快的全局收敛速度和较强的全局寻优能力,具有很强的通用性。     

基于模糊Petri网的信任评估

针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。