云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=自动飞行系统模式 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于MTRDL的自动飞行系统模式需求建模与验证方法被引量：1: 《软件学报》2024年第9期4265-4286,共22页徐恒黄志球胡军陶传奇王金永石帆; 国家自然科学基金(U2241216);中央高校基本科研业务费专项资金(NT2022027,NJ2022027);河南省科技攻关项目(222102210048)。; 在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中...; 关键词：自动飞行系统模式形式化方法 SysML建模安全性质

全选清除导出

共1页<1>