佳木斯大学学报(自然科学版)
佳木斯大學學報(自然科學版)
가목사대학학보(자연과학판)
JOURNAL OF JIAMUSI UNIVERSITY (NATURAL SCIENCE EDITION)
2014年
6期
859-862,875
,共5页
仿真系统%CBTC%MAS%形式化
倣真繫統%CBTC%MAS%形式化
방진계통%CBTC%MAS%형식화
simulation system%CBTC%MAS%formal
首先针对VOBC 仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统。然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模。之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法。最后,使用高级语言C#来实现系统设计。
首先針對VOBC 倣真繫統的需求特點設計繫統,將整箇繫統分成不同Agent,併用MAS體繫結構組織繫統。然後,分彆介紹每箇Agent的設計要點,併以PCA為例,用形式化方法進行建模。之後,以VMA和LSA之間為例,簡要介紹用KQML語言的通信方法。最後,使用高級語言C#來實現繫統設計。
수선침대VOBC 방진계통적수구특점설계계통,장정개계통분성불동Agent,병용MAS체계결구조직계통。연후,분별개소매개Agent적설계요점,병이PCA위례,용형식화방법진행건모。지후,이VMA화LSA지간위례,간요개소용KQML어언적통신방법。최후,사용고급어언C#래실현계통설계。
First, this paper introduced the design of the system for the characteristics of simulation system of VOBC, which is divided into different agents and organized by MAS architecture .Then the key points of de-sign of different agents were introduced .As a case study of PCA , a formal method was used to modeling .After that, a communication method of KQML language in the case of communication between VMA and LSA was in-troduced.At last, the system was designed using C#.