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

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

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

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

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

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

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

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

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

航空公司战略绩效评价指标与定量方法研究——基于BSC及ANP-FCE模型

作者： 崔婷   张小燕   张燕   来源： 会计之友 年份： 2018 文献类型 ： 期刊 关键词： 战略绩效评价   平衡计分卡   航空公司   网络层次分析法  

描述： 网络层次分析法的模糊综合评价方法,作为航空公司战略绩效综合测评定量模型,并对前述成果进行案例应用验证,为航空公司战略绩效的科学评价提供方法支撑。

运输类飞机适航条款CCAR 25.1301与25.1309解读与符合性方法研究

作者： 刘正权   来源： 技术与市场 年份： 2018 文献类型 ： 期刊 关键词： 研制保证   适航规章   安全性评估   运输类飞机   符合性方法  

描述： 对运输类飞机适航条款CCAR 25.1301与25.1309的演变历史进行了梳理。讨论了适航条款CCAR 25.1301、25.1309适用对象,阐明了条款与机载系统研制过程的关系,并对条款所述

基于半航空瞬变电磁法识别复杂地形废弃煤矿富水空间的应用研究/以福建省龙岩市废弃矿山为例

作者： 范莹琳   潘树仁   杜松   李萌   赵岳   张玉峰   丁晏   宋思彤   车巧慧   王锋利   来源： 煤炭科学技术 年份： 2023 文献类型 ： 期刊 关键词： 地形复杂矿区   酸性矿井水   煤矿   半航空瞬变电磁   含水性识别  

描述： 开展煤矿富水空间调查研究，追溯地表酸性矿井涌水源头，以处于闽西南坳陷带的福建省龙岩市雁石镇历史遗留废弃矿山为例，利用以无人机为载体的半航空瞬变电磁法，以高阻包裹的低电阻率特征为探测目标，以富水区与围岩

改良式Peyton四步教学法在《航空航天生物动力学》实践课教学中的应用——以“加速度对动物循环机能的影响”课程为例

作者： 赵汐冉   孙权   张俊飞   高原   薛桐   胡泽兵   赵疆东   郭显   张舒   石菲   来源： 心脏杂志 年份： 2023 文献类型 ： 期刊 关键词： 加速度   循环机能   教学应用   航空航天生物动力学   改良Peyton四步法  

描述： Peyton四步教学法是国外应用较多的一种程序化的技能培训方法，在医学实践课程的技能教授方面体现出较好的应用价值。本研究以《航空航天生物动力学》实践课教学体系中“加速度对动物循环机能的影响”这节课为

大转数波动条件下机理约束图权重增强网络的航空发动机附件机匣故障诊断方法

作者： 余晓霞     汤宝平     魏静     张志刚   来源： 机械工程学报 年份： 2024 文献类型 ： 期刊 关键词： 图权重增强网络   故障诊断   机理约束   大转数波动   航空发动机附件机匣  

描述： graph weight enhancement networks,MCGWENet)的航空发动机附件机匣故障诊断方法。首先通过度量振动信号时域和频域特征的欧式距离约束图的邻接矩阵，将物理机理嵌入到所构建的图

高铁对民航运输需求影响的预测方法探讨——基于20个国际性综合交通枢纽城市的实证研究

作者： 李昊燃   来源： 民航学报 年份： 2024 文献类型 ： 期刊 关键词： 市场竞争影响   民航运输   国际性综合交通枢纽城市   高铁  

描述： 研究高铁开通对民航运输需求影响，是科学开展民航运输需求预测、编制行业发展规划的重要基础，也是航空公司、机场企业等行业主体谋划发展的重要依据。本文着眼于研究高铁开通对沿线民航旅客运输量增速的影响程度，从宏观层面筛选影响因素，形成高铁开通后民航旅客运输量增速预测模型，并基于全国20个国际性综合交通枢纽城市间线路予以实证验证，为研究高铁对民航影响提供新的思路。