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

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

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

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

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

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

离散事件系统监控理论及其在航天领域的应用研究

在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域.     

卫星有效载荷的规划与调度

卫星有效载荷的规划与调度要求是指卫星根据自身资源情况合理安排各个载荷的工作状态,在满足各种资源约束的条件下实现资源的优化配置.有效载荷的规划与调度可以归结为典型的资源受限的规划与调度问题.本文以对地观测卫星的有效载荷系统为例,分析了卫星的资源特点和载荷的工作特性,在此基础上提出了一种有效载荷规划与调度的方法.仿真实例表明了算法的可行性.     

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

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

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

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

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

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

基于Petri网的分布式编队小卫星星间通信仿真平台研究

针对编队小卫星星间通信的要求,提出基于Petri网的分布式编队小卫星星 间通信系统仿真平台。首先对编队小卫星星间通信系统进行TTDPN(T\|Timed Discrete Pe tri Net,TTDPN)建模,并建立该模型与分布式仿真平台间的映射。根据该映射关系设计编 队小卫星星间通信仿真平台的逻辑结构和数据流,搭建分布式编队小卫星星间通信系统仿真 平台。联合空间环境、姿态和轨道等分系统,重点对星间通信系统中信道编译码模块和扩频 解扩模块中的关键技术进行仿真验证。仿真结果表明：基于Petri网的分布式编队小卫星星 间通信系统仿真平台能够显著缩短仿真时间,提高仿真精度和仿真结果的置信度,提高通信 系统中模块的设计效率。
     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

CAPP系统中特征造型描述法的应用

本文结合专为哈尔滨制氧机厂开发的实用型CAPP系统，对CAPP系统的研制进行了探索性的研究，该系统以Windows作为开发平台，在基于零件特征造型建模的基础上，运用面向对象编程技术完成了一个交互式信息输入子系统，实现了回转体零件CAPP系统的信息输入，这里主要介绍零件特征信息模型的建立与特征信息的数据结构。     

由PETRI网模型求系统最小割集的自顶向下法

研究了系统逻辑关系的Ｐｅｔｒｉ网表示，基于Ｐｅｔｒｉ网的建模方法，采用Ｐｅｔｒｉ网模型求系统最小割集的自顶向下法，与故障树方法相比，这种方法可同时获得系统的最小割集和最小路集，且求解的效率高，实例分析证实了这一点。     

星载实时微内核操作系统的CPU调度

现代小卫星的重要特点之一是要实现卫星的自主运行。作为其控制核心的星载自主计算机操作系统的性能至关重要。当今 操作系统的发展趋势是采用微内核体系结构。它具有微型化，模块化，可移植性可扩充性等优点。ＣＰＵ调度是影响操作系统性能的关键因素。当前的微内核操作系统基本上只提供几种简单的调度策略，如ＦＩＦＯ，循环反馈等。这些都难以满足卫星系统在特定的时间内对外界作出响应的实时要求。为此，本文设计了一个新的ＣＰ     

磁悬浮飞轮位移传感器谐波扰动的主动抑制

针对磁悬浮飞轮转子位移传感器谐波噪声引起的多频扰动问题,提出了一种基于级联相移陷波器的全转速自适应控制方法。首先根据多频扰动特性,构造分级的自适应相移陷波器,每级陷波器对应一个陷波频率;然后,将陷波器级联,分别设置相角补偿矩阵解决闭环控制回路在全转速范围内的稳定性问题。最后,以五自由度磁悬浮飞轮为实验对象进行实验验证,实验结果表明,所提出算法能够在全转速范围内有效地抑制谐波扰动。     

基于PETRI网的导弹控制系统故障诊断梯形图求解法

故障诊断是保证航空航天等大型复杂系统可靠性的重要措施，故障树为此提供了一种有效的方法，但故障树是一种系统静态行为的描述方法，如何描述系统状态的动态变迁过程成为人们追求的目标，本文在论述逻辑关系的PETRI网表示的基础上，提出了系统状态动态变迁过程的PETRI网模型梯形图求解算法，进而提出了基于PERTI网的故障诊断的梯形图求解方法，并用一实例说明了这一过程。     

基于机械泵控制的毛细分离式喷雾冷却回路热控系统仿真分析

文章分析用于空间环境下的毛细分离式喷雾冷却回路热控系统原理,通过节点网络法建立该热控系统4节点热网络模型;运用数值仿真方法,以机械泵为控制对象,对该系统分别采用PID控制和模糊增量控制方案的热控效果进行对比。结果表明,模糊增量控制与PID控制相比,超调量较小且达到稳态时间短,具有良好的控制鲁棒性。