3 citations · 7 across the 12 of their papers we have counts for
12 papers
Model Checking Logical Actions in Magic Tricks
Weijun Zhu
Some Magic Tricks (MT), such as many kinds of Card Magic (CM), consisting of human computational or logical actions. How to ensure the logical correctness of these MTs? In this pap…
Auxiliary Diagnosing Coronary Stenosis Using Machine Learning
Weijun Zhu, Fengyuan Lu, Xiaoyu Yang +1
How to accurately classify and diagnose whether an individual has Coronary Stenosis (CS) without invasive physical examination? This problem has not been solved satisfactorily. To…
Experimental Study on CTL model checking using Machine Learning
Weijun ZHU
The existing core methods, which are employed by the popular CTL model checking tools, are facing the famous state explode problem. In our previous study, a method based on the Mac…
Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms
Weijun Zhu, Mingliang Xu, Jianwei Wang
In this paper, we study how to predict the results of LTL model checking using some machine learning algorithms. Some Kripke structures and LTL formulas and their model checking re…
On the model-checking-based IDS
Weijun Zhu
How to identify the comprehensive comparable performance of various Intrusion Detection (ID) algorithms which are based on the Model Checking (MC) techniques? To address this open…
Approximate LTL model checking
Weijun Zhu, Jianwei Wang, Yongwen Fan
The state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. To this end, this study tries to seek an accepta…
Analyzing DNA Hybridization via machine learning
Weijun Zhu
In DNA computing, it is impossible to decide whether a specific hybridization among complex DNA molecules is effective or not within acceptable time. In order to address this commo…
Some Issues on the Theory of the Mimic-Computing-Oriented Automata
Weijun Zhu
A mimic computing oriented automaton can directly portray the behaviors of a mimic computing system. In this paper, we investigate the following theoretical problems on this type o…
How to find a GSMem malicious activity via an AI approach
WeiJun Zhu, ShaoHuan Ban, YongWen Fan
This paper investigates the following problem: how to find a GSMem malicious activity effectively. To this end, this paper puts forward a new method based on Artificial Intelligenc…
Aiming to Detect a malware of GSM frequency
Weijun Zhu, Kai Nie
In order to find a specific type of malware which is related to GSM frequency, we propose an algorithm according to the most essential characteristics of this malware. At first, de…
A novel type of Automata for dynamic, heterogeneous and random architectures
Weijun Zhu
In this paper, the author aims to establish a mathematical model for a mimic computer. To this end, a novel automaton is proposed. First, a one-dimensional cellular automaton is us…
Molecular Model Checking a Temporal Logic
Weijun Zhu
The molecular computing has been successfully employed to solve more and more complex computation problems. However, as an important complex problem, the model checking are still f…