Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Zhanyou, Ma"'
Autor:
Yilin Liu1 lyl980504@163.com, Zhanyou Ma2 mzhy55@163.com, Yukang Zhang1 zyk980515@163.com, Boyu Zhang1 zbyzby202201@163.com
Publikováno v:
Engineering Letters. Dec2023, Vol. 31 Issue 4, p1707-1716. 10p.
Publikováno v:
IEEE Access, Vol 8, Pp 119010-119019 (2020)
Blockchain system is affected by many factors with the rapid development of technology. In order to study the blockchain system more realistically, the processes of transaction consensus and transaction storage are simulated in this paper, and factor
Externí odkaz:
https://doaj.org/article/db25272b586d44eea3879cfc7b6ebb39
Publikováno v:
Symmetry, Vol 14, Iss 11, p 2278 (2022)
In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems
Externí odkaz:
https://doaj.org/article/65bad8a6b956481e8f411d0b9da7e12f
Publikováno v:
Computers, Materials & Continua; 2024, Vol. 78 Issue 3, p4129-4152, 24p
Publikováno v:
Entropy, Vol 24, Iss 9, p 1183 (2022)
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with co
Externí odkaz:
https://doaj.org/article/4bb411c609d34474ae46a130c6b4e4ae
Publikováno v:
Journal of Intelligent & Fuzzy Systems. 44:8357-8373
The verification of reachability properties of fuzzy systems is usually based on the fuzzy Kripke structure or possibilistic Kripke structure. However, fuzzy Kripke structure or possibilistic Kripke structure is not enough to describe nondeterministi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a86900a32606b3d44344ab495bd27b44
https://doi.org/10.3233/jifs-222803
https://doi.org/10.3233/jifs-222803
Publikováno v:
Future Generation Computer Systems. 138:43-51
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef9769559606519f2dc549802f3cbd50
https://doi.org/10.1016/j.future.2022.08.001
https://doi.org/10.1016/j.future.2022.08.001
Publikováno v:
Peer-to-Peer Networking and Applications. 16:475-487
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8669719c61b957e1578e6e45a19d5b8
https://doi.org/10.1007/s12083-022-01359-8
https://doi.org/10.1007/s12083-022-01359-8
Publikováno v:
Cluster Computing. 25:4325-4337
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47a88660f586863be8b03ab7fee06e7c
https://doi.org/10.1007/s10586-022-03683-3
https://doi.org/10.1007/s10586-022-03683-3
Publikováno v:
Concurrency and Computation: Practice and Experience.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb603dc26d8fc7d9ec8ba66b71df20dc
https://doi.org/10.1002/cpe.7765
https://doi.org/10.1002/cpe.7765