论文部分内容阅读
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动态仿真保证设计模型的正确性。
简述Statecharts的CASE工具SuperState
【摘 要】
：
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动态仿真保证设计模型的正确性。
【机 构】
：
桂林电子科技大学计算机系
【出 处】
：
广西科学院学报
【发表日期】
：
2006年4期
【基金项目】
：
广西自然科学基金（0542036）资助.
其他文献
城市的近代化离不开城市经济、文化和社会生活的进步和发展。在辛集城市近代化的过程中,其优越的地理区位给经济的发展带来巨大动力,同时给交通运输带来极大便利。皮毛业作为
随着改革开放的日益加深,企业市场范围不停扩大,图书公司不停增多。某些企业为了降低成本进而获取更大的利润,印刷盗版书籍、回收特价书,加剧了市场秩序的混乱和严重损害了消
<正>基础教育阶段生涯辅导基本处于"缺席"状态。中学阶段生涯教育开展困难的原因很多,其中重要的一点就是缺乏相应的教材以及教学范例,教师在实际的教学过程中面临着教学材料
本文从理论上进一步分析和论证了判别线性系统稳定性的标准连分式系数法;提出了对几种特殊情况的处理方法,使之得到进一步的完善;编制了一个通用程序,以用来判断任何阶次的线
本文利用DELMIA软件模拟机器人工作站,观察机器人工作站的整体情况,查看机器人运动轨迹和零部件的运动动作,检查工作站运行时的干涉情况,并针对出现的问题提出解决方案,及时
1月16日,中共国家知识产权局党组召开会议,传达学习习近平总书记在中央政治局民主生活会上的重要讲话精神和中央政治局民主生活会情况通报。市场监管总局党组成员、中央纪委
研究了ＣＤＰＤ（蜂窝数字分组数据）系统中的Ｖ．４２ｂｉｓ信源数据压缩方案，并针对数字信号处理器）的特性，提出了Ｖ．４２ｂｉｓ在ＤＳＰ上实现的数据结构和相应算法，在占用内存空间和压空字典维护两方面取得了良好的效果。
阐述了一种用于实现动态智能号码薄系统的信息模型。在该模型中，对号码的客户信息和电话挡案信息实行对象的分别管理，并采用对象的单向依赖模型对系统中的各对象进行转换，实现了
本文引入空间效应、非参函数和非连续分布技术无效率项,构建了半参数空间0无效率随机前沿模型（简称为半参数空间ZISF）,模型的适用性更广,可有效避免函数形式误设和忽略内生性问