Abstract:Objects are considered as basic components of software system in object orie nted software construction.This paper presents an ODL(object description language)and the denotational semantics of its main constructs.The formal counterparts of objects are given by theory presentation in SOP calculus.Attributes(structure)and operations (behavior)are integrated in coherent logical units around which the notion of encapsula tion is formalized.Aggregation,inheritance etc.are formalized as specification constructs which allow people to assemble large specification from existed ones/extend agiven speci fication.Further,the notions of inheritance and subclass are clarified.

Abstract:In the research and development of concurrent systems, there is an urgent need for a formal method which can effectively specify the dynamic process topologies and dynamic inter-process communication behaviors of concurrent systems, and for a system testing method which is based on the formal specification method and can detect the dynamic transformations of system states. This paper gives a system testing method of concurrent systems which is based on graph grammar. The testing method can automatically trace and record the running states and communication histories according to the testing requirements given by system developers. The developers can get the current system state of a running concurrent system in realtime, or replay the transformation process of system states at any timeneeded. The implementation algorithms of this method are also described.

Abstract:The efficient message communication is very important to improve the performance of distributed memory parallel computers. Point to point and broadcast communication are two message passing methods often used. Multicasting is to send messages from one source to any destinations, this kind of communication is more general than the two others, and required by many real world applications. A network partition based multicasting routing method for PAR95 parallel computer is provided in this paper, and the performance comparison is made.

Abstract:The paper gives a technique for transforming higher order functional language to Prolog language, such techniques as Lambda lifting, abstract closure analysis, sequentialization and predicate call in Prolog are used. The main research of this paper is aimed at higher order function.

Abstract:The pallet loading problem, which is NP-complete, has been studied for many years and solution methods tend to be heuristic. This paper discusses the constrained pallet loading problem and presents a computer-based heuristic method to solve it. The good results can be obtained by the method.

Abstract:The extraction of the filled-in data is an important stage in the form image process system. Based on the alignment anchor points, an elastic matching method for data extraction is approached in this paper. The searching procedure and organizing strategy of the anchor points, the alignment method of the blank form and the filled-in form are discussed also.

Abstract:Based on the dynamic programming and the theorem of network flow, this paper presents a new technology mapping algorithm for delay optimization in LUT-based FPGA design in polynomial time. It is proved that the algorithm can minimize the delay in the target circuit. Its theoretical results are better.

Abstract:This paper develops a new method to construct a partial evaluator for high order functional language. This method is based on the CLOSURE analysis. With the analysis, the authors purpose an efficient binding time analysis so that the quality of the residual code produced by the specializatoin is improved. In this paper, all of the phases in the partial evaluator are described formly.