Abstract:The advances in parallel processor architectures require the corresponding supports from software tools. Recently, parallelizing tools are extensively and deeply researched in the world. However, only a small fraction of the available parallelism in programs can be exploited with existing techniques because of the difficulties of interprocedu-ral dependence analysis,the overdependence optimizing criterion on machine features , the overheads of synchronization, communication and scheduling,etc. Futhermore, as a tool,it should include a user-friendly interface and have good transportability and expendability.In this paper,we describe the design of KD-PARPRO,a knowledge-based parallelizing tool and functions of the heuristic translator.Finally,we introduce a dynamic control trchnology.

Abstract:The art of query is a kind of human intelligence. The approach described aims to make the computer to simulate this human intelligence in this paper. A set of strategies and algorithms is given to raise the efficiency of query. The art of query can be used to improve the mechanism of expert systems and some other systems by reducing their questions to users as far as possible.

Abstract:t A set of necessary and sufficient conditions for the liveness of weighted T -graphs is given in this paper. This set of conditions involves the condition given in[1] for the liveness of marked graphs,i. e. the conclusion of[1] for the liveness of marked graphs is a special case of the conclusion given this paper for the liveness of weighted T-graphs.

Abstract:The definition of labeled reachability tree of Petri nets is given in this paper. It is based on the concept of reachability tree of Petri nets. It can be proved that there exists an one correspondence between the set of Petri nets and the set of label reachability trees more over. An algorithm for transforming and in algorithm for transforming labeled reachability trees to their corresponding nets are given.

Abstract:The development of software has experienced several periods,and it comes nowadays, to the age of software engineering. Conceptionally, the software engineering consists of a number of system developement stages, and the major issue to be solved in the age of software engineering is technique and methodology to be applied to requirement definition and analysis. The key technique in requirement analysis will decide the quality of requirement definition and analysis. Requirement Specification Language/Requirement Specification Analyzor (RSL/RSA)is a comyter aided reuirement analyzor,which is structured upon specification as its kernel,based on the requirement specification data base.This paper,from the point of view of software engineering,proposes some key techniques in requirement analysis,introduces the concept of integrated software tool package,and advances designing objective for RSL/ESA.It also gives an explanation of functions,structure and applications for RSL/RSA as a computer aided requirenebt engineering tool,and makes a brief introduction on system development tendency,project planning and managemen,system design and other further work in the future.

Abstract:Automatically generating testcase is one of approaches to test compilers. Nowadays Purdom strategy is normally used to do it. In this paper, we define a graph called DG graph to describe a context-free grammar, and based on the graph, we propose a new strategy to generate automatically sentences to test compilers. And also we describe the principles of the implementation of the new strategy.

Abstract:We put forward a computational model of natural language in which the process of communicating in natural language is divided into three levels: linguistic form, surface semantics and deep semantics. Based on this model we design a Chinese language understanding system which could be easily transported from one domain to another . A new grammar, Chinese Semantic Construction Grammar, is introduced, which could describes not only syntactic form but also semantic form of a sentence and performs syntacric anallysis and semantic anslysis simultaneouslyduring parsing.The deep semantics of a word or a phrase and the basic oprations of deep semantics are formally defined.The algorithms of the parser,the parser,the understander and the generator of the system are also presented.

Abstract:Logicism has it s great significance for AI, but also has it s limit especially in the field of inductive simulation. Modern inductive logic as a kind of non-standard logic should be an important component part in the logical foundations of inductive learning. This is worth to make further study.

Abstract:In this paper,we studied the principal points of documentation in software development,and discussed the functional design and implementation of a documentation tool which can be integrated in software engineering environments as well as be used independently by software developers.