利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

基于Petri网的指挥控制系统仿真

指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论.     

基于反射内存网的多飞行模拟器时间同步

飞行模拟器是一个复杂的分布式实时仿真系统,而多个飞行模拟器的联网则要求高精度的同步、更高的实时性.首先对单台飞行模拟器的网络结构、同步机制进行了描述,然后介绍了反射内存网的工作原理,并利用反射内存网作为同步信号的传输链路,对多飞行模拟器组网的同步进行了研究,同时对反射内存网和以太网结构并存的特点进行了分析.     

有色Petri网在车辆综电系统总线建模中的应用

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型.提出了系统的建模分析方法,运用CPN_Tools进行建模,得出了某型车辆总线的系统模型.实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性与可行性.     

战场网关键节点仿真与分析

针对作战中难以快速分析美空袭体系战场网重要作战节点,对战场网作战要素进行了分类,提出战场网关键节点的评价指标,并利用社会网分析的网络分析手段,对美典型空袭体系作战要素及信息流转进行了仿真计算。结果表明,利用度数中心度等社会网分析指标,可以迅速识别战场网的关键节点和链路,为未来的网电作战寻求作战目标排序提供了新的方法。     

采用贪婪启发式的异构WSNs部分覆盖算法

异构无线传感网络(Wireless Sensor Networks,WSNs)的多数监测应用要求监测区域被部分覆盖。因此,对异构WSNs的部分覆盖问题进行研究。提出基于贪婪启发式的部分覆盖算法(Greedy Heuristic-based Partial Coverage,GHPC)。先对异构WSNs的部分覆盖问题进行定义和形式化表述,再利用贪婪启发式算法求解。GHPC算法选择具有最大覆盖贡献的节点加入覆盖集,进而满足覆盖要求。仿真数据表明,与同类算法相比,提出的GHPC算法能够在满足覆盖要求的同时,降低活动节点数。     

基于NB-IoT的仓储管理系统设计及其HTCPN建模

NB-IoT技术具有广覆盖、大连接、低功耗、低成本等特点,能够同时满足室内和室外定位需求,且具有随遇接入和安全架构等方面的优势,更适用于现代仓储管理。提出了一种基于NB-IoT的仓储管理系统,给出了该系统的总体架构及功能和组成,描述了该系统的信息感知过程和以出库为代表的业务流程,并利用HTCPN方法进行建模仿真;新方案在网络状态不好、检验时出现信息不一致等情况下均具有比较明显的任务完成时间优势,有效提升了仓储管理效率。     

基于时序超网的作战体系效能指标动态测量方法

由于作战体系具有整体涌现性、动态演化性以及能力相对性等复杂系统特征,传统树状指标体系与加权求和的静态评估方法已不再适用。提出一种基于时序超网的作战体系效能指标动态测量方法。以复杂网络理论为基础,利用网络模型特征参数对部分作战体系效能指标进行映射;采用超网络与时序网络相结合的方式,构建作战体系时序超网模型;通过分析体系超网络中各层网络的特点,分类选取网络特征参数。基于兵棋推演数据对作战体系中交战网的特征参数进行了动态测量,验证了方法的有效性。     

基于Petri网的复杂作战任务弹药需求量仿真模型

在对复杂作战任务进行分析的基础上,以任务成功性要求为目标,讨论了弹药需求量仿真的模型框架,并应用Petri网技术及其软件ExSpect建模环境,分别建立了各子任务和复杂任务的弹药需求量的仿真模型.最后通过应用实例验证了模型的可行性,为适应高技术战争要求,确定作战任务中的弹药需求量及其在各级军事单位中的配备,从而为提高整个弹药保障工作效率提供了有利依据.