乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:21:09Z","timestamp":1740133269623,"version":"3.37.3"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172048","62273201"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Taishan Scholar project of Shandong province"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Fuzzy Syst."],"published-print":{"date-parts":[[2023,7]]},"DOI":"10.1109\/tfuzz.2022.3227400","type":"journal-article","created":{"date-parts":[[2022,12,7]],"date-time":"2022-12-07T20:43:53Z","timestamp":1670445833000},"page":"2450-2463","source":"Crossref","is-referenced-by-count":11,"title":["Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3556-0150","authenticated-orcid":false,"given":"Sha","family":"Qiao","sequence":"first","affiliation":[{"name":"School of Mathematics, Shandong University, Jinan, China"}]},{"given":"Ping","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Science, Beijing University of Posts and Telecommunications, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3881-3042","authenticated-orcid":false,"given":"Jun-e","family":"Feng","sequence":"additional","affiliation":[{"name":"School of Mathematics, Shandong University, Jinan, China"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/j.fss.2015.09.012"},{"doi-asserted-by":"publisher","key":"ref57","DOI":"10.1016\/j.ins.2019.02.003"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.tcs.2012.05.037"},{"doi-asserted-by":"publisher","key":"ref56","DOI":"10.1016\/j.fss.2017.03.012"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/j.ins.2011.12.024"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/j.ijar.2018.04.010"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1109\/TFUZZ.2012.2232298"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1109\/TSMCB.2004.840457"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TFUZZ.2011.2117431"},{"doi-asserted-by":"publisher","key":"ref55","DOI":"10.1016\/j.ins.2016.10.030"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSMCB.2002.1018761"},{"doi-asserted-by":"publisher","key":"ref54","DOI":"10.1109\/TFUZZ.2015.2396537"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TFUZZ.2019.2946512"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TFUZZ.2019.2902820"},{"key":"ref19","first-page":"404","article-title":"Bisimulations in fuzzy social network analysis","author":"ignjatovi?","year":"0","journal-title":"Proc 16th World Congr Int Fuzzy Syst Assoc 9th Conf Eur Soc Fuzzy Log Technol -IFSA-EUSFLAT"},{"key":"ref18","first-page":"100","article-title":"Bisimulations for fuzzy automata","volume":"186","author":"?iri?","year":"2012","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TFUZZ.2005.864085","article-title":"Observability and decentralized control of fuzzy discrete-event systems","volume":"14","author":"cao","year":"2006","journal-title":"IEEE Trans Fuzzy Syst"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.2140\/pjm.1955.5.285"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1007\/978-94-011-5300-3"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1007\/978-1-4615-0633-1"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1016\/j.fss.2005.06.017"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1016\/j.tcs.2007.11.018"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1016\/S1001-0742(12)60260-5"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1016\/j.cie.2017.11.001"},{"key":"ref44","first-page":"21","article-title":"Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic","volume":"135","author":"nguyen","year":"2020","journal-title":"IEEE Trans Fuzzy Syst"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1016\/j.fss.2023.108533"},{"key":"ref49","first-page":"92","article-title":"Bisimulation relations for fuzzy finite automata","volume":"23","author":"sun","year":"2009","journal-title":"Fuzzy Syst Math"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/S0165-0114(96)00400-9"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TFUZZ.2020.2985000"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TSMCA.2006.878968"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/3-540-10235-3"},{"key":"ref3","first-page":"493","article-title":"Set theory with free construction principles","volume":"10","author":"forti","year":"1983","journal-title":"Annali dellaScuolaNormaleSuperiore di Pisa-Classe di Scienze"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/BFb0017309"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1016\/j.jocs.2017.09.007"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1016\/j.fss.2017.02.008"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/TFUZZ.2012.2230177"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/LICS.1991.151651"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/TFUZZ.2017.2670605"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TFUZZ.2020.2965860"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1016\/j.ijar.2014.10.001"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/TFUZZ.2015.2426724"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1016\/j.fss.2019.08.004"},{"year":"1976","author":"benthem","article-title":"Modal correspondence theory","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/1516507.1516510"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1016\/j.fss.2013.03.008"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1016\/j.fss.2016.06.017"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TFUZZ.2017.2760278"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/3-540-45499-3_23"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TFUZZ.2020.3009730"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/j.fss.2019.07.010"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/j.ijar.2018.04.003"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-540-78929-1_15"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-540-71493-4_20"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/TFUZZ.2020.3039968"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TFUZZ.2022.3184048"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1016\/j.ijar.2013.11.009"}],"container-title":["IEEE Transactions on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/91\/10168531\/09975193.pdf?arnumber=9975193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T18:02:26Z","timestamp":1689616946000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9975193\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7]]},"references-count":57,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tfuzz.2022.3227400","relation":{},"ISSN":["1063-6706","1941-0034"],"issn-type":[{"type":"print","value":"1063-6706"},{"type":"electronic","value":"1941-0034"}],"subject":[],"published":{"date-parts":[[2023,7]]}}}