【摘 要】
：
在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响.对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战.驾驶舱显示系统负责显示飞机
【机 构】
：
南京航空航天大学计算机科学与技术学院,中国航空无线电电子研究所
【基金项目】
：
国家“973”重点基础研究发展计划项目(2014CB744901);国家自然科学基金(61170043)
论文部分内容阅读
在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响.对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战.驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引.保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障.对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误.其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用T一VEC工具
其他文献
徐州生物高等职业学校兔场饲养獭兔400余只，2005年6月，该场发生一种急性下痢、高传染性、高死亡率的疾病，死亡40余只，兔龄均在3月龄左右。病兔一旦出现腹泻，1～2天内即死亡。开始误
作者针对北方寒冷地区玻璃幕墙在建筑中的节能要求,结合自己的工作经验对结构处理、质量通病等一系列防治措施进行了详细的分析.
本文通过工程实例说明如何将大型地下商场的空调、通风及防排烟系统三者结合在一起,用一套风系统来实现其各自作用的.
随着人们生活水平的提高,旅游已然成为大多数人休闲娱乐的主要方式之一,同时也存在很多弊端,物业管理作为新兴产业同样也有不足之处。因此,同为朝阳产业的物业管理与旅游业,
结构的概念设计就是运用人们对建筑结构这个客观事物的正确认识去妥善地处理从结构所受的各种作用的特点到结构计算到不同结构在各种作用下反应、变形能力和破坏机制以及各种
1、鹿猝死症流行病学特点在调查的27个鹿场中有25个鹿场都曾发生过鹿的猝死症,发病季节以9～11月份最高,配种期成年公鹿死亡居多,母鹿呈散在发生,出生后15日内仔鹿、断奶后仔鹿
随着人们生产生活水平的提高,对于选用何种类型的建筑材料也提出了更高的要求,新型建筑材料伴随着科学技术的进步在近几年是大量出现,在实际的建筑市场上发挥了重要作用。相
我国加入WTO以后,给龙江牧业带来前所末有的发展机遇.把粮型农业转化成牧型农业,把粮食产业转化成饲料产业是黑龙江省今后发展的主题.发展草食畜牧业,开发饲草业,建没保护天
本文论述了砖混结构墙体裂缝产生的原因，以及在设计过程中应采取的措施。
钢材是现代化建设工程中十分重要的材料。本文从结构设计和施工二方面论述了如何在确保工程质量的前提下，努力地从各方面节约钢材，这对降低工程造价有着重要意义。