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 October 1988, Volume 3 Issue 4 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    A Partitioning Selection Algorithm on Multiprocessors
    Chen Guoliang;
    Journal of Computer Science and Technology, 1988, 3 (4): 241-250. 
    Abstract   PDF(425KB) ( 1585 )   Chinese Summary
    The so-called(m,n)selection problem is the problem of selecting the m smallest(or largest)elements from n given numbers(n>m).With the development of parallel computers, much attention has been paid to the design of efficient algorithms of(m,n)problem for these machines.The parallel selection algorithm has been successful on networks,but seldom studied on the multiprocessing systems.This paper,based on a partitioning approach,proposes a partitioning algorithm of selection on multiprocessors using Valiant …
    References | Related Articles | Metrics
    The ALFALFA Entomology Pest Identification System
    Hong Jiarong; Carl Uhrik;
    Journal of Computer Science and Technology, 1988, 3 (4): 251-262. 
    Abstract   PDF(535KB) ( 1363 )   Chinese Summary
    Rule groups with preconditions,posteonditions,and termination conditions were added to the ADVISE Meta-Expert System.Multiple,varying goals are also an attribute of the new rule groups.By treating the data collection process as separating from the rule inference engine, techniques for enhanced data acquisition were developed using semantic networks to describe relations among variables and to restructure value sets for variables dynamically.Having thus extended the ADVISE tools,an automated key to alfalfa f…
    References | Related Articles | Metrics
    Optimization for the Parallel Execution of Non-DO Loops under Leading Iteration Model
    Chen Haibo; Ci Yungui;
    Journal of Computer Science and Technology, 1988, 3 (4): 263-272. 
    Abstract   PDF(362KB) ( 1189 )   Chinese Summary
    In this paper,we present a group of optimization rules to systematically improve the parallelism of non-DO loops under Leading Iteration Model.Control relations in programs are classified into three schemata,which can be conveniently represented with flow charts.Nine optimization rules are presented based on the flow chart description of Program Control Schemata,and they are used to show how to improve the parallelism of non-DO loops with examples.Finally,problems are discussed and further research efforts …
    References | Related Articles | Metrics
    On the Mathematical Model of Computing Machine
    Hu Guoding;
    Journal of Computer Science and Technology, 1988, 3 (4): 273-288. 
    Abstract   PDF(633KB) ( 1152 )   Chinese Summary
    In this paper,we try to introduce a constructive definition of a computing machine,called a general Mathematical Model of Computing Machine(MMCM).As a general MMCM it should include all known MMCM as well as all unknown MMCM.We always follow two principles: (1)This general MMCM can be implemented by physical machine. (2)There is no other restriction on this general MMCM,except 1. Our conclusion is that the general MMCM is a finitely constructive and deterministic mathematical system.
    References | Related Articles | Metrics
    Forward-Backward Search Method
    Zhou Guodong; Ye Ganlin;
    Journal of Computer Science and Technology, 1988, 3 (4): 289-305. 
    Abstract   PDF(747KB) ( 1131 )   Chinese Summary
    In order to simulate the process of man s“thinking forward and backward”,this paper describes a new search method-forward-backward search.The relationship between this search method and two others,namely,statespace search and problem-reduction search,is also discussed.Some examples of using forward-backward search are given,from which the characteristics and efficiency of this method can be seen.
    References | Related Articles | Metrics
    On the Equivalence of Some Models of Computation
    Xu Shuruen;
    Journal of Computer Science and Technology, 1988, 3 (4): 306-309. 
    Abstract   PDF(100KB) ( 1130 )   Chinese Summary
    In[1],a definition of computation was given.In[3],we have clarified the necessity of the definition.Here we prove the equivalence between the definition and some models of computation.Hence the sufficiency of the definition is clear abundantly.
    References | Related Articles | Metrics
    A Non-Recursive Algorithm Computing Set Expressions
    Lian Lin; Zhang Yili; Tang Changjie;
    Journal of Computer Science and Technology, 1988, 3 (4): 310-316. 
    Abstract   PDF(308KB) ( 1067 )   Chinese Summary
    This paper concerns set expressions satisfying some constraints.Although algorithms processing expressions(for every kind)have been proposed in compilers,almost all of them use stacks and recursions,and adopt complicated parsing techniques.However,the simplification of set expressions can be done easily by its special characteristics.In this paper,we propose linear, nonrecursive,and thus efficient algorithms simplifying set expressions.The method can be well used in proposition calculus.
    References | Related Articles | Metrics
    CQAES,a Chinese Question Answer Experimental System
    Feng Yin; Wang Kaizhu; Chang Yadong; Li Zhongrong;
    Journal of Computer Science and Technology, 1988, 3 (4): 317-319. 
    Abstract   PDF(65KB) ( 1099 )   Chinese Summary
    In this paper a Chinese sentence is regarded as a statement for an event and expressed with a table which has the nested structure.Seven kinds of sense coherent relationships among the events are introduced to organize relevent events into plot patterns.An understanding mechanism is given,and implementing techniques are discussed.
    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