A support vector rule based method is investigated for the construction of motion controllers via natural language training. It is a two-phase process including motion control information collection from natural langu...A support vector rule based method is investigated for the construction of motion controllers via natural language training. It is a two-phase process including motion control information collection from natural language instructions, and motion information condensation with the aid of support vector machine （SVM） theory. Self-organizing fuzzy neural networks are utilized for the collection of control rules, from which support vector rules are extracted to form a final controller to achieve any given control accuracy. In this way, the number of control rules is reduced, and the structure of the controller tidied, making a controller constructed using natural language training more appropriate in practice, and providing a fundamental rule base for high-level robot behavior control. Simulations and experiments on a wheeled robot are carried out to illustrate the effectiveness of the method.展开更多
Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re...Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.展开更多
This paper presents the specification language NUJSL and its supporting system.NUJSL is a modular specification language based on Jackson Program Design Method(JSP).With the module construction,it is convenient to use...This paper presents the specification language NUJSL and its supporting system.NUJSL is a modular specification language based on Jackson Program Design Method(JSP).With the module construction,it is convenient to use NUJSL to write larger specifications.The supporting system supports the incremental develop- ment of software specification in NUJSL,and implements the transformation both from specification to software procedural description in Jackson Schematic Logic(pseudo code)and from procedural description to PASCAL program.展开更多
CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a...CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single tool.The integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the components.Nonlocal attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C language.The incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system efficiency.CCD keeps the preprocessors and comments most regular to make it practical.展开更多
基金This work was partially supported by the Royal Society of UK and the National Natural Science Foundation of PRC (No. 60175028).
文摘A support vector rule based method is investigated for the construction of motion controllers via natural language training. It is a two-phase process including motion control information collection from natural language instructions, and motion information condensation with the aid of support vector machine （SVM） theory. Self-organizing fuzzy neural networks are utilized for the collection of control rules, from which support vector rules are extracted to form a final controller to achieve any given control accuracy. In this way, the number of control rules is reduced, and the structure of the controller tidied, making a controller constructed using natural language training more appropriate in practice, and providing a fundamental rule base for high-level robot behavior control. Simulations and experiments on a wheeled robot are carried out to illustrate the effectiveness of the method.
基金the Yunnan Provincial Department of Education Research Fund Key Project(No.2011z025)General Project(No.2011y214)
文摘Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.
文摘This paper presents the specification language NUJSL and its supporting system.NUJSL is a modular specification language based on Jackson Program Design Method(JSP).With the module construction,it is convenient to use NUJSL to write larger specifications.The supporting system supports the incremental develop- ment of software specification in NUJSL,and implements the transformation both from specification to software procedural description in Jackson Schematic Logic(pseudo code)and from procedural description to PASCAL program.
文摘CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single tool.The integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the components.Nonlocal attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C language.The incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system efficiency.CCD keeps the preprocessors and comments most regular to make it practical.
