Synthetic Application of "Gray Code" and "Karnaugh Graph" in Logic Function Simplification;

Minimization of Bounded Petri Net Simplification;

A study on the multi-solution of simplifying logic function with Karnaugh map;

The research on simplifying logic function by the Karnaugh Map with the computer assistance

This paper puts forward a new approach of line simplifying termed as "oblique dividing curve" method.

Research on Workflow Model Verification Based on UML Activity Diagrams Reduction Method;

In traditional methods, the local structure of Petri net is required to compare with all reduction rules.

Especially,an application of semantic verification method based on 3DWFN reduction is described in detail.

Methods and Skills for Simplifying Logic Function by Karnaugh Map

In allusion to traveling salesman problem existing in the Euclidean space,the strategy,simplifying the initial edge set,is put forwards to improve the efficiency of the algorithm.

The possible study to simplify wet automatic fire-extinguishing sprinkler systems in the built public place;

Research on simplifying the method of larva investigation of cotton boll worm and its application;

Discussed Simplify Problem of Design Circuit with VHDL;

New method for simplification of 3D scattered points;

The simplification of high-order linear systems;

Simplification and Validity of Stochastic Trajectory Model of Particles in Particle-Laden Gas Turbine;