【摘 要】
：
随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML,在多系统级任务并发,任务之间同步
【机 构】
：
辽宁师范大学计算机与信息技术学院,中国计算机学会,辽宁,大连,116081;辽宁师范大学计算机与信息技术学院,辽宁,大连,116081
论文部分内容阅读
随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML,在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.文章研究一种将时间约束Petri网和扩展UML,相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML,的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.
其他文献
探索可靠性技术在轨道交通车地通信领域的应用,就车地通信子系统提出可行的分析方案,采用故障树法来分析计算系统的可靠性参教,通过MATLAB仿真软件进一步验证了计算结果.
一、检查注册表 注册表一直都是很多木马和病毒“青睐”的寄生场所，注意在检查注册表之前要先给注册表备份。查看键值中有没有自己不熟悉的自动启动文件，扩展名一般为EXE，然后记住木马程序的文件名，再在整个注册表中搜索，凡是看到了一样的文件名的键值就要删除，接着到电脑唣到木马文件的藏身地将其彻底删除?
在很多人眼里，西藏是这个世界上最具魅力的地方。世界屋脊上神秘美丽的风光，悠久独特的历史文化，无一不吸引着人们前往的步伐，无一不震撼着人们的心灵。但是高原缺氧环境，有时也会让探索西藏之美的人们“伤”到心，诱发高原心脏病，导致心衰的发生。 缺氧会致 高原心脏病 高原心脏病是以肺动脉高压为主要特征，引发右心室肥厚和心力衰竭的一种心脏病。该病易发生在3500米以上的高原，高原缺氧是诱发本病的根本原因
随着计算机硬件的发展及数据量的增加,对存储设备的要求也越来越高,SD卡是近年来流行的大容量便携式存储卡.该文介绍了一种在ARM9处理器At91RM9200基础上,以SD卡作为主要存储
近几年,随着高带宽需求、高QoS要求应用的不断涌现,人们开始越来越多的关注QoS及网络效率问题,根据不同业务对QoS需求的不同可以将网络服务类型分为尽力而为服务和满足QoS要求的服务,因而ISP在制定价格时必须考虑网络的服务类型,制定与服务模型相符合的定价机制。针对多钟网络服务模型,考虑现有基于服务模型的定价研究,并进行分析与评价。
举世无双的西藏，到处都是雄浑壮美的风光，在寒山雪域、蓝天白云之间更孕育了无数得天独厚的药用资源，美丽圣洁的雪莲花、神奇的红景天、享誉海内外的冬虫夏草、被称为“食用菌之王”的林芝松茸、“绿海明珠”波密的天麻、疗效独特的尼木藏香等等，都是美丽西藏给人类的独特馈赠。 NO.1 美丽圣洁的雪莲花 雪莲花生长在青藏高原海拔4300米以上的山岗悬崖之上，禀喜马拉雅山之灵气生长，吸雪域圣地日月之精华开花，
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
目的探讨罗红霉素(RXM)对烟草烟雾暴露下人支气管上皮细胞糖皮质激素抵抗的作用及其机制。方法将Beas－2b细胞株分为对照组、10%烟草烟雾提取物(CSE)组、RXM＋10%CSE组。用10%CSE干预10%CSE组、10%CSE和RXM共同干预RXM＋10%CSE组、完全培养液干预对照组。酶联免疫吸附(ELISA)法检测白细胞介素8(IL－8)表达水平，并计算IL－8抑制率与地塞米松半数抑制率(