双余度航空燃油管理计算机系统设计

作者： 李乐意   王芸   王君阳   赵敏   来源： 现代计算机 年份： 2019 文献类型 ： 期刊 关键词： 热备份   燃油管理计算机   双余度  

描述： 针对航空燃油管理计算机系统高安全性与高可靠性的要求,采用双余度热备份技术,设计在一台计算机内部实现关键板卡互为备份的双余度燃油管理计算机系统。在保障系统能够长期持久稳定运行的同时,与传统的双机备份方式相比,具有体积更小、生产成本更低、重构方式更多、响应速度更快等优点。

浅谈航空领域中计算机信息安全技术的应用与优势

作者： 赵嘉晨   来源： 通讯世界 年份： 2019 文献类型 ： 期刊 关键词： 计算机信息安全技术   应用与优势   航空航天  

描述： 信息化时代的带来,使得对信息安全的注重程度迅猛增长,从而促使了计算机信息安全技术在多个领域的应用,担负起信息保镖的作用,保护信息安全。同时,随着我们科技的不断进步,越来越多地人们选择坐飞机进行出行,也推动着航空技术的发展。本文首先将对计算机信息安全技术进行分析,从而引出其在航空航天领域的应用与优势。

浅谈航空领域中计算机信息安全技术的应用与优势

作者： 赵嘉晨   来源： 通讯世界 年份： 2019 文献类型 ： 期刊 关键词： 计算机信息安全技术   应用与优势   航空航天  

描述： 信息化时代的带来,使得对信息安全的注重程度迅猛增长,从而促使了计算机信息安全技术在多个领域的应用,担负起信息保镖的作用,保护信息安全。同时,随着我们科技的不断进步,越来越多地人们选择坐飞机进行出行,也推动着航空技术的发展。本文首先将对计算机信息安全技术进行分析,从而引出其在航空航天领域的应用与优势。

一种基于飞机黑匣子改进原理的计算机预警模式

作者： 张鸿钧   来源： 电脑编程技巧与维护 年份： 2019 文献类型 ： 期刊 关键词： 黑匣子   预警   监控   定时任务   计算机  

描述： 云计算时代需要越来越多的PC服务器来提供廉价的算力或分布式存储服务,系统运维压力剧增,其中特别苦恼的是计算机有时会遭遇地址能通,传统监控也没告警,但实际已处于不工作的似死非死的临界状态。根据飞机

计算机CATIA技术在飞机装配空间定位中应用

作者： 张馨丹   周步玺   朱远东   邹立双   来源： 现代制造技术与装备 年份： 2019 文献类型 ： 期刊 关键词： 飞机装配   空间定位   CATIA技术  

描述： 空间定位技术为现代飞机装配找准零部件结合点奠定了良好基础。CATIA技术作为一款交互式CAD/CAE/CAM系统,具有界面友好、功能强大及贯穿产品整个研发周期的优势,被广泛应用于企业产品制造及航空航天行业之中。针对CATIA技术在飞机装配空间定位中应用进行深入研究。

飞机多层结构腐蚀损伤的工业电子计算机断层扫描检测可行性分析

作者： 尚华栋   张海兵   陈强   来源： 无损检测 年份： 2019 文献类型 ： 期刊 关键词： 腐蚀   多层结构   工业CT   检测  

描述： 根据飞机多层结构容易出现内部腐蚀的特点,设计并制作了模拟腐蚀缺陷的试件,采用工业CT(电子计算机断层扫描)进行检测试验,通过对检测图像的分析和关键尺寸的测量,分析了工业CT检测多层结构腐蚀损伤的可行性,为多层结构内部腐蚀检测提供了参考。

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,

作者： 李勇   曹子宁   来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测   E   RSML   Nu   SMV   形式化方法  

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。