- Volume 6,Issue 2,1995 Table of Contents
-
1995, 6(2):65-68.
Abstract:This paper defines the method of NC-RUE-NRF resolution, and provesthe completeness of the deduction of using NC-RUE-NRF resolution for generalizedclauses set which contains equality.
-
1995, 6(2):69-77.
Abstract:In this paper, some basic problems of multimedia database systems are discussed, and the design of a new type multimedia database management system CDB/M is presented.
-
1995, 6(2):78-83.
Abstract:Simplification of transcendental expression is one of the difficult simplification problem in computer algebra. In this paper, the authors present an algebraic simplification method of transcendental expressions, and the method is a sum substitution strategy based on hill -climbing approach. An important example of the usefulness of this method is found in simplification of normal triangle expressions. Now this simplification method has already been used in computer algebraic simplification system CASS1.
-
1995, 6(2):84-90.
Abstract:Name service is the kernel of heterogeneous distributed file system. On thebasis of analyzing many distributed file systems, a new naming scheme has been proposed,that is export--and--share mechanism with which they can perfectly combine the remotefile system with local file system in terms of reserving the local file system naming syntax.They implement the name server distributively and satisfy the demand of location transparency.
-
1995, 6(2):91-98.
Abstract:A protocol converter can be regarded as a mapping between messages of two protocols. This mapping can be characterized by a set K of coupled significant messages. In the present paper a formal definition of the protocol converter with respect to K is given, and proposes a method for constructing the converter which is based on the coupled product of two finite state machines. The correctness of the method is proved.
-
1995, 6(2):99-106.
Abstract:For two protocols [A,B] and [G,H] and a significant message mapping set K, this paper can construct the converter C of these two protocols with respect to K as the coupled product of B and G with K. This paper discusses the properties of such a protocol conversion model [A,C,H], specifically the properties of its freedom from deadlocks andlivelocks. Some sufficient and necessary conditions are given.
-
1995, 6(2):107-111.
Abstract:This paper introduces a new strategy of three-layered combined interrupt priorities after pointing out the disadvantages of the strategy on the principle of layered interrupt priority. This improved approach satisfies the user with better response ability,flexibility and lower system cost.
-
1995, 6(2):112-117.
Abstract:Object-oriented development is a promising method for software development. It models problem space objects directly, then isomorphically maps the problem space onto the corresponding solution space. However, it is difficult to find problem space objects for a pure OOD method. In this paper, after comparing object-oriented development with functional development, a method called ROAD, refinement -based object analysis and design, is proposed.
-
1995, 6(2):118-122.
Abstract:In this paper, a reflective architecture of the CLOS system which is implemented by extending Lisp and its implementation is discussed. The architecture is based on unified object representation, supports multi-methods and method combination, and consists with the host language.
-
1995, 6(2):123-128.
Abstract:There are many differences between scientific and statistical database and traditional DB. It is not suitable to build scientific and statistical database with traditional database management system. This paper discusses some technologies in SSDBMS, including data-model, data-compression, query, security etc.
- 《Journal of Software 》
- 主办单位：Institute of Software, CAS, China
- 邮编：100190
- 电话：010-62562563
- 电子邮箱：jos@iscas.ac.cn
- 网址：https://www.jos.org.cn
- 刊号：ISSN 1000-9825
- CN 11-2560/TP
- 国内定价：70元
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
