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 November 1996, Volume 11 Issue 6 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    The Methodology of Testability Prediction for Sequential Circuits
    Xu Shiyi; G.P.Dias;
    Journal of Computer Science and Technology, 1996, 11 (6): 529-541. 
    Abstract   PDF(568KB) ( 1407 )   Chinese Summary
    Increasingly, test generation algorithms are being developed with the con-tinuous creations of incredibly sophisticated computing systems. Of all the developments of testable as well as reliable designs for computing systems, the test generation for sequential circuits is usually viewed as one of the hard nuts to be solved for its complexity and time-consuming issue. Although dozens of algorithms have been proposed to cope with this issue, it still remains much to be desired in solving such problems as to d…
    References | Related Articles | Metrics
    A Neural Network Appraoch to Fault Diagnosis in Analog Circuits
    Wei Naihong; Yang Shiyuan; Tong Shibai;
    Journal of Computer Science and Technology, 1996, 11 (6): 542-550. 
    Abstract   PDF(209KB) ( 1385 )   Chinese Summary
    This paper presents a neural network based fault diagnosis approach for analog circuits, taking the tolerances of circuit elements into account. Specifi-cally, a normalization rule of input information, a pseudo-fault domain border (PFDB) pattern selection method and a new output error function are proposed for training the backpropagation (BP) network to be a fault diagnoser. Experi-mental results demonstrate that the diagnoser performs as well as or better than any classical approaches in terms of accurac…
    References | Related Articles | Metrics
    Accelerated Techniques in Stem Fault Simulation
    Shi Yin; Wei Daozheng;
    Journal of Computer Science and Technology, 1996, 11 (6): 551-561. 
    Abstract   PDF(245KB) ( 1339 )   Chinese Summary
    In order to cope with the most expensive stem fault simulation in fault simu-lation field, several accelerated techniques are presented in this paper. These techniques include static analysis on circuit structure in preprocessing stage and dynamic calculations in fault simulation stage. With these techniques,the area for stem fault simulation and number of the stems requiring explicit fault simulation are greatly reduced, so that the entire fault simulation time is substantially decreased. Experimental resu…
    References | Related Articles | Metrics
    The RTL Binding and Mapping Approach of VHDL High-Level Synthesis System HLS/BIT
    Yan Zongfu; Liu Mingye;
    Journal of Computer Science and Technology, 1996, 11 (6): 562-569. 
    Abstract   PDF(331KB) ( 1407 )   Chinese Summary
    This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and the knowledge-driven approach to RTL technology mapping are also presented.
    References | Related Articles | Metrics
    Neural Networks for Omni-View Road Image Understanding
    Zhu Zhigang; Xu Guangyou;
    Journal of Computer Science and Technology, 1996, 11 (6): 570-580. 
    Abstract   PDF(432KB) ( 1501 )   Chinese Summary
    This paper presents a new approach to the outdoor road scene understand-ing by using omni-view images and backpropagation networks. Both the road directions used for vehicle heading and the road categories used for velilcle local-ization are determined by the integrated system. There are three main features about the work. First, an omni-view image sensor is used to extract image samples, and the original image is preprocessed so that the inputs of the net-work is rotation-invariant and simple. Second, the …
    References | Related Articles | Metrics
    Speed up Training of the Recurrent Neural Network Based on Constrained optimization Techniques
    Chen Ke; Bao Weiquan; Chi Huisheng;
    Journal of Computer Science and Technology, 1996, 11 (6): 581-588. 
    Abstract   PDF(166KB) ( 1238 )   Chinese Summary
    In this paper, the constrained optimization technique for a substantial prob-lem is explored, that is accelerating training the globally recurrent neural net-work. Unlike most of the previous methods in feedforward neuxal networks, the authors adopt the constrained optimization technique to improve the gradiellt-based algorithm of the globally recuxrent neural network for the adaptive learn-ing rate during training. Using the recurrent network with the improved algo-rithm, some experiments in two real-world…
    References | Related Articles | Metrics
    DYNAMEM-A Microarchitecture for Improving Memory Disambiguation at Run-Time
    Wang Xianzhu; Liao Heng; Li Sanli;
    Journal of Computer Science and Technology, 1996, 11 (6): 589-600. 
    Abstract   PDF(268KB) ( 1287 )   Chinese Summary
    This paper presents a new microarchitecture technique named DYNAMEM,in which memory reference instructions are dynamically scheduled and can be executed out-of-order. Load instructions can bypass store instructions specula-tively, even if the store instructions'addresses are unknown. DYNAMEM can greatly alleviate the restraints of ambiguous memory dependencies. Simulation results show that the frequency of false load is low. Mechanism has been pro-vided to repair false loads with low penalty, and to achieve…
    References | Related Articles | Metrics
    Research on Protocol Migration
    Wang Yun; Gu Guanqun; Dui Jiyin;
    Journal of Computer Science and Technology, 1996, 11 (6): 601-606. 
    Abstract   PDF(258KB) ( 1282 )   Chinese Summary
    This paper elaborates the concept and model of protocol migration in net-work interconnection. Migration strategies and principles are discussed and several cases are studied in detail Which show the basic procedu-re and tech-niques used in protocol migration.
    References | Related Articles | Metrics
    Compact DC-DC Converter for Pocket Micro-Controller Systems
    Liu Jian; Chen Zhiming; Zhong Yanru; Du Zhong;
    Journal of Computer Science and Technology, 1996, 11 (6): 607-614. 
    Abstract   PDF(336KB) ( 1277 )   Chinese Summary
    Novel compact DC-DC converters for pocket micro-controller systems are discussed in the paper, which are based on switched capacitors and inductorless,consequently are more suitable for being hybridized. The new converters en-able the pocket microcontroller system to be powered by only one +12V source,while +5V and -12V are converted from the +12V source. The basic princi-ple, voltage ratio, efficiency and ripples are analysed. Experiment and SPICE simulation are also given, which show positive results.
    References | Related Articles | Metrics
    The Global Properties of Valid Formulas in Modal Logic K
    Sun Jigui; Cheng Xiaochun; Liu Xuhua;
    Journal of Computer Science and Technology, 1996, 11 (6): 615-621. 
    Abstract   PDF(314KB) ( 1285 )   Chinese Summary
    Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal automated rea-soning systems, thus the efficiency of the whole system is improved. This paper presents some global properties of valid formulas in modal logic K. Such prop-erties are structure characters of formulas, so they are simple and easy to check.At the same time, some global properties of…
    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