| 基于Agent的DEVS形式化描述与算法实现 |
| |
| 引用本文： | 曹琦,何中市,余磊.基于Agent的DEVS形式化描述与算法实现[J].解放军理工大学学报,2010(5):493-498. |
| |
| 作者姓名： | 曹琦 何中市 余磊 |
| |
| 作者单位： | 重庆大学计算机学院;后勤工程学院;重庆大学计算机学院;重庆大学计算机学院 |
| |
| 基金项目： | 国家863计划资助项目(2007AA01Z423);重庆市自然科学基金资助项目(2009BB2346) |
| |
| 摘 要： | 为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。
|
| 关 键 词： | 智能体 离散事件系统规范 形式化 算法 生产调度 |
Formal specification and algorithmic implementation of DEVS based on Agent |
| |
| CAO Qi,HE Zhong-shi and YU Lei.Formal specification and algorithmic implementation of DEVS based on Agent[J].Journal of PLA University of Science and Technology(Natural Science Edition),2010(5):493-498. |
| |
| Authors: | CAO Qi HE Zhong-shi and YU Lei |
| |
| Institution: | College of Computer Science,Chongqing University,Chongqing 400044,China;Logistical Engineering University,Chongqing 400016,China;College of Computer Science,Chongqing University,Chongqing 400044,China;College of Computer Science,Chongqing University,Chongqing 400044,China |
| |
| Abstract: | |
| |
| Keywords: | agent DEVS ( discr ete event system specif icat io n ) formalization algor ithm production
scheduling |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报》浏览原始摘要信息 |
| 点击此处可从《解放军理工大学学报》下载免费的PDF全文 |
|
