Abstract:This paper presents an efficient binocular correspondence algorithm based ondyadic wavelet transform. Compared with the conventional algorithm, this methodachieves higher accuracy and speed (improved by about one order of magnitude). Thestereo images are first d6composed on the dyadic wavelet bases. By analyzing the transform coefficients, the authors get an efficient method to remove noises and extract edges.Some basic constraints for matching, e. g. the one which requires that the edge directionsbe nearly the same, are naturally expressed by the coefficients. More importantly, theycan deduce four useful constraints for selecting the potential matches which they call thesmooth component gradient constraints and the smooth component Laplacian constraints.They have strong disambiguation power and greatly remove those potential matches thatwould cause mismatches, and thus greatly improve the accuracy and speed for matching.

Abstract:This paper shows that when a generalized A-learning rule of a PLN net is given properly, the net can satisfy the following conditions. (1) All training samples are itsstable states. (2) Each stable state has a maximal attractive region. (3) The net has veryfast convergence speed. Therefore, as an associative memory the PLN network is an idealone.

Abstract:The software product VAXELNSMG developed on the authors' own is recommended here in the paper. VAXEI-NSMG goes deep into the bottom of I/O, and makesan elaborate design of data structures and process algorithms filling in the gaps in the wayof virtual-display, -keyboard and-terminal in real-time systems.

Abstract:The representation and the process planning of the machine parts are of keyimportance in general CAPP (Computer Aided Process Planning) expert system constructing tool. This paper proposes the knowledge representation model KRM of object--oriented (OO) machine part and process planning according to the theory of similarity among objects to satisfy the requirements of completeness, generalization, logical hierarchical segmentation, dynamic and consistency etc. of the machine part information representation inCAPP system, and present the hybrid inference mechanism of CAPP expert system basedon KRM, including inheritance, multi inheritance, nonmonotonic inheritance and analogical reasoning.

Abstract:This paper presents a new approach to defining a set of mutually inductivetypes and gives these types an operational interpretation. Therefore, inductive types canexpress ordinary inductive data structures as well as recursive problem solving and proofcons truction.

Abstract:XYZ system is a CASE tool system. Its kernel is a temporal logic languageXYZ/E which has a basic lower levels state-transition form XYZ/BE (or XYZ/CE forconcurrency) and a structured higher level form XYZ/SE. Each of them has a corresponding graphic representation. XYZ/CFC and XYZ/PAD are two interactive graphic environments to support programming with stepwise decomposition methodology by means ofXYZ/BE (or XYZ/CE) and XYZ/SE respectively. The Temporal logic form programs canbe generated automatically from the graphic programs at each step.

Abstract:A method of simulation of spray using particle systems is presented in this paper. The spray body is a particle system composed of square pieces with high transparency. The spray body moves in space with the spray mouth. The shape and visual effect ofthe spray body are determined by the size, transparency and Kinematic parameters of thesquare pieces. All pieces intersected with one sight ray contribute to corllputing of the pixel value of the sight ray. This method is generally applicable to simulation of other fuzzyobjects sllch as smoke, water and cloud.

Abstract:SLC is a translating system of the specification language JSL. The implementation of JSLC implies a model of specification language translation. In this paper, thesystem organization, the fundamentals of implementation, and the key points of techniques for JSLC, are described in detail.

Abstract:Based on MIS-GSM, the standardized procedure of MIS is presented for environment discrimination, hierarchical analysis, procedure analysis, vertical and horizontalanalysis, and the procedure has been discussed detailedly.