Research on Method of Property Verification of Multi-Agent System CGF Architecture Model

Jian Chen; Yan Li Yang; Zhi Guo Liu

doi:10.4028/www.scientific.net/AMM.344.294

Paper Titles

Research on CGF Decision-Making Algorithm Based on Fuzzy Petri Nets
p.253

Research on a Method of Service-Oriented Network Layer Network Security Situation Assessment
p.260

Coordination Algorithm Design of the Load Sharing Proxy Servers for Streaming Media
p.265

Developing and Applying the Information Construction Analysis Visualization System
p.270

Optimal Due-Window Assignment Based on Common Flow Allowance under Linear Deteriorating and Resource-Dependent Processing Times
p.275

An Intelligent Approach for Reactive Power Planning in Distribution Network with Wind Power
p.279

Application of Workflow Technology in the CAPP System
p.285

Optimal Common Due-Window Assignment with Linear Deteriorating and Resource-Dependent Processing Times under a Deteriorating Maintenance Activitiy
p.290

Research on Method of Property Verification of Multi-Agent System CGF Architecture Model
p.294

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 344Research on Method of Property Verification of...

Research on Method of Property Verification of Multi-Agent System CGF Architecture Model

Abstract:

When Multi-agent system theory is used to the research of CGF(Computer Generated Forces), making up a correct and believable model is critical. In this article, we deal with the foundation,exit and update of Agent as well as the reconfiguration of system framework of CGF aiming at the problem of model evolvement caused by many Agent in CGF system always changing and show the validity of the model using INA.

You might also be interested in these eBooks

Advanced Research on Applied Mechanics, Mechatronics and Intelligent System

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 344)

Pages:

294-299

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.344.294

Citation:

Cite this paper

Online since:

July 2013

Authors:

Jian Chen, Yan Li Yang, Zhi Guo Liu

Keywords:

Computer Generated Forces, INA, Multi-Agent System (MAS)

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Glossary of military modeling and simulation[M]. Beijing: National Defence Industry Press, (2004).

Google Scholar

[2] Jennings N R, Sycara K, Wooldridge M. A roadmap of agent research and development[J]. Autonomous Agents and Multi-Agent Sytems, 1998, 1(1): 7-38.

DOI: 10.1023/a:1010090405266

Google Scholar

[3] Qing S, Yin H K, Sze D O W. An Intelligent Agent in an Air Combat Domain[C]. Proceedings of the 9th Conference on Computer Generated Forces and Behavioral Representation. Orlando, (2000).

Google Scholar

[4] Might R J, Dubois R D. Conceptual Modeling of Human Behavior(CMHB)[C]. Proceedings of the 9th Conference on Computer Generated Forces and Behavioral Representation. Orlando, (2000).

Google Scholar

[5] HUANG Ke-di, LIU Bao-hong, HUANG Jian. A Survey of Military Simulation Technologies [J]. Journal of System Simulation . 2004, 16(9): 1887-1895.

Google Scholar

[6] JIA Lian-xing, SHAN Wei-feng, LU Yun-jun. Research on Development of Operational Simulation[J]. Journal of System Simulation. 2007, 19(14): 3148-3157.

Google Scholar

[7] LU Jian-wei, KANG Xiao-yu, TANG Song-jie. Current situation of and revelation from American Campaign-Labs. Electronics Optics & Control, 2007, 14(2): 81-88.

Google Scholar

[8] Murata T. Petri nets: properties, analysis, and application[J]. Proceedings of the IEEE. 1989, 77(4): 541-580.

Google Scholar

[9] Yu Zhen-hua. Research on formalized modeling method of multi-agent[D]. Xi'an: Xi'an Transportation University, (2006).

Google Scholar

[10] Liu Jian. Model checking methods for value-passing and mobile processes [D]. Beijing: Chinese Academy of Sciences, (2005).

Google Scholar

[11] Roch S, Starke P H. INA: integrated net analyzer, Version 2. 2[EB/OL]. www2. informatik. huberlin. de/~starke/ ina. html, (2009).

Google Scholar

[12] Milner R, Parrow J, Walker D. A calculus of mobile processes[J]. Journal of Information and Computation, 1992, 100(1): 1-77.

DOI: 10.1016/0890-5401(92)90009-5

Google Scholar

[13] Zhou Chao-chen. General introduction of formalized Semantics [M]. Changsha: Publisher of Hunan science and technology, (1985).

Google Scholar