关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。     

深空通信文件传输协议的交织技术研究

引入喷泉编码技术应用于深空通信,对CCSDS文件传输协议进行改进,提出了一种针对深空环境长时延、高误码率、丢包率大和链路易中断等特点的基于数据包交织的文件传输协议。根据深空通信文件传输的业务需要设计了两种不同的级别概率分布,接收端只需要接收到一定数量的数据包,就能够恢复出整个原始信息,无需或需要很少反馈确认信息。仿真验证交织技术能够简化传输协议,减少文件传输时延,增大系统的吞吐量并保证通信的有效性。
     

基于星敏感器和GPS伪距差分的相对状态确定

针对双星编队飞行中的相对导航问题,提出了一种基于星敏感器和GPS伪距差分的相对状态确定方法。首先给出了相对轨道和相对姿态动力学方程,选取相对姿态基准坐标系,然后分别建立了星敏感器和GPS伪距差分的观测方程,运用Unscented卡尔曼滤波方法(UKF)设计了双星编队相对状态确定的UKF滤波器。利用一个仿真实例说明了该方法的可行性和有效性。     

珠海航空产业园在京招商

3月20日，上海航空股份有限公司与交通银行股份有限公司上海市分行和中国农业银行上海市分行签署银企合作协议．交行和农行分别将向上海航空股份有限公司提供50亿元人民币的综合授信额度。     

灭火飞机投水动响应特性

大型灭火飞机投水飞行时,短时间内大吨位水量的投放会引起载机的动力响应问题.为此,采用小孔出流理论进行飞机投水量的数值模拟,以静气动弹性配平结果为初始条件,考虑飞机的刚体模态和弹性模态,用最小状态拟合技术进行非定常气动力建模,分析了飞机投水飞行时的响应特性；并以投水结束后的飞行状态为初始条件,以飞行操纵产生的舵偏角为输入,分析了飞机退场爬升时的响应特性.结果显示,灭火飞机投水时,飞行姿态和载荷会发生较小变化；退场爬升时,飞行姿态和载荷会发生显著变化.分析结果为大型灭火飞机的结构设计和飞行操纵提供了参考.     

合作与竞争

随着发动机可靠性的提高,发动机制造商(OEM)、航空公司和维修企业(MRO)之间的合作协议越来越多. 先进的技术使得制造商和维修企业的发动机变得更为可靠,与早期的发动机相比,返厂维修的次数明显地减少,而OEM与MRO之间的合作却越来越多.     

卡尔曼滤波在仿真测试转台控制中的探讨

在测量误差分析和系统建模的基础上,采用卡尔曼滤波理论,研究了噪声环境下的角位置、角速率等运动状态的实时估计方法,并应用估计方法,进行了系统数字仿真和对实际量测数据的处理、比较和验证,实验结果表明算法对状态估计的性能提高是有效的。     

太空新航线

<正>美欧签订火星探测协议NASA和欧空局局长最近在华盛顿签署了联合开展火星探测的"意向书",为双方科学家和工程师开始共同规划相关任务开了绿灯。双方2016年将发射一个由欧洲牵头的轨道器,2018年将发射分别由欧美双方提供的火星表面漫游车,两次     

嫦娥五号月球轨道交会导引策略设计

嫦娥五号任务实现了国际首次月球无人轨道交会对接，本文详细介绍了其最终飞控实施所采用的交会导引策略的设计模型、方法和工程实现考虑。讨论了嫦娥五号月球轨道交会任务的工程设计约束和关键参数的确定，提出了一种月球轨道交会的交班点确定方法。提出了一种新的四脉冲交会策略，通过引入径向变轨控制量，固定各次变轨点位置，解决了在月球背面测控遮挡约束下确保各次变轨全过程测控可见的工程难题。针对新四脉冲方案，采用近圆轨道偏差方程提出了一种新的初值求解方法，构造了基于微分修正的精确数值求解算法，并推导了求解所需的状态转移矩阵的解析表达形式。建立了测控约束下的交会导引约束优化模型，获得了测控约束下的最优能量解，并揭示了问题的全局特性规律。给出了所提出方法在嫦娥五号实际任务中的应用，验证了此方法的正确性。     

全状态受限的高超声速飞行器的预定性能滤波反步控制

针对气动参数不确定和状态受限的高超声速飞行器的稳定跟踪控制问题，提出基于固定时间干扰观测器的预定性能滤波反步控制策略。首先，在反步控制的每一步中引入障碍Lyapunov函数，保证系统状态满足预先设定的约束要求。其次，设计固定时间干扰观测器对综合不确定进行估计；同时，构造新型的一阶滤波器避免传统反步控制的"计算爆炸"问题。再次，基于Lyapunov稳定性理论证明输出跟踪误差有界且状态满足约束要求。最后，通过对比仿真验证控制策略的有效性。