基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

基于外包合同网的自治电磁探测卫星群任务规划

针对具有星间通信能力的自治电磁探测卫星群任务及载荷特点,建立了基于MAS (Multi\|Agent System)的电磁探测卫星群自主规划模型,提出了基于外包合同网的电磁探 测卫星群自主规划算法。根据模拟的数据进行仿真实验及分析,该方法能有效解决电磁 探测卫星群自主任务规划问题。
     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

某型无人机拦阻网回收系统设计

介绍了无人机拦阻网回收系统的组成和工作原理，论述了系统的网体设计、涡轮阻尼器设计以及拦阻过程计算等关键技术问题，并给出某型无人机拦阻回收系统的性能计算结果。本文的研究成果为某型无人机拦阻网回收系统的工程设计提供了理论依据，并已成功应用于某型无人机系统的研制。     

电视指令制导空地导弹垂直命中目标的末制导系统研究

根据人在回路的电视指令制导空地导弹的一般作战攻击过程，将其末制导归结为满足落角约束的目标跟踪问题，接着设计了一种考虑导弹驾驶仪动态因素和重力的影响，能垂直命中目标的末制导律，然后研究了将它应用于电视指令制导空地导弹的弹载设备需求和可行性，最后将其与某型电视指令制导空地导弹使用的末制导律进行了对比，检验了它的优良性能。     

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

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

新一代航天运输系统测发控技术发展的方向

随着信息技术的发展,运载火箭测发控系统的自动化程度大大提高,但技术的进步带来了要求的提高,使得测发控系统又显现出诸多不足.本文通过梳理当前测发控系统存在的主要问题,提出智能、全面、便捷应是未来测试发射控制技术努力的方向,以达到减少发射专业保障队伍、提高测试覆盖性和真实性、简化发射场操作的目的.文中提出的相关技术,部分已在我国新一代运载火箭中得到应用.随着这些技术成熟度的提高,将极大地提升长征系列运载火箭的竞争力.     

空间飞网质量块动力学分析及收口机构优化设计

 研究空间飞网收口机构在捕获过程中产生翻滚缠绕的原因及质量块优化设计的方法。通过在质量块连体坐标中对其所受空间力系进行简化,分析质量块产生翻滚的原因,并据此对质量块与捕获网的连接进行优化设计。建立了超声波电机启动后质量块各转动部分的动力学方程,分析了其对产生缠绕的影响。并据此对原质量块的结构进行改进和优化设计。实验证明经优化设计的新结构改善了收口机构翻滚缠绕问题。     

基于自适应幂次切换增益的动能拦截滑模制导律

抖振问题限制了非线性变结构制导的应用。运用幂函数作为切换增益函数并设计全局鲁棒的滑模,构成自适应趋近律,实现切换线平滑趋近,形成基于自适应幂次切换增益的滑模制导律AP-SMG。给出其存在可达与稳定条件,并对空间目标的非机动和脉冲/连续机动环境作了仿真比较与参数分析。结果表明该制导律在动能拦截中可以有效削弱甚至消除视线角速率和控制律抖振,降低所需控制能量的同时能够保证制导精度,构造简单,无需智能结构辅助,总体性能优于基于常值切换增益的系列制导方法C-SMG。     

一种计算二维图象矩的神经网络方法

提出一种计算二维图象矩的神经网络方法,首先,导出一维信号矩与一维Ｈａｄａｍａｒｄ变换之间的关系。通过２Ｎ－一维Ｈａｄａｍａｒｄ变换和极少量加法,移位及乘法运行可计算二维图象矩。然后给出用Ｔａｎｋ－Ｈｏｐｆｉｅｌｄ神经网络实现Ｈａｄａｍａｒｄ变换的方法,并对该网络作了改进。