【摘 要】
:
主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可
论文部分内容阅读
主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简
其他文献
目的初步探讨单核细胞趋化蛋白-1(MCP-1)﹑Ⅳ型胶原蛋白(Ⅳcollagen)和血清在单核细胞迁移过程中的作用。方法体外单核细胞迁移模型的建立,在体积分数10%FBS/1μgⅣcollagen和体积
<正>《我是体育教师》——送教民族自治区巴林右旗站,于2018年5月6-12日在内蒙古巴林右旗展开支教活动。5月11日,来自黑龙江省哈尔滨市复华小学校的张博、哈尔滨师范大学附属
社会资本范式研究的兴起,引发对中国城市街区社会资本存量的分析与考量。社会资本的不断下降,重要原因在于城市街道办事处职能的“错位”与“越位”,这制约着社会资本的提升
<正>近年来积极情绪的研究在国外逐步成为情绪研究的核心问题之一。B.L.Fredrickson的积极情绪扩展建设理论(thebroaden-and-build theory of positive emotions),论述了积极
类固醇激素反应性慢性淋巴细胞性炎性反应伴脑桥血管周围强化症(CLIPPERS)综合征是一种对类固醇激素治疗敏感的慢性中枢神经系统炎性疾病,主要累及脑桥,部分患者也可同时累及
目的 总结发生于盆腔及会阴区侵袭性血管黏液瘤(AAM)的临床特征、MRI 表现及病理特点.资料与方法 回顾性分析 7 例经手术病理证实为 AAM 患者的临床、MRI 及病理学资料,7
目的探讨超声声速匹配技术在均匀性脂肪肝分度中的诊断价值。方法选取120例均匀性脂肪肝患者为研究对象,其中轻度脂肪肝50例(轻度组)、中度脂肪肝40例(中度组)、重度脂肪肝30
背景:目前手术治疗已成为移位髋臼骨折治疗的金标准,累及髋臼后柱骨折的发生率较高,但选择何种内固定方法治疗髋臼后柱骨折较为适宜尚无定论。目的:建立髋臼后柱骨折模型,比较
实现了一种基于Inception-v3卷积神经网络的人脸识别方法。该方法通过修改pool_3以上的结构来改变网络深度,从而使卷积神经网络模型能自动提取人脸特征并进行分类。利用OpenC
针对费诺编码的算法研究与实现问题,提出一种最优偏差值与分治法相结合的算法。算法以最小偏差值为目标,在概率序列中寻找最佳断开位置,通过最佳断开位置实现费诺编码。鉴于