飞行员操作程序的形式化描述

下载PDF

导出

摘要本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。

作者陆荣国

出处《航空电子技术》北大核心 1992年第3期20-22,19,共4页 Avionics Technology

关键词飞行人员操作程序形式化

1靳慧斌,蔡亚敏,洪远.A320/319/321与B737-800型客机飞行员操作程序的对比研究[J].科技和产业,2014,14(4):115-119. 被引量：1
2刘晨,完颜笑如,庄达民.基于大型客机操作程序的人机功能分配研究[J].民用飞机设计与研究,2013(3):31-35. 被引量：7
3宋扬,辛国华.ARJ21飞机POP仿真的设计实现[J].飞机工程,2009(2):11-13.
4汪民乐,高晓光.攻击机靶场效能优化:概念、方法与基本问题[J].火力与指挥控制,2003,28(2):38-40.
5王芳,蒋建军,王俊彪.基于本体的适航管理知识建模的研究[J].科学技术与工程,2012,20(11):2642-2648. 被引量：6
6张媛,张立民,刘文彪.BVR空战仿真中具有分层学习能力的CGF实体行为仿真框架设计[J].海军航空工程学院学报,2012,27(1):79-83. 被引量：1
7舒红平,徐振明,邹书蓉,何嘉.网格聚类在多雷达数据融合算法中的应用[J].电子科技大学学报,2007,36(6):1253-1256. 被引量：3
8王俊彪,陆兴海,刘闯.基于知识重用的飞机钣金工艺决策与智能设计[J].机械科学与技术,2007,26(11):1377-1380. 被引量：4
9高建平,徐启文,陈宗基.混合系统的形式化开发——故障检测与隔离算法的严格化设计[J].计算机学报,1999,22(3):225-234.
10贺川,孟宪贵,祝转民,李德峰,龙运军.基于执行时段滑动调整策略的中继卫星任务规划算法设计[J].飞行器测控学报,2015,34(3):246-253. 被引量：5

航空电子技术

1992年第3期

浏览历史

内容加载中请稍等...