全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 制约航空制造企业多品种小批量生产管理的因素研究
- 作者： 黄柯鑫 闻立波 黄淮杰 马媛婕 来源： 价值工程 年份： 2017 文献类型 ： 期刊 关键词： 因子分析 制约因素 多品种小批量 生产管理
- 描述： 在分析相关文献的基础上,针对航空制造企业在多品种小批量生产模式下存在的问题,提炼出了19个关键制约因素,并选取陕飞公司管理岗位上的员工进行问卷调查。通过对数据进行因子分析找出4个公因子,建立了制约航空制造企业多品种小批量生产管理因素的概念模型,并作了分析。
- 制约航空制造企业多品种小批量生产管理的因素研究
- 作者： 黄柯鑫 闻立波 黄淮杰 马媛婕 来源： 价值工程 年份： 2017 文献类型 ： 期刊 关键词： 因子分析 制约因素 多品种小批量 生产管理
- 描述： 在分析相关文献的基础上,针对航空制造企业在多品种小批量生产模式下存在的问题,提炼出了19个关键制约因素,并选取陕飞公司管理岗位上的员工进行问卷调查。通过对数据进行因子分析找出4个公因子,建立了制约航空制造企业多品种小批量生产管理因素的概念模型,并作了分析。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。