航空文献资源库

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

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

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

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

航空发动机热端部件在中欧适航体系中的典型适航条款梳理及差异性研究: 作者： 刘嘉伟丁水汀张弓李果 来源： 燃气涡轮试验与研究 年份： 2018 文献类型： 期刊 关键词： CS 33 热端部件 E 涡轴发动机适航取证 CCAR 条款梳理差异分析; 描述： 国际联合研制民用航空发动机在适航取证阶段需要表明相关条款的符合性,同时要解决条款差异带来的取证问题。以中法联合研制民用涡轴发动机为背景,针对取证技术难度较高的热端部件适航条款,从选取热端部件典型条款出发,确定并追溯条款的演变历史,梳理条款内涵要求并分析在中欧适航体系中的差异性,从而明确适航标准要求,为审定基础的确定提供参考,同时支撑中欧联合研制民用航空发动机的适航取证。

< 1 >