格值有限状态机的乘积与覆盖
本文关键词:格值有限状态机的乘积与覆盖
更多相关文章: 格值有限自动机 同态 全直积 限制直积 级联积 圈积 覆盖
【摘要】:给出了格值有限状态机的覆盖一种新的定义,在这种新的定义下讨论两个格值有限状态机的之间的覆盖关系,也讨论了格值有限状态机全直积、限制直积、级联积与圈积之间的覆盖关系以及格值有限状态机的积与覆盖它们的格值有限状态机的积之间的覆盖关系。
【作者单位】: 南昌工学院民族教育学院;
【关键词】: 格值有限自动机 同态 全直积 限制直积 级联积 圈积 覆盖
【基金】:江西省教育厅科学技术研究项目(GJJ161223) 南昌工学院校级科技课题
【分类号】:TP301.1
【正文快照】: 1引言自从[1]提出Fuzzy集理论后,利用Fuzzy集的方法研究自动机理论和码论也就展开了[2]。随后,Fuzzy自动机的研究和应用越来越深入。[3]、[4]、[5]开始了模糊自动机的代数研究,[6-7]对模糊自动机的代数性质做了详细的研究。在自动机理论中,乘积是基本运算之一,不同形式的乘积
【相似文献】
中国期刊全文数据库 前10条
1 张涌,钱乐秋,王渊峰;基于确定有限状态机的测试输入序列选取[J];计算机研究与发展;2002年09期
2 刘霞;年小玲;游霞;;消除EFSM中状态迁移不确定的方法[J];攀枝花学院学报;2006年04期
3 夏银水;王伦耀;叶锡恩;;划分有限状态机的低功耗实现模型[J];计算机辅助设计与图形学学报;2007年05期
4 向培素;田珂;田野;;非确定部分有限状态机的一种新的一致性关系及其测试[J];西南民族大学学报(自然科学版);2007年06期
5 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[J];四川大学学报(工程科学版);2007年S1期
6 李晓锋;宋锐;曾小宝;;有限状态机在嵌入式系统中的实现及应用[J];广西轻工业;2008年04期
7 周先存;聂尧;;有限状态机在数字调度系统中的建模及应用[J];洛阳理工学院学报(自然科学版);2010年03期
8 杨京开;;模糊有限状态机笛卡尔合成的一些结果[J];模糊系统与数学;2012年06期
9 张博伦;王宁;马慧敏;;有限状态机在模拟演练系统中的应用[J];计算机系统应用;2013年02期
10 王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期
中国重要会议论文全文数据库 前8条
1 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
2 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
3 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
4 邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
5 方敏;;基于分层有限状态机的计算机取证推理方法[A];2008年计算机应用技术交流会论文集[C];2008年
6 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
7 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
8 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国硕士学位论文全文数据库 前10条
1 张粟;大型多人在线角色扮演类游戏中有限状态机系统的设计与实现[D];北京交通大学;2010年
2 谭同超;有限状态机及其应用[D];华南理工大学;2013年
3 许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年
4 常珂;基于有限状态机的建模技术在备品备件管理系统中的实现[D];北京邮电大学;2010年
5 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
6 明小娜;基于扩展有限状态机模型的GIS人机对话模式设计与应用[D];南京师范大学;2011年
7 年晓玲;基于扩展有限状态机软件测试用例自动生成的研究[D];西南交通大学;2005年
8 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
9 张兵全;基于扩展有限状态机的LTE一致性测试系统的设计与实现[D];北京邮电大学;2013年
10 李维岩;基于HFSM模型的测试方案生成研究[D];北京工业大学;2014年
,本文编号:741956
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/741956.html