AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

民机设备失效时间的混沌性质分析与预测

根据民用飞机设备失效的特殊性．复杂性以及各航空公司各自不同的情况等因素,从混沌原理的角度综合分析了运营期间民机设备失效时间发生情况．通过时间序列混沌性质鉴别方法证明了民机设备失效时间理论上具有典型的混沌性质,并利用实际失效时间数据样本证明了混沌现象的存在以及利用最大Lyapunov指数法进行了失效时间的预测,证明了该方...     

一种弹目遭遇点预测方法

为充分利用舰空导弹中制导段所获信息并减小导弹中制导段的弹道曲率,给出一种弹目预测遭遇点的解算方法,并据此设计比例导引制导律。在初始发射坐标系中,假设目标由当前位置以当前速度大小沿当前速度方向匀速运动至遭遇点,导弹由当前位置以当前速度大小按照一定的导引规律匀速运动至遭遇点。在该假设条件下,导弹到达遭遇点的总航路大小一方面...     

2011全国时间频率学术会议（CTFS 2011）征文通知

各专业委员会、各有关单位： 玉衡众星定天宇,聚会群英恰逢时。2011年是“十二五”的元年,国家时间频率体系建设及“北斗”卫星导航系统建设等重大工程和专项正在积极开展、稳步实施。值此时间频率专业发展的大好时机,中国计量测试学会时间频率专业委员会、中国天文学会时间频率专业委员会、中国GPS技术应用协会授时与时间专业委员会、中国宇航学会计量与测试专业委员会四家共同商榷,定于金秋十月在北京联合举办“2011年全国时间频率学术会议”。现将会议征文内容和有关事宜通知如下：     

国航恢复成都至攀枝花航线

自4月30日起,国航成都至攀枝花航线正式恢复,班号为CA4463／4,起飞时间中午12点15分．1点20分到达攀枝花机场,2点10分从攀枝花起飞,15点10分回到成都双流机场,单程飞行时间1个小时左右,每天一班。5月3日后,受航班时刻申请的影响．国航将成都至攀枝花航线调整为早晨7点59-起飞,航班号也将调整为CA4461／2．每天一班。据了解,这是目前成都飞往攀枝花的唯一一条航线。     

带分流叶片离心压气机优化设计

为探索带分流叶片离心压气机的优化方法,进一步提高气动性能,建立带分流叶片离心压气机优化系统:运用Bézier函数建立叶型的参数化表征方法,并采用人工神经网络建立目标函数和几何优化变量间的对应关系,结合遗传算法求解优化命题。为验证系统可行性,以极大化等熵效率为优化目标,针对带分流叶片的离心压气机进行优化设计。结果表明:该优化系统明显提高带分流叶片离心压气机的气动性能,优化后设计点等熵效率提高3.68%,压比提高0.506,设计转速下全工况范围内效率明显提升,综合稳定裕度增大;优化后90%,50%叶高波前马赫数有明显降低,前缘激波有所减弱,激波与附面层相互作用引起的损失减小,二次流得到抑制,叶尖通道内大范围低速区明显消退;叶片载荷重新分配,分流叶片载荷一部分转移至主叶片。     

加肋板结构中弹性波一维局部问题的研究

分析研究了失谐周期多跨加肋板结构中的弹性波一维局部化问题。采用传递矩阵方法给出了系统的传递矩阵 ,并采用 Wolf提出的计算连续型动力系统中 Lyapunov指数的方法 ,给出了局部化因子的计算表达式。作为算例 ,给出了失谐加肋板结构中局部化因子的数值结果 ,并分析了跨长的失谐程度及结构参数对弹性波局部化的影响     

多导弹齐射攻击协同制导(英文)

Cooperative guidance problems of multiple missiles are considered in this article. A cooperative guidance scheme, where coordination algorithms and local guidance laws are combined together, is proposed. This scheme actually builds up a hierarchical cooperative guidance architecture, which may provide a general solution to the multimissile cooperative guidance problems. In the case of salvo attacks which require missiles to hit the target simultaneously, both centralized and distributed coordination algorithms are derived based on the impact-time-control guidance （ITCG） law. Numerical simulations are performed to demonstrate the effectiveness of the proposed approaches.     

大型客机电传飞控系统软件开发应用研究

多通道软件开发的复杂性和适航符合性要求是大型客机飞控机载软件开发需要考虑的重要问题。从软件的工程化管理以及软件的开发、验证和确认等方面探讨了既能满足安全性和可靠性要求又能符合适航要求的电传飞控系统软件的开发管理方式。     

错频叶盘结构振动模态局部化特性分析

利用"错频失谐(Mistuning)"是进行颤振抑制的有效手段,但是否会导致较大叶盘结构振动局部化是需要进一步研究的问题.本文以典型压气机叶盘结构为例,通过引入实际的两种错频失谐方案,分析研究了谐调和"错频失谐"情况下叶盘结构振动模态特性和模态局部化性质.研究表明,"错频失谐"会引起显著的振动局部化,因此实际叶盘失谐设计中需要综合考虑颤振抑制和失谐振动局部化两方面.