Font storage requirement is a crucial problem in developing Chinese typesetting system.A unique data compression technique is adopted in the system.The representation of regular strokes and irregular strokes of Chinese characters and the method for transforming the compressed representation into dot matrix are described in the paper.The result is satisfactory,and the cost performance ratio of the typesetting system is significantly improved by the …

The Chinese information processing system(CIPS)introduced in this paper can produce graphs,tables,flowcharts,mathematical equations,forms and also provides typesetting facilities.The system can process not only Chinese text but also English text or a mixture of them.It is written in C language and runs on VAX Ⅱ/780 under Unix operating system.The CIPS system is very easy to use and provides user-defined macro which allows abbreviations of commonly used Chinese phrases and reduce the complexity of Chinese ch…

This paper presents an overview of a distributed programming language called DMODULA,which is intended for the programming in a distributed environment. DMODULA develops module concepts of its ancestor,MODULA-2,and provides features of generic and remote procedure calls.DMODULA has been implemented on the ZOZ system,a distributed microcomputer system consisting of several LSI-11 microcomputers,which was designed and implemented at Nanjing University in 1982.

This paper presents a recovery technique for distributed communicating process systems.It handles both hardware faults and software faults uniformly.Differing from other recovery techniques,it brings an extremely small amount of execution overhead to nonfailing processes and can be implemented easily.It can be applied to a programming procedure to mask the software design errors or imbeded into an operating system to enhance the reliability of the whole system.The theoretical work is carried out first,then ...

3.Operational SemanticsIn this section we give an operational semantics for Edison.1.In contrast to the staticsemantics,the operational semantics is sometimes called dynamic semantics.Successful research in the denotational approach tells us that to construct asemantics for a language including declarations of entities such as variables,proceduresand modules,it is necessary to:Ⅰ.Distinguish the denotable values(locations,procedure and module abstractions)from the storable values(truth values,natural num…

In this paper,we first give a method that for any inverse finite automaton M with delay τ,all inver tible finite automata with delay τ,of which M is an inverse with delay τ,can be constructed;and a universal nondeterministic finite automaton,for all finite automata of which M is an inverse with delay τ,can also be constructed.We then give a method that for any weak inverse finite automaton M with delay τ,all weakly invertible finite automata with delay τ of which M is a weak inverse with delay,can be c…

This paper presents a principle to create Almost Optimal Dynamical 2-3 trees based on the theory of Miller et al.,and gives a searching algorithm,an insertion algorithm and a deletion algorithm for these 2-3 trees.Experimental result given in this paper indicates that these 2-3 trees have very good performance at node-visit cost.We discuss asymptotic property of the 2-3 trees as N→∞,and evaluate its approximate height,h =log_(2.45)(N+1),where N is the number of nodes of a 2-3 tree.Finally,this paper analyse...

This is an introduction for Escher——the geometrical layout system.An Escher circuit description is a hierarchical structure composed of cells,wires,connectors between wires,and pins that connect wires to cells.Cells may correspond to primitive circuit elements,or they may be defined in terms of lower level subcells.Unlike other geometrical layout systems,a subcell may be instance of the cell being defined.When such a recursive cell definition is instantiated,the recursion is unwound in a manner reminiscent …

This paper describes the partitioning of the set of the Boolean equations generated by the hardware logic translator and the conversion of the subsets into cube arrays. Subsequent to this,it is aimed:(1)to find out the minimal sets of input variables;(2)to finish the logic minimization;and(3)to decompose a large logic array into smaller ones to meet the design constraints if necessary. These three problems cart all be reduced to solving the corresponding covering problems,which may have considerable scales....