Abstract:This paper gives a systematic survey of computer animation techniques. The survey is divided into keyframe animation, soft object animation, procedural animation, articulated animation and human animation, physically based animation.

Abstract:A forward propagation learning algorithm(FP)of multilayered neural networks with feedback connections is presented in this paper．And the properties of cluster networks are discussed．A cluster with different grain-sizes can be obtained by applying FP to cluster．Its convergent speed is just a linear function of sample size．Its computational complexity is a bilinear function of simple size and the dimension of imput vectors．The network constructed by the algorithm uses a comparatively fewer number of elements and its weight simply has one of three values，i．e．，一1，0，1．Thus，it can be easily implemented into electronic circuits．The authors also discuss the properties of the network and show it is an ideal pattern classifier．

Abstract:FTART(field theory—based ART)algorithm combines the theory of ART (adaptive resonance theory)，ARTMAP and field theory．It corrects the generated classi-fication regarding the supposed distribution possibility of examples in the instance space．FTART employes a different conflict resolve process and dynamicly expanding the classifi-cation area．By further studies，the paper improves the algorithm'S ability of learning continuous function mappings．Some benchmark test results and the analysis are also given．They proved that FTART has good performance on pattern recognition and continuous function mapping．

Abstract:This paper proposes an intelligent operating system, KZ3. The main functions of the system are to manage the resources of massively parallel computing systems, to provide a friendly human computer interface, and control the execution of programs based on knowledge processing and parallel processing. A knowledge based demonstrative example is also described in the paper to show how KZ3 works.

Abstract:This paper first introduces the theory and algorithm of mating method in automatic theorem proving advanced by Peter B. Andrews, and then gives an implementation algorithm without backtracking, finally obtains a theorem proving system for higher order logic.

Abstract:This paper offers a method to determine the similarity between two classes and discusses how to apply it to class library retrieval. A rule based tool called RBRT for retrieving class from a library is also presented.

Abstract:This paper presents the design thoughts，architecture and implementations of ZDIS(ZheDa interactive system)system．The system consists of five main components：an adaptive environment based on case study，fin visualization design environment by direct manipulation，a task scheduler based on event model，fl set of object-oriented widgets and run-time support tools，a scripts using formal grammar．ZDIS supports concurrency and multi-threaded interaction．It also supports dynamic user interface and evaluation environ-ment．

Abstract:It is known that existed causal reasoning methods will have problems to propagate the causal behaviors when there are some conflicts．To solve this problem．the authors provide a causal relation formulation．which introduces the concepts of‘time’and ‘effect’．Then a process for causal reasoning is provided：constructs the causal relation graph，then propagates the causal behaviors of the reason variables(exogenous variables)，and uses qualitative algebra to solve conflicting cases．It is an extension of 1wasaki'S causal reasoning method．

Abstract:Software testing，whose main task includes the selection of test cases，is verv important in software development．Since selecting test cases manually is USuallv blind and with great tendency，it is necessary to develop a tool which can generate test cases automatically．This paper first introduces some concepts and methods used in Ada software test case generation，and then puts emphasis on the application of function minimization method and instrumentation techniques，finally it describes the design and implementation of TCGT——the Ada software test case generation tool．

Abstract:The conditions for designing an individual classifier, which could increase the performance of combined classification system, are obtained in the opinion of information theory in this paper. The information fusion of combined system in conditions of multiple evidences is implemented by using fuzzy integral. This approach is applied in sonar target classification. Simulation results show that it is efficient.

Abstract:Causal qualitative reasoning is aimed to explore the causalities betweencomDonents in a system by analyzing the descriptions for physical behaviors and relation-shiDs of the system．This paper presents a model and algorithms of causal qualitative reasoning based 0n constraint and variable analysis．The result can be widely applied to many aspects of product design systems，such as parametric design by geometric reason-ing，decomposition of complex design tasks and dependency analysis of design parameters.The algorithms have advantages in applicability，efficiency，robustness and ability to deal with 11nder-constrained conditions in a constraint system．

Abstract:Abduction is an important research work in AI(artificial intelligence)，and can be applied in many other research fields．But it is difficult to compute abductiVe expla-nations．In this paper，a method used in circumscription is given. When a theory is suited with complete axiom and positive reason assumption，it can be proved that the consistent exDlanation is exactly the abductive explanation in the circumscription. Furthermore, an algorithm using in Horn clauses is given．