Abstract:Redundancy control is an important aspect in knowledge organization，management and maintenance．According to the characteristics of SC—grammar and ma—chine translation system，this paper presents a new idea that divides redundant rules intotwo kinds：obvious redundant rules and hidden redundant rules．The paper gives an algo—rithm for finding obvious redundant rules and discusses in detail the basic strategies that rule out some hidden redundant rules reasonably．Some basic principles to control redun—dancy of rule base are given also．

Abstract:The dynamic and open environment has its own unique characteristics，and the search aIgorithms that want to survive in this environment and handle the real time Droblems must deal with these characteristics．What is the requirement to such search algorithms? This paper gives out some hints to the answer．It describes a search algorithm suited for dynamic environment，leap algorithm，which has realized some ideas in the anal—vsis．The algorithm can run more efficiently than a famous real time algorithm RTA*，and the experiment data support this point．

Abstract:In this paper，the problem of the consistency of knowledge bases in their maintenance is first described，and then a framework for extended logic programming is described．where an extended logic program is equivalent to a knowledge base. In orde to check the consistency of a knowledge base，the PSS(positive support set)and the NSS (negative support set)for an inference rule in the base are constructed, and some detini-tions are given．Based on these concepts and definitions，an effective method of checking knowledge bases for the consistency in their maintenance is presented，and the related the-orems are proved．Based on this method，an algorithm，called CHIME，is implemented, and the experimental results for analyzing some knowledge bases in CHIME are shown.Some related work is also mentioned．Finally，the conclusion of this paper is given.

Abstract:Compared with other parallel computation models，the LogP model reflects the characteristics of MPC(massively parallel computers)more reasonably．In this paper the authors try to use the LogP model to write portable algorithms for MPC．They first propose a general recurrence formula for the defining of optimal broadcast tree，then design and analysis the complete optimal single item broadcast algorithm and optimal summation algorithm in the LogP model whose parameters may have any given values．

Abstract:This paper describes a partial evaluator for the flow chart language which is based on the liveness analysis．This partial evaluator consists of liveness analysis，binding time analysis．annotation and specialization．With the liveness informations，the binding time analysis can get the abstract interpretation to variables much more precisely than USU- al．So the quality of the residual program produced by the specialization is improved. Jones N D eds．, Partial Evaluation and Mixed Computation，Amsterdam：North-Holland, 1988·22b～282·

Abstract:This paper describes a transformation approach to implementing object oriented extensions of traditional programming languages (OOGPLs), which OOGPLs are implemented using a preprocessor that translates from the program in OOGPL to an equivalent one in a traditional programming language. Some techniques are given to overcome difficulties with allowing polymorphism and dynamic binding. By them the authors have implemented NDOOP which is an object oriented extension of Pascal and NDOOM which is an object oriented extension of Modula 2.

Abstract:When the temporal concept is introduced into the real-time expert system，how to represent the knowledge dealing with time(that is，temporal knowledge)should be concerned about deeply．Based upon the analysis of typical examples，the paper tackles three problems，such as the representation of real-time data，the representation of temporal knowledge，and the criteria to verify the temporal consistency in knowledge and facts during reasoning．

Abstract:Two kinds of disk cache coherence protocols in parallel file system are proposed in this paper, and their correctness provements are given on the base of release consistency model.

Abstract:The main purposes of comparison based qualitative simulation are predicting the system's behavior deviations caused by perturbations in its parameters and the initial state and giving the explanation. This paper proposes a method of comparison based qualitative simulation CQSIM. It is based on the achievements of Weld, Neitzke and Neumann. It implements the comparison of according parts with the suitable observation caliber, the qualitative simulation of one or more deviations and the analysis of changes in the behavioral topology.

Abstract:In many application problems of CAD/CAM, people not only need to describe the exterior of solids, but also want to know the information within the solids. In the light of this situation, this paper displays the method of NURBS tri parametric solid modeling and some construction techniques. Also the paper discusses some applicational problems in CAD/CAM of dies, such as 3 D finite element mesh generating and mass properties calculation, which are based on this method.

Abstract:This paper mainly describes progress of computer local area networks. It first introduces development of the local area networks, then describes definition, classification and principal techniques of the local area networks, finally discusses applications of the networks and presents research directions of the local area networks.