【摘 要】
：
采用虚拟原型技术Statemate工具,应用功能图建立飞行控制器的“自顶向下”的功能层次模型,应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能
【机 构】
：
中国科学技术大学自动化系,南京航空航天大学自动化学院
【基金项目】
：
空军装备重点预研专项基金资助项目(402050102);国防科技重点实验室基金资助项目(51463030303ZS5204)
论文部分内容阅读
采用虚拟原型技术Statemate工具,应用功能图建立飞行控制器的“自顶向下”的功能层次模型,应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能的正确性。在此基础上产生数据可靠、一致性好的实际飞行控制软件的测试用例,避免了人为产生测试用例的随意性与多样性。基于软件虚拟原型技术的软件验证与测试技术特别适合测试那些没有按此方法开发出来的嵌入式软件。
其他文献
微课程是近年来新兴的信息化教学模式,其最大的特点是可视化,即融图像和声音为一体,目前正迅速影响各类学科的教学。本文通过对高职生英语口语现状的分析及微课程授课模式的
高校青年教师职业满意度研究具有重要的现实意义。调查分析表明,职业爱好和专业兴趣、专业发展、社会认同、经济收入等,是影响高校青年教师职业满意度的重要因素。高等学校应
铁路的高速化已经成为世界铁路的发展趋势,外国发达国家正在持续修建和发展高速铁路。高铁是铁路新技术的综合,其发展将为铁路的技术状态带来全新的变化,成为了铁路现代化的
初中历史教学经验告诉我们,能否调动初中生学习主动性和积极性,能否提高他们的学习兴趣和培养求知能动性,常常是一节历史课成功与否的关键。那么,到底如何才能培养初中生学习
本文主要研究了企业信息门户技术的具体应用实例及开发方法,实现了单点登录,保证了信息来源的唯一性和信息完全的一致性,建立了企业门户的标准化体系,实现了信息的完全共享,
针对弹性范围内外压圆筒,采用ANSYS软件特征值法对其进行稳定性分析,并与目前常见的理论计算公式、设计标准算图进行对比分析。结果表明:采用壳单元Shell 181,当Mx>2.83时,AN
<正>接案这个案例的求助对象,既不是怀孕的少女,也不是她们的家人,而是街道的计生干部。少女未婚生育违反了计划生育法律法规,街道计生干部发现了该少女怀孕的信息后,立即上
融资租赁,也称金融租赁,是指出租方融通资金,为承租方提供所需设备的一种集融资融物为一体的特殊交易形式。融资租赁集贸易、金融、服务为一体,是世界上仅次于银行信贷的第二
目的总结护理延伸服务对于精神活性物质所致精神障碍病人所产生的临床疗效。方法以随机实验的方法为主,根据在我院接受诊疗的150例精神活性物质所致精神障碍作为实验目标,分
概述了柿属植物在园林应用中的资源状况、观赏特性和综合利用价值,阐述了柿属植物适于园林应用的优良特性及其配置形式。