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 1993, Volume 8 Issue 1 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    A Topological Implementation for Motion Planning of a Robotic Arm
    Li Yongcheng; Zhang Bo;
    Journal of Computer Science and Technology, 1993, 8 (1): 1-10. 
    Abstract   PDF(343KB) ( 1245 )   Chinese Summary
    An efficient path planning algorithm based on topologic method is presented in this paper.The colli- sion free path planning for three-joint robotic arm consists of three parts:partition of C-space,construc- tion of CN and search for a path in CN.We mainly solved the problems of partitioning the C-space and judging the connectivity between connected blocks,etc.For the motion planning of a robotic arm with a gripper,we developed the concepts of global planning and local planning,and discussed the basic fac- …
    References | Related Articles | Metrics
    Segment Based Camera Calibration
    Ma Songde; Wei Guoqing; Huang Jinfeng;
    Journal of Computer Science and Technology, 1993, 8 (1): 11-16. 
    Abstract   PDF(312KB) ( 1328 )   Chinese Summary
    The basic idea of calibrating a camera system in previous approaches is to determine camera parameters by using a set of known 3D points as calibration reference.In this paper,we present a method of camera calibration in which camera parameters are determined by a set of 3D lines.A set of constraints is derived on camera parameters in terms of perspective line mapping.From these con- straints,the same perspective transformation matrix as that for point mapping can be computed linearly.The minimum number of …
    References | Related Articles | Metrics
    3D Motion Estimation and Motion Fusion by Affine Region Matching
    Wei Guoqing; Ma Songde;
    Journal of Computer Science and Technology, 1993, 8 (1): 17-25. 
    Abstract   PDF(498KB) ( 1286 )   Chinese Summary
    In this paper,a new method is presented for 3D motion estimation by image region correspon- dences using stereo cameras.Under the weak perspectivity assumption,we first employ the moment tensor theory(Cyganski and Orr)to compute the monocular affine transformations relating images taken by the same camera at different time instants and the binocular affine transformations relating images taken by different cameras at the same time instant.We then show that 3D motion can he recovered from these 2D transforma…
    References | Related Articles | Metrics
    An Introduction to IN CAPS System
    Li Renwei; He Pei; Zhang Wenhui;
    Journal of Computer Science and Technology, 1993, 8 (1): 26-37. 
    Abstract   PDF(384KB) ( 1305 )   Chinese Summary
    INCAPS,a subsystem of XYZ system,is an INteractive Computer-Assisted Proving System, The primary targets to develop it range from proving temporal logic formal theorem to verifying XYZ/SE program s correctness which are supported respectively by the mechanized logics—FOTL logic and Hoare-like proof system.This paper discusses five main topics concerning INCAPS system: the rules,implementation,tactics,forward proof and backward proof.It also gives several typical exam- pies for demonstration of INCAPS worki…
    References | Related Articles | Metrics
    SCKE:Combining Logic- with Object-Oriented Paradigm
    Jin Zhi; Hu Shouren;
    Journal of Computer Science and Technology, 1993, 8 (1): 38-48. 
    Abstract   PDF(628KB) ( 1018 )   Chinese Summary
    A new implementation(SCKE—Stractured Communication Knowledge Entity)has been proposed towards combining the logic-with the object-oriented paradigm of computing.It is intended to explore the advantages in these two paradigms in a structured,natural and efficient manner for large-scale know- ledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriente…
    References | Related Articles | Metrics
    Loop Staggering,Loop Compacting:Restructuring Techniques for Thrashing Problem
    Jin Guohua; Yang Xuejun; Chen Fujie;
    Journal of Computer Science and Technology, 1993, 8 (1): 49-57. 
    Abstract   PDF(362KB) ( 1196 )   Chinese Summary
    Parallel loops account for the greatest amount of parallelism in numerical programs.Executing nested loops in parallel with low run-time overhead is thus very important for achieving high performance in parallel processing systems.However,in parallel processing systems with caches or local memories in memory hierarchies,“thrashing problem”may arise when data move back and forth frequently between the caches or local memories in different processors.The techniques associated with parallel compiler to solve t…
    References | Related Articles | Metrics
    A New Integrated System of Logic Programming and Relational Database
    Deng Tieqing; Wu Quanyuan; Wang Zhiying;
    Journal of Computer Science and Technology, 1993, 8 (1): 58-67. 
    Abstract   PDF(590KB) ( 1280 )   Chinese Summary
    Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation …
    References | Related Articles | Metrics
    A VLSI Algorithm for Calculating the Tree to Tree Distance
    Xu Meirui; Liu Xiaolin;
    Journal of Computer Science and Technology, 1993, 8 (1): 68-76. 
    Abstract   PDF(471KB) ( 1228 )   Chinese Summary
    Given two ordered,labeled trees β and α,to find the distance from tree β to tree α is an important problem in many fields,for example,the pattern recognition field.In this paper,a VLSI algorithm for calculating the tree-to-tree distance is presented.The computation structure of the algorithm is a 2-D Mesh with the size m*n-and the time is O(m+n),where m,n are the numbers of nodes of the tree β and tree α,respectively.
    References | Related Articles | Metrics
    Analyzing the Reliability of Degradable Networks
    Shi Weigeng; Brigitte Servatius;
    Journal of Computer Science and Technology, 1993, 8 (1): 77-86. 
    Abstract   PDF(307KB) ( 1225 )   Chinese Summary
    The reachability of a strongly connected network may be destroyed after link damage.Since many networds have directed links with the potential for reversal,the reachabilty may be restored by reversing the direction of links.In this paper,the reliability of a network that allows reversal of links is dis- cussed.
    References | Related Articles | Metrics
    DLJ:A Dynamic Line-Justification Algorithm for Test Generation
    Chen Qingfang; Wei Daozheng;
    Journal of Computer Science and Technology, 1993, 8 (1): 87-91. 
    Abstract   PDF(276KB) ( 1230 )   Chinese Summary
    Line justification is a basic factor in affecting the efficiency of algorithms for test generation.The existence of reconvergent fanouts in the circuit under test resalts in backtracks in the process of line justification.In order to reduce the number of backtracks and shorten the processing time between backtracks,we present a new algorithm called DLJ(dynamic line justification)in which two techniques are employed.1.A cost function called“FOCOST”is proposed as heuristic information to represent the cost of…
    References | Related Articles | Metrics
    A Survey of the Rule Language RL/1
    Sieger van Denneheuvel; Karen Kwast; Zhisheng Huang;
    Journal of Computer Science and Technology, 1993, 8 (1): 92-98. 
    Abstract   PDF(986KB) ( 1207 )   Chinese Summary
    In this paper we introduced the RL project which aims to integrate logic progrmming,relational databases and constraint solving in a single relational framework.We gave a summary of the architecture of the RL/1 system and shortly discussed the characteristics of the RL/1 language.A target of the project has become to turn the RL/1 system into an industrial strength database interface.
    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