关键词
综合模块化航空电子系统安全分析的模型检测方法
作者: 邝安玄   马超   王佳明   来源: 电光与控制 年份: 2023 文献类型 : 期刊 关键词: 模型检测   综合模块化航空电子系统   系统分析   安全性  
描述: 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全
综合模块化航空电子系统构型管理功能设计
作者: 陈升   栾建泽   汤伟   许欣悦   来源: 航空电子技术 年份: 2023 文献类型 : 期刊 关键词: 综合模块化航空电子系统   构型管理  
描述: 构型管理功能是飞机提高安全性的重要功能之一,由于综合模块化航空电子系统的架构特点,其构型管理功能除了要保证软硬件构型一致外,还需要考虑配置数据。本文分析了DO-297定义的构型管理功能设计要求后
一种航空电子系统体系结构错误行为验证方法
作者: 丁明   张书玲   张琛   来源: 西北大学学报(自然科学版) 年份: 2019 文献类型 : 期刊 关键词: 错误模型   模型检测   体系结构   航空电子系统  
描述: 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用
航空工业人力资源管理的系统分析
作者: 张红岩   来源: 北京航空航天大学 年份: 2016 文献类型 : 学位论文 关键词: 航空工业   系统分析   人力资源管理  
描述: 人力资源管理很重要,因此我们花了很多的人力、物力去做这项工作,但收效甚微;有时在人力资源管理上我们采取了很多政策去办好事,但是却在群众中有很多怨言,这是我们在管理中常出现的问题,对这些问题的解决形成了管理中的难点.问题到底出在哪里?航空工业人力资源管理也
航空武器系统分析导论
作者: 张安   来源: 西安:西北工业大学出版社 年份: 2001 文献类型 : 图书 关键词: 航空兵器(学科:   系统分析   高等学校)   学科:  
描述: 本书主要介绍了误差的基本概念、性质和处理方法;着重介绍了函数误差、误差的合成和武器系统误差控制。
综合模块化航空电子系统重构与验证方法研究
作者: 丁明   来源: 西北大学 年份: 2019 文献类型 : 学位论文 关键词: 架构分析与设计语言   综合模块化航空电子系统   重构   验证   系统建模语言  
描述: 综合模块化航空电子系统重构与验证方法研究
电子商务在航空YF公司经营管理中的应用研究
作者: 吴成礼   来源: 西北工业大学 年份: 2016 文献类型 : 学位论文 关键词: 网络经济   公司   系统分析   电子商务   经营管理  
描述: 本文以航空YF公司为研究背景,针对航空YF公司传统的经营管理模式在网络经济时代已不适应瞬息万变的市场需求展开研究。以期为航空YF公司在网络经济时代建立一种新的经营管理模式,增加其核心竞争力,改善其经营管理模式为目的,同时也为其他公司解决同类问题提供参考
技术创新方法在飞机刹车压力超标技术问题中应用
作者: 康晓妮   姜晗   马晓杰   来源: 2019航空装备服务保障与维修技术论坛暨中国航空工业技术装备工程协会年会 年份: 2019 文献类型 : 会议论文 关键词: 技术创新   飞机刹车控制阀组件   压力超标   模型评价   系统分析  
描述: 技术创新方法在飞机刹车压力超标技术问题中应用
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
作者: 李勇   曹子宁   来源: 计算机技术与发展 年份: 2017 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
作者: 李勇   曹子宁   来源: 计算机技术与发展 年份: 2019 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
< 1 2 ... 5 6 7
Rss订阅