论文部分内容阅读
本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。
飞行员操作程序的形式化描述
【摘 要】
：
本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的
【出 处】
：
航空电子技术
【发表日期】
：
1992年3期
其他文献
本文讨论了互耦以后矩形波导上下宽面并联裂缝对的谐振电导与裂缝口面激励电压的相互关系。文中给出了上下宽面并联缝对的谐振电导及孤立裂缝谐振电导的解析表达式，以及谐振电
2014年7月至2015年1月,在南京市内秦淮河9个采样点采集水样,分析了内秦淮河水体中氮元素的时空分布特征,采用单因子污染指数法对内秦淮河水质进行了评价。结果表明：南京市内秦
<正>肺炎支原体肺炎（MPP）常见于青少年和儿童,肺炎支原体（MP）是急性呼吸系统感染性疾病中较为常见的病原体。据统计,在所有社区获得性肺炎（CAP）的病原中,肺炎支原体占10%～40%。临床
随着移动网络技术的不断发展,智能设备消息推送机制不断完善。信息推送被运用到了很多领域,该文给出了信息推送在智能设备家校通系统中的运用,解决了基于台式机家校通系统的
本文介绍了我国第一台室内扫频ＲＣＳ测量与微波成像测量两种功能兼容的测试系统，简述了其基本结构和工作原理；展示了关于ＲＣＳ测量和成像测量的实用信号处理方法；并例举了某些实测结果。
对于巡航导弹等精确制导开口和军用飞机导航系统，不仅要求高精度，而且要求具有快速的故障检测，隔离，系统重构能力。本文介绍一种将联合滤波技术应用天ＧＰＳ／ＩＮＳ／罗兰Ｃ组合导航系统的设计。理
针对云计算环境下的资源调度优化问题,提出了一种基于量子粒子群策略的混洗蛙跳改进算法(简称QPSFLA算法),旨在引入量子粒子群搜索策略防止传统混洗蛙跳算法容易陷入局部最优
Web Service作为最流行的远程调用技术,对配电网企业信息集成系统意义重大。本文针对配电网企业典型网络环境,提出了一种基于SOA的Web Service架构设计、特征模型和特征规范,
精心开发或交付使用的平视显示器,其精度是否达到了预定的指标,应经检测予以证实。本文在例举平显精度检测类别之后,重点讨论检测的设备、静态精度检测方案、检测数据分析、