航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

弱引力下小行星动量驱动机器人的可控跳跃行为

以小行星表面着陆探测为背景,提出一种动量驱动机器人(MoRo)以满足弱引力复杂环境下的探测需求。该机器人利用弱引力环境下的摩擦和碰撞特性,通过主动辨识环境参数,规划和控制动量轮以产生期望的驱动力矩,完成可控性跳跃及腾空后的稳定拍照等任务。首先,基于MoRo的动量轮刹车机构特性,分析了MoRo在弱引力环境下的跳跃机理并对其跳跃方式进行了规划;接着考虑动量轮驱动机构三闭环伺服系统的非线性特性,基于Herze碰撞模型和Karnopp摩擦模型建立了MoRo在小行星表面的跳跃行为动力学模型;其次,使用机器学习算法建立环境参数和MoRo运动的函数关系,并基于环境参数规划动量轮转速实现跳跃距离和腾空高度的可控。最后,通过数值仿真校验了MoRo跳跃规划方法和控制方法的可行性。     

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

挂弹车液压系统设计中的可靠性技术

导弹挂弹车液压系统主要包括液压驱动系统、液压转向系统和液压六自由度调整系统，它们是由各种液压回路组成，组装后的液压系统既要满足装卸导弹的各项技术指标，又要实现狭小安装空间中多种运动的互不干涉，还要保证导弹弹体的绝对安全，因此设计难度可想而知。本文首先介绍了挂弹车对液压六自由度调整系统的技术要求和回路原理，接着对调整系统的各可靠性回路以及在方案设计中所采用的可靠性技术进行了详细的分析计算，最后外场试验证明了该液压调整系统的设计是成功的。     

转变财政投资观念，促进经济发展

财政投资是政府运用国家财力调节宏观经济运行的重要手段，就如何重新确定财政投资范围，财政投资方式和财政投资产业的配置等方面进行了阐述。     

6108亿新台币能安全保障？——台湾“特别军购预算”急着要求尽快通过

2004年6月初，台湾“行政院”通过总额6108亿新台币的“特别军购预算”，以“霸王硬上弓”的方式要求“立法院”尽快通过这笔预算。虽然对台湾安全做出一定的投资有其必要，但是，军购预算的通过如果不能以“合情、合理、合法”的方式，那不啻是以“台湾安全”之名绑架“国会”、绑架人民。     

利用MPLS技术优化民航ATM数据网络

本文介绍民航ATM数据网络承载的业务，以空管信息化业务为例，~MPLS技术来优化民航ATM数据网络。     

基于MFC和COM的圆柱螺纹量规参数自动化计算与报表

在VC 6.0开发环境下,完成了基于MFC库和COM技术的公制圆柱螺纹量规大径、中径与小径的基本尺寸和极限偏差的自动化计算程序,中径计算过程计入了测量力等影响因素在内的综合修正量.实现了多量规的批量输入与管理,并将结果按需输出为Excel文档,留作测量过程的参考文件.文中详细介绍了软件的功能模块划分,数据的组织方式与功能的具体实现步骤.软件试用结果表明,该工作有效地解决了螺纹量规检定中需频繁查表、计算复杂且出错率高等问题,较大程度地提高了工作效率.