自动飞行控制

作品数：98被引量：94H指数：5
导出分析报告
相关领域：航空宇航科学技术更多>>
相关作者：韩鑫王新华张雨滋张伟孙一力更多>>
相关机构：中国航空工业集团公司南京航空航天大学北京青云航空仪表有限公司中国民航大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全关键系统需求形式化建模分析实例研究被引量：1
《计算机科学与探索》2019年第8期1295-1306,共12页张维珺 胡军 李宛倩 陈朔 石梦烨 唐红英 
国家重点基础研究发展计划(973计划)No.2014CB744903;南京航空航天大学研究生创新基地(实验室)开放基金No.kfjj20171611;中央高校基本科研业务费专项资金~~
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介...
关键词：自动飞行控制系统(AFCS) 基于模型的安全性分析方法(MBSA) NUSMV xSAP 模型扩展 故障树 失效模式与影响分析(FMEA)表 
面向需求的安全关键系统形式化建模与验证方法研究被引量：3
《计算机工程与科学》2019年第8期1426-1433,共8页胡军 张维珺 李宛倩 
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20171611)(中央高校基本科研业务费专项资金);国家重点基础研究发展计划-973计划(2014CB744903)
在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML-e语言对自动飞行控制系统(AFCS)需求进行建模,提出一种将RSML-e模型转化成NuSMV...
关键词：MBSE 自动飞行控制系统(AFCS) 形式化验证 RSML-e NUSMV 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部