基于双代号时标网络计划的航线保障翌序分析研究

双代号时标网络技术是一种在建筑工程领域运用比较成熟的技术．本文首次将该技术运用于航线保障程序中,从中找出关键线路并计算保障工期,最后依据保障工期和关键线路．对航线保障程序进行分析．从而为合理安排航班提供依据．并在一定程度上缓解因航线繁忙导致的航班延误。     

基于神经网络自适应动态逆的结冰飞机飞行安全边界保护方法

考虑到飞机带冰飞行的安全问题，对结冰飞机进行安全边界保护成为一种有效的解决手段。基于神经网络自适应动态逆跟踪性能好、鲁棒性强的优点，提出了以安全关键飞行参数限制值作为神经网络自适应动态逆的输入，获取可用舵面偏转角的边界保护方法。建立了飞机本体动力学模型，采用高精度的数值模拟方法获得结冰数据库。设计了神经网络自适应动态逆控制律，通过在动态逆环节引入单隐层神经网络，对不确定性逆误差进行自适应补偿，增强了控制系统的鲁棒性。以俯仰姿态保持模式为例设计了结冰飞行闭环安全边界保护系统。以结冰飞机最小平飞速度的估算值作为飞机最低飞行速度，设计自动油门控制系统，实现对飞行速度的保护。通过仿真验证了设计的控制律具有较强的鲁棒性。对结冰严重程度线性增加情形下飞机状态参数的动态响应进行了分析。仿真结果表明，所设计的结冰边界保护系统，能够实现飞机在容冰飞行过程中对安全关键参数如迎角、飞行速度的实时保护。     

航天器自动化测试语言研究

航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。     

航天器AIT过程职业健康安全管理体系建设初探

职业健康安全管理体系以其先进、高效的管理方式,科学、系统的管理理念广泛用于各类行业。文章从职业健康安全管理体系的一些基本知识和特点入手,对在航天器总装-测试-试验（AIT）过程中如何建立与实施该体系做了初步研究。     

机载信息系统无线网络的安全设计

民机机载信息系统作为机载网络与地面网络的机上连接终端,在带来机载信息与地面网络信息传递便利的同时,也对机载网络安全性设计提出了更苛刻的要求。通过对机载信息系统与地面网络架构研究,分析了可能由地面网络技术引入的网络安全威胁,并针对这些威胁探讨了相对应的安全防护策略和机载信息系统研制应遵循的适航取证方法。     

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

Earth observation with MEO transmitters and UAS receivers: A potential utilization of Galileo constellation

Remote sensing application of Galileo upcoming constellation in the field of civil security is preliminarily analyzed, defining low resolution (25 m) and high resolution (7.5 m) working modes for a bistatic Synthetic Aperture Radar system utilizing Galileo satellites as transmitters and Unmanned Aerial Systems as receivers. Simulations offshore Somali coast and in a South Mediterranean Sea region showed that both low and high resolution acquisitions are feasible. For the low resolution mode a probability of successful image formation no matter the azimuth position of the receiving UAS has been estimated at nearly 100%. Whereas, for the high resolution mode it decreases to about 90%, which, if deemed unsatisfactory for the application, leads to the need for UAS to adapt its route to the actual Galileo satellite coverage.     

Criteria for developing and testing Transparency and Confidence-Building Measures (TCBMs) for outer space activities

Space systems play an important role in sustaining the development, prosperity and security of many nations. As more nations become critically reliant on space systems, questions of maintaining safety and strategic stability in outer space have come to the fore. Transparency and Confidence-Building Measures (TCBMs) for outer space activities have an important role to play in providing clarity about the intentions of States and in articulating norms of behaviour in outer space. TCBMs take several forms. They may be the elaboration of basic principles related to the exploration and use of outer space, political measures related to establishing norms of conduct, information-sharing activities to improve the transparency of outer space activities, operational practices which demonstrate a commitment to mutual cooperation in outer space, or consultative mechanisms. We present an analytical framework for evaluating potential TCBMs and illustrate the application of this framework to examples of potential operational, regulatory, treaty-based and declaratory TCBMs.     

航天测控中心系统自主可控建设的研究与思考

着眼于我国航天测控中心系统信息安全的形势要求,对系统软硬件平台自主可控技术的应用现状进行了分析,指出了当前存在的一些安全隐患问题。立足于航天测控中心系统当前发展实际,结合信息安全方面的特殊要求,从加强自主可控的顶层设计、抓好测试验证、分层推广应用等方面提出了系统自主可控建设的思路。针对自主可控建设的长期性和复杂性,从技术继承与发展、技术引进与对外合作、系统升级与安全平稳过渡等三个方面,探讨了在自主可控建设的进程中应该处理好的几个关系问题。对于当前我国航天测控中心面临的自主可控建设有一定的借鉴意义。     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.