基于内容的月球影像检索并行框架设计

基于内容的月球影像检索面向月球探测计划获取的大量遥感数据,根据影像视觉内容,提供一种方便而高效的检索方式。为提高其检索效率,在对基于内容的月球影像检索过程进行分析的基础上,运用Petri网完成过程建模与并行化分析。提出一种基于内容的月球影像检索并行框架,并据此部署实验系统,将嫦娥月球影像等实际数据集投入其中进行检索实验。结果表明,基于内容的月球影像检索并行框架能够有效提升查询检索效率。     

防空旅指挥自动化系统Petri网决策组织结构

结合实战,在给出基本决策单元结构模型的基础上,依据战术原则建立了防空旅决策组织结构的Petri网表示模型,在决策单元的结构模型中信息处理分为四级:态势评估级(SA)、信息融合级(IF)、资源分配级(RA)、响应选择级(RS).就决策中同级决策组织结构分三种形式(集中式、分布式和混合式)进行了建模,并对三种形式进行了利弊分析,为防空旅C4ISR系统中决策组织结构的设计和分析提供了依据.     

飞机系统安全性指标的Petri Net分配方法

为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Net建模方法,选取后者建立静态逻辑变迁和动态逻辑变迁的Petri Net指标分配模型。在此基础上,提出考虑严酷等级的系统安全性指标分配方法,经过算例分析,构建Petri Net层次系统故障模型进行指标分配。结果表明,分配值均在相应安全性指标内,该方法能够克服动态故障树法不直观、等分配法分配过于粗糙等缺陷,为飞机安全性设计与评估提供参考。     

基于CPN的TDRS操作规划建模与仿真

以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数据接收任务与发送任务的操作规划模型和返向链路数据接收任务与发送任务的操作规划模型,有效地描述了TDRS的动态行为特性。最后,通过仿真实验得到了TDRS操作规划方案,验证了所建模型的有效性。与PDDL模型比较分析表明:所建模型可以有效引入TDRS的领域知识,能够有效提高求解效率。所建模型可以为TDRS操作规划方案的制定提供理论参考。     

基于DoDAF的预警卫星系统作战体系结构建模

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。首先分析了Do DAF作战体系结构产品的内容和相互关系,提出了作战体系结构具体的设计步骤。依据预警卫星系统的作战流程,建立了部分作战体系结构模型,从不同侧面描述了预警卫星系统节点及节点间的信息关系。最后,对模型进行了语法和语义一致性验证,结果表明,建立的模型是正确的。     

模糊Petri网在故障诊断知识表示和推理中的应用

针对传统的模糊产生式规则知识表示复杂、推理效率低、单一阈值设定不能满足复杂故障诊断需求的问题,给出了模糊产生式规则转换为模糊Petri网的一般方法和故障诊断模型,以及基于双阈值设定的两级故障诊断推理算法,并将其应用于某型柴油机遥控系统故障诊断之中。通过设置双阈值提高了故障诊断的推理速度和推理效率,同时又能对系统的准故障状态进行检测,及时发现潜在故障,排除故障隐患。     

对象Petri网在反导防空体系建模中的应用

反导防空体系包含的对象多、作战过程复杂。Petri网模型综合了数据流、控制流和状态转移,能方便地描述系统的分布、并发、同步、异步、冲突等特性,既能表示系统的静态功能和结构,又能表现其执行、交互等动态行为。基于对象Petri网的建模仿真环境,采用面向过程和面向对象建模相结合的方法,能够很好地满足对反导防空体系的建模、仿真以及体系结构分析。     

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。     

基于Petri网的潜艇CGF鱼雷攻击行为建模

为了实现潜艇对舰鱼雷攻击过程的计算机仿真,基于Petri网理论研究了潜艇鱼雷攻击过程的行为建模问题.在对潜艇鱼雷攻击过程的准离散化分析与构建了鱼雷攻击过程Petri网结构的基础上,将Petri网的变迁和潜艇鱼雷攻击过程的战术规则相关联,并提出了解决变迁冲突的方法,建立了基于Petri网行为模型.这种运用Petri网特有的可视化和以动态方式描述了潜艇鱼雷攻击过程的方法,有着坚实的数学基础,为进一步研究潜艇CGF鱼雷攻击自治行为规划打下了理论基础.     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。