Abstract:This paper introduces the SOCS (stroke - outline conversion system) for Chinese font data processing. As a post processing system of the CCDS(Chinese character design system), SOCS converts the font data of multi-stroke curved outline, which is produced by CCDS, into the font data of whole -character curved outline. The later is especially suitable for high resolution outputting, for example the Postscript printer.SOCS is not only used for CCDS, but also used as an independent font conversion system.

Abstract:KB/PL (requirement - engineering knowledge base/PL) is a persistence extension of the C+ + programming language, while adhering to the style of C+ +. In order to support persistence in RKB/PL, constraint declaration is introduced into the C+ + class declaration to facilitate user's monitoring of object state; the notion of cluster is introduced to capture the "set-of-objects" conception of class 3 set iterator, cluster iterator, cluster closure iterator are also introduced to support object query. RKB/PL run -time system facilitating these new language mechanisms is composed of a set of building class hierarchies, type information base interface functions, system service functions and also a set of system state tables. RKB/PL has been used to implement the RKB(requirement-engineering knowledge base) of the "software requirements assistant FRA"system.

Abstract:It is usually required that fingerprint images in the database of an AFIS(automated fingerprint identification system) should be compressed to improve its practical performance and also that the restored images should have high fidelity to avoid loss of minutiea while the time consumed in the restoration is required short enough. This paper proposes a high-performance compression method for the latent fingerprint images based on the FSWT(fast symmetric wavelet transform) which meet the requirement of high speed and high fidelity by simultaneously using the FSWT, the proper decomposition style, the adaptive scalar quantization and the improved entropy coding method. Meanwhile a bit rate control strategy is designed to control the compression ratio effectively. The experimental results show that the proposed compression method has high performance.

Abstract:This paper mainly discusses the technology of transforming abstract symbol into concrete 3D model. A hierarchy-construction automatic modelling method is proposed, it supports transforming abstract design sketch into expected result 3D model, and meet the modelling demand of computer aided sketch design, so it is suitable for intelligent CAD systems. This method has been implemented in an intelligent chair-design system,which is running in Al Institute of Zhejiang University.

Abstract:Process migration is an important research domain of distributed computer systems. It plays an important role in realizing fault tolerant and load balance of systems.This paper describes a process migration facility based on Transputer network. First, the hardware environment adopted and the architecture of the operating system are introduced. Then some key technologies about the process migration are discussed in detail.This platform will provide efficient support for the further research in dynamic task scheduling and fault tolerant processing.

Abstract:Debugging of parallel programs suffers from the existence of race condition,timing error, deadlock and nondeterminancy. EVTPD (event -based visualization techniques on parallel debugging) provides a way to solve these problems. Event monitoring and visualized replay are the two basis of EVTPD. In this paper, the following key techniques are discussed: event description, event filtering, event recognition, time stamping,trace replay, execution replay and view definition. As an example, a parallel debugger is designed for workstation cluster.

Abstract:This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision. Different methods for revising propositional knowledge base have been proposed recently by several researchers, some are formula--based methods and the others are model-based methods, but all methods are intractable in the general case. This paper discusses a formula-based method-Ginsberg's method, and presents a polynomial algorithm when the number of formulas is far less than the number of variables.

Abstract:Based on abstract interpretation technique, this paper designs and realizes a partial evaluator FMIX for a functional language. Compared with other similar partial evaluators of foreign countries, FMIX has its original means on realization, and uses efficient technique on some generally difficult problems.

Abstract:B^＋ -trees are considered standard organization for indexes in database systems. The concurrent control mechanism on B^＋ -trees has a great effect on the performance of DBMS supporting multi-users. A variant of B^＋ -tree called e-B^＋ -tree(elastic B^＋ -tree) is presented in this paper. Then, the safe nodes and operations on e--B^＋ trees are defined and the moment of reconstruction of e-B^＋tree is regulated. All these measures not only reduce the overhead for maintaining the e--B^＋ tree and the time spent on locking, but also decrease the frequency of splitting and catenating operation. Therefore, the degree of concurrency of operations on e-B^＋tree and efficiency of the database system can increase by a big margin.