Abstract:This paper describes the outline of English generation system and the basic principle of transfer processing from interlingua to target language in Chinese English Machine Translation System(CETRAN). The objective of this research is to get the high quality of translation by solving the problems of language ambiguities and difference between English and Chinese. An algorithm for generating the English target language from interlingua has been proposed and some of examples will also be reported to show the feasibility of our research.

Abstract:In this paper, a reaction based planning method is presented for robot to carry out the task in a real world in the presence of uncertainty and in need of urgency. The method uses the global information to guide the robot's local reaction. The basic principle and the application of the method to the planning and navigation of mobile robot are discussed.

Abstract:his paper presents a two- level object -oriented concurrent model, called FORCE - Model, which combines object orientation and concurrence from requirements specification point of view and provides an effective framework for modeling real-time reactive systems. Intra -object concurrence and inter -object parallelism can be exploited effectively. Based on the model, a family of multi-view visual specification languages are developed.

Abstract:An event algebra is presented in the paper, which is composed of a set of basic events and some event operations performed on events. Thus, the sophisticated events relevant to many aspects can be expressed by various event expressions in the algebra.Then, a concept of "Active Knowledge Base" based on the algebra is introduced, and its applications, structure and implementation issues are discussed.

Abstract:An object model is provided to model the static semantic of PASCL-like programming language in this paper. Based on this model the authors discussed the process, actions, parallel machanism and implementation alternatives of incremental static semantic analysis. In the last part of this paper they further adapted the model to make it suitable for multiuser, distributed environment. The model can be easily tuned for other high-level programming language.

Abstract:SDL (CCITT Functional Specification and Description Language) is designed mainly for telecommunication. According to the CCITT SDL'88 documentation, this paper designs and implements the SDL Supporting System (3S) based on Graphical Kernel System (GKS). The 3S can be used to edit SDL document in graphical representation (SDL /GR), then check the correctness of the document, and at last translate the graphical document into phase representation (SDL/PR). 3S made it possible to specify and describe user's requirement in graphical method and get the text result, or high level languages.

Abstract:This paper presents a complete synthetic approach to decompose a relational scheme into a database scheme which has a lossless join and preservation of dependencies and which is in BC normal form so long as the relational scheme essentially having this decomposition nature, and it also provides a formal description of the concept-essentially having this decomposition nature. This paper also analyses the time complexity of the synthetic approach.

Abstract:Main frame-based office application support environment (MOAS) is presented with its key technical aspects studied in this paper with host-workstation cooperative-processing analysised, and MOAS' experimental implementation on IBM systems is discussed.

Abstract:There are only six types of acceptance conditions for alternating ω-finite automata up till now. In this paper, six new forms of acceptance conditions are suggested and the power of accepting ω-language under these conditions for alternating ω-finite automata is investigated. At the end of the paper, the classes of languages accepted by ω-automata under various acceptance conditions are given.

Abstract:The ubiquitous nature of time requires that a database management system provide facilities for modelling of time aspect of data in the real world. This paper establishes a fuzzy temporal relational algebra. This algebra avoids a weakness in the current temporal database techniques, which will be pointed out in this paper.