Abstract:In paper [10], we have given a detailed discussion on how to describe, synthesize and simulate a digital system using functional hardware description language. In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent. Some rules and algorithms of transformation and some examples are given to illustrate this new method.

Abstract:A compositional temporal semantics is given for a subset of Occam language. Local environments, local stores, and local channel states are introduced to form a true concurrency model. In the semantics various properties of distributed processes can be discussed.

Abstract:In this paper, we introduce the concept and several methods of database conversion. Then we present a database conversion system, which converts information system from IMS to ORACLE. The system consists of three parts: schema conversion, data conversion, and application program conversion.

Abstract:A key factor of reducing software development cost is how to improve the reliability and consistency of large and complicated software. Many CASE tools have emerged. This paper presents a large CASE tool called CPSL / CPSA (Chinese Problem Statement Language/ Chinese Problem Statement Analyzer) which was developed as a Chinese version of PSL / PSA. The paper also describes an example of using CPSL / CPSA in a target application. CPSL/CPSA has been used successfully in the "Computer-aided Economics and In formation Management System”of Beijing Vegetable Corporation and the“Oil-depositionSimulation”of the Ministry of Petroleum of China.

Abstract:This paper describes some AI CAD tools: a deductive logic CAD design data base, a layout language which includes an inference engine and a deductive layout data base, and a circuit recognition program which can recognize bask logic cells from transistor nets and complex logic circuits from basic logic nets.

Abstract:Distributed experts united system is an advanced topic in knowledge engineering. In this paper, the design thought, objective, architecture, principle of UNION which is a distributed experts united system on microcomputer net are described. The concept of distributed experts united system was first proposed by professor Lu Ruqian in 1985. In the next year, the experimental system UNION began to be developed by Institute of Mathematics, Academia Sinica. The environment is UNOS system with C and PASCAL on MC68000 microcomputer.Three microcmputers are connected by an Ethernet.So far,the supporting system Support 1 and communication system have been finished and other units are being developed.