飞机系统安全性指标的Petri Net分配方法

为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Net建模方法,选取后者建立静态逻辑变迁和动态逻辑变迁的Petri Net指标分配模型。在此基础上,提出考虑严酷等级的系统安全性指标分配方法,经过算例分析,构建Petri Net层次系统故障模型进行指标分配。结果表明,分配值均在相应安全性指标内,该方法能够克服动态故障树法不直观、等分配法分配过于粗糙等缺陷,为飞机安全性设计与评估提供参考。     

“虚拟专用网”驾到!

对虚拟专用网,很多读者还比较陌生。但是提起电影《十二生肖》中,国际大盗JC(成龙饰)戴着智能手套在铜制兽首周围轻轻一摸,便将其尺码信息无线传输到他们团队的三维打印局域网中的精彩一幕,相信令人记忆犹新。其实,这一场景的背后,就有虚拟专用网技术的参与。那么,虚拟专用网究竟是什么,它对信息安全可能造成什么影响呢?本文将揭开它的神秘面纱。     

Windows98安全性研究

本文针对Windows系统的安全性问题,提出了一些操作简单,切实可行的安全预防措施。     

作战飞机人机功能分配方法

根据现代作战飞机设计对人机功能分配的需求,结合执行任务过程中人机协作的特点及一般协同工作模式,综合考虑人机功能分配的一般方法,研究了作战飞机设计中人机功能分配的原则和方法.建立了适于大型作战飞机的功能分配一般流程,运用定性和定量相结合的分析方法,引入多目标模糊决策的数学方法,建立了人机功能分配的一般模型.为飞机设计中合理进行人机功能分配提供了一种新的参考方法.     

“鱼鹰”为何非要落冲绳

近期,长相怪异的“鱼鹰”军用运输机成为美日关系的焦点。原因是美国正逐步实施在冲绳普天间基地部署“鱼鹰”的计划。一边是日本民众强烈抗议,认为“鱼鹰”安全性差、危及民众生命,一边是美国一意孤行,坚持推进部署计划。“鱼鹰”到底是安全还是不安全？“鱼鹰”是一款什么样的飞机,让美军如此青睐？美军强力推进“鱼鹰”的部署计划,背后又究竟有何意图？     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

引信软件安全性仿真测试系统研究

首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析。然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构。     

载人航天安全性概率风险评估方法综述

在世界载人航天史上,安全性事故给我们带来了很多惨痛的教训。1986年1月26日,美国“挑战者”号航天飞机升空74秒后便发生爆炸,机上7名宇航员全部遇难;2003年2月1日美国“哥伦比亚”号航天飞机在德克萨斯州上空解体失事,7名宇航员的丧生。载人航天的高风险性决定了其安全的重要性。我国的“神舟六号”载人飞船在升空前,运用故障树等风险分析方法对载人飞船等系统进行了详细而严密的安全性概率风险评估,最后分析得出飞行成功概率为99.7%,为飞船的安全性提供了科学依据。本文综述和分析了当前国内外有关航天安全性概率风险评估中一些常用的方法…     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

某共享通讯塔加装天线后结构安全性校核

对某共享通讯铁塔加装天线后结构安全性进行校核,建立了基于不同梁杆单元及节点连接的通讯铁塔空间刚架和混合有限元模型,对其结构动态特性及静力分析结果进行了对比分析,指出两种不同模型的动态特性相差不大,采用刚架模型来复核偏于安全;对通讯塔在加装天线后在风荷载及塔自重作用下结构安全性评估,并对该铁塔底层塔段弦杆中点变形超限的特...