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

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

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

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

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

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

基于严肃游戏的航空理论培训技术研究

作者： 逯鹏   刘虎   来源： 2011 2ND International Conference on Innovative Computing and Communication and 2011 Asia-Pacific Conference on Information Technology and Ocean Engineering(CICC-ITOE 2011) 年份： 2016 文献类型 ： 会议论文 关键词： E   learning　　严肃游戏　　航空培训　　虚拟仿真  

描述： 针对我们航空培训中理论培训阶段的效果较差,效率不高等问题,本文提出了将严肃游戏与理论培训相结合的训练方法。本文对比分析了现行几种应用于工业的培训标准,在符合标准的前提下对飞机知识进行了层面划分,并将之映射到游戏层面,进而完成游戏层的设计。深入分析并提出了能与现行航空e-learning平台集成的技术方案。最后以飞机训练为实例,设计了游戏版本模型,验证了游戏设计。

一种基于AADL的航空电子系统仿真和验证技术

作者： 李铁颖   王科翔   戴苏榕   来源： 航空电子技术 年份： 2020 文献类型 ： 期刊 关键词： 基于模型的系统评估   结构化分析和设计语言   形式化方法  

描述： 一种基于AADL的航空电子系统仿真和验证技术

一种航空电子系统体系结构错误行为验证方法

作者： 丁明   张书玲   张琛   来源： 西北大学学报(自然科学版) 年份： 2019 文献类型 ： 期刊 关键词： 错误模型   模型检测   体系结构   航空电子系统  

描述： 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。

综合模块化航空电子系统安全分析的模型检测方法

作者： 邝安玄   马超   王佳明   来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测   综合模块化航空电子系统   系统分析   安全性  

描述： 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配，但集成工作增加了系统的复杂性，同时使系统的故障在综合过程中传播到其他系统，这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能，存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题，提出了一种新的综合模块化航空电子系统安全分析方法——模型检测，使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。

航空公司與旅行社電子商務e-B2B2C運作模式之研究-以C公司為例

作者： 胡鴻鈞   来源： 国立中央大学 年份： 2016 文献类型 ： 学位论文 关键词： E   B2B2C   規模經濟   電子商務  

描述： 研究除探討問題來源也針對各項問題提出改善意見(1) 持續及加速對電子商務(e-B2B2C)的投資。(2) 減少對傳統通路商的依賴，給予一線行銷人員再教育。(3) 持續研發e-B2B2C新功能，抵制訂位

浅谈大型航空企业e-HR人力资源信息系统建设

作者： 秦洪光   来源： 人力资源管理 年份： 2018 文献类型 ： 期刊 关键词： E   人力资源管理   HR   信息化  

描述： 随着现代企业的不断发展,信息化程度已经成为衡量一个企业现代化水平高低的重要指标。航空工业江西洪都航空工业集团公司(以下简称"公司")在60多年的发展历程中充分认识到信息化建设对公司发展的重要意义。本文以提升人力资源整体管理水平为出发点,阐述了公司在e-HR系统建设中的思路和做法,对人力资源信息化建设有一定的借鉴意义。

基于BIP的航空控制系统行为故障建模与形式化验证方法

作者： 唐旭东   来源： 华东师范大学 年份： 2022 文献类型 ： 学位论文 关键词： 故障建模   基于模型的安全分析   模型检查   BIP(行为交互优先级)   形式化方法  

描述： 基于BIP的航空控制系统行为故障建模与形式化验证方法

基于南方航空公司的混合培训模式研究

作者： 郑陆海   来源： 北京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 南方航空   模式   E   混合培训   learning  

描述： 混合培训是在现代的企业管理模式下发展的一种新的培训模式与方法，源自于E-learning与知识管理在企业的应用与发展，对于混合培训的模式与方法，有很多不同的解释与应用模式，对于在大型分布式企业如何在开展E-learning培训的基础上，构建有效的混合培训模式是企业培训领域面临的一个问题。混合培训在欧美的大型企业与台湾的企业应用相对较多，同时在高等教育领域也有部分应用，但对于我国现在大型企业的培训应用，混合培训的应用还相对较少。对于混合培训本身具有的特征和优劣势的研究会为混合培训的应用提供有效的理论指导。研究表明，混合培训模式在一定程度上既可以弥补传统培训的一些缺陷，又可以显著提高E-learning的培训效果，但由于企业培训的管理模式与方法与企业本身的文化与所处的行业紧密相关，不同的管理制度，不同的企业发展阶段，所采用的培训管理模式与培训发展战略都是不同的，所以有针对性研究混合培训在特定行业与特定企业的模式与方法，会给混合培训的规律与通用模式建立提供有效的应用基础，针对企业的管理特征与培训内容，应用恰当的混合培训模式会大大提高培训的效果，同时降低企业的培训成本。本文通过对南航的行业特点、企业发展情况、管理模式以及南航实施混合培训条件的分析，设计出南航混合培训模式，以及分析南航实施混合培训的关键要素，通过在南航天合联盟培训项目中实施混合培训进行实证分析，检验南航的混合培训模式的有效性，为其它企业特别是大型分布式航空企业构建混合培训提供参考。