论文部分内容阅读
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示.最后,本文也阐述了此工作的作用和意义.
从状态图到规则的转换
【摘 要】
：
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示.最后,本文也阐述
【机 构】
：
武汉大学软件工程国家重点实验室湖北武汉430072
【出 处】
：
小型微型计算机系统
【发表日期】
：
2001年6期
【基金项目】
：
国家自然科学基金，高等学校博士学科点专项科研项目
其他文献
高产能籽瓜破碎取籽机是籽加工过程中的关键设备,可一次性完成籽瓜瓜籽、瓜瓤和瓜皮的分离.根据目前机型存在的产能低,瓜籽的损失率大,脱净率、洁净率低等问题,对取籽机的关
目的：研究PI3K/mTOR信号通路抑制剂NVP-BEZ235体外抑制甲状腺癌细胞的增殖,并诱导其凋亡的作用及分子机制,为甲状腺癌的临床治疗提供新的分子靶点。方法：体外培养甲状腺癌SW579
黄骅港综合港区通用散杂货码头工程地质中存在粉细砂硬夹层,采用锤击法沉桩,穿透此硬层非常困难。在本工程试桩中采用了水冲法配合锤击的沉桩工艺取得成功。在码头承台桩基施
文章基于中国快速增长的对外投资和技术升级与结构转型的背景,考察对外投资对企业创新的影响及其作用机制。基于对外投资影响企业创新的理论机制分析,文章利用中国上市公司财
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
同步控制是LED多线切割机控制系统成功的关键。分析了传统多线切割机切片过程的受力模型，针对其缺陷设计了一种加工罗拉摇摆装置，并给出其模糊迭代同步控制策略。与单一模糊控
随着我国国民经济的快速增长,道路交通量的日益剧增,道路交通压力的日趋严峻,许多城市的旧路年久失修,其通行能力已不能满足交通功能上的需求,服务水平低下,这些道路相当程度
本文实现了一种利用小波变换的极大值描述进行图像压缩编码的方法.该编码方法能有效的保持图像的重要边缘,在压缩比较高情况下,重建图像主观视觉效果良好.
【正】 马克思在《资本论》中详细地叙述了价值形态的演变过程:第一阶段是简单价值形态,即以物易物;第二阶段是扩大的价值形态,即以一种商品(如麻布)与许多其他商品进行交换,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield