Abstract:This paper presents a distributed graphics processing support environment called DGPSE which supports the development of high performance graphics application and researches of parallel graphics algorithm. It has the following features: support for several distributed paradigms; flexible communication facility;powerful graphics support,both sequential graphics library and parallel graphics library are provided. A set of distributed algorithm and a distributed graphics system have been implemented using DGPSE.

Abstract:Document manager is a pre-processing system which is designed to improve the efficiency of chinese page description language interpreter. It includes such function modules as resource management, error management, EPSF management and document optimization programs. This paper discusses the details of the design of document manager and its corresponding method of implementation.

Abstract:he sidle system is a set of programs running on network-based workstations that allows users to do their large-grained parallel computations using idle workstations.Compared with other systems,it supports parallel computation within a program and recursive remote execution,allows a server machine to accept more than one remote job.This paper presents these features and transparent implementation of remote execution.

Abstract:This paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory.The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques.It is important that the authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system.Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.

Abstract:This paper presents a novel approach to partial deduction (PD) of logic programming,which is based on abstract interpretations (AIs).In asingle preprocessing phase,given a program P and a goal G, PD and AI for P ∪ {G} are carried out simultaneously,with AI controlling the process of auto-unfolding in PD. PD always terminates if the abstract domain of AI is finite. Moreover, P' has got the information (collected by AI) about its operationalbehavior, which can be used for further optimization of P'.

Abstract:A distributed C-PROLOG interpreter running on a SUN workstation network is presented. This system can automatically transform sequential interpretation of its application programs into parallel one. It can also speed up execution of tasks on it by the full use of idle processors and make some tasks executable which can't be executed on a single machine due to a lack of memory space.

Abstract:n this paper,a method for computer to recognize music by using region feature is presented. Music is inputted with a scanner. Through preprocessing the noise is deleted, the line position is defined, the width of lines is measured, then the lines are deleted. After cutting notes, the notes is recognized with region features and attributes of notes.The recognization system can play the music automatically.

Abstract:In order to build a theory of automatic logic programming, Lakatos' discovery logic based on the method of falsification was used in the typed first order theory (closed) to form the open typed first order theory. Two critical concepts, proof calculus and hypothesis calculus, were introduced in this paper as key algorithms of machine discover.An experimental system ALP(Automatic Logic Programming) was built up on sun workstation,and this system can auto-design some complicate programs, such as: list permutation,list combination,insert sort,some set calculations, etc.

Abstract:There is a great need in many enterprises for a superior model to serve the long term processes of information systems containing database. This paper first introduces modified Petri nets with communication mechanism and time expression to model long term behavior of social systems. Then it elaborates how to express the structures of this concept by using semantic data models and briefly discusses some technical problems for the purpose of implementation.