【摘 要】
：
AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法，为该系统模型结
【基金项目】
：
航空科学基金项目(2006ZC31001)
论文部分内容阅读
AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法，为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模，给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例，验证了所提建模方法的有效性。
其他文献
随着我国市场经济的蓬勃发展,社会和企业越来越需要职业能力和综合素质较高的高素质技能型人才,而我国传统的高等职业教育模式主要是一种典型的以学校和课堂为中心的人才培养
随着新课标的改革,在初中作文教学模式上也有了突破。通过"模仿训练"能够提升学生的写作能力,以模仿为基础进行写作上的创新,模仿训练不但丰富了学生的阅读量,而且还提高了学
目前,造纸工业持续高速发展,但也越来越受到造纸原料问题、环境问题和能源问题的制约,这引起了国内外专家学者的普遍关注。利用非木材纤维资源,借助于清洁、节能的氧碱制浆方
摘要中国一东盟自由贸易区在2010年正式建立,这是我国对外洽谈的第一个自由贸易区,也是世界上由发展中国家组成的最大自由贸易区。在此背景下,中越两国的经贸合作将进一步加
结合河南岭南高速公路隧道工程全部采用新奥法施工,说明注重现场监控量测,并利用量测结果及时补充设计和指导施工,提出了合理的监控量测及信息化施工方案。
楚雄型彝族服饰分布区是中国彝族支系最多最集中之地,也是保留彝族传统文化较多的地区之一,故服饰也纷繁多彩。在长期的生活实践中,楚雄彝族妇女以织、绣、挑、贴等各种工艺
本文试图根据动态语用学之语用模糊理论 ,从语言交际者的相互关系、语境、话语之力、言外之的等角度 ,对小说《红楼梦》中一些人物对话实例进行分析 ,以求对语用模糊策略的本
《圣济总录》是北宋政和年间(公元1111年—1117年)宋徽宗赵佶诏令敕撰的大型方书,为宋代三大官修方书之一。《圣济总录》在编撰体例上最大的特色是“以病分门”,而且该书的66
根据2003年至今十几年野外调查的一手材料,报道了番杏科（Aizoaceae）、落葵科（Basellaceae）、马钱科（Loganiaceae）等14个《辽宁植物志》和《东北植物检索表》（第2版）未收录的科;阿洛葵
20世纪80年代之后的30年间,翻译研究的发展日新月异,当代西方翻译理论研究亦呈现出渐趋多元、系统的研究态势和层出不穷的研究成果。在卓有成就的西方翻译理论家中,美国学者