Volume 5,Issue 2,1994 Table of Contents

  • Display Type:
  • Text List
  • Abstract List
  • 1  IMPLEMENT FLOORPLAN FOR VLSI WITH OBJECT-ORIENTED METHODS
    Yang Fuqing Wu Liangzhi Hong Jianshun
    1994, 5(2):1-5.
    [Abstract](3968) [HTML](0) [PDF 561.45 K](4504)
    Abstract:
    In this paper, based on simulated annealing approch, the authors first implement floorplan algorithm for VLSI using object oriented method on the I″Jade Birds″system of integrated software engineering supporting environment.This algorithm can process rectangular and L shaped modules. Programming process can be cut short obviously when object oriented method of software development is applied.It raises developing effectiveness of system obviously to use″Jade Birds″system supporting development work.
    2  A PRACTICAL EAGER-LAZY CONTROL METHOD FOR DYNAMIC DERIVATION OF PARALLEL TASKS
    Tian Xinmin Wang Dingxing Shen Meiming Zheng Weimin
    1994, 5(2):6-13.
    [Abstract](3890) [HTML](0) [PDF 324.39 K](4695)
    Abstract:
    One of the most issues on exploiting effective parallelism is how to dynamically control parallel task derivation. In this paper,based on the ideal state of parallel tasks deriving, Eager Task Deriving (ETD)and Lazy Task Deriving(LDT) methods are analysed and discussed briefly, drawbacks of ETD and LTD are also presented. A practical Eager Lazy method is proposed for dynamically Deriving parallel Tasks (ELDT). The exprimental results have shown that ELDT can effectively control and increase the granularit
    3  A MECHANISM FOR CONCURRENCY CONTROL IN KNOWLEDGEBASE MANAGEMENT SYSTEM
    Qu Yunyao Shi Baile
    1994, 5(2):14-21.
    [Abstract](3633) [HTML](0) [PDF 508.45 K](4566)
    Abstract:
    This paper presents a concurrency control mechanism in knowledgebase system.The mechanism is based on database concurrency control 2PL (TWO PHASE LOCKING),it uses relate cover’concept to reduce the number of objects to be locked. This method has been proved to guarantee serializability and correctness.
    4  THE CONCEPT STRUCTURE AND IMPLEMENTATION OF REFLECTIVE OBJECTS
    Xi Jianqing Hu Shouren
    1994, 5(2):22-28.
    [Abstract](3771) [HTML](0) [PDF 419.93 K](4650)
    Abstract:
    Within the paper the idea and some implementation technique of reflective objects in OOPL ROL are introduced systematically. The use of reflective objects is for the complicated management in OODB and for more intelligent behaviours of objects. The problems of encapsulation and efficiency arising from the introduction of reflection are also discussed with possible solutions.
    5  PROCESS MIGRATION METHODS IN DISTRIBUTED COMPUTING SYSTEMS
    Xiao Hong Qiu Yulan Peng Dechun
    1994, 5(2):29-36.
    [Abstract](3635) [HTML](0) [PDF 477.68 K](4192)
    Abstract:
    In a distributed computing system,process migration is a method by which executing processes may be transferred between nodes during their lifetime and resumed from the switch off point in the destination node. This paper addresses at length the implementation ways of process migration in the Wulor 75/32 and other typical distributed computing systems, as well as extensions to other system facilities:file systems, communication mechanisms and OS kernel for implementing process migration.
    6  APPLICATION OF LINEAR PROGRAMMING TO KNOWLEDGE ACQUISITION
    Chen Jianhua Li Dingkun
    1994, 5(2):37-42.
    [Abstract](3868) [HTML](0) [PDF 535.85 K](4960)
    Abstract:
    In this paper, a practical method by means of linear programming to implement learning by induction from examples has been developed. The method can be applied to the knowledge acquisition of many expert systems of classification.
    7  DISCUSSION ON INCOMPLETENESS PROBLEM OF ETHERINGTON′S PARALLEL NETWORK INFERENCE ALGORITHM
    Fan Zhongchun
    1994, 5(2):43-47.
    [Abstract](3649) [HTML](0) [PDF 365.74 K](4403)
    Abstract:
    he computational complexity of default reasoning has sparked interest in the possibility of determining extension in parallel. The Parallel Network Inference Algorithm (PNIA) of Etherington has supplied default reasoning with an effective approach,but it can’t compute all extensions,i. e., there is a problem of incompleteness in PNIA. In order to solve this problem, this paper presents a new parallel network inference algorithm.
    8  PROPERTY LIST STRUCTURE AND COMPOSITE OBJECT IN THE OBJECT-ORIENTED SYSTEM
    Yao Li Liu Fengqi Wang Hao
    1994, 5(2):48-56.
    [Abstract](3873) [HTML](0) [PDF 315.02 K](4229)
    Abstract:
    This paper discusses the concepts, functions and realization of the propertylist structure and composite object. Propertylist structure and composite object are some additional knowledge representation structures, which are introduced into the knowledge based object oriented system with the purpose of making the knowledge representation more powerful.
    9  INTEGRATED CASE TOOLS AND REPOSITORY
    Mai Zhongfan Zhang Li
    1994, 5(2):57-64.
    [Abstract](3667) [HTML](0) [PDF 609.91 K](4192)
    Abstract:
    his paper summarises the development of the concept of Computer Aided Software Engineering(CASE) from the first generation file based integrated UNIX environment to the repository based CASE environment in the early 1990s around data integration, control integration and presentation integration. So it introduces the integrated model of current CASE environment,the principle of the model with CAIS and PCTE as its integrated kernel and the origin of the repository in the late 1980s. Repository resulted frther developnment of PCTE and in 1988 ECMA presented repository-based Roast Bread caaomplishment integration model which is the basic model in the current research of CASE environment.Then it discribes the concept,principle,accomplishment methods and problems in repository in detail and points out that the repository-based CASE environment will have deeply influence on software development.At last,the state of the art of the research in repository-based CASE environment is briefly introduced.

    Current Issue


    Volume , No.

    Table of Contents

    Archive

    Volume

    Issue

    联系方式
    • 《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元
    You are the firstVisitors
    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.

    Beijing Public Network Security No. 11040202500063