【摘 要】
：
在原有构件依赖关系的基础上,提出一种架构分析与设计语言（AADL）系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petr
【基金项目】
：
国家自然科学基金资助重点项目“高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究”（60736017）,国家“863”计划基金资助项目“模型驱动的任务关键软件系统测试建模与支撑平台”（2007AA012147）
论文部分内容阅读
在原有构件依赖关系的基础上,提出一种架构分析与设计语言（AADL）系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网（GSPN）可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估
其他文献
<正>教师的职责是教书育人,育人的一项重要内容是育心。励志教育作为素质教育的重要组成部分,是促进学生身心健康成长的重要保证。实践证明,在学科教学中渗透励志教育可以收
实验教学对高校人才培养起着重要作用,地理信息科学本科专业的实践性很强,实验教学效果直接影响学生动手能力和创新思维能力的培养。但通过调查研究发现地理信息科学专业核心
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
依据频率选择性衰落信道下基于正交频分复用技术的多节点放大转发协作通信系统，提出一种基于叠加导频的分段式信道估计方法。该方法采用双块状导频，分别记录级联链路和第2段链
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以壮族为主体的“那”文化稻作神话群,依照其生长于其上生产方式所赋予的意义,它能够表现出壮族等民族的空间展演与时间隐喻的交汇特质,形成了科技理解与生态选择相统一的生
在生物复习教学中应始终以培养学生思维能力为出发点,改变教法,激发学生的内驱力,把学习变成学生内在的需求,从根本上促进学生认知、能力、个性的发展,从而全面提高学生的素
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在基于内容的图像检索中,传统的颜色直方图和频域特征直方图不能满足颜色过渡、梯度方向和幅值变化等连续性和相似性。为此,提出非线性模糊颜色直方图和非线性模糊梯度向量直方图检索算法。该算法通过符合人类视觉非线性感知特性的方式描述图像,结合图像的统计和频域特征,构建一个特征组组合选取的方法,选出适合的标识图像特征组组合以提高图像检索系统的检索效率。实验结果表明,与其他检索算法相比,该算法具有较好的检索质量
目的:观察和胃通降汤治疗反流性食管炎的临床疗效。方法:治疗组用和胃通降汤治疗,对照组用雷贝拉唑治疗,疗程4周。对比治疗前后症状,总结总有效率并做出评价。结果:治疗组总