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

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

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

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

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

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

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

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

自主机动飞网机器人动力学建模与网型保持方法

针对自主机动飞网机器人多系绳编织结构的动力学建模难题,首先提出利用无向图描述飞网机器人的结构,然后依据系绳杨氏模量极大的特点,设计间隙函数和约束反力,基于Hamilton原理建立飞网机器人数学模型,并设计一种基于Lemke算法和龙格库塔积分的解算方法;针对其网型保持问题,设计一种“双层优化伪动态逆内环+变结构控制外环”的控制方法。仿真结果表明,设计的控制器能够有效控制飞网机器人沿指令轨迹运动,并很好保持其网型,避免飞网机器人任务过程的变形和轨道径向移动。     

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

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

基于改进的动态故障树的惯导系统安全性分析

惯导系统的安全性是影响整个飞行器安全的重要因素.在利用动态故障树对惯导系统进行安全性分析时,针对马尔科夫链的组合爆炸和无法分析事件服从非指数分布系统的问题,引入了Monte - Carlo方法.提出了一种基于改进的最小割集的动态故障树分析方法,该方法通过改进最小割集的生成方法,确定相应的分析流程,综合了二元决策图、马尔...     

离散系统仿真

(一)离散(事件)系统在仿真研究中,离散(事件)系统是区别于连续系统的又一重要对象。在连续系统中所发生的变化主要是平滑变化,而在离散(事件)系统中所发生的变化主要却是断续变化。对离散系统的研究,主要是观测离散事件出现后,系统状态的变化。由于其动态过程一般都很长,事件产生又具有随机性,特别是系统状态变化的后果影响严重,所以几乎不能对     

基于UML的ERP系统中生产计划管理建模研究

论文主要针对离散型中小制造企业ERP系统中的生产计划管理子系统进行建模研究。在面向对象软件开发中的需求分析、系统分析和系统设计的系统建模各阶段中,运用UML(统一建模语言)中的各种视图建立了一个适用于离散型中小制造业企业ERP系统中的生产计划管理子系统的模型。     

基于动态观测器的多故障诊断技术的应用研究

针对卫星这类复杂系统多故障诊断的难题,研究了一种基于动态观测器的多故障诊断方法.该方法通过改变动态观测器的结构,使之对某一故障具有鲁棒性,从而简化了设计一族观测器的复杂性.给出了动态观测器的设计方法和多故障诊断策略,并在某卫星姿控系统中进行了仿真应用.仿真结果表明,适用于复杂系统的多故障诊断与分离,并可实现诊断的实时性.