Abstract:This paper discusses the fundamental concepts of software process modeling and the basic requirements on software process modeling languages, introduces briefly several typical software process modeling languages,gives a formal process modeling language XYZ/PME.XYZ/PME supports the process modeling approach using a stepwise refinement technique,can represent process models of different abstract levels in a unified formal framework.

Abstract:This paper proposes a neural network learning algorithm FTART(field theory-based adaptive resonance theory)that combines many neural network theories.It is based on the main idea of ART(adaptive resonance theory) and makes use of many merits of Field Theory and ARTMAP,etc.,and corrects the classification regarding the supposed possibility of examples in the instance space.FTART gains some goodness by employing a special conflict resolution process and dynamically expanding the classification area. Some benchmark test results are also given.

Abstract:The problem of gathering colors from image of color maps with impure colors is studied in this paper.This is a key problem in automatic recognition of map image. The phenomena of color scattering in map images are analyzed,and an algorithm to gather colors from image of color maps is presented. The algorithm has been implemented in the environment of computer of the type of IBM486 and it has been shown that the algorithm was efficient.

Abstract:This paper presents a multimedia data presentation model-actor model,which is built over the conceptual model of multimedia database.This model applies place -duration Petri net to describe the temporal relationships among multimedia objects,and introduces the stage expressions associated with transitions to describe the spatial relationships among multimedia objects,so as to model the spatio-temporal composition of multimedia data.The formal abstraction model and implementation model are defined.The presentation algorithm of multimedia object is presented. The query model of multimedia database is proposed.

Abstract:Acquisition of the expert decision-making strategies and problem-solving rules is the central objective in the knowledge acquisition.Based on the MBH(the moving basis heuristics) model,automatic acquisition of judgments strategies and polynome system applied in the categorical judgments is proposed.

Abstract:The racing intelligence competition computer system of Guangzhou race ground is a large real-time data collection,processing and control system.This paper presents the main design idea of it,and gives the design and implementation based on VMS of its system control mechanism which is a new idea for process synchronous control of Client/Server computing system.

Abstract:Partial evaluation plays a very important role in software optimization,while incremental computation is a technique for avoiding duplicative computation.Based on technique of partial evaluation and incremental computation,the authors implemented an incremental partial evaluator of LISP,in which function specialization is done as far as possible on the base of residual program got last time so that efficiency can be improved.

Abstract:This paper discusses the problem of how to use analogy in automatic formation algorithms of reacting-block.The authors also give a new solution sequence separating method. These ideas and methods have been implemented in ISLS(integration solving and learning system).

Abstract:Based on the idea of the nonlinear dynamics,especially the Thom's Morphogenesis,a knowledge model,called attracting-bifurcating net,is advanced to solve the problem of knowledge representation and acquisition for visual learning in this paper.By introducing the Piaget's concepts in genetic epistemology,the model possesses seven main functions which include consolidatation,assimilation,reunion,accommodation,segmentation and forgetting, thus having given out a completed method for learning visual knowledge.The results three application systems show that the model arid its learning method are effective and adaptable to solve visual problems.