【摘 要】
：
现代航电系统越来越复杂,平台设备越来越多,依赖于IMA集成者经验的资源分配方法易出错且不方便检验。本文提出一种基于模型的综合航电平台初步设计方案。系统结构模型根据系
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
现代航电系统越来越复杂,平台设备越来越多,依赖于IMA集成者经验的资源分配方法易出错且不方便检验。本文提出一种基于模型的综合航电平台初步设计方案。系统结构模型根据系统结构元模型进行定义,平台结构模型根据平台结构元模型进行定义,系统和平台结构模型具有特定格式,使得结构定义更加清晰规范,进而为分配约束的提取、分配方案的验证提供了条件。从普通需求及从安全性需求提取资源分配的约束,并将约束转化约束求解器ILOG输入格式OPL进行求解,对得到的候选分配方案进行安全性分析,判断是否接受此分配方案。最后对座舱显示系统进
其他文献
结核病（Tuberclosis）是由结核分枝杆菌引起的一种严重的呼吸道传染病。结核病引起的后果对社会来说是巨大的。现在全世界三分之一的人口（约20亿人）已经感染了结核分枝杆菌，结核病
海南地属热带北缘，冬季由于特殊的光温条件，最适宜发展冬季瓜菜，以供应北方寒冷地区。黑（青）皮冬瓜是海南冬季瓜菜的主要优势产业之一，
《周易恒解》是清代中叶蜀中大儒刘沅的易学著作。刘沅认为,《周易》是一部贯穿“中正”主旨而以天理、性命、经世为内容的圣学全书。以此为基础,刘沅对“抑阴扶阳”阴阳观进
国家政策作为政府实现一定经济和社会目标,扶持与鼓励特定产业发展的重要措施,对弥补市场缺陷、调控市场运营发挥着巨大的作用。企业又是经济的基本细胞、市场的重要参与者。因此政府经常会制定一系列补贴、税收、立法、宣传、激励等措施,对企业运营管理提供政策引导和政策支持,充分发挥企业作为市场的主体作用。在政府的一系列引导调控政策中,政府补贴是运用最多的调控工具。中国从二十世纪50年代起开始实施补贴政策,六十多
当今全球化进程使跨文化交际成为一种普遍现象。来自不同民族、国家的人们在相互的交流与合作中容易因为文化差异而导致人际交往失误。文化认同带来的正面效应和文化排斥诱发
从中学进人大学,是大学生人生的一个转型期,这个转型期给他们带来的身心影响是巨大的。对大多数刚踏进大学校门的学生来讲,都将面临着环境变迁所带来的诸多心理冲突。 1、瞬
采用高效液相色谱法对3种不同发酵类型的茶叶中茶多酚的含量进行测定和比较分析.方法的变异系数小于4.38%,回收率为96.6%~104.0%.其分析结果为:3种不同发酵类型的茶叶中茶多
<正> 在寻找诗歌产生与运动的原始动力,以及诗在文本中的魅力和对于接受者的感染力时,你可发现隐匿的“情气”? 它无形而有态:似乎为人们熟视无睹,但在诗中却无处不在。你不
<正>历代医家在医疗实践中依据疾病的发生、发展以及转归的客观规律,不断地提出新的病证结合论述,从而推进了中医男科学的持续发展。为此,在加速中医现代化的基础上,陈文伯老
研究目的：探讨影响延边地区HCV传播的危险因素及其传播方式,掌握该地区HCV病毒基因型的分布,探讨HCV基因型与疾病发展和治疗应答的关系。为制定更切合实际的防治措施奠定基础,