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

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

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。

基于AHP的科研人员综合评价方法——北京航空航天大学青年拔尖人才评价方法研究

作者： 王菲   来源： 北京航空航天大学学报(社会科学版) 年份： 2020 文献类型 ： 期刊 关键词： 人才评价方法   AHP   综合评价   指标体系   科研人员  

描述： 为了激发青年拔尖人才的科研热情,有效推进北京航空航天大学青年拔尖人才支持计划,文章将基于层次分析法(AHP)构建一种评价青年拔尖人才的方法,将评价过程客观化、公开化、透明化。首先从科研成果产出

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

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

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

航空器适航技术专业机载设备适航审定课程体系建设初探——以南京航空航天大学为例

作者： 丁萌   陆中   芦吉云   来源： 工业和信息化教育 年份： 2020 文献类型 ： 期刊 关键词： 课程体系建设   机载设备适航审定   航空器适航技术  

描述： 南京航空航天大学航空器适航技术专业是为了适应我国大型飞机研制和发展的迫切需求,以培养卓越适航专门人才为目的而设立的。机载设备适航审定是航空器适航技术专业的重要教学内容,本文在梳理机载设备适航审定知识

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

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

描述： 问题的基础上,针对实验室认可制度,结合北京航空航天大学碳纤维检测评价中心的工作,提出高校检测实验室质量管理体系的建设方法,阐述检测质量控制的关键要素,总结相关经验。

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

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

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

提升综合技术和管理能力,研发高性能航空发动机--访国家“千人计划”专家,南京航空航天大学教授胡忠志

作者： 玲犀   来源： 航空制造技术 年份： 2018 文献类型 ： 期刊 关键词： 胡忠   发动机控制系统   航空发动机   航空航天   博士毕业   适航   综合技术   千人   健康管理系统   Nanjing  

描述： 胡忠志HU Zhongzhi国家"千人计划"专家Expert of Thousand Talents Plan南京航空航天大学教授Professor of Nanjing University

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

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

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

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

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

描述： 张立同,女,汉族,1938年4月生于重庆市,祖籍辽宁海城。现任西北工业大学教授,超高温结构复合材料国家重点实验室学术委员会副主任,国家国防科工局科技委委员等。1961年毕业于西北工业大学材料科学与工程系,1989-1991年在美国NASA空间结构材料商业发展中心做高级访问学者。1995年当选中国工程院院士。第九届全国人大代表和中共十

时效处理对航空航天用Al-4.28Li-1.5Cu-0.25Zr-0.15Sc合金组织和拉伸性能的影响

作者： 李伟   来源： 热加工工艺 年份： 2018 文献类型 ： 期刊 关键词： 力学性能   微观组织   时效处理   铝锂合金  

描述： :Al-4.28Li-1.5Cu-0.25Zr-0.15Sc合金铸锭树枝晶完全消除,晶粒保持明显的等轴状分布形态,晶粒平均尺寸介于30~60μm;T6时效处理后,合金晶粒尺寸长大。合金时效析出的主要强化相为δ'相,其次为T1相。合金进行T6时效