随机 Petri 网的瓶颈及其最大处理能力

介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,针对一类特殊结构的随机Ｐｅｔｒｉ网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。     

C~3I 系统中基于多目标决策理论的对空攻击任务分配决策问题研究

根据多目标决策理论,从系统的角度出发,提出了防御权系数问题,并在此基础上研究对空攻击任务的分配策略,给出了效度最大攻击任务分配策略和重点防护目标优先攻击任务分配策略,并引入攻击强度阀值概念,对这两种分配策略进行了改进,最后给出了具体算法。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

亚波长割线对结构的太赫兹共振特性

利用有限元方法模拟了以亚波长周期排列的金属割线对(cut-wire pair)结构在太赫兹频域的透射谱.以单色平面波正入射该结构,透射谱出现很强的共振峰,其线宽随着金属几何线宽增加而增加,且在频域上出现红移.通过理论建模和数值仿真相结合分析,证明了这种随金属线宽增加而增强变宽的共振峰是法布里-珀罗(Fabry-Péro...     

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

编队对地攻击作战效能评估指标体系

首先分析了作战效能的概念,给出了编队对地攻击作战效能的定义.然后针对编队对地攻击作战的特点,指出了编队作战效能评估指标选取应遵循的原则.并对当前编队作战效能评估指标体系进行了深入分析,指出其存在的不足,提出了编队对地攻击时间效能指标的概念.最后,建立了编队对地攻击总体作战效能的层次指标体系模型并对时效性指标进行了深入分...     

OCPN装备综合保障工作流引擎设计

针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。     

航空兵对地突防概率模型

航空兵对地突击作战中,某一道防线看成由多层梯次的子防线构成,作战飞机依次通过这些子防线完成对一道防线的突防.突防过程中,航空兵和地空导弹拦截区相邻两层构成不同子防线,高炮拦截区相邻两层构成同一子防线,基于此,建立了多道防线梯次防御的航空兵对地突击突防概率模型.通过案例计算分析,验证所建突防概率模型的可行性和正确性,针对...