This method becomes possible because of three knowledge bases: validation knowledge base (VKB) which is stored with validation relevant knowledge, decision knowledge base (DKB) for intelligent inference and decision, and validation techniques b.

Based on color Petri net, after enhancing its necessary functions, to counter main contents of knowledge verification, this paper builds the color Petri net model of knowledge representation, advances a simple and effective direct knowledge base verification method based on color Petri net and provides judge rules of verification.

An improved scheme is proposed to overcome the disadvantages,which ensure the voter to give out his correct private key by using two different bases and the same discrete logarithm proof of knowledge.

Combining process of bidding and cryptography, an efficient and secure inviting public bidding and bidding protocol of construction engineering is proposed with signature based on proof of knowledge.

An efficient and secure English auction protocol is proposed with signature based on proof of knowledge.

In this paper, by the combined use of verifiable secret sharing and knowledge proof,we build a robust and computation- ally secure Distributed Key Distribution Scheme based on the assumption of a Decisional Diffie- Hellmen problem.

By the combined use of knowledge proof and verifiable secret sharing, the scheme has the properties of simple structure and high security.

Whole flow optimization based on prior knowledge in chemical process;

Incorporating prior knowledge in fuzzy least squares SVM model and its application;

Application of sample prior knowledge to nerve networks training;

The computer aided planning of cover parts stamping process based on the experience knowledge;

In order to enhance the study speed and the convergence rate of Q-learning algorithm,an algorithm that based on the experience knowledge about environment is proposed.