×

多集重写系统的广义映射。 (英语) Zbl 1498.68131号

小结:这项工作为代数、模态和时间逻辑中多集合的理论基础提供了数学工具。它在多集合上建立了一个充分广义的映射概念,从而解决了多集合处理结构研究中的一个长期障碍。研究表明,本文定义的映射适用于理论计算机科学领域内大量已定义的重写问题。具体来说,本文统一和概括了J.达索[Lect.Notes Comput.Sci.2235,85-101(2001;Zbl 1052.68072号)],J.L.希克曼[澳大利亚数学学会公牛22211-217(1980;Zbl 0432.04005号)],V.科门科[基于Petri网展开前缀的模型检查。纽卡斯尔大学(博士论文)(2003)]和Sk.Nazmul公司等人[Ann.Fuzzy Math.Inform.6,第3期,643–656(2013;Zbl 1302.20080号)].

MSC公司:

2012年第68季度 语法和重写系统
03E20型 其他经典集合论(包括函数、关系和集合代数)
03E72型 模糊集理论等。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Amir Amihood,Apostolico Alberto,Landau Gad M,Satta Giorgio(2003)《通过Parikh映射实现高效文本指纹识别》,《离散算法杂志》,1(5,6):409-421·Zbl 1100.68122号
[2] Burgin M.S(1992)控制论中多集的概念,Kibernetika Sistemmyi Analiz(3):165-167
[3] mnesc I博士,Jebelean T(2020a)。在理论上使用多重集对Min-Max-Sort进行演绎合成,2020年IEEE第14届应用计算智能与信息学国际研讨会(SACI)。发表于2020年IEEE第14届应用计算智能与信息学国际研讨会(SACI),第000165-000172页。doi:10.1109/SACI49304.2020.9118814
[4] mnesc I博士,Jebelean T(2020b)。使用多集进行气泡排序的演绎合成,2020年IEEE第18届应用机器智能和信息学世界研讨会(SAMI)。发表于2020年IEEE第18届应用机器智能和信息学世界研讨会,第123-128页。doi:10.1109/SAMI48414.2020.9108725·Zbl 07441067号
[5] 宾夕法尼亚州费利西亚克;秦,K。;李刚,广义多集理论,模糊集与系统,主题:广义集理论,380104-130(2020)·Zbl 1464.03055号 ·doi:10.1016/j.fs.2019.05.015
[6] 吉尔·彭斯,R。;Ramírez-Cruz,Y。;Trujillo-Rasua,R。;Yero,IG,图中基于距离的顶点识别:外部多集维,应用数学计算,363124612(2019)·Zbl 1433.05095号 ·doi:10.1016/j.amc.2019.124612
[7] 吉里什,KP;John,SJ,多集背景下的关系和功能,信息科学,179758-768(2009)·Zbl 1162.03316号 ·doi:10.1016/j.ins.2008.11.002
[8] Hickman,JL,关于多集合概念的注释,《南方数学学会》,22,211-217(1980)·Zbl 0432.04005号 ·doi:10.1017/S000497270000650X
[9] Jena,SP;韩国高什;Tripathy,BK,On the theory of bags and lists,信息科学,132,241-254(2001)·Zbl 0980.68041号 ·doi:10.1016/S0020-0255(01)00066-4
[10] Juhani Karhumäki(1980)广义Parikh映射和同态。信息与控制47(3):155-165(12月)·Zbl 0457.68079号
[11] Kharal Athar,多重集的拓扑结构,(已提交)
[12] Khomenko Victor,基于Petri网展开前缀的模型检验,泰恩河畔纽卡斯尔大学计算科学学院博士论文(2003)·Zbl 1072.68072号
[13] 罗,J。;Tjahjadi,T.,基于虚拟样本生成的三维异常步态行为识别的多集典型相关分析,IEEE Access,8,32485-32501(2020)·doi:10.10109/ACCESS.2020.2973898文件
[14] Mateescu,A。;Salomaa,A。;萨洛马,K。;Yu,S.,Parikh映射的锐化,Theoret Inform Appl,35,551-564(2001)·Zbl 1005.68092号 ·doi:10.1051/ita:2001131
[15] 曼朱纳,AS;John,SJ,《袋上关系》,《公牛喀拉拉邦数学协会》,第3、2、15-22页(2006年)
[16] Nam,H。;Yu,M.,《如何使用多组钩长确定共轭的分区》,《离散数学》,343111969(2020)·Zbl 1443.05013号 ·doi:10.1016/j.disc.2020.111969
[17] Nazmul Sk、Majumdar P、Samanta S.K.关于多集和多组,《模糊数学和信息学年鉴》(即将出版,自2013年5月起在线提供)·兹比尔1302.20080
[18] Dassow J(2000)。Parikh Mapping and Iteration,摘自:《多集处理研讨会论文集:多集处理、数学、计算机科学和分子计算观点》,WMP’00。斯普林格·弗拉格,柏林,海德堡,第85-102页
[19] Paun,G。;Perez-Jimenez,MJ,《膜计算:简介、最新结果和应用》,生物系统,85,11-22(2006)·doi:10.1016/j.biosystems.2006.02.001
[20] Satyanarayana,K。;El Hajjar先生。;穆拉德(AAM Mourad);彼得拉斯基,P。;Hanzo,L.,《多集空时键控mmWave系统的软编码:一种深度学习方法》,IEEE Access,84954-49595(2020)·doi:10.1109/ACCESS.2020.2973318
[21] 辛格,D。;易卜拉欣,AM;Yohanna,T。;辛格,JN,《多集应用概述》,Novi Sad J Math,37,2,73-92(2007)·Zbl 1164.03355号
[22] Wang,Y.,多集Stanley深度的变体,离散数学,342,1325-1335(2019)·Zbl 1407.05020号 ·doi:10.1016/j.disc.2018年12月27日
[23] 张,H。;张杰。;刘,Y。;Jing,L.,具有全局结构保持的多集典型相关分析,IEEE Access,8,53595-53603(2020)·doi:10.1109/ACCESS.2020.2980964
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。