一种针对嵌入式系统的安全性分析方法

嵌入式系统广泛应用于安全关键的工业领域，但目前嵌入式系统的安全性缺乏整体性的分析。为此，提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法，借鉴失效模式和影响分析的方法，构建出故障的演化关系链条，即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验，结果显示：基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面，故障演化链的方法能较好地对嵌入式系统进行安全性分析。     

网络化飞机试飞测试系统

现代飞机的系统越来越复杂，对安全性、经济性的要求也越来越高，使试飞的要求也大大提高，因此更高效灵活的网络化测试系统是未来的发展趋势。     

天基太阳能电站概述

天基太阳能电站(SBSP)是设想在地球外层空间收集太阳能,将其转化为电能,并通过无线手段传输到地面的一种天基能源供应系统。随着能源紧张日益加剧,全球环境问题越来越引起各国的重视,建造SBSP的呼声也越来越高。美国、日本、欧洲、俄罗斯、加拿大等国家或地区已在SBSP战略规划和技术研究方面开展了大量工作,其中以美国、日本最为突出,而印度也开始关注这一领域的发展动向。     

日本开展超声速运输机研究

超声速民用运输机一直以来都是航空业界的热门话题。它对于减少洲际飞行时间、缓解越来越严重的空中交通拥堵问题、满足日益增长的航空运输需求都有积极意义。尽管首个超声速客机协和号已在2003年停止了服役,但人类并未停止对超声速运输机(SST)的追求。本文介绍了日本航字研究开发机构相继开展的NEXST和S3TD超声速运输机研究计划。     

产品规范编写中常见问题剖析

从产品规范与设计输入的协调性、技术要素的完整性、技术要求的准确性、标准剪裁的合理性等方面着手,对产品规范编写中常见的问题进行了剖析,指出产品规范的编写质量将直接影响产品质量,提出提高产品规范编写质量的措施.     

EBAA：An efficient broadcast authentication scheme for ADS-B communication based on IBS-MR

Automatic dependent surveillance-broadcast （ADS-B） systems can broadcast satellitebased aircraft position, identification, etc., periodically, and are now on track to replace radar to become the backbone of next-generation air traffic management （ATM） systems. However, ADS-B systems suffer severe cyber-security problems due to the broadcast-type data link and the lack of designed-in security measures. Especially, since ADS-B messages are unauthenticated, it is easy to insert fake aircraft into a system via spoofing or insertion of false messages. Unfortu- nately, the authentication for ADS-B messages has not yet been well studied. In this paper, based on identity-based signature with message recovery （IBS-MR）, an efficient broadcast authentication scheme for ADS-B messages is proposed. The security analysis demonstrates that the scheme can achieve authenticity and integrity of ADS-B broadcast messages, as well as adaptive evolution of broadcasters＇ private keys. The performance evaluation shows that the scheme is computationally efficient for typical avionics devices with limited resources. Furthermore, the scheme achieves low communication overhead since broadcast messages can be recovered from signatures, and thus it is suitable for low-bandwidth ADS-B data link.     

Recent advance in nonlinear aeroelastic analysis and control of the aircraft

A review on the recent advance in nonlinear aeroelasticity of the aircraft is presented in this paper. The nonlinear aeroelastic problems are divided into three types based on different research objects, namely the two dimensional airfoil, the wing, and the full aircraft. Different non- linearities encountered in aeroelastic systems are discussed firstly, where the emphases is placed on new nonlinear model to describe tested nonlinear relationship. Research techniques, especially new theoretical methods and aeroelastic flutter control methods are investigated in detail. The route to chaos and the cause of chaotic motion of two-dimensional aeroelastic system are summarized. Var- ious structural modeling methods for the high-aspect-ratio wing with geometric nonlinearity are dis- cussed. Accordingly, aerodynamic modeling approaches have been developed for the aeroelastic modeling of nonlinear high-aspect-ratio wings. Nonlinear aeroelasticity about high-altitude long- endurance （HALE） and fight aircrafts are studied separately. Finally, conclusions and the chal- lenges of the development in nonlinear aeroelasticity are concluded. Nonlinear aeroelastic problems of morphing wing, energy harvesting, and flapping aircrafts are proposed as new directions in the future.     

Uncertain multiobjective redundancy allocation problem of repairable systems based on artificial bee colony algorithm

Based on the uncertainty theory, this paper is devoted to the redundancy allocation problem in repairable parallel-series systems with uncertain factors, where the failure rate, repair rate and other relative coefficients involved are considered as uncertain variables. The availability of the system and the corresponding designing cost are considered as two optimization objectives. A crisp multiobjective optimization formulation is presented on the basis of uncertainty theory to solve this resultant problem. For solving this problem efficiently, a new multiobjective artificial bee colony algorithm is proposed to search the Pareto efficient set, which introduces rank value and crowding distance in the greedy selection strategy, applies fast non-dominated sort procedure in the exploitation search and inserts tournament selection in the onlooker bee phase. It shows that the proposed algorithm outperforms NSGA-II greatly and can solve multiobjective redundancy allocation problem efficiently. Finally, a numerical example is provided to illustrate this approach.     

我国空间站安全与任务保证工作若干问题探讨

从我国空间站运营阶段对安全性、可靠性、维修性及质量保证(SRMQA)工作的需求出发,在系统分析国外载人航天安全与任务保证(SMA)工作体系的基础上,总结国际空间站安全性可靠性工作的先进经验,并针对我国空间站对航天员安全、寿命与可靠性要求更高的需求,从管理和技术应用两个方面,系统论述了我国空间站安全与任务保证应重点开展的安全性、寿命与可靠性等工作。     

第七届全国技术过程故障诊断与安全性学术会议

全国技术过程故障诊断与安全性学术会议是由中国自动化学会技术过程故障诊断与安全性专业委员会主办的全国性学术会议。本会议的宗旨是为控制领域的专家、学者、工程师及研究生提供一个关于故障诊断、可靠性、安全性理论与技术最新进展的交流、传播平台。自