智能交通系统中的公共交通信息管理体系

介绍了我国智能交通系统ITS(Intelligent Transport Systems) 研究开发所涉及的内容,详细阐述了公共交通信息管理体系的主要内容及其动态管理.公共交通信息管理系统的研究开发,可以加强道路、车辆、驾驶员以及管理人员的联系,使得管理人员对公共交通情况了如指掌,有效地解决道路交通拥塞现象,有利于调度车辆和管理交通,从而实现公共交通的智能化管理,以确保提高道路运输效率和行车安全,具有良好的应用前景.     

无人战斗机实时数据处理延迟模型研究

无人战斗机日益成为航空界研究发展的方向和目标,其有效性和先进性取决于其实时管理和控制所采用的方法.通过分析无人战斗机系统数据处理的闭环回路过程,提出了无人战斗机实时任务规划和控制的通讯延迟模型,并将模型用在无人战斗机实时任务规划系统中.仿真结果表明:延迟模型可以为无人战斗机的姿态和位置等飞行状态提供有效的预测和补偿.      

应用遗传算法的频域最大似然参数辨识

针对基于变量误差模型EV模型(Errors-in-Variables Model)的传递函数频域最大似然参数估计中存在的初始值以及收敛问题提出了使用浮点遗传算法的改进算法.仿真试验表明,单独使用遗传算法难以得到系统传函的精确估计,传统的非线性数值递推算法在一些情况下容易收敛到局域最小值.将两种算法结合使用,可以有效地克服各自的不足.新算法可以给出系统延迟的初始值的估计.当代价函数存在多个局部最小值时,它仍然能够快速准确地寻找到全局最优点.改进的算法比原算法具有更强的适应性.      

模拟光接收机输出信噪比的计算

对采用雪崩光电二极管和砷化镓场效应管前放组件(APD-GaAsFET)的模拟光接收机而言,传输函数幅频特性在阻带不可能是理想的,在这种情况下,给出了一种分析、计算阻带幅频特性不理想带来的输出信噪比代价的方法,并得到了用低通滤波器改善阻带幅频特性时,输出信噪比改善的定量关系.推导出的输出噪声功率表达式对APD-GaAsFET模拟光接收机普遍适用.     

高压除水环境控制系统的解耦控制

高压除水环境控制系统是典型的多输入多输出(MIMO)复杂控制系统,各个变量之间存在很强的耦合关系.试飞证明,采用传统的PID控制方法不能很好的解决电子设备和座舱的冷却问题,最明显的就是电子设备舱的冷却效果不佳.因此,对现有的飞机环境控制系统(ECS)必须加以改进.通过仿真表明,采用输出反馈、静态解耦控制后的环境控制系统能够满足系统设计要求.     

输入滞后和状态滞后系统的鲁棒H∞控制

针对一类具有状态滞后、输出滞后和凸多面体不确定性的连续时间系统,研究了时滞依赖型鲁棒H_∞控制器的设计问题.通过引入两个附加的松弛矩阵使Lyapunov矩阵和系统矩阵得到分离,得到一个新的鲁棒H_∞性能判据,并基于该判据设计了系统的鲁棒H_∞状态反馈控制器.设计的状态反馈控制器不但保证闭环系统的二次稳定性,同时使系统的H_∞范数小于一个给定的衰减水平.并且设计了一个迭代算法得到问题的次最优解.指出了一种可以在现有的研究成果的基础上得到新的具有更低保守性的性能准则的有效途径.最后通过一个数值算例验证了所提出算法的可行性和优越性.     

区间不确定信息下可修系统基于幂律过程的贝叶斯可靠性评估方法研究

贝叶斯方法常用于小子样场合下航空航天等领域中可修系统的可靠性评估,由于一些不确定因素影响致使无法精确收集先验信息和/或可修系统的故障信息,但却可获得其上下界信息。针对区间不确定信息情形,本文提出多台可修系统当其失效过程服从幂律过程（PLP）时的贝叶斯可靠性分析方法,将信息先验下PLP模型基于区间信息的贝叶斯分析转化为所求目标函数恰是该先验下PLP 模型传统贝叶斯分析的约束优化问题;具体工程实例对本文所提方法的可行性,有效性进行验证。结果表明：本文所提贝叶斯可靠性分析方法能够为小子样场合下,考虑不确定性因素影响时可修系统的可靠性评估问题研究提供一种值得参考的方法。     

缩小垂直间隔适航性研究及相关问题分析

2007年11月22日零点,中国开始实施缩小垂直间隔(RVSM)的运行,对RVSM适航性的研究极其重要,但中国RVSM空域运行相对于北大西洋空域于1997年3月27日开始实施缩小垂直间隔具有十年的空白期。根据相关航空手册,借鉴实施RVSM运行的其他国家与地区的经验,结合中国民航的实际情况和管理体系,研究缩小垂直间隔的适航性;对中国RVSM运行中遇到的米英制高度显示差异以及高度层配置问题进行分析,给出运用对应查找的方式解决米英制高度问题的转换方法,使中国的RVSM运行与国际接轨。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

考虑备件约束的多部件串联系统使用可用度计算方法

使用可用度是衡量装备系统保障效能的重要指标,而备件供应是保障活动中的关键,故在计算系统的使用可用度时有必要考虑备件约束对其的影响。在现有的使用可用度计算方法中,马尔可夫更新理论很少用于分析考虑备件的系统,基于库存理论的可用度计算模型没有考虑备件供应延误对系统更换维修活动的影响。为了解决以上问题,首先将整个系统故障与维修过程分为故障系统的更换维修和故障件的维修周转2个子过程,并分析了2个子过程之间的影响关系;然后给出一种考虑备件约束的多部件串联系统使用可用度计算模型;最后实例分析表明,该模型可以方便地计算多部件串联系统的使用可用度,且与库存理论中的计算模型相比,该模型计算结果与仿真结果更为接近。