There has been much interest in the use of formal techniques for the design and analysis of systolic arrays.One important aspect of analysis of systolic array is the correctness problem. A few attempts for the verification of systolic array have appeared in the literature. The deficiency is that all of these methods lack a straightforward way of proving correctness. They need either proposing a solution,then applying inductive techniques or showing that the array satisfies three types of properties:safety,l…

A new method for describing the execution of logic programs is presented in this paper.Our method, named OR-forest,not only retains the merits of the traditional OR-tree description in achieving high independence of each computation unit,but also overcomes the two major drawbacks of the traditional OR- tree description:the lack of the ability for describing AND-parallel execution and the redundancies in describing OR-parallel execution,It provides a new framework for developing execution models which could …

In this paper a generalized object-oriented approach for complex object modeling is proposed,which is characterized by adding the concept of Meta-Class into the object-oriented paradigm for unifying the handling of object types and primary data models,and also characterized by integrating the modeling of object type hierarchy and object configuration hierarchy.Concepts such as Compositional Relationship Object,Face,Object Configuration Schema Expression,Object Skeleton are introduced to specify object struc…

To get more meaning of incomplete information,a predicate way is proposed to represent the nulls.The concepts of functional and multivalued dependencies are extended in the environment which allows nulls in a database relation.The inference rules which can be applied to the extended dependencies are investigated.Finally it is shown that the rules are complete for the family of extended functional and multivalued dependencies.

This paper describes the architecture and implementation algorithm of a transaction management suhsystem (TM) in the distributed database system POREL.The TM has been reimplemented on VAX 11/750.

This paper introduces a new method named a ring delay chain for exact measure of pulse eycle error. This method can measure a few nanoseconds error and does not need any high frequency device.Application of this method has obtained very good result in a pilot equipment having a servo surface for magnetic disk storage.

This paper describes a planning system using an expert system for the part transfer operation on a robotic assembly line.It includes the description of system organization, the design technology and the planning results of this system.This planning system has good capability and fast planning speed.