基于虚拟安全域的多级安全访问控制

虚拟化技术作为云计算的核心技术,相对于传统技术具有节约开销、易于管理、灵活制定等优势,成为业界应用的热点技术。文章研究了传统的BLP多级安全模型,并改进了该模型应用于虚拟化系统访问控制,结合虚拟安全域的概念,设计实现了虚拟化系统访问控制模型,主要结合分级分域原则对虚拟机之间的通信控制和虚拟机对虚拟磁盘的访问控制进行约束。     

三维战术训练空域规划方法研究

三维战术训练空域规划是对空域的合理规划利用,人工排样已经无法保证空域的安全有效利用,寻找高效快速的算法对于提高空域利用率和训练效率具有重要意义。通过对空域规划的理论研究,结合空域特性,将整个空域划分为立方体单元,构建相应的训练空域规划模型;在此基础之上,利用改进的遗传算法来寻求最优方案,剔除了大量不可行解;通过实例仿真验证该空域规划模型的合理性和有效性。结果表明:该空域模型是合理和有效的,提高了空域规划的速度和准确度。     

航空四站气体保障过程的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。结果表明,所提出的方法能够有效监控飞控系统,为无人机飞行管理决策提供数据支持。