多态故障树广义负前馈自动建树算法的研究及其应用

阐述了控制系统多态故障树自动建树的一种方法,提出了基于控制系统功能图的系统及其组成部件的规范化描述方法,提出了广义负前馈处理的算法,完善了自动建树中对复杂结构处理的算法;并结合一个飞控系统的实例,验证了算法的正确性。使得故障树自动建树朝着真正自动化的方向发展。     

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.     

读来读往北大核心

第八届中国数控机床展览会（CCMT2014）将于2014年2月24-28日在上海举行。本届展会的主题是“新变化新未来”,该主题准确、鲜明地反映了我国机床工具产业发展和产业市场的时代特征。     

一种工业生产用自动称重控制系统

介绍了一种控制系统以PLC为核心,称重传感器为检测元件,变频电机为执行元件的自动称重控制系统,实现了物料自动上料,动态定量称重,自动下料、封装等功能.改造后设备生产效率和称重精度都有所提高,为企业创造了良好的经济效益.     

无人作战飞机

1引言 无人作战飞机（UCAV）的概念出现在上世纪90年代中期,它是一种集合了侦查、监视、作战以及其他多项功能的作战平台。UCAV系统是一种无人的自动控制系统或远程武器控制系统,可执行海、陆、空作战任务。无人战斗机作为信息化武器装备的产物,已成为世界各军事强国继第四代战斗机之后下一代战斗机的发展方向。     

基于CATIA／CAA数模属性自动校验技术研究

针对在CATIA中使用人工审核方法检测工装数模规范性时效率低、易漏检等问题,提出了一种对工装数模规范性进行自动校验的方法。该方法基于CAA,以CATIA为平台,Visual C＋＋为编程工具,能够自动怏速准确进行检验,解决了订货单信息、数模信息自动获取的难题。缩短了工装设计周期中用于校验的时间,提高了工作效率,为模具设计部门对工装数模规范性实现高效检测提供了帮助。     

真力时超薄月相女表

款式的表盘耀眼夺目:放射状蓝色或者棕栗色,银色麦穗纹饰(Guilloche)、另有白色珍珠母贝或镶缀美钻。在装饰和珠宝方面的精益求精并不意味着在制表技术上有所妥协:这些时计通过在elite 692型自动上链机芯驱     

碳刹车使用的几点注意事项

飞机刹车装置是飞机的关键部件之一,刹车装置的优劣对飞机的安全性影响很大,航空工业发达国家一惯重视飞机刹车装置和刹车材料。飞机刹车装置的核心一般由多个刹车片组成,其中动片和静片交叠安装,形成较大的摩擦面积,可显著提高刹车     

基于AIXM的PBN飞行程序系统的设计

文章首先介绍了目前我国PBN(基于性能导航)飞行程序设计的现状,及采用AIXM(航空数据交换模型)的目的,简述了基于地理信息平台Supermap的系统构架和基于AIXM的数据库设计模型,完成了PBN飞行程序设计的自动化,包括自动绘制保护区,自动评估障碍物,自动生成航图及技术报告,自动制作及验证ARINC424编码,最后介绍了系统的推广和应用。