Loading...




Bimonthly    Since 1986
ISSN 1000-9000(Print)
/1860-4749(Online)
CN 11-2296/TP
Indexed in:
SCIE, Ei, INSPEC, JST, AJ, MR, CA, DBLP, etc.
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
Published by: SCIENCE PRESS, BEIJING, CHINA
Distributed by:
China: All Local Post Offices
Other Countries: Springer
 
ip访问总数:
ip当日访问总数:
当前在线人数:
  • Table of Content
      10 January 1986, Volume 1 Issue 1    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Editorial
    Xia Peisu
    Journal of Computer Science and Technology, 1986, 1 (1): 1-1. 
    Abstract   PDF(290KB) ( 3 )   Chinese Summary
    Related Articles | Metrics
    Chinese Character Processing Systems in China
    Liu Weichang
    Journal of Computer Science and Technology, 1986, 1 (1): 2-8. 
    Abstract   PDF(4491KB) ( 12 )   Chinese Summary
    A general review of Chinese character processing systems developed in China is presented. Three main categories of existing entry schemes, i.e. character entry, encoding and component keying-in, are described. After examing the diversified encoding schemes based on phonetics, shape and phonetics-shape, it is pointed out that computer-aided component keying-in scheme is more ergonomical and promising in the near future. Section of Main Features gives an overall picture of the Chinese editor, character font, software for bilingual processing, display and printer for Chinese characters. Then the standardization of the character font, code for information exchange, machine code as well as Chinese character terminal are discussed. Finally, an overview of the applications of Chinese character processing systems in the enterprises, offices, facilities for public service and Chinese medical diagnosis are given.
    Related Articles | Metrics
    Two Varieties of Finite Automaton Public Key Cryptosystem and Digital Signatures
    Tao Renji and Chen Shihua
    Journal of Computer Science and Technology, 1986, 1 (1): 9-18. 
    Abstract   PDF(5165KB) ( 9 )   Chinese Summary
    This paper gives two varieties of the public key cryptosystem in [1] which can also be used to implement digital signatures.
    References | Related Articles | Metrics
    Architecture of the Synchronous Dataflow System SDS-1
    Liu Guizhong and Ci Yungui
    Journal of Computer Science and Technology, 1986, 1 (1): 19-25. 
    Abstract   PDF(3190KB) ( 8 )   Chinese Summary

    Asynchronous operations in dataflow computers bring about some problems. In this paper, synchronous operations for dataflow computations and their model are proposed, and the outline of the implementation, SDS, of the model and its functional programming language, SDSFP, are described. The architecture of the first version of SDS (SDS-1) is discussed in detail.



    References | Related Articles | Metrics
    Design of a Vector Processor
    Lin Qi
    Journal of Computer Science and Technology, 1986, 1 (1): 26-34. 
    Abstract   PDF(4706KB) ( 9 )   Chinese Summary

    This paper discusses the inherent parallelism limits on several applications for vector computers, the parallel capabilities of several architectures and two ways (traditional instruction control flow and data control flow) by which the capabilities can be used. Then a scheme for a pipelined vector processor of multi-processing units is presented. The basic system structure and its function on highly sparse vector processing are described. A vector cache system and a distributed main memory are also considered, which are intended to sustain extremely high access rates for the processor. A microprocessor based vector processor is constructed, which can simulate the high performance version of the processor.



    References | Related Articles | Metrics
    An Efficient Algorithm for Calculating Boolean Difference
    Wei Daozheng
    Journal of Computer Science and Technology, 1986, 1 (1): 35-45. 
    Abstract   PDF(3593KB) ( 8 )   Chinese Summary

    In this paper we have proposed a method of computing Boolean difference by means of transition operators. This method considerably simplifies the computational complexity. Particularly, when the method is used in the test generation of digital circuits, the Boolean difference can be calculated iteratively from the outputs of gates to their inputs level by level, no matter whether there are reconvergent fanout lines or not. When there are m different paths from a given fault line to the primary output of the circuit, using traditional Boolean difference methods, the result formula will contain 2m?1 product terms, whereas using the method presented in this paper, the result formula will contain onlym product terms. On the other hand, the m product terms are connected by “OR” operators, therefore it is very convenient to generate partial test patterns. We also introduce a method in which partial test patterns along a given path can be generated. The method discussed in this paper have been used in the test generation of the PCBs of several computers and the results were quite satisfactory.



    References | Related Articles | Metrics
    The Complexity of the 0/1 Multi-knapsack Problem
    Zhang Li’ang and Geng Suyun
    Journal of Computer Science and Technology, 1986, 1 (1): 46-50. 
    Abstract   PDF(1717KB) ( 9 )   Chinese Summary

    In this paper complexity of the 0/1 multi-knapsack problem is discussed. First we prove that the corresponding decision problem is NP-complete in the strong sense. For any fixed numberk of knapsacks, the problem is only NP-complete in the ordinary sense, but not NP-complete in the strong sense. Then, we prove that the 0/1 multi-knapsack optimization problem is NP-equivalent by using Turing reduction.



    References | Related Articles | Metrics
    A Structural Operational Semantics for an Edison-like Language (1)
    Li Wei
    Journal of Computer Science and Technology, 1986, 1 (1): 51-60. 
    Abstract   PDF(3465KB) ( 10 )   Chinese Summary

    A structural operational semantics for Edison. 1—an Edison-like language—is given. The static and dynamic (operational) semantics for various declarations and statements contained in this type of languages have been carefully studied by using a structural operational approach. The method used here can be generalised to cover more complicated concurrent programming languages.

    The paper is divided into two parts. In the first part, an abstract syntax of Edison. 1 is introduced and the static semantics of it is studied. In the second part, an operational (dynamic) semantics of Edison. 1 is given.



    References | Related Articles | Metrics
    Marking Fairness in Petri Nets
    Lu Weiming
    Journal of Computer Science and Technology, 1986, 1 (1): 61-69. 
    Abstract   PDF(3721KB) ( 7 )   Chinese Summary

    We study fairness with respect to markings in Petri nets, which means no infinite execution sequence such that in the sequence some marking occurs only finitely often but it is an element of the forward set of a marking M which occurs infinitely often. First we show the transition strong fairness implies the marking fairness although the transition fairness and the marking fairness are quite different matters. And we find some relationship between the marking fairness and the frozen tokens. Then we prove that it can be controlled locally to make marking fairness.



    References | Related Articles | Metrics
    ISOETRP Clustering Algorithm and Its Application to Tree Classifier Design
    Wang Qingren
    Journal of Computer Science and Technology, 1986, 1 (1): 70-85. 
    Abstract   PDF(4951KB) ( 8 )   Chinese Summary

    A new clustering algorithm ISOETRP has been developed. Several new objectives have. been intro-duced to make ISOETRP particularly suitable to hierarchical pattern classification. These objectives are: a)minimizing overlap-between pattern class groups, b) maximizing entropy reduction, and c) keeping bal-ance between these groups. The overall objective to be optimized is

    GAIN = Entropy Reduction/(Overlap + 1).

    Balance is controlled by maximizing the GAIN. An interactive version of ISOETRP has also been developed by means of an overlap table. It has been shown that ISOETRP gives much better results than other existing algorithms in optimizing the above objectives. ISOETRP has played an important role in designing many large -tree classifiers, where the tree performance was improved by optimizing GAIN value.



    Related Articles | Metrics
  Journal Online
Just Accepted
Archive
Top Cited Papers
Top 30 Most Read
Paper Lists of Areas
Surveys
Special Issues
  Download
   ScholarOne Manuscripts
   Log In

User ID:

Password:

  Forgot your password?

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

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

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