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 1987, Volume 2 Issue 1 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    Statistical Heuristic Search
    Zhang Bo; Zhang Ling;
    Journal of Computer Science and Technology, 1987, 2 (1): 1-11. 
    Abstract   PDF(493KB) ( 986 )   Chinese Summary
    Under certain hypothesis a heuristic search can be considered as a random sampling process.Thus,it is possible to transfer the statistical inference method to the heuristic search.Based on the idea above,in [1—4]we have incorporated some specific statistical inference method into heuristic searches,and obtained some new statistical heuristic search algorithms——SA,WSA etc.The characteristics and the details of the algorithms have also been discussed. In this paper we go further into the subject and discuss t…
    References | Related Articles | Metrics
    On the Complexity of Induction of Structural Descriptions
    Lu Xuemiao;
    Journal of Computer Science and Technology, 1987, 2 (1): 12-21. 
    Abstract   PDF(493KB) ( 980 )   Chinese Summary
    Inductive learning is an important subject in artificial intelligence.As a concern of theoretical computer science,this paper investigates the complexity of induction of structural descriptions which is fundamental to inductive learning.The general complexity is derived,and a way of approaching the induction,namely,computing the maximal common generalizations by pairing,is also presented with its inherent complexity. A group of NP-complete and NP-hard problems are introduced when showing the complexities.
    References | Related Articles | Metrics
    Knowledge-Based Decision Support System
    Shi Zhongzhi;
    Journal of Computer Science and Technology, 1987, 2 (1): 22-29. 
    Abstract   PDF(354KB) ( 1051 )   Chinese Summary
    Decision support systems have been shown to increase management s effectiveness and productivity in handling decision problems.This paper presents a general model of decision-making.Based on the model,a Knowledge-based Decision Support System(KDSS)will be proposed.The major emphasis is on using PROLOG to represent database query,model and module dependency.Problem description language is also described.
    References | Related Articles | Metrics
    On the Development of Applications of Logic in Programming
    Wu Yunzeng;
    Journal of Computer Science and Technology, 1987, 2 (1): 30-34. 
    Abstract   PDF(247KB) ( 1061 )   Chinese Summary
    Preliminary RemarksBy Logic we mean the discipline which includes proof theory,model theory,recur-sion thoery and axiomatic set theory.In recent years there is a growing recognition of therelevance of logic to computer programming.The close relationship between these twofields seems to be aptly capsuled in the formula proposed by Patrick Hayes among others
    References | Related Articles | Metrics
    On Conceptual Model Specification and Verification
    Gong Zhenhe;
    Journal of Computer Science and Technology, 1987, 2 (1): 35-50. 
    Abstract   PDF(416KB) ( 1001 )   Chinese Summary
    Four classes of conceptual models are classified:pure static,dynamic,temporal and full time perspec- tive models.This paper presents a temporal framework fur specifying and verifying a conceptual model.A specification consists of static and temporal constraints,and operation descriptions.Consistency checking of the specification is described.A simple example is used to illustrate the features of the framework.
    References | Related Articles | Metrics
    Stack Method in Program Semantics
    Tang Tonggao; Zhao Zhaokeng;
    Journal of Computer Science and Technology, 1987, 2 (1): 51-63. 
    Abstract   PDF(549KB) ( 1086 )   Chinese Summary
    In this paper,we describe firstly a formal concept of stack and introduce some operational rules on it. Then we extend the denotational semantics to“the denotational semantics with stacks”,by which we make a formal semantics for a real PASCAL(subset)which can run on a computer.By an example of program with procedures it will be seen that our method can be used to describe the basic principles of compiling. Finally,we have succeeded in building a formal semantics model of a PROLOG(subset).
    References | Related Articles | Metrics
    An Interactive System SDI on Microcomputer
    Zhong Renbao; Xing Lin; Ren Zhaoyang;
    Journal of Computer Science and Technology, 1987, 2 (1): 64-71. 
    Abstract   PDF(185KB) ( 1273 )   Chinese Summary
    SDI is an interactive system,based on PASCAL,for Symbolic Differentiation and Integration compulation.It runs on an IBM-PC.Both input and output are symbolic mathematical expressions.It can manipulate symbolic differentiation,symbolic integration,and algebraic simplification,etc.The language and implementation of SDI will be presented in this paper.
    References | Related Articles | Metrics
    Easy Test Generation PLAs
    Min Yinghua;
    Journal of Computer Science and Technology, 1987, 2 (1): 72-80. 
    Abstract   PDF(433KB) ( 1197 )   Chinese Summary
    Test Generation for large circuits may be extremely difficult.One of the approaches to alleviating this problem is to consider the difficulties during the design cycle.This paper proposes a design of Easy Test Generation Programmable Logic Arrays(ETG PLAs),for which test generation is basically not required,since a complete test set can be generated while the test is applied.This paper also presents a procedure which makes a PLA an ETG PLA by following some design rules and providing reasonable extra hardwa…
    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