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 1992, Volume 7 Issue 1 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    A New Representation and Algorithm for Constructing Convex Hulls in Higher Dim ensional Spaces
    L Wei; Liang Youdong;
    Journal of Computer Science and Technology, 1992, 7 (1): 1-5. 
    Abstract   PDF(234KB) ( 1328 )   Chinese Summary
    This paper presents a new and simple scheme to describe the convex hull in R~d,which only uses three kinds of the faces of the convex hull,i.e.,the d-1-faces,d-2-faces and 0-faces.Thus,we develop an efficient new algorithm for constructing the convex hull of a finite set of points incrementally. This algorithm employs much less storage and time than that of the previously-existing approaches.The analysis of the running time as well as the storage for the new algorithm is also theoretically made.The algorith…
    References | Related Articles | Metrics
    The Location of Singular and Inflection Points for Planar Cubic B-Spline Curve
    Ye Zhenglin; Wang Jiaye;
    Journal of Computer Science and Technology, 1992, 7 (1): 6-11. 
    Abstract   PDF(268KB) ( 1221 )   Chinese Summary
    Using vectors between control points(a_i=P_(i+1)-P_i),parameters λ and μ(such that a_(i+1)=λ_(ai+μ_(a_i+2))are used to study the shape classification of planar parametric cubic B-spline curves. The regiosn of λμ space corresponding to different geometric features on the curves are investigated.These results are useful for curve design.
    References | Related Articles | Metrics
    Test Derivation Through Critical Path Transitions
    Li Weidong; Wei Daozheng;
    Journal of Computer Science and Technology, 1992, 7 (1): 12-18. 
    Abstract   PDF(210KB) ( 1142 )   Chinese Summary
    In this paper,a new technique called test derivation is presented,aiming at the promotion of the random testing efficiency for combinational circuits.Combined with a fault simulator based on critical path tracing method,we introduce the concept of seed test derivation and attempt to generate a group of new tests from the seed test by means of critical path transition.The necessary conditions and effi- cient algorithms are proposed to guarantee the usefulness of the newly derived tests and the correctness of…
    References | Related Articles | Metrics
    Pseudo-Random Test Generation for Large Combinational Circuits
    Li Zhongcheng; Min Yinghua;
    Journal of Computer Science and Technology, 1992, 7 (1): 19-28. 
    Abstract   PDF(484KB) ( 1103 )   Chinese Summary
    In this paper,a simulation system of pseudo-random testing is described first to investigate the characteristics of pseudo-random testing.Several interesting experimental results are obtained.It is found out that initial states of pseudo-random sequences have little effect on fault coverage.Fixed connection between LFSR outputs and circuit inputs in which the number of LFSR stages m is less than the number of circuit inputs n leads to low fault coverage,and the fault coverage is reduced as m decreases.The l…
    References | Related Articles | Metrics
    Octree Representation and Its Applications in CAD
    Tang Zesheng;
    Journal of Computer Science and Technology, 1992, 7 (1): 29-38. 
    Abstract   PDF(506KB) ( 1180 )   Chinese Summary
    In this paper,a survey of octree representation and its applications in CAD is presented.The octree representation may be categorized as pure octree representation and polytree(or extended octree),and the latter is actually a boundary representation decomposed by octree.Linear octree which is a variant of regular octree representation has the advantage of saving memory space. The mapping between Cartesian coordinates and node addresses in linear octree is discussed.Then, algorithms for converting a boundary…
    References | Related Articles | Metrics
    HEPAPS:A PCB Automatic Placement System
    Xu Jianguo; Gou Yuchai; Lin Zongkai;
    Journal of Computer Science and Technology, 1992, 7 (1): 39-46. 
    Abstract   PDF(204KB) ( 1080 )   Chinese Summary
    HEPAPS is composed of constructive placement,improving placement,equivalence pins reassignment and same function elements reassignment.Based on practical demands,this paper imple- ments the constructive procedure within a set of engineering constraints and resolves the reassignment problems of equivalence and same function elements.A new topological improving method combined min-cut algorithm with simulated annealing algorithm is presented.In addition,the two-dimensional relaxed method is introduced to solv…
    References | Related Articles | Metrics
    Information Model for Product Modeling
    Jiao Guofang; Liu Shenquan;
    Journal of Computer Science and Technology, 1992, 7 (1): 47-55. 
    Abstract   PDF(236KB) ( 1142 )   Chinese Summary
    The Key problems in product modeling for integrated CAD∥CAM systems are the information structures and representations of products.They are taking more and more important roles in engi- neering applications.With the investigation on engineering product information and from the viewpoint of industrial process,in this paper,the information models are proposed and the definitions of the framework of product information are given.And then,the integration and the consistence of product information are discussed …
    References | Related Articles | Metrics
    A Basic Algorithm for Computer-Aided Design of Material Arrangement
    Huang Wenqi; Wang Gangqiang;
    Journal of Computer Science and Technology, 1992, 7 (1): 56-61. 
    Abstract   PDF(151KB) ( 1080 )   Chinese Summary
    An algorithm has been obtained for solving the packing problem of placing convex polygons with different shapes and sizes into a rectangular vessel by simulating the elastic mechanics process,it is pointed out that,based on this algorithm,a sysem of computer-aided design can be developed for arranging two-dimensional materials.
    References | Related Articles | Metrics
    An Algorithm for Finding D-Time Table
    Zhang Bo; Zhang Ling;
    Journal of Computer Science and Technology, 1992, 7 (1): 62-67. 
    Abstract   PDF(284KB) ( 1170 )   Chinese Summary
    In Ref.[1],we present a relation matrix description of temporal relation constraints.This pa- per is a sequel of [1].Given a set of temporal relation and time duration constraints,find a time-table which satisfies all the given conditions,that is called finding a D-time table.The construc- finn of D-time table and optimal D-time table and their computational complexity are discussed.
    References | Related Articles | Metrics
    Requirements and Issues for Handling Chinese in Internationalized Applications
    Sun Yufang;
    Journal of Computer Science and Technology, 1992, 7 (1): 68-74. 
    Abstract   PDF(298KB) ( 1103 )   Chinese Summary
    The characteristics peculiar to Chinese,especially Hanzi,processing with computers are described, and issues relevant to the portable application environment are reviewed.Though much of the des- cription concerns the localized issues,the way of consideration is applicable to those of portable, internationalized applications.
    References | Related Articles | Metrics
    Polynomial Tests of Normal Forms and Some Related Results
    Wang Ke;
    Journal of Computer Science and Technology, 1992, 7 (1): 75-82. 
    Abstract   PDF(241KB) ( 1111 )   Chinese Summary
    The following problem is called the everywhere-cover problem:“Given a set of dependencies over a database scheme,is the set of dependencies explicitly given for each relation scheme equivalent to the dependencies implied for that relation scheme?”It is shown that when the everywhere-cover problem has a ‘yes’ answer,examining only the dependencies explicitly given will suffice to test 3NF,BCNF and 4NF of a database scheme.But this does not hold for 2NF.Consequently,in such cases,tests of BCNF and 4NF all tak…
    References | Related Articles | Metrics
    Error Recovery in a Real-Time Multiprocessor System
    Li Weihua; Yuan Youguang;
    Journal of Computer Science and Technology, 1992, 7 (1): 83-87. 
    Abstract   PDF(126KB) ( 1232 )   Chinese Summary
    In this paper,a new scheme for recovering errors due to transient faults in a real-time multiprocessor system is presented.The scheme,called dynamic redundancy at the task level,is implemented in a real-time multitasking environment.Utilizing the facilities in the operating system,the scheme makes backup tasks for the primary tasks as redundancy.The paper introduces an algorithm to gene- rate a fault tolerant schedule for the tasks so that they recover errors as retry or checkpointing does.A reliability mod…
    References | Related Articles | Metrics
    AECAM:An Extension Matrix Algorithm on a Cellular Automata Machine
    Wang Yihe; Hong Jiarong;
    Journal of Computer Science and Technology, 1992, 7 (1): 88-91. 
    Abstract   PDF(100KB) ( 1263 )   Chinese Summary
    A simplified version of the extension matrix algorithm has been proved to be useful for implementation on a cellular automata machine (CAM-6).The algorithm and its implementation are described
    References | Related Articles | Metrics
    Using a Student Model to Improve Explanation in an ITS
    Lin Shan;
    Journal of Computer Science and Technology, 1992, 7 (1): 92-96. 
    Abstract   PDF(243KB) ( 1232 )   Chinese Summary
    This paper presents the use of a student model to improve the explanations provided by an intelligent tu- toring system,namely SimpleQuestl,in the domain of electronics.The method of overlay modelling is adopted to build the student model.The diagnosis is based on the comparison of the behavinurs of the student and the ex- pert.The student model is consulted by the “explainer” and “debugging” procedures in order to re-order the sequence of the explanation.
    References | 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