Y. Ma, "Model checking fuzzy computation tree logic," Fuzzy Sets Syst., vol. 262, pp. 60-77, 2015.H. Pan, Y.Li, Y. Cao, Z. Ma, Model checking fuzzy computation tree logic, Fuzzy Sets and Systems, 262 (2015) 60-77.Pan H, Li Y,Cao Y, Ma Z. Model checking fuzzy ...
Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems Effective communication among autonomous agents is crucial for coordination and solving complex tasks within multi-agent systems. To formalize interactions... Z Ma,X Li,Z Liu,... - 《Fuzzy Sets &...
The aim of this paper is to show how big model checking problems for Computation Tree Logic (CTL) can be handled by using current powerful vector processors. Although efficient recursive model checking algorithms for CTL, which run in time proportional to both the size of Kripke structures and ...
checkingpossibilitymeasuresmodelcomputationlogic Availableonlineat.sciencedirect ScienceDirect FuzzySetsandSystems262(2015)44–59 .elsevier/locate/fss Computationtreelogicmodelcheckingbasedonpossibility measures ✩ YongmingLi ∗ ,YaliLi,ZhanyouMa CollegeofComputerScience,ShaanxiNormalUniversity,Xi’an,710062,China...
Li Yongming;Li Yali;Ma Zhanyou.Computation tree logic model checking based on possibility measures.Fuzzy sets and Systems.2015.44-59Li Y M, Li Y L, Ma Z Y. Computation tree logic model checking based on possibility measures. Fuzzy Sets Syst, 2015, 262: 44-59...
4. MODEL CHECKING IS REFINEMENT: From Computation Tree Logic to Failure Trace Testing [C] . Stefan D. Bruda, Zhiyu Zhang International Conference on Software and Data Technologies . 2010 机译:模型检查是细化:从计算树逻辑失败跟踪测试 5. Efficient Abstraction and Refinement for Wor...
Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c
In another study (Ahmadi and Bahadori, 2016), the fuzzy C-means clustering, which is an unsupervised method, was used to grouping EOR methods. Also, in the research of Khazali et al. (2019), the fuzzy decision tree method was used to rank and classify EOR methods simultaneously. Finally,...
In the proposed method, multi-dimensional feature vectors were first extracted from each individual tree points. And then, the dimensionality reduction of feature vectors was applied for reducing the computation burden. Subsequently, the final eight feature vectors were obtained based on the importance ...
An algorithm based on the kd-tree is adopted to search the K nearest neighbour nodes [47]. Then, (21) is collocated on the K nearest neighbour nodes, which can be expressed as: [Φ]𝐾×1=[𝜒]𝐾×𝐾[𝛼]𝐾×1ΦK×1=χK×KαK×1 (23) [Φ]𝐾×1=[Φ(𝑥1),Φ...