基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,

作者： 李勇   曹子宁   来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测   E   RSML   Nu   SMV   形式化方法  

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型

大数据及媒体融合环境下高校图书馆服务于教学科研学科建设实例研究——以西安航空学院图书馆为例

作者： 李慧   杜文龙   柴源   来源： 知识经济 年份： 2020 文献类型 ： 期刊 关键词： 服务创新   数字资源   高校图书馆   学科建设  

描述： 大数据及媒体融合环境下高校图书馆服务于教学科研学科建设实例研究——以西安航空学院图书馆为例

总结经验，提升课程质量，备战就业课“开门红”——记北京航空航天大学《本科生学业规划》课程教学工作2019年总结会及2020年计划会

作者： 段斌   来源： 中国大学生就业 年份： 2020 文献类型 ： 期刊 关键词： 教学工作   学业规划   北京航空航天大学   本科生   《本科生学业规划》  

描述： ,而是学无止境。"1月10日中午12点,虽正值晌午,但北京航空航天大学新主楼A座928教室却热闹非常。这里,正在召开《本科生学业规划》课程教学工作2019年总结会及2020年计划会。课程负责人苏文平与北航生涯教学团队的20多名教师围绕课程质量建设、教学队伍培养

高校检测实验室质量控制关键要素与管理体系建设方法——北京航空航天大学高性能碳纤维检测评价中心实例分析

作者： 吕雪   顾轶卓   张佐光   来源： 科技管理研究 年份： 2018 文献类型 ： 期刊 关键词： 质量管理体系   实验室认可   高校检测实验室   实验室管理  

描述： 高校检测实验室在仪器设备、人员素质、开放性等方面具有独特优势,为保证检测数据准确、客观,建立完善的实验室质量管理体系,实现检测质量有效控制至关重要。在总结分析我国高校检测实验室特点和管理体系中存在

主要航天国家航空航天技术研究发展态势——基于Web of science数据库的科学计量分析

作者： 马雪梅   薛慧锋   袁建华   胡良元   姜思宇   来源： 情报工程 年份： 2018 文献类型 ： 期刊 关键词： 航空航天技术领域   创新能力   科学计量方法   技术研究发展态势   主要航天国家  

描述： 航天产业在国家战略中的地位与作用日益突显,是提升国家竞争力和影响力的关键。作为战略性前沿技术领域,航空航天技术的发展和进步无疑是推动航空航天产业技术创新、促进航天产业快速发展的重要引擎。本文基于

京津冀协同创新共同体下高端装备制造业发展研究——以航空航天器制造业为例

作者： 王晓婷   邹昭晞   来源： 学习与探索 年份： 2018 文献类型 ： 期刊 关键词： 协同创新   创新共同体   高端装备制造业   京津冀协同  

描述： 、服务三个环节考察,京津冀航空航天器制造业的分工已经呈现出:北京主要以研发为主,并向运营服务领域延展;天津和河北主要定位于生产领域,逐步建立健全生产加工基地。在京津冀协同创新共同体下,包括航空

基于协同创新的网络空间安全方向专业学位硕士研究生培养实践——以北京航空航天大学电子信息工程学院为例

作者： 尚涛   刘建伟   来源： 工业和信息化教育 年份： 2018 文献类型 ： 期刊 关键词： 协同创新   网络空间安全   培养方案  

描述： 北京航空航天大学电子信息工程学院以信息对抗技术专业和通信与信息系统学科为基础,培养高层次网络空间安全创新人才。在协同创新的理念下,使大学内部培养体系与协同创新单位进行优势互补,探索网络空间安全方向

我国著名航空航天材料科学家 国家技术发明一等奖获得者 西北工业大学博士生导师 中国工程院院士——张立同

作者： 暂无 来源： 功能材料信息 年份： 2018 文献类型 ： 期刊 关键词： 陶瓷基复合材料   张立同   航空航天材料   国家技术发明   熔模铸造   科技委委员   博士生   商业发展   结构复合材料   中国工程院院士  

描述： 张立同,女,汉族,1938年4月生于重庆市,祖籍辽宁海城。现任西北工业大学教授,超高温结构复合材料国家重点实验室学术委员会副主任,国家国防科工局科技委委员等。1961年毕业于西北工业大学材料科学与

质量与人才是航空发动机研制永恒主题——访美国工程院院士、普惠公司技术与环境副总裁艾伦·艾伯斯坦

作者： 文竹   来源： 航空制造技术 年份： 2018 文献类型 ： 期刊 关键词： 工程院院士   燃气涡轮机   艾伦   航空发动机研制   普惠公司   产品性能   微机电系统   国际大奖   艾伯斯   燃油效率  

描述： 艾伦·艾伯斯坦Alan H.Epstein美国工程院院士NAE Member麻省理工学院名誉教授Honorary Professor of MIT麻省理工学院名誉教授,美国航空航天学会和美国机械工程

农业部办公厅 财政部办公厅 中国民用航空局综合司 关于开展农机购置补贴引导植保无人飞机规范应用试点工作的通知

作者： 暂无 来源： 农机质量与监督 年份： 2018 文献类型 ： 期刊 关键词： 喷雾机   农业部办公厅   民用航空局   综合司   农用飞机   遥控飞行   财政部办公厅   农机购置补贴   无人飞机   应用试点  

描述： 为引导植保无人飞机(亦称农用遥控飞行喷雾机)技术开发和规范应用,助力农业绿色发展,决定2017年选择部分省开展以农机购置补贴引导植保无人飞机规范应用试点工作。现将有关事项通知如下。一、试点意义与目的发挥农机购置补贴政策的引导作用,促进植保无人飞机规范应用,是解决地面机械和有人驾驶农用飞机在复杂环境下病