论文部分内容阅读
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。
嵌入式联锁控制器软件体系结构动态建模研究
【摘 要】
：
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌
【机 构】
：
西南交通大学信息科学与技术学院,成都纺织高等专科学校电子信息与电气工程系,四川工商职业技术学院基础教学部
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年2期
【基金项目】
：
四川省教育厅自然科学基金（No.07ZB005）.
其他文献
目的：观察二甲基亚砜（dimethyl sulfoxide，DMSO）用于化脓性耳软骨炎的治疗效果。方法：对发生化脓性耳软骨炎的耳廓，切开引流，彻底清除坏死软骨后，治疗组以含二甲基亚砜、庆大霉素、地
汪平虽在小地方，名气却很大。在当今书法圈里，但凡经常拿毛笔搞书法且在主流中讨生活的朋友，尤其是60后至80后，不知其名的恐不太多。在其老家上至达官商贾，下至平民百姓，差不多路人皆知。据悉，最近其家乡的公交车站在县城的所有站牌处全篇幅专题展示他的艺术成就，能享受到这一隆重待遇的可不多呀！真不是一般的牛。如此一来，他更能将书法的魅力渗透到广大群众心中了。 在书法这个行当风光无限的汪平其实生活中是低调
目的：观察湿润烧伤膏（MEBO）在各类不同程度烧伤中的治疗效果。方法：65例烧伤病人全程采用湿润暴露疗法（MEBT）治疗。结果：65例各类不同部位，不同程度的烧伤创面全部治愈，治愈率达100％。
研究了Newton—Leipnik混沌系统的各种动力学行为，从中发现了新的双体双核混沌吸引子，发现了混沌吸引子与小周期吸引子、大周期吸引子并存于同一相空间的各种情况，发现了趋于周
痛证的病因复杂，涉及面广，可有全身性疼痛，也可有局部疼痛。据有关统计，全球约有十多亿人在头痛的痛苦中折磨，上百种疾病都涉及到痛证。痛证的疼痛性质也很复杂，一般主观感觉的不好
提出了FFT处理器的蝶形单元和地址发生器优化方案。通过改进Wallace树型加法器阵列结构，提高了蝶形单元乘法器的工作频率。提出了地址快速生成算法，该算法在快速产生地址的同时
梁[山献](1727-1785),字文山、闻山,号松斋、断砚主人、六松居士,安徽亳州人。雍正五年(1727)出生于亳州夏侯巷祖宅。乾隆九年(1744)随长兄梁峰游学于南京钟山书院,乾隆二十
2013年,《书法报》邀请湖北美院副教授、文艺学博士许伟东撰写了为期一年的《二十世纪书家回眸》专栏。我当时担任这个栏目的责任编辑,在整整一年的时间里,我负责与许伟东保