Development and application of intelligent system modeling and simulation platform

As a common support of M&S (Modeling and Simulation) applications, M&S language and platform can effectively improve M&S capability for complex objects and systems. This paper proposes an Intelligent system Modeling and Simulation Language (IMSL) which integrates artificial intelligence theory and M&S technology to describe intelligent model structures, behaviors, facts, knowledge, and rules. Meanwhile, an M&S platform is implemented to provide a basic support for M&S of intelligent systems, featured as its convenience, efficiency and problem solving ability. Our research work has been focused on M&S methods and language specification of intelligence systems, intelligent simulation resource libraries and integrated development environment. As an application instance, M&S of a C3I (Command, Control, Communication and Information) system is conducted to evaluate the performance of IMSL and the IMSL platform. And the simulation result proves that IMSL can work effectively in solving practical problems.

[1]  Xuemei Shi,et al.  Uncertainty reasoning based on cloud models in controllers , 1998 .

[2]  Ni Li,et al.  Adaptive & parallel simulated annealing genetic algorithm based on cloud model , 2010, 2010 International Conference on Intelligent Computing and Integrated Systems.

[3]  Wim Dehaene,et al.  UML for electronic systems design: a comprehensive overview , 2008, Des. Autom. Embed. Syst..

[4]  Jean-Marc Jézéquel,et al.  Using UML Action Semantics for Executable Modeling and Beyond , 2001, CAiSE.

[5]  Luo De-lin.  Research on Air Combat Decision-making for Cooperative Multiple Target Attack Using Heuristic Ant Colony Algorithm , 2006 .

[6]  Michael Negnevitsky,et al.  Artificial Intelligence: A Guide to Intelligent Systems , 2001 .

[7]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[8]  Y.-M. Deng,et al.  EFDEX: A Knowledge-Based Expert System for Functional Design of Engineering Systems , 2001, Engineering with Computers.

[9]  Alan C. Kay.  The early history of Smalltalk , 1993, HOPL-II.

[10]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[11]  Raymond A. Paul,et al.  A service-oriented modeling and simulation framework for rapid development of distributed applications , 2006, Simul. Model. Pract. Theory.

[12]  M. Otter,et al.  Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .

[13]  Danyang Cao,et al.  Design and implementation for SQL parser based on ANTLR , 2010, 2010 2nd International Conference on Computer Engineering and Technology.

[14]  Chi Wai Hui,et al.  Genetic algorithm based on heuristic rules for high-constrained large-size single-stage multi-product scheduling with parallel units , 2007 .

[15]  Terence Parr.  The Definitive ANTLR Reference: Building Domain-Specific Languages , 2007 .

[16]  Peter Fritzson,et al.  Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[17]  Sebastián Dormido,et al.  Modeling of hybrid control systems using the DEVSLib Modelica library , 2012 .

[18]  Chao-Chin Wu,et al.  Parallelizing CLIPS-Based Expert Systems by the Permutation Feature of Pattern Matching , 2010, 2010 Second International Conference on Computer Engineering and Applications.

[19]  James Reinders,et al.  Intel® threading building blocks , 2008 .

[20]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[21]  Irène Durand,et al.  A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation , 2008, J. Univers. Comput. Sci..

[22]  Hangyu Wang,et al.  A Linear Mean-Field Annealing Algorithm Solving Weapon Target Assignment Problem , 2009, 2009 International Conference on Computational Intelligence and Software Engineering.

[23]  Marco Lovera.  Control-oriented modelling and simulation of spacecraft attitude and orbit dynamics , 2006 .

[24]  Marcel Waintraub,et al.  Multiprocessor modeling of parallel Particle Swarm Optimization applied to nuclear engineering problems , 2009 .

[25]  Steven W. Reichenthal.  SRML case study: simple self-describing process modeling and simulation , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[26]  Francesco Basile,et al.  A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net , 2009, Comput. Stand. Interfaces.