首页> 中文会议>中国自动化学会第十六届青年学术年会 >非确定时间有限状态机的构造算法

非确定时间有限状态机的构造算法

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了能够利用Wp方法在时间自动机上产生测试用例必须根据格子自动机构造非确定时间有限状态机.本文给出一种构造方法,证明了该方法能够保证非确定时间有限状态机的行为等价于格子自动机的行为.最后给出具体的构造算法.

著录项

来源
《中国自动化学会第十六届青年学术年会》|2001年|505-508|共4页
会议地点桂林
作者
廖伟志; 古天龙; 蔡国永;
展开▼
作者单位

中国自动化学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动机理论;
关键词
格子自动机; 非确定时间有限状态机; 离散事件系统; 测试; 构造算法;

相似文献

中文文献
外文文献
专利

1. 格值有限状态机子机的构造算法 [J] . 雷红轩 ,黄建科 . 计算机工程与应用 . 2010,第026期
2. 基于非凸上界的ranking模型构造算法 [J] . 程凡 ,王煦法 ,李龙澍 . 华南理工大学学报（自然科学版） . 2012,第004期
3. 基于掩盖技术的非规则QC-LDPC码构造算法的研究 [J] . 赵旦峰 ,佟宁宁 ,吴宇平 . 佳木斯大学学报（自然科学版） . 2007,第006期
4. 基于有限状态机模型的非压缩域视频差分能量水印算法 [J] . 冯佳琦 ,蒋兴浩 ,孙锬锋 . 上海交通大学学报 . 2010,第7期
5. 非确定部分有限状态机的一种新的一致性关系及其测试 [J] . 向培素 ,田珂 ,田野 . 西南民族大学学报（自然科学版） . 2007,第006期
6. 非完全确定有限状态机最小闭覆盖的有效算法 [C] . 李炜 ,吴建国 ,刘政怡 . 第四届中国软件工程大会 . 2007
7. 不确定时间序列相似性非参数度量方法研究 [A] . 迟荣华 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号