全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
按文献类别分组
按栏目分组
关键词
- 基于扩展Petri网的飞机总装脉动生产线建模仿真及优化方法研究
- 作者： 柴猛 来源： 南京理工大学 年份： 2017 文献类型 ： 学位论文 关键词： 动态调度 DELMIAV6建模仿真 二次开发 飞机总装脉动生产线 站位优化 扩展Petri网(OOHTPN)
- 描述： 随着航空技术的高速发展和市场需求的增加,飞机制造模式正不断转变,缩短制造周期和实现快速响应已成为当务之急,先进的脉动式装配已成为该背景下飞机总装作业模式发展的必然趋势。脉动式总装通过站位划分的方法
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
- 基于DEA-Malmquist方法的中国航天航空制造业区域技术创新效率研究
- 作者： 邵云飞 党雁 来源： 科技和产业 年份： 2017 文献类型 ： 期刊 关键词： 技术创新 DEA模型 技术创新效率 Malmquist指数
- 描述： 基于生产前沿面的数据包络分析法,以1996-2014年鉴中中国航天航空制造业东、中、西三大区域的面板数据为样本,利用DEA-Malmquist指数法,研究了中国航天航空制造业的技术创新效率并进行区域性的对比分析。研究表明,中国三大区域的技术创新发展不均衡、不稳定,西部地区的技术创新效率略低,存在投入产出冗余,且目前中国技术创新效率的提升主要由于技术进步的推动,急需调整投入产出的配置比例,提高整体的技术创新效率。