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

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

航天科研单位绩效考核体系探讨

文章对航天科研单位的绩效考核体系的现状进行深入地分析,总结出绩效考核落后的几点原因,并在此基础上提出改进措施。     

Torque Distribution of Electric Vehicle with Four In-Wheel Motors Based on Road Adhesion Margin

With the worsening of energy crisis and environmental pollution,electric vehicles with four in?wheel motors have been paid more and more attention. The main research subject is how to reasonably distribute the driving torque of each wheel. Considering the longitudinal motion,lateral motion,yaw movement and rotation of the four wheels,the tire model and the seven DOF dynamic model of the vehicle are established in this paper. Then,the torque distribution method is proposed based on road adhesion margin,which can be divided into anti ? slip control layer and torque distribution layer. The anti?slip control layer is built based on sliding mode variable structure control,whose main function is to avoid the excessive slip of wheels caused by road conditions. The torque distribution layer is responsible for selecting the torque distribution method based on road adhesion margin. The simulation results show that the proposed torque distribution method can ensure the vehicle quickly adapt to current road adhesion conditions,and improve the handling stability and dynamic performance of the vehicle in the driving process.     

无人机系统的安全性与危险源分析

无人机系统的战术性能及优势将使其在未来高技术战争和民用航空中发挥越来越重要的作用。然 而,由于有人机与无人机飞行事故的特点不同,使得有人机的安全性分析与管理措施不完全适用于无人机系 统。首先,对无人机系统的飞行事故进行统计分析,得出无人机系统事故的特点;然后,合理借鉴有人机的安全 性分析,定义无人机系统的安全性,提出无人机系统事故的严酷度等级划分及相应的危险可接受度;最后,从设 计、机组训练及使用操作三方面进行危险源分析。本文提出的无人机系统不安全事件发生可能性等级划分和 危险源定性分析,可为后续无人机安全管理框架的构建奠定基础。     

A strategic flight conflict avoidance approach based on a memetic algorithm

Conflict avoidance （CA） plays a crucial role in guaranteeing the airspace safety. The cur- rent approaches, mostly focusing on a short-term situation which eliminates conflicts via local adjust- ment, cannot provide a global solution. Recently, long-term conflict avoidance approaches, which are proposed to provide solutions via strategically planning traffic flow from a global view, have attracted more attentions. With consideration of the situation in China, there are thousands of flights per day and the air route network is large and complex, which makes the long-term problem to be a large-scale combinatorial optimization problem with complex constraints. To minimize the risk of premature convergence being faced by current approaches and obtain higher quality solutions, in this work, we present an effective strategic framework based on a memetic algorithm （MA）, which can markedly improve search capability via a combination of population-based global search and local improve- ments made by individuals. In addition, a specially designed local search operator and an adaptive local search frequency strategy are proposed to improve the solution quality. Furthermore, a fast genetic algorithm （GA） is presented as the global optimization method. Empirical studies using real traffic data of the Chinese air route network and daily flight plans show that our approach outper- formed the existing approaches including the GA .based approach and the cooperative coevolution based approach as well as some well-known memetic algorithm based approaches.     

在那遥远的地方

“在那遥远的地方，有位好姑娘……”，一曲回肠荡气的青海民歌穿越无数人的心田 ，将天苍苍，野茫茫的西部大野缀上了浪漫的色彩。扎溪卡的游牧气息，玉树州的豪迈歌舞，黄河源的冷峻荒寒，青海湖的万倾碧波，还有歌中那位金边衣裳的迷人姑娘……[编按]     

桑娜央金雪域百灵鸟

聚会中有桑娜央金都是一件快乐的事情，因刀她会同大家一起即兴演唱．所有的人都会快乐地沉浸在她那天籁般的歌声之中。虽然以前在些歌碟如《雪域格桑花》、《唐古拉风暴）中听过她的歌，但现场的清唱让人听来更觉亲切。     

基于飞行资源分离的航班延误传播研究

在航班串设计及机组排班过程中,经常涉及飞行资源(飞机、机组)分离的问题。而延误航班的飞行资源分离将导致共享资源的衔接航班发生延误,并传播至后续航班串。本文考虑带有飞行资源分离的航班串,利用基于贝叶斯网络的比例风险回归模型,对资源分离后的航班离港延误进行分析。对比两种不同时刻飞机与机组资源分离方案下,各延误因素对衔接航班离港延误,以及整个后续航班串延误时间的影响,结果表明,不同时刻分离方案会造成不同的延误传播效果。本文为飞机、机组资源分离时刻的选择提供了定量分析方法,结果表明,资源分离时刻的不同对衔接航班的离港延误,以及整个后续航班串延误波及时间的影响都不同。     

Multi-objective Optimization of Differential Steering System of Electric Vehicle with Motorized Wheels

A differential steering system is presented for electric vehicle with motorized wheels and a dynamic model of three-freedom car is built. Based on these models, the quantitative expressions of the road feel, sensitivity, and operation stability of the steering are derived. Then, according to the features of multi-constrained optimization of multi-objective function, a multi-island genetic algorithm （MIGA） is designed. Taking the road feel and the sensi- tivity of the steering as optimization objectives and the operation stability of the steering as a constraint, the system parameters are optimized. The simulation results show that the system optimized with MIGA can improve the steering road feel, and guarantee the operation stability and steering sensibility.