基于等级PRES+的嵌入式系统的建模与实现

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:yaoyao1021
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建。它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解。提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系统中的小部件如何使用层次的概念进行转换。该方法使得复杂的嵌入式系统描述更加模块化,具有可重用性,提高了嵌入式系统建模和分析的效率。通过一个实例表明了该方法的可行性。
其他文献
<正>2016年8月24日,国务院印发《关于推进中央与地方财政事权和支出责任划分改革的指导意见》(国发[2016]49号文),计划到2020年完成相关改革措施。该项改革将减少地方政府财
根据公路管理业务的特点,结合ArcIMS的技术特点和应用优势,在已有研究成果的基础上,采用B/S三层结构和Java中间件技术,设计了一个利用ArcIMS开发的公路信息发布系统。该系统实现了Web下公路数据获取和收集、动态图层的添加、GPS导航、带转向的最佳路径分析、桩号定位等功能,能较好地处理多用户并发访问的瓶颈问题。实践结果表明,该系统的实现对公路管理的现代化、信息化提供了有利依据。
安全文化概念是在20世纪80年代中后期,最先由国际原子能机构在前苏联切尔诺贝利核电站泄漏事故的分析报告中作为核安全对策提出来的。此后,1986年美国NASA机构把安全文化应用到航空
报纸
1051例新生儿疾病筛查采血部位及方法的护理体会  朱 容    摘要目的:观察采血部位,穿刺针、穿刺方法对采血一次性成功率、血标本合格率及对新生儿损伤影响。方法:按单日、双日出生分成两组。对照组无具体定位,采血针为三棱形针;观察组采血针为塑柄方型针。结果:观察组采血一次性成功率明显高于对照组,标本合格率也高于对照组。结论:塑柄方型针对新生儿损伤小,局部肿胀少、瘀斑少、小,采血后按压时间短,新生儿
仿真分析数据的集成是实现企业制造业信息化的重要环节。对Java内容仓库模型,特点,及JCR规范进行了简单的介绍。通过比较Java内容仓库在仿真分析中的优势,得出利用JCR规范设计存
关键词 空气污染 公共场所 甲醛 苯系化合物 装修    资料与方法    调查对象 :2004~2006年选择新开业的公共场所30户为装修组。选择装修1年以上的公共场所30户作为对照组。对室内空气中的甲醛、苯系化合物进行检测。分别从两组中选出数百名工作人员进行健康效应问卷调查。调查对象男女比例相近年龄结构相近,近1个月内没患过疾病。  室内空气污染物浓度测定及评价:按照GB/T18883-200
大学校园的占座行为现象背后隐藏着深刻的社会原因,学校只看到了这种行为加重了公共资源的分配不均,其实它还在心理和社会行为,特别是思想道德方面给学生带来了负面影响。党