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.展开更多
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.展开更多
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.展开更多
Understanding influencers’perspectives and predicting public sentiment are crucial for event assessment and guidance in computational social systems,enabling more informed decision-making.However,this task is inheren...Understanding influencers’perspectives and predicting public sentiment are crucial for event assessment and guidance in computational social systems,enabling more informed decision-making.However,this task is inherently challenging due to the unstructured,context-sensitive,and heterogeneous nature of online communication.To address these challenges,we propose a novel intelligent computational framework,Multi-domain Opinion Leader Agents Emotion Prediction(MOAEP).Our framework comprises three key components:(1)An Automatic Question Generation(AQG)module employing“Who,What,Where,When,Why,and How”(5W1H)questioning to systematically explore topic dimensions;(2)A Multi-domain Opinion Leader Agents(MOA)module that integrates enhanced Large Language Models(LLMs)with Retrieval-Augmented Generation(RAG)to produce domain-specific responses;and(3)An emotion prediction engine that synthesizes agent interactions to forecast collective emotional responses,enabling proactive social computing analysis that surpasses conventional post-event methods.Experimental results demonstrate the framework’s efficacy:the AQG module generates high-fidelity outputs,while the influencer agents maintain consistent performance,achieving an average“Generative Pre-trained Transformer 4”(GPT-4)evaluation score of 6.85(on a 0-10 scale)across multiple dimensions.In a social media conflict case study,“Russia-Ukraine War”,our framework successfully predicts key influencers’perspectives and aligns emotional forecasts with observed real-world sentiment trends.These findings underscore the potential of MOAEP to provide actionable insights for decision-making in computational social science.展开更多
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.展开更多
基金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 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.
文摘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.
基金supported in part by the National Natural Science Foundation of China(Nos.62301510,62271455,and 72474198)the Public Computing Cloud,CUC.
文摘Understanding influencers’perspectives and predicting public sentiment are crucial for event assessment and guidance in computational social systems,enabling more informed decision-making.However,this task is inherently challenging due to the unstructured,context-sensitive,and heterogeneous nature of online communication.To address these challenges,we propose a novel intelligent computational framework,Multi-domain Opinion Leader Agents Emotion Prediction(MOAEP).Our framework comprises three key components:(1)An Automatic Question Generation(AQG)module employing“Who,What,Where,When,Why,and How”(5W1H)questioning to systematically explore topic dimensions;(2)A Multi-domain Opinion Leader Agents(MOA)module that integrates enhanced Large Language Models(LLMs)with Retrieval-Augmented Generation(RAG)to produce domain-specific responses;and(3)An emotion prediction engine that synthesizes agent interactions to forecast collective emotional responses,enabling proactive social computing analysis that surpasses conventional post-event methods.Experimental results demonstrate the framework’s efficacy:the AQG module generates high-fidelity outputs,while the influencer agents maintain consistent performance,achieving an average“Generative Pre-trained Transformer 4”(GPT-4)evaluation score of 6.85(on a 0-10 scale)across multiple dimensions.In a social media conflict case study,“Russia-Ukraine War”,our framework successfully predicts key influencers’perspectives and aligns emotional forecasts with observed real-world sentiment trends.These findings underscore the potential of MOAEP to provide actionable insights for decision-making in computational social science.
文摘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.
