Abstract:In this paper, an intelligent post-editor is proposed.In the editor,feedback messages suitable to backward inference can be formed to the knowledge acquisition mechanism to improve the knowledge of MT system.In addition,the number of delete and insert operations can be greatly reduced by using the multiple solution ability of the system's translation mechanism,making the users select correct result from several candidate strings rather manually deleting error string and insert correct string. Furthermore,the efficiency of post-editing can be enhanced by providing automatic adjusting the order of parts in output and the synchronous display of source text and target text.

Abstract:In the implementation of practical PROLOG-DBMS systems,the key issue is to maintain its correctness which is,unfortunately,often affected by extracting redundant facts from data base management systems.This paper presents a new technique called "inter-clause optimization" which can not only keep the system correct but also increase its efficiency by guaranteeing that only useful facts are loaded from DBMS and no fact is loaded more than once.

Abstract:The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. This paper describes an optimization method for reducing the length of protocol conformance test sequences by"Partial T sequences overlapping method", which are obtained using UIO sequences.This method provides a logical link between T method and UIO method.It is shown that test sequences generated by this method can shorter 10%-60% than those generated by other methods employing UIO sequences in an example.

Abstract:This paper simply gives a survey of hypermedia and hypertext,and analyses the problems that existing hypermedia systems have.The authors designed and achieved an open model of dynamic linking to solve these problems.Meanwhile,by using the method of separating node from link,they established the data model.The "node" is called"page"and the page structure enables various media coexist in a page in order to join audio,video,image and text together.

Abstract:wo theorems of the relationships between the validity of admissible heuristic function h and the expected cost in the A^* algorithm made by Pearl is introduced first.An additional assumption required for the validity of these two theorems is given and also be proved in the paper.

Abstract:Real-time screen management is an important function of the special realtime parent system the authors set forth independently and dived into during the"Seventh Five-Year" period.As an ingenious real-time multi-window system,it provides such mechanisms as virtual display,virtual keyboard and virtual terminal,which are widely used in various special real-time systems,especially in real-time monitor and control systems.In the paper,several problems about its design and implementation have been dealt with.

Abstract:Analogical transfer process carries knowledge from a known situation(the base) over to a similar new situation(the target) so that one can solve the target or obtain new knowledge about the target.The principles of analogical transfer in this paper discuss how to select the best mapping,how to create objects and predicates in the target, and which proposition of the base to be transferred into the target. On the basis of the principles, the paper designs a computational model of analogical transfer and implements an analogical transfer engine called ATE.The case study illustrates analogical conclusions produced by ATE are with both creativity and higher certainty degree.

Abstract:In this paper,a new method is presented for planning the motion of a mobile robot moving on general terrains.The terrains are represented by NURBS surfaces and the terrains with obstacles or collisional regions are represented by Trimmed NURBS surfaces. The concept of a geodesic and its computation method, as well as A* search algorithm are used to obtain the path of shortest distance and time optimal path between given any two given points on general terrains.It considers robot vehicle dynamics,terrain topography and surface features.The paths are represented by NURBS curves.The adaptability and efficiency of this method are shown by experimental results.

Abstract:Knowledge acquisition is one of the key problems in artificial intelligence(AI), and it has been attacked from a number of perspectives.This paper introduces a fresh standpoint for knowledge acquisition.The standpoint consists of the belief that,around the knowledge kernel of an expert,there are layers of knowledge clouds,and these clouds are the entry to the recognition of the knowledge kernel of the expert.Based upon this belief,the paper discusses what knowledge clouds are and what roles they play in knowledge acquisition.

Abstract:The real time behavior of a program depends on its hard real time environment,such as the used compiler, scheduler,communication medium and computer.This paper is describing the real time behavior by simulating its environment,so that it provides a general approach to define real time semantics.The employed logic in the paper is the conventional linear temporal logic with explicit time variables.