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

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

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

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

一种弹目遭遇点预测方法

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

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

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

"国际空间站"的应用、问题和前景

至今,一共有59个国家参与“国际空间站”的建造或应用。美国航空航天局目前正在与“国际空间站”其他成员国共同努力拓展“国际空间站”的应用,以便使科研人员拥有更多机会进行站上微重力实验。该站有两个主要功能：进行科学实验的国家实验室和开发新技术的试验平台。“国际空间站”已基本建成,正成为近地轨道上有人直接参与各种科学研究活动的基地。它能进行最先进的生物学、化学、物理学及其他学科的研究,并有望执行载人绕月飞行任务。由于“国际空间站”将至少工作到2020年,所以可充分利用其设备开展多项科研;美国也将借助私营商用飞船将航天员送入“国际空间站”。因此,它不仅将发挥更大的作用,还将采用新的运营模式。     

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

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

高校计算机网络实验改革探讨

在对亲身教学经验总结的基础上,笔者考察了众多高校网络实验室建设,揭示了目前高校网络实验的现状,提出了"自主创新"网络实验的概念,并制订了实际方案,拟定了实验方向.通过对"自主创新"网络的实验,取得了比较满意的效果.     

星载天线反射器形面主动控制研究现状与展望

星载天线是卫星系统的重要载荷,在远距离微波遥感、深空探测、军事侦查以及通信等领域起着决定性作用.随着天线频率和增益需求的不断提高,大口径、高精度成为星载天线主要发展方向.传统被动方法难以保证反射器在轨形面精度,而主动控制技术正成为解决这一问题的重要选择.介绍了天线反射器形面主动控制技术相关研究工作的进展,内容涉及形面主...     

湍流标度律的实验测量

实验测量了射流与圆柱尾流纵、横向的湍流速度脉动，计算了这两种方向的湍流速度结构函数的标度规律。结果表明，横向的湍流速度脉动比纵向有着更大的间歇性，这支持目前已有的一些关于均匀各向同性湍流的实验测量和数值计算的结果，而与另一些文献报道不同。此外，还对纵、横向湍流速度结构函数标度律的S－L模型进行了一些分析。     

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

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.