×

非确定性模糊算子。 (英语) Zbl 1336.03058号

Cojocaru,Monica G.(编辑)等人,应用数学、建模和计算科学的跨学科主题。根据2013年8月26日至30日在加拿大滑铁卢举行的2013年AMMCS第二届会议上的演示文稿选出的论文。查姆:施普林格(ISBN 978-3-319-12306-6/hbk;978-3-316-12307-3/ebook)。《Springer Proceedings in Mathematics&Statistics》117,451-456(2015)。
摘要:我们认为,非确定性程序表现得尽可能糟糕,只要有可能就会永远循环。我们处理关系代数模型来定义非确定性细化模糊排序(非确定性模糊包含)以及相关的模糊运算,它们是模糊非确定性连接((sqcup{mathrm{fuz}})、模糊非确定性满足((squap{mathrm{fuz}},)和模糊非确定性组合((squire{mathrm{fuz{}}()))。我们还给出了这些操作的一些性质,并用简单的例子加以说明。
关于整个系列,请参见[Zbl 1325.00049号].

MSC公司:

03E72型 模糊集理论等。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Berghammer,R.:数据类型和程序的关系规范。技术报告9109,德国慕尼黑联邦国防大学Fakultät für Informatik,1991年9月
[2] Berghammer,R.,Schmidt,G.:关系规范。收录:Rauszer,C.(编辑)Proc。第三十八届斯特凡·巴纳赫逻辑代数方法及其计算机科学应用研讨会,第28卷,第167-190页。华沙波兰科学院数学研究所巴纳赫中心出版物(1993年)·Zbl 0791.68104号
[3] Berghammer,R。;Zierer,H.,确定性和非确定性程序的关系代数语义,Theor。计算。科学。,43, 123-147 (1986) ·Zbl 0596.68019号 ·doi:10.1016/0304-3975(86)90172-6
[4] Desharnais,J.,Tchier,F.:顺序程序的Demonic关系语义。加拿大魁北克拉瓦尔大学信息学系DIUL-RR-9406研究报告(1995年)
[5] Desharnais,J。;北卡罗来纳州贝尔基特。;Ben Mohamed Sghaier,S。;Tchier,F。;Jaoua,A。;Mili,A。;Zaguia,N.,在关系代数中嵌入恶魔半格,Theor。计算。科学。,149, 2, 333-360 (1995) ·兹比尔0874.68199 ·doi:10.1016/0304-3975(94)00271-J
[6] 考夫曼,A:模糊子集理论导论,第一卷。《基础理论要素》,马森出版社,巴黎(1973年);第2卷。《语言学、逻辑和语义学的应用》,巴黎马森出版社(1975年);第3卷。《分类和模式识别、自动机和系统以及标准选择的应用》,巴黎马森出版社(1975年);也是《学术》第1卷的英文译本,纽约(1975年)
[7] 考夫曼(Kaufmann,A.):《灵魂合奏弗洛斯简介》(Introduction A la Théorie des Sous-Ensemples Flous),第四卷,马森,巴黎(1977)·Zbl 0346.94002号
[8] Kawahara,Y.,Furusawa,H.:模糊关系的代数形式。1995年7月在巴西里约热内卢举行的第二届计算机科学关系方法国际研讨会上发表
[9] Mili,A.、Desharnais,J.、Mili,F.:确定性程序设计的关系启发式。《信息学报》24(3),239-276(1987)·Zbl 0595.68018号
[10] 罗森菲尔德:模糊图。载于:Zadeh,L.A.、Fu,K.S.、Shimura,M.(编辑)《模糊集及其应用》,第77-95页。美国纽约州纽约市学术出版社(1975年)·Zbl 0315.05131号
[11] Tchier,F.:《Sémantiques relationationnelles démoniaques et vérification de boucles non déterministes》。加拿大拉瓦尔大学数学与统计专业博士论文(1996年)
[12] Zadeh,L.A.,模糊集,信息控制,8,338-353(1965)·兹伯利0139.24606 ·doi:10.1016/S0019-9958(65)90241-X
[13] Zadeh,L.A.,相似关系和模糊排序,信息科学。,3, 177-206 (1971) ·Zbl 0218.02058号 ·doi:10.1016/S0020-0255(71)80005-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。