收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Agent的建模与仿真中的模型框架形式化描述

廖守亿  陈坚  陆宏伟  
【摘要】:提出了一个包含实体、对象和 Agent 在内的三层模型抽象框架,并采用形式化规范的方法,利用Z语言来对基于 Agent 的模型进行了形式化规范描述,对基于 Agent 的建模与仿真中的实体、对象和 Agent 以及基于 Agent 的建模进行了清晰、精确的定义与描述.因而建立了基于 Agent 的模型形式化规范框架,为基于 Agent 的建模与仿真系统的构造与开发提供了理论与实践基础。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱兰娟,吴智铭;形式化面向对象方法与并发系统的建模[J];上海交通大学学报;2001年02期
2 吴妍,阳国贵,石文渊,晏庆;形式化规范测试模板框架的研究[J];兵工自动化;2005年04期
3 杨红丽,刘建元,韩俊刚;基于PVS的飞机订票系统的形式化描述与验证[J];西安邮电学院学报;2001年03期
4 吕闽晖;吕敏蓉;;形式化规范在软件可靠性早期估计中的应用研究[J];微型机与应用;2011年11期
5 王新苏;王煦法;;从形式化规范自动生成系统级状态机[J];中国科学技术大学学报;2006年11期
6 李中华;穆维新;刘润杰;申金媛;;SIP协议系统模型的形式化研究[J];现代电子技术;2009年07期
7 贺建立;陈榕;顾伟楠;;一个事件驱动的中间件平台[J];计算机科学;2010年05期
8 王世进;;分布式制造调度体系结构的π演算形式化建模[J];计算机工程与应用;2010年09期
9 罗铁庚;陈火旺;齐治昌;;分布实时系统的概率规范和证明形式化[J];计算机科学;1995年06期
10 施小英,庄伟波,胡环荣;可视程序设计语言形式化规范的研究[J];计算机工程;1996年05期
11 陈德运,陈经明,胡士忠;可视程序设计语言形式化规范及应用的研究[J];计算机工程与应用;1999年03期
12 王新苏,罗文坚,毛晨晓,王煦法;基于RUP和VDM++的软件形式化开发方法的研究[J];计算机工程与应用;2005年26期
13 翟洁,邵志清;基于Tecton的验证系统Violet[J];华东理工大学学报;2005年02期
14 赵莉苹;张海涛;;基于UML-OCPN的嵌入式系统建模[J];计算机工程;2009年20期
15 周彦晖;张为群;;形式化与可视化结合的FDOOM软件开发方法[J];计算机科学;2003年09期
16 张永谦 ,史杏荣 ,张晓燕;基于面向对象模型的通信系统形式化规范[J];小型微型计算机系统;2004年06期
17 周翔;邵志清;薛炳蔚;;基于ASM的活动图一致性规则研究[J];计算机工程与设计;2009年19期
18 易秋萍;刘剑;武术;;面向访问验证保护级的安全VMM形式化原型系统设计和实现[J];计算机科学;2010年12期
19 沈孝龙;龚世生;;可执行规范技术[J];计算机科学;1998年05期
20 周彦晖;张为群;;软件形式化与可视化软件模型的转换[J];计算机科学;2003年07期
中国重要会议论文全文数据库 前5条
1 廖守亿;陈坚;陆宏伟;;基于Agent的建模与仿真中的模型框架形式化描述[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
2 廖守亿;陈坚;陆宏伟;;空间信息系统复杂性分析与研究思路[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
3 张宁;边小凡;薛林雁;;基于Web服务和构件的企业间工作流模型[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
4 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
5 熊伟;张巨;景宁;;从空间完整性约束导出触发器ECA规则[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
中国博士学位论文全文数据库 前4条
1 冯仕红;基于设计特征和参数化的工程化界面设计模式研究[D];山东大学;2008年
2 刘刚;并行离散事件仿真可视化组件建模技术研究[D];国防科学技术大学;2011年
3 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
4 屈振新;政务信息系统语义互操作研究[D];武汉大学;2010年
中国硕士学位论文全文数据库 前10条
1 冼丽嘉;错误定位序关系在程序修复中的应用与实现[D];中山大学;2012年
2 郭婷婷;Android操作系统内存管理形式化分析[D];华东师范大学;2013年
3 林燕芬;基于形式化方法的软构件接口规范[D];华侨大学;2008年
4 李金荣;基于本体的教育信息资源整合研究[D];东北石油大学;2012年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈艳;并发实时系统的模型及其形式化[D];广西师范大学;2008年
7 谭介平;XML数据到OWL本体的转换方法的研究[D];华东交通大学;2011年
8 苏文地;热带县域农业资源管理系统的设计与实现[D];海南大学;2012年
9 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
10 鞠奇;基于规则的旅游本体推理[D];吉林大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978