Abstract:Axioms for removing unguarded recursions in the π calculus are proposed. It is shown that these two axioms are sound with respect to bisimulation equivalence, and are sufficient to reduce any unguarded recursively defined processes into guarded forms. Hence, by adding these axioms to the proof systems for guarded regular π calculus, complete proof systems for the whole regular π calculus are obtained.

Abstract:Distributed multimedia, whose aim iS to support non- local accesses tO multi．media information，is a new research domain．Because of the significant differences the characteristics of continuous media data from ones of conventional data, conventional file servers and associated storage systems are not well suitable for non-local multimedia appli．cations；instead，new service systems capable of doing SO．In the paper，authors introduce a new distributed multimedia parallel service system designed and built．By the concept “system resource order”．the mutual parallel operations of multi-access stream are real-ized．So，the main defects in the design of existing systems are well solved．Additionally，a group of video access streams is simulated in the paper，and the conclusion is that the system iS well suitable for continuous media applications．

Abstract:The deficiency of the schema theory in GA(genetic algorithms)and its improvement are discussed in this paper．The similarity between GA and heuristic search algorithm(a algorithm)and the probabilistic properties of GA are analyzed as well．Form the discussion．the similarity between GA and SA(statistical heuristic search)proposed by the authors iS discovered．Therefore，when transferring the theory and results of SA to GA，a new statistical genetic algorithm can be established．In order to adapt to optimiza-tion computation．the maximal statistic and its corresponding SA called SMA are intro-duced．By combining the SMA and GA，a new algorithm SMA(MAX)is obtained．Using the new algorithm，the prematurity in general GAs can be overcome．The new algorithm also provides the possibility for parallel computing and a powerful tool for quantitative analysis of accuracy，confidence and computational complexity of GA．

Abstract:In this paper the principles and implementations of the control software, remote system call and checkpoint facility in the Condor are described. Limitations of tasks in the Condor are discussed. The shortcomings and suggestions in implementing are pointed out.

Abstract:This paper analyzes the executable specification building methods i．n software development procedure and its relationship with software development，then makes a comparison between MHSC(methodology for high-level specification construction)and currently existed relevant methodologies．The MHSC methodology put forward by the authors supports executable specification explicitly．The paper declares that executable specification building method will play an important role in the evolutionary process from software specification to system implementation．Its research will turn out to be of great significance．

Abstract:After a brief introduction of the function of IP/X.25 router, this paper presents the structure of a router TUR, which is designed and implemented in UNIX based on STREAMS mechanism. A general finite state machine for the connectless internetworking over connection oriented subnetwork service and a dynamic address mapping algorithm will be described. Finally, this paper introduces its performance and gives the application an example. The interoprability testing will be discussed too.

Abstract:Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing. This paper proposes a formal test execution approach based on test notation language TTCN s operational semantics and described it by using labeled transition system, and also discusses an implementation of this method. This formal approach is very suitable for the construction of general protocol testing system, and can be an effective way for automatic test suite verification.

Abstract:A unified generic method for the vector based graphic recognition is presented．The scheme consists of two main steps：finding the first key component and extending it according to the specific graphic syntax．A new spatial data structure，the position index，which facilitates the search for the constituent primitives in given areas，is devised to realize the mapping from planar positions to graphic primitives．Two applica-tions，dashed line detection and hatching lines detection，are also presented as two cases in point．

Abstract:A constructive type theory may be used as a theoretical foundation to study automatic programming. This paper, using a type theory which supports object oriented computation, discusses an approach of object oriented automatic programming. The program unit of an object oriented program is class, encapsulating data and a group of related operations. The key problem of the program development is to implement these operations, and it is the main concern of this paper.

Abstract:Researching on the reuse techenology of software is the better way of increasing the software productivity. The good reuse technology can produce the new software system with high reliability, high performance, high quality and high efficiency. Reusing is the basis of the new software engineer development model. This paper introduces a new reuse components library manager system that reuse base, open and non -dependent special domain.

Abstract:HotJava is a WWW browser, which is developed by Sun Microsystems. Based on Java language which is a new object oriented language for network programming, HotJava browser has dynamic and interactive behavior above and beyond other WWW browsers. In this paper, HotJava browser and Java language are simply introduced, then design and implementation of a Chinese HotJava is described.