Abstract:The discussion of the zero-knowledge proof protocol of the nonisomorphism of graphs (GNI) has appeared in many papers, but they are not complete zero-knowledge proof protocols at all. This paper proposed a complete zero-knowledge proof protocol on the problem.

Abstract:Parallel programs can not be debugged as sequential ones repeatly because of their nondetermination，SO tracing and replay become the key technique of parallel debug-ging，and the most overhead of this technique is tracing the events．This paper improves the optimal tracing method provided by Rober Netzer etc．by combining the characteristics of PVM(parallel virtual machine)，makes the events tracing optimal even when non-tran-sitive message race appears．The improved method has been implemented in PVM_based parallel clebugger．

Abstract:In this paper 9 some reduction operations for P/T nets are proposed, and it is shown that these operations preserve the structural properties of P/T nets. These results provide an important way for synthesis and analysis of P/T nets.

Abstract:GIS (geographic infortnation system) data can be divided into three sorts: geometric data, geographic data and graphic data. TLDM proposed in this paper describes these three sorts of data and their relationships with object-oriented model. TLDM is used as the data model of OOGDB implemented.

Abstract:In existing theories and methods for qualitative reasoning，there are some deficiencies of the capability of describing the real world．This paper developed K．Forbus’QPT(qualitative process theory)and proposed an extended way QuIOS tO describe Quali-tative reasoning．In this approach，the quantity types of QPT are generalized widely and the mechanism of expressing open physical systems is shown with the aid of processes restricted and guided by events．Besides，after having introduced the new concept of Quantity Views，this paper presented two sorts of inheritance mechanism about quantities in QUIOS and have shown that they will not raise any contradiction under given condi- tionS．

Abstract:This paper was focused to explore a qualitative reasoning method of open physical systems. This paper discussed the properties of events and processes in QUIOS, and the way to express their views. The mechanism of qualitative reasoning in QUIOS is shown with an exarnple. A reasoning algorithm of QUIOS has also been outlined.

Abstract:This paper presents and compares three uncertainty calculating methods in operator fuzzy logic based on the semantical considerations of beliefs-resolution, generalized resolution and TABLEAUX.

Abstract:This paper provides a model-based method for processing the second-level uncertainties．In this paper，the authors use the space of probability class to present the second-level uncertainty structure of evidence space，L-set to present the second-1evel uncertainties of the rule strengths and use transmitting way of spaces of probability classes to describe the transmitting process of the second-level uncertainties．In this paper，the authors also present some transmitting properties of the specialization relations on classes of probabilities，and compares the two different ways of rule combination by using the concept of specialization．This paper gives a new comprehensive framework for knowl-edge-based reasoning．

Abstract:This is a review paper on decomposition and aggregation for stochastic Petri nets．This paper gives a brief review of the methodologies considered in the literature．These techniques include the time scale decomposition，the near-independent decomposi-tion，the response time preservation，the flow equivalent aggregation，the hierarchical modeling and the product-form solution．A few directions of research are discussed at the end of the paper to outline the open problems that still need to be solved in this area．

Abstract:CHIQL is a new database query language to，satisfy the requests of Chinese users and has the features of naturalness and simplicity，procedural and multi-statement query．AS a main feature，procedurality enable users to use multi-statements to express a query with 11 templates，especially concerning complex one．In term of its implementa-tion，multi-statement optimization iS a special issue in CHIQL．This paper devises a state-ment.merge method to improve the efficiency of CHIQL query and give some qualitative analysis about it．

Abstract:Through embedding a Newtonian operator into the genetic algorithm and defining a proper fitness and a numerical structure，a hybrid computational-intelligent algorithm for the global solution of the nonlinear least-squares problem，combined the advances of both of the genetic algorithm and the Newtonian algorithm，is got with the faster convergence and the greater probability for the global solution．The numerical results show that the method is distinctly superior to the genetic algorithm and the NeWtonian algorithm．