Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Zaiyue, Zhang"'
Autor:
Yuefei, Sui, Zaiyue, Zhang
Publikováno v:
The Journal of Symbolic Logic, 1999 Jun 01. 64(2), 643-650.
Externí odkaz:
https://www.jstor.org/stable/2586490
Publikováno v:
Frontiers of Computer Science. 10:717-725
Hoare logic [1] is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure [2]. In a model M of Hoare logic, each program ? induces an M-computabl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a276c79b311bef8728760620cc0eb11a
https://doi.org/10.1007/s11704-015-4024-2
https://doi.org/10.1007/s11704-015-4024-2
Autor:
Zaiyue Zhang, Xibei Yang
Publikováno v:
Frontiers of Computer Science. 8:753-762
Presently, the notion of multigranulation has been brought to our attention. In this paper, the multigranulation technique is introduced into incomplete information systems. Both tolerance relations and maximal consistent blocks are used to construct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e49df482b2f2c348ec78a2fdc602c0a
https://doi.org/10.1007/s11704-014-3141-7
https://doi.org/10.1007/s11704-014-3141-7
Publikováno v:
Journal of Convergence Information Technology. 8:652-659
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0324f47ab2057ee00c28e45eb3613e3
https://doi.org/10.4156/jcit.vol8.issue2.78
https://doi.org/10.4156/jcit.vol8.issue2.78
Publikováno v:
Journal of Software. 19:3170-3178
As an extension of traditional modal logics, this paper proposes a fuzzy first-order modal logic based on believable degree, and gives out a description of the fuzzy first-order modal logic based on constant domain semantics. In order to make the rea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8e152ef9df7dd336c345fa6b7755107
https://doi.org/10.3724/sp.j.1001.2008.03170
https://doi.org/10.3724/sp.j.1001.2008.03170
Publikováno v:
Frontiers of Computer Science in China. 2:451-459
The National Knowledge Infrastructure (NKI) is a multi-domain knowledge base. The classical type theory is no longer appropriate to describe every kind of object in multi-domains, such as artifacts, natural or micro objects. Three different kinds of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::518696f044b17686f971e5ccce7daba5
https://doi.org/10.1007/s11704-008-0032-9
https://doi.org/10.1007/s11704-008-0032-9
Autor:
Zaiyue Zhang, Yuefei Sui
Publikováno v:
Science in China Series F Information Sciences. 44:126-135
Given any［ c ］,［ a ］,［ d ］∈ R/M such that ［ d ］≤ ［ a ］≤［ c ］, ［ a ］ is locally noncuppable between ［ c ] and ［ d ］ if ［ d ］≤［ a ］≤［ c ]and ［ a ］∨［ b ］ c ] for any ［ b ］∈ R/M such t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2854426951d11ce93aba9199b9b7bb87
https://doi.org/10.1007/bf02713971
https://doi.org/10.1007/bf02713971
Publikováno v:
Journal of Computers. 7
Based on the example of constructing a confidence interval for variance, the notion and construction of the shortest confidence interval are put forward. Furthermore, the particle swarm algorithm for this problem is presented to solve this non-linear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35eaa784da173f737732819ee4661736
https://doi.org/10.4304/jcp.7.8.1809-1816
https://doi.org/10.4304/jcp.7.8.1809-1816
Publikováno v:
Journal of Computers. 6
Based on analysis of cubic spline interpolation, the differentiation formulas of the cubic spline interpolation on the three boundary conditions are put up forward in this paper. At last, this calculation method is illustrated through an example. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e50518623a5d3158ee1b16c46f509cef
https://doi.org/10.4304/jcp.6.10.2037-2044
https://doi.org/10.4304/jcp.6.10.2037-2044
Publikováno v:
Journal of Software. 6
Based on analysis of basic cubic spline interpolation, the clamped cubic spline interpolation is generalized in this paper. The methods are presented on the condition that the first derivative and second derivative of arbitrary node are given. The Cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f2e3b13520f64ca6af7a0e01515763d
https://doi.org/10.4304/jsw.6.9.1632-1639
https://doi.org/10.4304/jsw.6.9.1632-1639