Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Indonesian Journal of Electrical Engineering and Computer Science
Yi Wang
Hubei University of Arts and Science

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
Construction of the Graphical Propositional Logic Yi Wang; Han Ding
Indonesian Journal of Electrical Engineering and Computer Science Vol 11, No 8: August 2013
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Mathematical logic is the logical basis of the modern computer. It is important for the development of the electronic computer. With the development of computer technology, especially the development of computer visualization technology, the two-dimensional objects, such as graph and table, are more and more frequently as the computer processing object. But, the traditional one-dimensional character grammar already can not process. Then graph grammars that based on the two-dimensional arise at the historic moment. In order to provide the visual logic reasoning mathematical foundation, this paper introduces the basic theory of graph grammars. Through the propositional calculus and propositional logic reasoning two aspects of graphical description, we use graph grammars to construct propositional calculus and propositional reasoning. DOI: http://dx.doi.org/10.11591/telkomnika.v11i8.3023 
Test Method for Process Deadlock Based on Graph Grammars Yi Wang; Han Ding; Fan Yang
Indonesian Journal of Electrical Engineering and Computer Science Vol 12, No 5: May 2014
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

This paper proposes a test method for process deadlock based on graph grammars through constructing process resource diagram. Through using the construction rules, it can construct and judge the validity of the process resource diagram. Through using the test rules, it can test if there is the deadlock in the process. The method is a graphical approach; it is simple and intuitive with strong operability. DOI : http://dx.doi.org/10.11591/telkomnika.v12i5.4945
Co-Authors Fan Yang Han Ding