全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 专利视角下陕西省航空航天制造业创新能力分析——基于Granger检验和VAR模型
- 作者： 王晓琦 万振塬 来源： 技术与创新管理 年份： 2019 文献类型 ： 期刊 关键词： Granger检验 创新能力 VAR模型 航空航天设备制造业 专利
- 描述： 从专利视角探究陕西省航空航天制造业创新能力。运用Granger因果检验,脉冲响应和方差分解等方法,实证检验陕西省航空航天设备制造业R&D经费内部支出、科研机构数量对专利申请的影响。Granger检验
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 全面从严治党视域下高校基层党组织强化党建实践路径的探索——以沈阳航空航天大学电子信息工程学院为例
- 作者： 吴男 谭红 来源： 科教导刊(上旬刊) 年份： 2019 文献类型 ： 期刊 关键词： 实践路径 从严治党 基层党组织 高校
- 描述： 新时代对高校基层党组织落实全面从严治党提出了更高的要求。当前,在高校基层党组织党建工作中仍然存在一定的不足,全面从严治党责任落实不到位,基层党组织政治生活不严谨,党员领导干部主动担当精神不突出。高校基层党组织要紧密结合工作实际,要强化顶层设计、深化学习教育、抓好规划建设、促进科学发展。
- 文化传承创新:高校“双一流”建设的活力所在——访北京航空航天大学人文与社会科学高等研究院院长蔡劲松
- 作者： 张力玮 来源： 世界教育信息 年份： 2019 文献类型 ： 期刊 关键词： 研究院 蔡劲松 社会科学 人文艺术 文化传承创新
- 描述： 蔡劲松,北京航空航天大学人文社会科学学院(公共管理学院)院长、人文与社会科学高等研究院院长、文化与艺术传播研究院执行院长、艺术馆馆长,教授、博士生导师;中国作家协会会员、中国美术家协会会员、中国城
- 学习与分享 之十三 北京航空航天大学自动化科学与电气工程学院蔡茂林教授气动技术实验室
- 作者： 本刊辑部 来源： 液压气动与密封 年份： 2019 文献类型 ： 期刊 关键词： 气动技术 泄漏量 北京航空航天大学 卸载压力 气动元件 介入式 流量特性 流量测量 气动元器件 蔡茂林 气体流量 电气工程学院 等温容器 实验室 空压机
- 描述： 科研团队长期从事气动系统节能、气动热力储能、气动元器件精密性检测等方面的研究。正在承担国家自然科学基金6项、北京市高校青年卓越科学家计划1项,与地方政府和企业合作项目20余项。在基于气动功率的能效