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 January 1996, Volume 11 Issue 1 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Advanced Geometric Modeler with Hybrid Representation
    Yang Changgui; Chen Yuian; Sun Jiaghang;
    Journal of Computer Science and Technology, 1996, 11 (1): 1-8. 
    Abstract   PDF(262KB) ( 1279 )   Chinese Summary
    An advanced geometric modeler GEMS4.0 has been developed, in whichfeature representation is used at the highest level abstraction of a productmodel. Boundary representation is used at the bottom level, while CSG modelis adopted at the median level. A BRep data structure capable of modelingnon-manifold is adopted. NURBS representation is used for all curved surfaces.Quadric surfaces have dual representations consisting of their geometric datasuch as radius, center point, and center tals. Boundary representat…
    References | Related Articles | Metrics
    A Subdivision Scheme for Rational Triangular Bézier Surfaces
    Hu Shimin;
    Journal of Computer Science and Technology, 1996, 11 (1): 9-16. 
    Abstract   PDF(322KB) ( 1270 )   Chinese Summary
    An explicit formula is developed to decompose a rational triangular Bezierpatch into three non-degenerate rational rectangular B6zier patches of the samedegree. This formula yields a stable algorithm to compute the control verticesof those three rectallgular subpatches. Some properties of the subdivision arediscussed and the formula is illustrated with an example.
    References | Related Articles | Metrics
    Fast Ray Tracing NURBS Surfaces
    Qin Kaihuai; Gong Minglun; Tong Geliang;
    Journal of Computer Science and Technology, 1996, 11 (1): 17-29. 
    Abstract   PDF(326KB) ( 1302 )   Chinese Summary
    In this paper, a new algorithm with extrapolation process for computingthe ray/surface intersection is presented. Also, a ray is defined to be the in-tersection of two planes, which are nonorthogonal in general, in such a waythat the number of multiplication operations is reduced. In the preprocessingstep, NURBS surfaces are subdivided adaptively into rational Bezier patches.Parallelepipeds are used to enclose the respective patches as tightly as possible.Therefore, for each ray that hits the enclosure (i.e…
    References | Related Articles | Metrics
    A Skeleton-Based Approach of Automatically Generating Some Chinese Typefaces
    Lu Bo; Cai Shijie;
    Journal of Computer Science and Technology, 1996, 11 (1): 30-38. 
    Abstract   PDF(191KB) ( 1677 )   Chinese Summary
    This paper introduces a skeleton-based approach of automatically gener-ating DENG-XIAN, YUAN-TOU and HU-PO typefaces and discusses somealgorithms used in generating these fonts.
    References | Related Articles | Metrics
    On-Line Predicting Behaviors of Jobs in Dynamic Load Balancing
    Ju Jiubin; Xu Gaochao; Yang Kun;
    Journal of Computer Science and Technology, 1996, 11 (1): 39-49. 
    Abstract   PDF(239KB) ( 1451 )   Chinese Summary
    A key issue of dynamic load balancing in a loosely coupled distributed systemis selecting appropriate jobs to transfer. In this paper, a job selection policybased on on-line predicting behaviors of jobs is proposed. Thacing is used atthe beginning of execution of a job to predict the approkimate execution timeand resource requirements of the job so as to make a correct decision aboutwhether transferring the job is worthwhile. A dynamic load balancer using thejob selection policy has been implemelited. Exper…
    References | Related Articles | Metrics
    SDL-TRAN-An Interactive Generator for Formal Description Language SDL
    Zhang Yaoxue; Chen Hua; Zhang Yue; Liu Guoli;
    Journal of Computer Science and Technology, 1996, 11 (1): 49-60. 
    Abstract   PDF(498KB) ( 1502 )   Chinese Summary
    SDL (Specification and Description Language) is an international standardformal description language which has been widely used for the specificationand description of communication systems. SDL is based on the concept ofthe state oriellted description technique - FSM (Finite State Machine). Thispaper reports an interactive generator for SDL, named SDL-TRAN, which canautomatically translate FSM expression into SDL description. Except for itsaatomatic translation part, SDLTRAN includes an userfriendly graPhi…
    References | Related Articles | Metrics
    Towards a Declarative Semantics of Inheritance with Exceptions
    Xu Dianxiang; Zheng Guoliang;
    Journal of Computer Science and Technology, 1996, 11 (1): 61-71. 
    Abstract   PDF(487KB) ( 1453 )   Chinese Summary
    This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.
    References | Related Articles | Metrics
    Processing of Uncertainty Temporal Relations
    Zhong Shaochun; Liu Dayou;
    Journal of Computer Science and Technology, 1996, 11 (1): 72-82. 
    Abstract   PDF(477KB) ( 1687 )   Chinese Summary
    A kind of classification on temporal relations of propositions is presented.By introducing temporal approaching relation, a new temporal logic based ontime-point and time-interval is proposed, which can describe uncertain temporalrelations. Finally some properties of temporal proposition under.uncertainrelations are proposed.
    References | Related Articles | Metrics
    Reasoning in H-Net: A Unified Approach to Intelligent Hypermedia Systems
    Yu Shengke;
    Journal of Computer Science and Technology, 1996, 11 (1): 83-89. 
    Abstract   PDF(288KB) ( 1432 )   Chinese Summary
    H-net is a Petri net based formal model of hyp ermedia/ hypert ext. Beingpowerful in the description of hypermedia, H-net can model the information inhypermedia and the knowledge of hypermedia naturally in a ullified Petri netbased wny. This makes H-net good for the modeling of intelligent hypermediasystems. In this paper, a unified reasoning algorithm is proposed to define thedynamic behavior of H-net. Using the Petri net theory based a.lgorithm, thereasoning in hypermedia information subnets, fuzzy produc…
    References | Related Articles | Metrics
    Hybridity in Embedded Computing Systems
    Yu Huiqun; Sun Yongqiang;
    Journal of Computer Science and Technology, 1996, 11 (1): 90-96. 
    Abstract   PDF(522KB) ( 1465 )   Chinese Summary
    An embedded system is a system that computer is used as a componelit ina larger device. In this paper, we study hybridity in embedded systems andpresent an interval based temporal logic to express and reason about hybridproperties of such ldnd of systems.
    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