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 May 1998, Volume 13 Issue 3 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    The Least Fixpoint Transformation for Disjunctive Logic Programs
    Wang Kewen; Chen Huowang; Wu Quanyuan;
    Journal of Computer Science and Technology, 1998, 13 (3): 193-201. 
    Abstract   PDF(258KB) ( 1184 )   Chinese Summary
    The paradigm of disjunctive logic programming (DLP) enhances greatly the expressive power of normal logic programming (NLP) and many (declarative) semantics have beeu defined for DLP to cope with various problems of knowledge representation in artificial intelligence. However, the expressive ability of the semantics and the soundness of program transformations for DLP have been rarely explored. This paper defines an immediate consequence operator TGP for each disjunctive program and shows that TGP has the…
    References | Related Articles | Metrics
    Symmetric π-Calculus
    Fu Yuxi;
    Journal of Computer Science and Technology, 1998, 13 (3): 202-208. 
    Abstract   PDF(174KB) ( 1318 )   Chinese Summary
    An alternative presentation of the π-calculus is given. This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no dtherence between input and output prehxes. The point of the symmetric π-calculus is that it has no abstract names. The set of closed names is therefore homogeneous. The π-calculus can be fully embedded into the symmtric π-calculus. The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for furt…
    References | Related Articles | Metrics
    Intuitive Minimal Abduction in Sequent Calculi
    Yi Bo; Tao Xianping; G.Cioni; A.Colagrossi;
    Journal of Computer Science and Technology, 1998, 13 (3): 209-219. 
    Abstract   PDF(262KB) ( 1372 )   Chinese Summary
    Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of "good" abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained b…
    References | Related Articles | Metrics
    A Surface Rendering Approach in 3D Rectilinear Datafield
    Li Bin; Liang Xundong; Liu Shenquan;
    Journal of Computer Science and Technology, 1998, 13 (3): 220-227. 
    Abstract   PDF(354KB) ( 1491 )   Chinese Summary
    This paper presents an approach for surface rendering in 3D rectilinear datafield. The approach will first detect the border of the given object in the field by underlying function fitting and the second gradient derivative calculating. On marking the border cells, they will be rendered in polygons to fit the surface of the object. The implementation, as well as some experiments, is given in the paper.
    References | Related Articles | Metrics
    A Knowledge Representation Model for Video-Based Animation
    Lao Zhiqiang; Pan Yunhe;
    Journal of Computer Science and Technology, 1998, 13 (3): 228-237. 
    Abstract   PDF(446KB) ( 1386 )   Chinese Summary
    In this papert a brief survey on knowledge-based animation techniques is given.Then a VideoStream-based Knowledge Representation Model (VSKRM) for Joint Objects is presented which includes the knowledge representation of: Graphic Object,Action and VideoStream. Next a general description of the UI framework of a system is given based on the VSKRM model. Finally a conclusion is reached.
    References | Related Articles | Metrics
    C~2-(C~3-) Continuous Interpolation Spline Curve and Surface
    Fang Kui; Tan Jianrong; Zhu Guoqing;
    Journal of Computer Science and Technology, 1998, 13 (3): 238-245. 
    Abstract   PDF(340KB) ( 1355 )   Chinese Summary
    Free-formed or sculptured surfaces in engineering products are frequently constructed from a set of measured 3D data points. C2- (C3-) continuity approach is important in this field. This paper presents a method of rectangular interpolation of given 3D data array which is regularly arranged. The interpolation surface which is constructed by tensor product has desirable properties (second-order or third-order continuity locality) and is implemented and adjusted easily. Higher order continuity methods are als…
    References | Related Articles | Metrics
    Deformable Registration of Digital Images
    Guan Weiguang; Xie Lin; Ma Songde;
    Journal of Computer Science and Technology, 1998, 13 (3): 246-260. 
    Abstract   PDF(708KB) ( 1341 )   Chinese Summary
    This paper proposes a novel elastic model and presents a deformable registration method based on the model. The method registers images without the need to extract features from the images, and therefore works directly on grey-level images. A new similarity metric is given on which the formation of external forces is based. The registration method, taking the coarse-to-fine strategy constructs external forces in larger scales for the first few iterations to rely more on global evidence, and then in smaller …
    References | Related Articles | Metrics
    A Traffic Partition Algorithm for Switched LANs and Its Performance Analysis
    Ding Wei; Gong Jian; Yu Xiao;
    Journal of Computer Science and Technology, 1998, 13 (3): 261-267. 
    Abstract   PDF(307KB) ( 1339 )   Chinese Summary
    An algorithm is proposed which can be used for the topology design of switched LAN with heavy traffic and multi-segments. The main principle of the algorithm is to split the whole traffic to segments as even as possible. The algorithm consists of binary division and ordinary division. When the number of segments equals to powers of 2, binary division is used; ordinary division is based on binary division but suitable to more common cases. Both correctness and time complexity of the algorithm are discussed i…
    References | Related Articles | Metrics
    An Efficient Multiple Predicate Learner
    Zhang Xiaolong; Masayuki Numao;
    Journal of Computer Science and Technology, 1998, 13 (3): 268-278. 
    Abstract   PDF(502KB) ( 1347 )   Chinese Summary
    In this papers we examine the issue of learning multiple predicates from given training examples. A proposed MPL-CORE algorithm efficiently induces Horn clauses from examples and background knowledge by employing a single predicate learning module CORE. A fast failure mechanism is also proposed which contributes learning efficiency and learnability to the algorithm. MPL-CORE employs background knowledge that can be represented in intensional (Horn clauses) or extensional (ground atoms) forms during its lear…
    References | Related Articles | Metrics
    Extract Rules by Using Rough Set and Knowledge-Based NN
    Wang Shitong; E.Scottand; A.Gamermann;
    Journal of Computer Science and Technology, 1998, 13 (3): 279-284. 
    Abstract   PDF(254KB) ( 1548 )   Chinese Summary
    In this paper, rough set theory is used to extract roughly-correct inference rules from information systems. Based on this idea, the learning algorithm ERCR is presented. In order to refine the learned roughly-correct inference rules, the knowledge-based neural network is used. The method presented here sufficiently combines the advanages of rough set theory and neural network.
    References | Related Articles | Metrics
    Acoustic Simulation with Dynamic Mechanisms in Virtual Reality
    Zhang Qiong; Shi Jiaoring;
    Journal of Computer Science and Technology, 1998, 13 (3): 285-288. 
    Abstract   PDF(187KB) ( 1404 )   Chinese Summary
    Although most invesigators have realized the importance of acoustic simulation in sophisticated VR systems, large computational load involved in this process often contradicts the requirements of real-time interaction, which in return brings on applying the expensive hardware or VR-specific workstations to this area. In order to reduce the computational cost and try to realize the real-time acoustic simulation in software with (or even without) some low-cost hardware, this paper proposes some dynamic mechan…
    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