Abstract:In this paper, we describe system architecture and functional characteristics of BD-MIS (Management Information System for Beijing TV Factory); discuss database design method and augmentational development method for developing a management information system; and present our ideas about the importance of user s participation in system development.

Abstract:In this article, the convergent property of midpoint subdivision Bézier nets of triangular Bézier surfaces are proved. On the basis of the property, the generation and display algorithm and intersection algorithms of triangular Bézier surface are given according to midpoint subdivision algorithm.

Abstract:User interface management system (UIMS) is one kind of software development tool. According to the characteristic of the user interface of VLSI/CAD software, we design and implement a UIMS-GI, which supports graphical interaction. It is based on the simplified event-respond model and its main aim is easy used. It produces the user interfaces of the application programs according to the user s interface descriptions. GI supports menu, keyboard and window input and serves the application programs in the parallel mode,so it not only has good interactive characteristic,but also also the entirety and indepence of the application programs.

Abstract:How to allocate the parallel inference tasks among the parallel inference units is an important problem of improving the efficiency of parallel inference systems. This paper takes some examinations of three available allocating methods by expriments, proposes a new strategy and, analyses it theoretically and exprimentally.

Abstract:The paper contributes some formal techniques for the system modeling development discussed in [1]. Based on a kind of multi-sorted first order logic, the language CML is used to specify system models conceptually, and the analyser CMA is followed to check their static consistency and dynamic temporal.

Abstract:The development of computer software system will be the combination of various techniques. The hardware system may consist of a bunch of heterogeneous sub-systems. Based on homogeneous and heterogeneous DDBSs LSZ and LSZ2 we developed, the paper discusses the system architecture, link method, parallelism as well as the combination of AI and DB technique for heterogeneous system.

Abstract:In this paper, we disigned an abstract parallel inference machine for GHC. We approached and studied a series of subjects about the inference machine, say, process management, environment management, suspending mechanism, committing mechanism, ect., and proposed the corresponding strategy or algorithm. This paper presented a new implementation method for the suspending mechanism. Under the premise of maintaining the efficiency of environment access, the method needs less system overhead and provides the possibility of efficiently implementing GHC.