基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri"网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法.     

基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法。     

基于改进OOPN的系统工作模式分析方法

针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Obiect Oriented Petri Net)的系统工作模式分析方法.该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法.最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考.     

基于扩展时间Petri网的软件潜在分析

针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术.首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态.仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题.     

基于Petri网的网络化制造过程建模

文章简述了Petri网的基本概念;着重论述了运用Petri网建立制造过程模型的自底向上的方法和模型性能的分析方法;在此基础上,建立了某企业联盟网络化制造过程的Petri网模型,并对其中零件1的生产加工子过程进行了模型性能分析,如可达性、活性、有界性、安全性等。     

模糊神经Petri网及在武器装备效能评估中应用

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型。将模糊逻辑规则应用到专家评判中得到模糊Petri网,并在此基础上将人工神经网络引入到模糊Petri中,从而提高了系统的学习能力以及对外界环境的自适应能力。仿真结果表明该模型是可行和有效的。     

模糊Petri网在航天发射系统故障诊断中的应用研究

航天发射系统结构复杂,各分系统相互耦合,且故障传播模式多样化,故障特征和故障模式之间存在着模糊关系.因此,本文提出利用模糊Petri网对航天发射系统进行故障诊断,并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法.反向推理用于故障诊断,以选择检测路径,有效地找到发生某一故障的原因及其传播路径;正向推理用于计算该故障发生的真实度.文中以某运载火箭控制系统漏电故障诊断为例,说明了该模型直观、表达能力强的优点,同时表明了算法的适用性和有效性.     

导航卫星的随机着色Petri网可靠性模型

导航卫星是全球卫星导航系统的重要组成部分,是实现导航任务的关键。国内外目前关于Petri网的研究大都集中在广域随机Petri网(GSPN)方面,鲜有利用着色Petri网分析评估系统可靠性的研究。本文利用随机着色Petri网(SCPN)建立导航卫星可靠性模型,既能够描述导航卫星信息流变化的处理过程,又能够体现组成部件的可靠性影响,克服了传统可靠性模型不能反映卫星运行的动态行为特性的不足。模型用于导航卫星的可用性分析评估。文中使用GPS可靠性数据对模型算例进行分析评估,仿真结果与GPS性能分析报告可用性数据相符,证明了模型的正确性。     

基于计时Petri网的制造自动化系统的调度研究

采用基于计时Petri网(TPN)同启发式相结台的方法。研究制造自动化系统的调度问题。首先用计时Petri网描述系统的调度模型,然后给出采用计算机模拟TPN同调度所使用的数据结构，并给出实例以及运行结果。由于给出的是一个可行调度，系统潜在的死锁可避免。     

Petri网在机器人足球系统中的应用

足球机器人系统是一种典型的离散事件动态系统,很难用传统的数学模型表达式来表达。Petri网是一种系统描述和分析工具,由于它本身具有的某些优势,使得它在足球机器人系统中的应用越来越广。论文提出了应用Petri网对该系统建模的方法,利用该方法在对机器人足球比赛充分研究的基础上,建立了其Petri网模型,并通过适当的分析方法对其合理性进行了分析。该建模分析方法不仅适用于足球机器人系统,而且适用于其它离散事件动态系统。     

基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用

传统学习型Petri网(LPN)有2个缺陷:1)都是针对无回路PN模型,这不符合实际情况;2)大部分都是利用BP算法进行学习,带来BP算法固有的缺陷.针对这2个缺陷,提出基于克隆选择算法(CSA)的LPN(CSALPN).首先对系统进行PN建模,然后利用CSA训练PN,使得PN既可以学习先验知识又可以利用系统的结构信息...     

卫星自主故障诊断专家系统中知识库的设计

针对星栽计算机的计算资源和存储资源的特点,提出了一种卫星自主故障诊断专家系统中知识库的设计方案.该知识库采用故障Petri网模型表示知识,用库所表示部件或系统的状态,变迁表示故障的繁衍和传播.为了保证知识的一致与正确,还提出了知识库各种冗余规则的校验算法.采用C/C++语言和面向对象的方法实现了该知识库,实际测试表明,能够满足卫星自主故障诊断专家系统对知识库的需求.     

基于改进SSD算法的航拍目标检测算法研究

研究基于深度学习技术的无人机航拍图像目标检测算法，首先介绍目标检测算法SSD（Single Shot MultiBox Detector），并对其特征提取网络进行改进，采用稠密特征提取网络替换原网络的主干特征提取网络，提高算法的特征提取能力，从而提升了算法的检测精度。针对网络实时性问题，在算法中引入分组卷积，极大地减少了网络参数量，提升了网络推理速度。为解决训练中出现的正负样本不均衡问题，利用焦点损失（Focal Loss）改进了原算法的损失函数，进一步提升了网络的收敛速度和精度。最后，通过仿真验证了改进算法在目标检测精度上的优越性。     

基于DSPN的航天器系统级可测试性指标确定方法

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。     

用Petri网解决经典进程同步问题

Betri网是一种适于描述和分析异步并发系统的有力工具。进程间的同步与互斥是操作系统的关键问题。传统的进程同步互斥方法有：加锁机制、信号量机制和管程机制等。论文介绍了用Petri网描述操作系统中的同步互斥问题。     

卫星集群网络仿真建模与路由算法性能分析

卫星集群是一类基于星间协同工作的分布式卫星系统,具有空间结构灵活、数据共享、智能服务等特点。针对当前卫星集群网络仿真平台及其路由算法的研究的不足,基于网络仿真软件NS-3与卫星场景分析软件STK,设计了卫星集群生成模块,搭建了更准确、通用且可扩展的卫星集群网络仿真平台。通过同单一的STK卫星轨道数据对比,验证了仿真平台中卫星运动模块的有效性。对AODV(自组网按需距离矢量路由),DSDV(目标序列距离矢量路由)和OLSR(链路状态优化路由)算法应用在卫星集群网络中的性能进行了仿真。结果表明:OLSR算法在卫星集群网络中性能最优,其分簇和链路状态感知机制可为卫星集群网络路由算法的研究提供借鉴。     

潜在电路分析中的拓扑模式识别算法研究

在网络树拓扑识别理论的分析方法与算法基础上 ,推导出网络树特定的五种基本拓扑模式识别的工程算法 ,以解决计算机对电路网络树进行自动拓扑识别问题。     

弱全局信息下月面超远距离保通行性移动规划

针对月面超远距离移动规划任务因缺乏精确全局信息而导致的规划路径可通行性不足问题，提出了月面道路拓扑网的构建设想及相应路径规划技术，凭借复杂道路网络的连通能力确保巡视器超远距离规划路径的可通行性。首先进行月面道路拓扑网的设计方法研究，分别提出了基于滑动最优泊松采样算法的网络节点设计方法和基于均匀领邻网络拓扑模型网络结构设计方法，使月面道路网网络节点分布均匀、密度适中且覆盖完整，网络连接合理且各路径尽量远离障碍区域。然后进行基于月面道路拓扑网的超远距离移动规划研究，分析了基于月面道路拓扑网路径规划技术的概率完备性和整体可通行概率，并提出了基于月面道路拓扑网的K优路径规划方法，通过道路网的连通性来提高超远距离移动探测任务的整体可通行概率。最后以阿波罗两次登月任务的着陆点之间进行超远距离转移任务为仿真场景，验证了本方法的有效性。     

构建无线自组网仿真场景

计算机仿真是测试评估网络协议性能的基本技术，而无线自组网技术是一项新兴的热门无线网络技术。目前为止还没有文章对无线自组网计算机仿真技术进行综合介绍。因此，本文以构建易用合理的无线自组网仿真场景为目标，从仿真软件、仿真场景和移动模型这三个方面综合说明了构建无线自组网仿真场景的相关技术。本文对三种通用网络仿真软件NS-2，Glomosim和OPNET进行了分析比较，介绍了无线自组网研究中几种典型的仿真场景，最后介绍了常用的几个节点移动模型，分析了移动模型存在的问题及解决方法。本文对构建无线自组网仿真环境具有指导借鉴意义。     

基于可见光与红外卫星图像融合的舰船目标检测

为解决现有基于可见光卫星图像的舰船目标检测算法在云雾遮挡、海岸干扰等复杂场景下的错检和漏检问题，本文在YOLOv5网络基础上，通过空间特征与谱段特征的联合提取提高网络性能，提出了基于可见光与红外卫星图像融合的舰船目标检测算法VI-YOLOv5。实验结果表明:双模态融合目标检测算法性能优于单模态目标检测算法，在交并比阈值为0.5的情况下，可见光+红外融合网络的平均精度达0.976，相较于单可见光网络提高了2.5%，相较于单红外网络提高了8.9%，有效缓解了复杂场景下出现的错检和漏检问题，验证了可见光与红外卫星图像融合在舰船目标检测任务中的有效性。