基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

试验任务质量管理系统中数据同步策略的研究与应用

根据海上测控任务准备和实施的特点,研究了试验任务质量管理系统的数据同步策略,针对系统高实时性、有限网络带宽、使用单位多、适应多种工作模式的要求,采用实时差异同步数据同步策略。详细阐述了该系统数据同步的设计和实现,包括系统部署架构、分布式数据库复制技术和XML技术主辅相结合数据同步技术的应用。     

基于自适应阈值的粒子滤波非线性系统故障诊断

针对实际非线性系统传统方法难以实现可靠故障诊断的问题,采用粒子滤波算法,利用对数似然函数和作为评价指标,并借助自适应阈值的设计,研究了非线性非高斯系统的故障检测和故障隔离。阈值的选取,是准确判别系统是否发生故障的标准,本文通过分析非线性系统残差的统计特性,在判定残差统计特性成正态分布的基础上,设计了一种基于粒子滤波故障诊断的自适应阈值方法,减少了故障诊断的漏报和误报。通过非恒温连续搅拌水箱式反应堆的仿真实例,验证了该方法在故障诊断中的准确性和有效性。      

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

中国商务航空前景广阔——全球航空巨头将聚首亚洲航展

在经历了为期两年之久的阴云笼罩之后,全球航空业终于迎来了曙光.在亚洲地区,中国凭借其稳定的经济发展与持续增长的市场需求,成为名副其实的市场引擎.2011年亚洲商务航空展览会将于2011年3月8日在香港举办,为众多制造商在亚洲地区谋求长期战略发展搭建一个平台. 据国际航空运输协会公布的最新统计数据显示,2010年全球航...     

基于标定场的激光雷达两步标定方法

针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定.     

Renishaw与超级巨无霸空客A380一起展翅高飞

<正>空客A380是世界上最大的商用飞机,翼展宽达260英寸(79.25m),可搭载555名乘客。建造这个双层巨无霸需要采用一些高度创新的装配技术,其中一项就是在     

成为彼此的战略伙伴

创业于1992年的辉旺铸模公司,直到2002年购入DMG公司的DMC70 V后才开始将自己与一般的模具制造公司区别开来,从而开始迈人提供高附加值产品的高端行列.现在,公司能够设计、开发、制造各类高难度、大型压铸模具,制造水平属于国际先进水平.     

F—16飞机数字式飞控系统的改进试飞

本文旨在详述对Ｆ－１６飞机数字式飞控系统的几次更改情况。进行这些更改是为了提高Ｆ－１６飞机的抗偏离能力和改出特性。文中还介绍了目前生产的Ｆ－１６飞机４ ＤＦＬＣＳ。试飞计划的目的是确定ＤＦＬＣＳ的哪一次更改能够充分提高其性能，以保证它能够用于现役Ｆ－１６ＤＦＬＣＳ飞机。     

倾斜同步轨道卫星通信

在卫星寿命的末期,实施倾斜同步轨道卫星通信能有效地延长卫星有效寿命,节省大笔经费,但也给地面通信系统带来新问题。本文就此问题作了一番研究,并针对不同的通信体制,给出了相应的解决方法。