论文部分内容阅读
本文提出一个描述实时系统需求的模型.在这个模型中,层次式有穷状态机被表示成规则和模板的形式,且一个模板对应于一个状态机.由于与状态机相关的规则和信息可被写入到模板中,故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读.最后,本文也讨论了此模型的特点.
描述实时系统需求的模型
【摘 要】
：
本文提出一个描述实时系统需求的模型.在这个模型中,层次式有穷状态机被表示成规则和模板的形式,且一个模板对应于一个状态机.由于与状态机相关的规则和信息可被写入到模板中
【机 构】
：
武汉大学,武汉大学计算机科学系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2001年4期
【基金项目】
：
国家自然科学基金，高等学校博士学科点专项科研项目，教育部科学技术研究项目
其他文献
目的通过与健康体检者比较心率变异分析(HRV)、血管性血友病因子(v WF)和肱动脉内皮依赖性舒张功能(EDD),探讨抑郁症患者心血管疾病风险。方法抑郁症患者43例作为抑郁症组,健
目的：观察50％硫酸镁溶液局部湿热敷治疗小儿静脉输液致药液渗漏的疗效.方法：采用随机数字法将108例输液致药液渗漏的小儿患者分为观察组与对照组两组,每组54例;对照组常规采用0.
传统的边缘检测方法通常采用预先的平滑滤波操作排除噪声的干扰 ,这使得去除噪声的同时也损失了图像的细节 .因此 ,滤波去噪比例和边缘检测精度一直是一对矛盾 .本文针对这个问题提出了一种基于边缘定向的边缘优化策略 .边缘具有一定的方向是它区别于杂乱无序的噪声的鲜明特征 ,利用这一特征 ,可以不需要平滑滤波操作并能很好地解决以上问题 .文中还根据数字图像的特点提出了自组织定向这一获取图像边缘方向的有效方
《醒世姻缘传》是明末清初带有山东中西部方言语法特色的文献材料，对其助词系统进行详细描写和深入分析、比较研究，具有汉语语法史研究意义和汉语方言语法研究价值。 就语法
<正> 关老行医五十余年,临床经验丰富,学识渊博,对内、外、妇、儿科疾病都有特长,尤其治疗内科疾病更有创见。近三十年来,治愈了大量肝病患者,抢救了不少急危重症。关老对肝
营运资金是企业健康稳定发展的供血库,营运资金的稳定运作显得极其重要,因此,越来越多的企业开始建立财务共享服务中心。论文基于对国内外营运资金管理文献的研究,结合经济新
对镇定一嵌入在Lorenz混沌吸引子内的不稳定平衡点上的混沌轨道提出了一种利用进化RBF 网控制混沌系统的新方法.采用了基于两层编码改进进化规划(IEP)的RBF网学习算法,可以同
目前学术界对重韵问题的关注主要都集中在拟音上面,亦即主要讨论该为重韵赋予什么样的音值。关于重韵分立的性质以及重韵现象出现的原因,学术界则很少有人做过专门的探讨。不