【摘 要】
：
随着嵌入式系统设计日益复杂，对系统的描述也提出了越来越高的要求，特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中，线程的时间属性影响着系统的实时性，因此
论文部分内容阅读
随着嵌入式系统设计日益复杂，对系统的描述也提出了越来越高的要求，特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中，线程的时间属性影响着系统的实时性，因此在设计早期利用AADL描述线程，但是AADL只是一种半形式化的语言，不够精确，并可能产生二义性。因此，把AADL模型转化为时间Pe砸网，但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上，针对时间Petri考虑区域值延时与固定延时，并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转
其他文献
目的:探讨电针足少阳经穴对去卵巢大鼠骨质疏松症(OP)治疗作用的分子学机制。方法:将40只Wistar雌性大鼠随机分为假手术组、模型对照组、模型加胆经针刺组(简称胆经组)、模型
《七宗罪》是由美国导演大卫·芬奇执导，布拉德·皮特、凯文·史派西等人主演的一部宗教气息浓重的犯罪悬疑片，于1995年上映。尽管该影片的剧情扑朔迷离堪称完美，但在第68届奥斯
我国高等职业教育在大众化进程中不断发展,质量问题备受关注.应该坚持有利于高等职业教育的科学的质量观,它包括:发展质量观、多样质量观、特色质量观和适应质量观.发展质量
九兴牌 2 0 %多·福·克大豆种衣剂 ,有提高保苗率和有效防治苗期病虫害的作用 ,并能明显地提高大豆产量
Jiuxing 20% Duofuke grams of soybean seed coating agents,
目的该实验探讨一种新型的维甲酸衍生物4-氨基-2-三氟甲基苯基维甲酸酯（4-amino-2-Trifluoromethyl-Phenyl Retinate,ATPR）对神经母细胞瘤SH-SY5Y体外增殖及分化的作用。方法不
对山东德州地区农业土壤中铜、锌、铅、镉4种重金属元素含量进行测定,并按《土壤环境质量标准》(GB15618-1995)以及《农田土壤环境质量监测规范》规定的土壤污染分级标准来评
随着现代生物技术的发展,DNA分子标记技术在茶树研究领域的应用越来越多,本文综述了RFLP、RAPD、AFLP、SSR、ISSR在茶树种质资源遗传多样性分析中的应用现状,探讨了分子标记
1医案举隅王某,女,16岁,中等文化,体操队运动员。1981年6月13日初诊,由教练员陪同就诊,到军医学校教学医院中医专家门诊求治。原因是体操比赛失误,未获理想名次,心情沮丧而突
课堂教学设计模式与内涵高度浓缩了教育技巧和教育风格,培养学生把握语言的实践能力,通过语言的输入,使学生达到运用语言自如的目的。
近年来,随着社会经济发展,传统钢铁工业生产中暴露出的生态环境破坏问题越发突出,对整个人类社会的可持续发展造成了威胁。新时期,人们已经越发意识到生态环境保护的重要性,