全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 专利视角下陕西省航空航天制造业创新能力分析——基于Granger检验和VAR模型
- 作者： 王晓琦 万振塬 来源： 技术与创新管理 年份： 2019 文献类型 ： 期刊 关键词： Granger检验 创新能力 VAR模型 航空航天设备制造业 专利
- 描述： 从专利视角探究陕西省航空航天制造业创新能力。运用Granger因果检验,脉冲响应和方差分解等方法,实证检验陕西省航空航天设备制造业R&D经费内部支出、科研机构数量对专利申请的影响。Granger检验结果表明,R&D经费内部支出和科研机构数量均对专利申请具有正向影响。脉冲图像显示,科研机构数量在短期内有明显的促进作用,R&D经费内部支出的长期促进结果更为持久。方差分解结果显示,经费投入的解释能力随时间推移下降,研发机构的解释能力随时间推移上升。R&D经费内部投入和专利申请数之间存在双向因果关系,且R&D经费内部投入和科研机构数量对于专利申请数量的影响程度随时间推移发生变化。经费的投入的解释能力随时间推移下降,研发机构的解释能力随时间推移上升。在此基础上,需要鼓励多种渠道资本的介入,着重建立成果追踪和转化机制。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 面向航空强国的航空工程学位教育综合改革与创新实践——西北工业大学航空电类研究生“3333”培养模式实例验证
- 作者： 张超 刘贞报 李斌 周勇 来源： 高教学刊 年份： 2019 文献类型 ： 期刊 关键词： 专业学位 创新能力 航空工程 新工科 研究生教育
- 描述： 围绕航空工程全日制专业学位研究生教育进行了系统深入的理论研究和改革探索,提出了面向航空强国跨越需求的航空电类研究生拔尖人才"3333"育成新模式。通过构建三双平台(双导师、双学堂、双基地)、坚持三化引领(系统化、信息化、智能化)、实现三新突破(新体系、新模式、新路径)、深化三合支撑(多元联合、深度结合、交叉融合),顺利完成了航空电类研究生培养体系、理论传授、实践训练、创新思维等全方位创新实践,不仅有效产出了三个"一流",而且显著提升了研究生的创新能力和大系统工程观,还明确了新时代下航空工程新工科教育和新人才培养的发展方向。
- 五尺钳台,炼就青年匠人——记十三届“振兴杯”全国青年职业技能大赛江西省赛区模具钳工第一名航空工业昌飞青年技师刘阳
- 作者： 胡飞 来源： 中国军转民 年份： 2019 文献类型 ： 期刊 关键词： 第一名 模具厂 江西省 航空工业 技能大赛 模具钳工
- 描述： 高瘦的身材,白净的脸庞,整洁的工装,言语间浓浓的书卷味儿,略带羞涩。如果不是已经知晓他的身份,很难将刘阳与钳工二字画上等号。出生在1988年的他,是十三届"振兴杯"全国青年职业技能大赛江西省赛区模具钳工第一名获得者,并代表江西省参赛获全国第十九名,他还是航空工业昌飞模具厂最年轻的模具钳工技师。刘阳初次接触钳工还是在技校,2003年,作为昌河技校的最后一批学生,当他看到一个个冰冷的
- 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析
- 作者： 刘博 游旭群 来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员 安全绩效 人工神经网络 PSO BP
- 描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析