航空四站气体保障过程的STAMP建模与STPA安全性分析

航空四站气体保障装备的可靠性在不断提高,而气体保障过程中的事故仍有发生,需要一种新的方法系统地去识别新的危险因素,从而提高系统的安全性。从控制的角度结合STAMP和STPA对航空四站气体保障过程进行安全性分析。首先,介绍STAMP/STPA的工作机理;然后,对航空四站气体保障过程构建STAMP模型,采用STPA安全分析方法对航空四站气体保障过程的安全性进行分析,识别不安全控制行为,对生成的不安全控制行为进行场景分析;最后,与事故树分析法(ATA)进行分析结果的比较,从而证实了该方法的优越性。结果表明:采用STAMP模型和STPA安全分析法可以更加全面地识别出不安全控制行为及其原因,更有利于保证航空四站气体保障过程的安全。     

空空导弹发射技术发展现状及趋势研究

空空导弹发射装置是机载武器系统的重要组成部分,赋予导弹正确的初始分离姿态并保证发射安全,对战机的作战能力有直接影响。首先,对空空导弹发射技术的发展历程和技术现状进行研究,重点分析空空导弹现今主流的导轨式、外挂弹射式和内埋弹射式三种发射方式在现阶段的理论研究热点和不足,并指出现阶段对高马赫数发射、载机高过载发射、载机滚转发射、发射时的多学科耦合、考虑气动的地面发射实验技术等的研究还处于起步阶段,是今后的研究重点;然后,对隐身战机空空导弹内埋弹射发射技术具有代表性的两型内埋弹射发射装置进行研究,对比分析两型发射装置的关键技术、技术优缺点和应用特点;最后,对空空导弹发射装置的发展趋势进行分析,为空空导弹发射技术指出发展方向。     

煤矿安全生产微型机监控系统

用微型计算机监测与控制煤碳生产,可以大大提高煤矿的安全生产和自动化水平,进一步改善煤矿的生产管理和增加企业效益。本文具体介绍了一个适用于中、小型煤矿的安全生产微型机监测与控制系统的功能、结构和软、硬件配置,并着重讨论了系统主站的几个关键技术问题是怎样解决的。该系统现已投入运行。实践证明,设计合理,性能稳定,工作可靠,它是一个特别适用于中、小型煤矿的廉价安全生产监控系统。     

载人航天器系统防操作失误设计分析

载人航天中任何人为操作错误都会对载人航天器系统和航天员的安全构成威胁。文章对载人航天器系统中人的操作特点进行了论述,并对保证载人航天器安全而进行的防操作失误设计问题进行了探讨。在此基础上,提出了进行载人航天器系统防操作失误设计的方法以及提高航天员操作可靠性的措施。     

一种双方不可否认的密码协议及应用

在数据通信中,数字签名技术保证了数据发送不可否认性和数据完整性,而接收数据的不可否认性在安全通信中也是极为重要的.近年来,实现这类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而可信第三方的可靠性和安全性是系统性能的瓶颈.文中提出了一个双方不可否认的密码协议,这个协议解决了可信第三方的性能瓶颈问题,是一个更有效率的密码协议,最后探讨了它在电子邮件中的应用.      

IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.      

构件可靠度与平均安全系数的研究

构件可靠度的研究是结构可靠性分析的基础,其正确的计算方法对结构的安全可靠性评定具有重要意义.以应力-强度干涉模型为基础,探讨了当构件的应力和强度按不同分布时,构件可靠度和平均安全系数的计算方法以及二者之间的关系.计算表明:当构件的应力和强度按正态分布或其它分布处理时,对构件平均安全系数的影响很小,而对构件可靠度有较大的影响.对一般构件来讲,应力和强度采用正态分布是合理的,且偏于安全;对可靠度要求很高的构件来讲,建议采用对数正态分布或威布尔分布.     

基于 LSTM的飞控系统状态监控

监测飞控系统状态参数是保证无人机飞行安全的重要手段。针对无人机飞控系统的组成特点和飞行控制律,设计并构建了基于长短期记忆网络(Long Short Term Memory Network,LSTM)的飞控系统状态监控模型。首先,利用无人机历史飞参数据训练模型,建立输入飞参数据与状态参数的回归映射关系;然后,利用训练好的网络模型,实时预测飞控系统的状态参数,通过对比实测值与预测值之间的差异,实现飞控系统的状态监控。选取无人机飞参数据进行实验,基于 LSTM的算法比反向传播神经网络(BPNN)、支持向量机(SVM)预测精度高,MSE平均值分别低 0.01和 0.26,MAE平均值分别低 0.05和 0.12。结果表明,所提出的方法能够有效监控飞控系统,为无人机飞行管理决策提供数据支持。     

欧盟报告建议航天及安全投资翻一番

2005年3月1日,欧盟委员会公布了《航天及安全专家小组报告》。航天及安全专家小组（SPASEC）是欧盟委员会在2004年6月召集的,其成员包括欧盟25个成员国、欧洲航天局（ESA）、各国航天机构、欧洲航空导航安全局（Eurocontrol）、欧洲气象卫星组织（EUMETSAT）、欧盟卫星中心等多家组织和机构的广泛代表。