基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

航空自组网中面向容错的中继节点速度控制

由于飞机节点的通信距离有限,航空自组网的网络拓扑高动态的变化会导致频繁的网络分割并严重影响网络上层应用的正常运行。为了保证飞机节点之间端到端的连通性不受影响,航空自组网必须具备容错性,即任意一个节点或链路失效后网络仍然连通。通常情况下飞机节点的运动不可控,因此可在网络中加入一定数量的中继节点,通过控制中继节点的运动速度来实现并维持航空自组网的容错性。提出了一种在线中继节点速度控制方法,该方法根据网络当前状态计算出中继节点的最佳运动方式,在保证网络容错的前提下使得中继节点在网络运行时间内所运动的总路程最短。仿真结果表明该中继节点速度控制方法在航空自组网的容错控制方面具有潜在的应用前景。     

基于赋色Petri网的反辐射导弹对雷达毁伤效率评估建模

针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征量,采用反演特征分析方法,构建雷达毁伤效率大数据分析模型,并结合大数据参数融合和特征分析结果,求解反辐射导弹对雷达毁伤效率评估模型,将输出的评估信息传输至Web界面,实现反辐射导弹对雷达毁伤效率自动化评估。测试结果表明,采用该方法进行反辐射导弹对雷达毁伤效率评估建模的可靠性较高,评估效能较好。     

水下传感网基于节点权重的地理位置路由

水下传感网络采用声波进行通信,具有长时延、高错误率和低能耗要求等技术挑战。为此,提出基于节点权重的地理位置路由（weight of node-based routing,WNBR）。在WNBR路由中,当源节点需要转发数据包时,依据深度适度因子构建候选下一跳转发节点集,利用节点剩余能量、距离和链路质量信息计算下一跳转发节点集中每个节点的权重。最后,选择具有最大权重的节点作为源节点的下一跳转发节点。仿真结果表明,提出的WNBR路由能够有效均衡能耗,降低端到端时延,提高了数据包传递率。     

基于GSPN的编队网络化防空指挥流程研究

为了提高编队指挥员在信息化海战中的作战指挥效率和应变能力,利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的指挥流程时间性能分析的新方法,通过对模型进行分析与求解,得出了舰艇编队网络化防空作战指挥流程活动的准确作战周期,从而为指挥流程的优化提供有力的支撑,对评估系统效能水平也具有重要指导意义。     

基于有色Petri网的CAN总线仿真与性能分析

针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。     

基于Petri网的装备维修保障指挥过程建模与性能优化分析

Petri网是一种非形式化的建模方法,具有严格的定义和强大的数学分析能力,适合对同步、并发、资源共享的系统建模。利用Petri网对战术装备维修保障指挥过程进行建模,可以快速准确的描述保障指挥的流程,进而可对指挥过程进行分析,找出影响系统效率的环节加以改造和优化。本文通过对保障指挥过程的分析,建立了基于Petri网的维修保障指挥过程模型,并依据模型进行合理化简,根据假设的实例数据对比分析了现有和简化后的指挥过程的平均延迟时间,从而为战术装备维修保障指挥过程的优化提供依据。     

基于FPGA的硬件协议栈精简实现

数据传输过程中准确性与高速性是基本的指标。针对高速网络内数据传输量大的应用需求,文章利用硬件描述语言,将TCP/IP中与UDP相关的协议栈按需精简后移植入FPGA中,通过UDP协议在硬件平台中开发网络数据传输的应用以切合大数据量的需求。在保证准确性的前提下,网络数据传输速率达到千兆网的性能。该设计使协议栈模块硬件化,易于集成在具有网络数据传输需求的系统或设备中。     

信息化条件下后备力量建设应注重在三个方面下功夫

信息化条件下,后备力量建设必须注重在三个方面下功夫、见成效。构建立体网状的通信指挥体系。民兵预备役官兵是一支群众性武装组织,平时分散在各行各业,随着市场经济的深入发展,人员大流动、多流向,再加上目前缺乏有效的通信联络和指挥控制手段,兵员"找不着"、"联不上"的问题越来越突出,已成     

基于Petri网的综合电子系统总线建模与性能优化

针对综合电子系统运用中总线效率不高等问题,以某型步兵战车综合电子系统为例,通过对系统进行信息流规划,结合总线协议和实现机制,采用赋时颜色Petri网对综合电子信息系统通信机制进行建模,实现综合电子系统总线通信协议机制的仿真。通过对系统总线性能指标参数的分析,提出综合电子信息系统总线的优化方案。关键词：赋时颜色Petri网;综合电子系统;总线建模;性能优化