Abstract:Recognizing and understanding dimensions in mechanical engineering drawings are the basis of recognizing and understanding these drawings. According to the national standard GB4458- 84 of China, dimensions are classified into 27 patterns and 48subpatterns whose mathematical descriptions are given. A web grammar based on arrowhead-match patterns is presented to describe dimensions.

Abstract:lthough much more attention have been paid, data dependence analysis and program parallelization become very difficult when the analyzed program has procedure call. Based on thorough study of the effect of alias on program parallelization, in this paper, they present an algorithm which intensively analyzes the aliases, and as the result,they make the parallelization of the called procedures possible.

Abstract:n this paper, a new method for theorem proving of PTL (propositional temporal logic) based on constructing semantic refutation tree is presented. This method,which is different from the other existed methods all based on decomposing a temporal formula into now-part and next-part, provides a well theory framework for automatic theorem proving of PTL. The soundness and completeness of this method are also proved.

Abstract:CIMBASE is a distributed heterogeneous database management system designed for Computer Manufacturing Systems.One of CIMBASE's important user interfaces is a C pre-compiler that enables a user to access remote databases in C programs.This paper first describes the main functions of this C pre-compiler and then discusses its implementation issues, especially on the design of supporting communication commands,Master/Agent program structure, their working mode, and some related algorithms as well.

Abstract:The global properties need to be used in motion decision. A neural system and its basic principle for motion decision are developed in this paper. T he main specialties of the system are to utilize the regional global properties to decide and represent motion information. T he essential neural mechanisms on which the system based are: representing and processing separately visual information; the motion matching according to local features;the cooperation and competition of different information f and the diffusion, concentration and blocking of neural activity.

Abstract:he basic concept and recursive query algorithms in DeDB are introduced.And an efficient recursive query algorithm, GCQA, has been proposed, which combines the bottom-up with the top -down and includes two parts: one is pre-compiling algorithm; the other is recursive compiling algorithm. The experimental result has shown that the algorithm is very effective.

Abstract:his paper discussed a series of useful developing technologies of "SJ- 3" expert system. Mainly includes the FL knowledge representation method, quantitative model, knowledge base organization and maintenance and the reasoning method under uncertainty.

Abstract:This paper proposed a kind of new uncertainty reasoning mechanism called hybrid uncertainty inference model (HUIM). By this mechanism, the assumption based on the truth maintaince system (ATMS) and simplified Dempster-Shafer's evidence theory has been well combined. And as a result, the ATMS, which is originally viewed as only a symbol algorithm system, can be used to express uncertainty information in the manner of numerical values and can make it possible to calculate the numerical information under the combination rule of evidence theory. once this method is applied to rule -based on the systems, it would be hopeful that some weakness caused by the uncertainty reasoning of existed rule-based on the systems could be overcome.