基于互模拟的模糊粗糙近似研究
【图文】:
除了测试两个进程的相似程度,互模拟也可以用来减少系统的状态空间。实际上,模拟的概念不仅仅起源于计算机科学[53,54,5^59],在集合论与模态逻辑中也基本同时而且独立地被发现[55]。本文主要从计算机科学领域介绍互模拟的相关情况。计算机科学中,图灵奖得主Milner和Park于1981年正式提出了互模拟的概念,53,54一
3.1.1如果我们给定输入符号集灰,那么标号模糊近似空间是由非空状态集t/=邋{4|fleW},&:^/\[/->[0,1]组成的一类模糊关系结构。该结构可以用二(V)表示。因为此类模糊关系结构由论域(此时论域中的对象是非空状态集态)和多个二元模糊关系组成,而粗糙集理论中的近似空间由论域和一个模糊或者一般二元关系组成(因为模糊关系是一般二元关系的推广,所以近似空间上是由一个论域和一个模糊关系组成),所以模糊关系结构实际上是近似空间的众所周知,将模糊关系作为近似空间的不分辨关系,人们可以构造上近似算子近似算子。通过上近似算子和下近似算子,人们可以挖掘隐藏在近似空间中的识。一个自然的问题是在上述模糊关系结构中是否也可以进行粗糙集分析?回答这个问题,本节将在标号模糊近似空间引入互模拟[63]的概念。在引入互模拟之前,本节给出两个例子,它们可以帮助我们理解标号模糊近间的结构。逡逑3.1.1邋如图邋3-1邋[6°],5邋=邋({5'0,1y1,j2,1y3,,1s'4},"{a,Z?,c},{5a,5Z),5c})是有限标号模糊近
【学位授予单位】:北京邮电大学
【学位级别】:博士
【学位授予年份】:2019
【分类号】:TP18
【相似文献】
相关期刊论文 前10条
1 张晋津;张严;朱朝晖;;(η,α)-互模拟的分层及判定算法[J];计算机工程与科学;2015年03期
2 张兴兴;邓楠轶;马占有;李永明;;广义可能性互模拟及其逻辑刻画[J];计算机工程与科学;2015年05期
3 李娜;姚从军;;互模拟理论的逻辑研究述评[J];哲学动态;2010年04期
4 曹木亮,吴智铭;π-网的强互模拟等价[J];计算机学报;2005年01期
5 傅育熙;并发计算的元模型中Ⅲ.互模拟格[J];上海交通大学学报;2000年05期
6 杨军;孟海涛;;一种自动验证网络安全协议的互模拟方法[J];内江师范学院学报;2008年12期
7 施晓静;;n-互模拟及其相关性质[J];电子世界;2017年23期
8 董笑菊 ,傅育熙 ,钟发荣;非对称χ~≠-演算的互模拟格[J];计算机研究与发展;2004年11期
9 施晓静;;n-互模拟量化逻辑语言的不变性[J];电子世界;2017年24期
10 傅育熙;开互模拟的一条泛公理[J];中国科学E辑:信息科学;2004年08期
相关会议论文 前4条
1 颜锋;陈韬略;韩婷婷;吕建;;Pi演算的一种变例及其开互模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 黄银强;钟发荣;;非对称X-演算的符号互模拟验证算法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
4 王玮;孙翠;刘长贵;杨森;;交互模拟技术在采油工艺技术学习中的应用[A];《采油工程文集》2017年第4辑[C];2017年
相关博士学位论文 前10条
1 杜宜宾;基于互模拟的模糊粗糙近似研究[D];北京邮电大学;2019年
2 徐贤;高阶进程演算的互模拟理论和公理化的研究[D];上海交通大学;2008年
3 邓辉;基于符号与数值混合计算的多项式变迁系统近似互模拟[D];北京交通大学;2014年
4 王立松;基于资源的访问控制理论与应用研究[D];南京航空航天大学;2010年
5 黄镇谨;基于模型检测的时空性能分析若干问题研究[D];合肥工业大学;2016年
6 张晋津;转换系统行为近似等价性的研究[D];南京航空航天大学;2010年
7 蔡小娟;基于π演算的编程与表达能力研究[D];上海交通大学;2009年
8 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
9 薛建新;传名演算变体的互模拟理论,表达能力和证明系统研究[D];上海交通大学;2013年
10 史t
本文编号:2680904
本文链接:https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2680904.html