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 April 1991, Volume 6 Issue 2 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    3D Image Synthesis for B-Reps Objects
    Huang Zhengdong; Peng Qunsheng; Liang Youdong;
    Journal of Computer Science and Technology, 1991, 6 (2): 113-120. 
    Abstract   PDF(313KB) ( 1002 )   Chinese Summary
    This paper presents a new algorithm for generating 3D images of B-reps objects with trimmed surface boundaries.The 3D image is a discrete voxel-map representation within a Cubic Frame Buffer(CFB). The definition of 3D images for curve,surface and solid object are introduced which imply the connectivity and fidelity requirements.Adaptive Forward Differencing matrix(AFD-matrix)for 1D-3D manifolds in 3D space is developed.By setting rules to update the AFD-matrix,the forward difference direction and stepwise c…
    References | Related Articles | Metrics
    Processing Expertise Systematically
    Liu Xiaohui;
    Journal of Computer Science and Technology, 1991, 6 (2): 121-134. 
    Abstract   PDF(499KB) ( 1015 )   Chinese Summary
    The lack of a systematic approach to the management of expertise represents a major difficulty for knowledge engineers.In this paper,we present a framework for assessing knowledge-based expert sys- tems.We show by examples.how this framework may be used to guide the development of these systems.Finally,we discuss the implications of this-work and suggest areas of interest for future research.
    References | Related Articles | Metrics
    An Environment for Rapid Prototyping of Interactive Systems
    Zhao Jinghai; Liu Shenquan;
    Journal of Computer Science and Technology, 1991, 6 (2): 135-144. 
    Abstract   PDF(523KB) ( 1013 )   Chinese Summary
    This paper shows an environment which supports the development of multi-thread dialogue interactive systems.The environment includes several tools and run-time support programs for the design and implementation of the user interface of an interactive system.First,methods of user interface specifica- tion with Elementary Nets are discussed.Then,the syntax of a user interface specification language based on Elementary Nets and the pre-compiler for the language as well as a graphic editor for Elemen- tary Nets…
    References | Related Articles | Metrics
    A Domain Knowledge Driven Approach for User Interface Software Development
    Wang Haiying; Liu Shenquan;
    Journal of Computer Science and Technology, 1991, 6 (2): 145-152. 
    Abstract   PDF(450KB) ( 1229 )   Chinese Summary
    A domain knowledge driven user interface development approach is described.As a conceptual de- sign of the user interface,the domain knowledge defines the user interface in terms of objects,actions and their relationships that the user would use to interact with the application system.It also serves as input to a user interface management system(UIMS)and is the kernel of the target user interface. The principal ideas and the implementation techniques of the approach is discussed.The user interface model,use…
    References | Related Articles | Metrics
    An Intelligent Tool to Support Requirements Analysis and Conceptual Design of Database Design
    Wang Nengbin; Liu Haiqing;
    Journal of Computer Science and Technology, 1991, 6 (2): 153-160. 
    Abstract   PDF(239KB) ( 1224 )   Chinese Summary
    As an application of artificial intelligence and expert system technology to database design,this paper presents an intelligent design tool NITDT,which comprises a requirements specification lan- guage NITSL,a knowledge representation language NITKL,and an inference engine with uncertainty reasoning capability.NITDT now covers the requirements analysis and conceptual design of database design.However,it is possible to be integrated with another database design tool, NITDBA,developed also at NIT to become an…
    References | Related Articles | Metrics
    A Conservative Multiversion Locking-Graph Scheduler Algorithm
    Chen Fang; Shi Baile;
    Journal of Computer Science and Technology, 1991, 6 (2): 161-166. 
    Abstract   PDF(323KB) ( 1085 )   Chinese Summary
    In order to improve the concurrency of multiversion database systems,a conservative MV locking-graph scheduler algorithm is proposed,which takes the power of MVS as a target.The algorithm combines the advantages of locking and graph,and does optimizing processes on read-only and write-only operations to reduce the blocks of transactions.The correctness and com- plexity of the algorithm are also provided.
    References | Related Articles | Metrics
    Program Transformation by Solving Equations
    Zhu Hong;
    Journal of Computer Science and Technology, 1991, 6 (2): 167-177. 
    Abstract   PDF(550KB) ( 963 )   Chinese Summary
    Based on the theory of orthogonal program expansion,the paper proposes a method to trans- form programs by solving program equations.By the method,transformation goals are expressed in program equations,and achieved by solving these equations.Although such equations are usually too complicated to be solved directly,the orthogonal expansion of programs makes it possible to reduce such equations into systems of equations only containing simple constructors of programs.Then,the solutions of such equations can …
    References | Related Articles | Metrics
    Source-to-Source Conversion Based on Formal Definition
    Zhang Xing er; Zhu Xiaojun; Li Jianxin; Dong Jianning;
    Journal of Computer Science and Technology, 1991, 6 (2): 178-184. 
    Abstract   PDF(391KB) ( 1056 )   Chinese Summary
    This paper proposes the idea of source-to-source conversion between two heterogeneous high-level programming languages.The conversion is based on formal definition and oriented to multi-pairs of lan- guages.The issues in conversion from PASCAL to C are also discussed.
    References | Related Articles | Metrics
    Optimal Partitioning and Granularity of Uniform Task Graphs
    Zhang Zhongyun; Li Guojie;
    Journal of Computer Science and Technology, 1991, 6 (2): 185-194. 
    Abstract   PDF(494KB) ( 1185 )   Chinese Summary
    Task partitioning is an important technique in parallel processing.In this paper,we investigate the optimal partitioning strategies and granularities of tasks with communications based on several models of parallel computer systems.Different from the usual approach,we study the optimal partitioning strate- gies and granularities from the viewpoint of minimizing T as well as minimizing NT~2,where N is the number of processors used and T is the program execution time using N processors.Our results show that t…
    References | Related Articles | Metrics
    Processing Polynomial Algebraic Problems by Using SAC-2/ALDES
    Liu Zhuojun;
    Journal of Computer Science and Technology, 1991, 6 (2): 195-200. 
    Abstract   PDF(185KB) ( 1042 )   Chinese Summary
    This paper discusses the portability of SAC-2/ALDES and reviews some applications in polynomial algebra.Furthermore,we indicate that the concept of the safety variable in the SAC-2/ALDES is not proper.When,for example,we used safety variable in isolating complex roots of polynomials, something wrong happened.
    References | Related Articles | Metrics
    A New Approach to Database Auto-Design by Logic
    Xu Jiepan; Wang Lei;
    Journal of Computer Science and Technology, 1991, 6 (2): 201-204. 
    Abstract   PDF(197KB) ( 1288 )   Chinese Summary
    The database auto-design is an important problem in database research.In this paper we propose some new ideas and an approach called“logic approach”to implement the database auto-design.Given a relational scheme and a set of the functional dependencies for the relation we can obtain all of the functional dependencies and key for the relation and determine the normal form the relation satisfies.
    References | Related Articles | Metrics
    An Improved Graphic Representation for Structured Program Design
    Zhou Qihai;
    Journal of Computer Science and Technology, 1991, 6 (2): 205-208. 
    Abstract   PDF(191KB) ( 1107 )   Chinese Summary
    In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic representations,but also adds some new features which will enhance the representa- tive power of the original diagram.
    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