Bimonthly    Since 1986
ISSN 1000-9000(Print)
CN 11-2296/TP
Indexed in:
Publication Details
Edited by: Editorial Board of Journal Of Computer Science and Technology
P.O. Box 2704, Beijing 100190, P.R. China
Sponsored by: Institute of Computing Technology, CAS & China Computer Federation
Undertaken by: Institute of Computing Technology, CAS
Distributed by:
China: All Local Post Offices
Other Countries: Springer
  • Table of Content
      10 July 1992, Volume 7 Issue 3 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Structured Development Environment Based on the Object-Oriented Concepts
    Fei Xianglin; Liao Lei; Wang Hezhen; Wang Chengzao;
    Journal of Computer Science and Technology, 1992, 7 (3): 193-201. 
    Abstract   PDF(210KB) ( 1230 )   Chinese Summary
    The object oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems. In the research on the rapid construction of Structured Development Envi- ronment (SDE)that supports detailed design and coding in software development, a generator that can gener- ate the SDE has been applied as a metatool. The kernel of SDE is a syntax-directed editor based on the ob- ject-oriented concepts. The key issue in the design of SDE is how to represent the el…
    References | Related Articles | Metrics
    A Methodology for Development of Software Composite-Metrics for Program Control-Flow Structure
    Aftab Ahmad;
    Journal of Computer Science and Technology, 1992, 7 (3): 202-218. 
    Abstract   PDF(757KB) ( 1078 )   Chinese Summary
    This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed program control-flow complexity metrics are evaluated. It is observed that most of these metrics are inherently limited in distinguishing capability. However, the concept of composite metrics is potentially useful for the development of a practical metrics. This paper presents a methodology for t…
    References | Related Articles | Metrics
    Visual Knowledge Representation and Intelligent Image Segmentation
    Zheng Nanning; Liu Jianqin;
    Journal of Computer Science and Technology, 1992, 7 (3): 219-225. 
    Abstract   PDF(645KB) ( 1030 )   Chinese Summary
    Automatic medical image analysis shows that image segmentation is a crucial task for any practical AI system in this field. On the basis of evaluation of the existing segmentation methods, a new image segmentation method is presented. To seek the perfect solution to knowledge representation in low level machine vision, a new knowledge representation approach—— "Notebook" approach is proposed and the processing of visual knowledge is discussed at all levels. To integrate the computer vision theory with Gesta…
    References | Related Articles | Metrics
    UNDO, An Aid for Explorative Learning?
    Harald E. Otto;
    Journal of Computer Science and Technology, 1992, 7 (3): 226-236. 
    Abstract   PDF(290KB) ( 1137 )   Chinese Summary
    New users of an application system, especially computer novices, can become confused and frus- trated after experiencing the first, perhaps not recoverable error situations during the early stages of explora- tion and learning. System facilities, which let users UNDO and REDO executed commands, are suggested to be an aid for active learning and can be used as a method for systematic exploration through recovering from unknown and newly explored (perhaps wrong) system states by cancelling executed commands w…
    References | Related Articles | Metrics
    BD-UIMS:How It Supports Semantic Feedback and Direct Manipulation
    Dong Shihai; Zhong Weide;
    Journal of Computer Science and Technology, 1992, 7 (3): 237-242. 
    Abstract   PDF(148KB) ( 1100 )   Chinese Summary
    In this paper we present some results from our research on representation methods and architectural model of UIMS, suitable for accommodating various interactive styles. By roughly describing an experi- mental system of BD-UIMS, we lay emphasis on how to support direct manipulation and semantic feedback. Particular attention is given to a simple conceptual model of user interface as well. Based on this model, the designing process of user interface is rather easy. Although current work is under DOS environm…
    References | Related Articles | Metrics
    A Comparison of Closed World Assumptions
    Shen Yidong;
    Journal of Computer Science and Technology, 1992, 7 (3): 243-246. 
    Abstract   PDF(111KB) ( 1043 )   Chinese Summary
    In this paper, we introduce a notion of the family of closed world assumptions and compare several well-known closed world approaches in the family to the extent to which an incomplete database is com- pleted.
    References | Related Articles | Metrics
    Pipelined Global Data Communication on Hypertoruses
    Tang Zhimin;
    Journal of Computer Science and Technology, 1992, 7 (3): 247-256. 
    Abstract   PDF(442KB) ( 1129 )   Chinese Summary
    This paper presents several effective global data communication algorithms on the hypertorus, or k- ary n-cube interconnection network, which is a generalization of the conventional hypercube structure. The timing analysis of these algorithms is also given.
    References | Related Articles | Metrics
    Adapting Backward Error Recovery to Parallel Real Time Systems
    Zhou Di;
    Journal of Computer Science and Technology, 1992, 7 (3): 257-267. 
    Abstract   PDF(505KB) ( 983 )   Chinese Summary
    The problem of adapting backward error recovery to parallel real time systems is discussed in this paper. Because of error propagation among different cooperating processes, an error occurring in one process may influence some important outputs in other processes. Therefore, a local output has to be delayed until its validity is confirmed globally. Since backward error recovery adopts redundancy of computing time instead of processing equipment, the variation of the actual execution time of a cooperating pr…
    References | Related Articles | Metrics
    The Expressibility of First Order Dynamic Logic
    Fu Bin; Li Qiongzhang;
    Journal of Computer Science and Technology, 1992, 7 (3): 268-273. 
    Abstract   PDF(270KB) ( 1201 )   Chinese Summary
    This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG) References | Related Articles | Metrics
    A New Method for State Simplification in Incompletely Specified Sequential Machines
    Wang Wenzhang; Lu Yingping;
    Journal of Computer Science and Technology, 1992, 7 (3): 274-283. 
    Abstract   PDF(219KB) ( 1072 )   Chinese Summary
    This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix E_k! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate.
    References | Related Articles | Metrics
    ICAS: An Incremental Concept Acquisition System Using Attribute-Based Description
    Chen Shifu; Chen Bin; Pan Jingui;
    Journal of Computer Science and Technology, 1992, 7 (3): 284-288. 
    Abstract   PDF(238KB) ( 1161 )   Chinese Summary
    ICAS is an incremental concept acquisition system using attribute-based description. It includes an algorithm for learning concept, which induces a rule set from an example set based on the probability theory, and an algorithm for refining the rule set. This paper also introduces the learning cycles, a very useful idea of ICAS. In fact, concept acquisition by ICAS is an incremental process consisting of many such learning cycles. Also the design and implementation of ICAS are given.
    References | Related Articles | Metrics
  Journal Online
Just Accepted
Top Cited Papers
Top 30 Most Read
Paper Lists of Areas
Special Issues
   ScholarOne Manuscripts
   Log In

User ID:


  Forgot your password?

Enter your e-mail address to receive your account information.

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved