收藏本站
《吉林大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

面向对象代数Petri网模型研究

潘洪军  
【摘要】: 系统建模主要是对目标系统的结构、行为、功能和性能等特征的抽象描述,以突出其主要因素,忽略次要因素,所得系统模型可以作为最终用户、系统分析员与实现人员之间交流和协商的桥梁,也是以后对系统维护的重要依据。Agent作为一种新的软件开发范型,其应用领域正逐步扩大,但其优势并没有在应用中得到很好地展现,主要原因是缺少成熟的开发方法和建模工具。 本文提出了面向对象代数Petri网模型OOAPN,并对该模型进行了深入研究。把多类别代数技术、Petri网模型、结构化原理、面向对象技术和方法有机地集成在一起,统一了现有的部分高级Petri类,详细地阐述了OOAPN模型的面向对象形式化表现能力和OOAPN模型的形式化分析技术。在总结现有软件工程方法的基础上,给出了基于OOAPN模型的复杂系统建模和分析方法,并把OOAPN模型应用于多Agent系统建模;建立了基于OOAPN模型的多Agent系统的体系结构,给出基于OOAPN模型的Agent结构,从微观和宏观两个层面对多Agent系统进行了深入研究。解决了多Agent系统中Agent之间的协调问题,建立了以事件驱动程序为框架、用Petri网作为事件处理器的多任务动态调度体系结构,给出了基于事件驱动的多Agent协调的智能调度算法。提出了基于OOAPN模型的多Agent系统的分析方法和建模步骤,通过实例说明了该方法的可行性。
【学位授予单位】:吉林大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP301.1

免费申请
【引证文献】
中国期刊全文数据库 前1条
1 舒远仲;刘炎培;彭晓红;陈志勇;;面向对象Petri网建模技术综述[J];计算机工程与设计;2010年15期
中国硕士学位论文全文数据库 前3条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
3 史超;模糊控制系统的Petri网建模及稳定性研究[D];西安电子科技大学;2010年
【参考文献】
中国期刊全文数据库 前10条
1 潘洪军;孙吉贵;亓常松;;层次化模糊Petri网:形式化定义和推理[J];吉林大学学报(工学版);2007年01期
2 仲辉,曹淑艳,邱涤珊;面向对象与结构的系统分析与设计方法应用研究[J];计算机工程与应用;2003年23期
3 李宏亮;程华;金士尧;;基于Agent的复杂系统分布仿真建模方法的研究[J];计算机工程与应用;2007年08期
4 戴桂兰;;建模语言及其研究进展初谈[J];计算机科学;2002年01期
5 季强;;面向主体的开发方法和可视化建模工具[J];计算机科学;2002年11期
6 朱炯哲;卢正鼎;;建模技术在制造业企业信息化中的应用研究[J];计算机与数字工程;2006年02期
7 翁文勇,王泽兵,冯雁;UML技术在面向Agent系统分析中的应用研究[J];计算机工程与设计;2004年07期
8 郭峰,姚淑珍;多Agent系统的Petri网建模研究[J];系统仿真学报;2003年S1期
9 蔡远利;于振华;张新曼;;多Agent系统形式化建模方法研究[J];系统仿真学报;2007年14期
10 于振华;蔡远利;徐海平;;基于π网的多Agent系统建模与分析[J];系统工程理论与实践;2007年07期
【共引文献】
中国期刊全文数据库 前10条
1 梁峰;金莹;;基于Agent技术的语义网服务模型[J];安徽广播电视大学学报;2008年01期
2 梁峰;;基于Agent技术的多媒体同步控制模型[J];安徽广播电视大学学报;2009年01期
3 朱中仁;;基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;2012年01期
4 王建彬;李震;庞军;;基于多智能体的虚拟企业框架的构建与实现[J];安徽工程科技学院学报(自然科学版);2010年01期
5 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
6 张帅;李琳一;袁涛;王梅玉;;信息技术在害虫时空动态模拟中的应用[J];安徽农业科学;2009年07期
7 李俊;陈雷雷;金淑芳;;水产品加工过程监控系统构建与实现[J];安徽农业科学;2009年23期
8 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
9 许应成;江克勤;徐克圣;;基于UML网络化标准零件库系统的分析与设计[J];安庆师范学院学报(自然科学版);2008年01期
10 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
中国重要会议论文全文数据库 前10条
1 路飞;宋沐民;田国会;李晓磊;;基于Multi-agent的地铁列车智能控制集成框架[A];第二十六届中国控制会议论文集[C];2007年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
4 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
5 田文勇;辛英;;基于分布式体系结构的PKI系统研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
7 窦迅;张广明;;基于多Agent的电梯智能群控系统[A];2005年全国自动化新技术学术交流会论文集[C];2005年
8 许庆华;;一种实现Aglets系统安全机制的方法[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
9 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
10 李照顺;柳强;许锦洲;;基于AI技术的CGF行为建模方法综述[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 孙晓华;基于聚类的文本机会发现关键问题研究[D];哈尔滨工程大学;2010年
2 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
3 徐悦竹;机会发现算法及其应用研究[D];哈尔滨工程大学;2010年
4 陈得宇;基于MAS的智能电压控制系统研究[D];哈尔滨工程大学;2010年
5 汪澎;驾驶人警觉状态检测技术研究[D];江苏大学;2010年
6 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
7 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
8 毕贵红;固体废物综合管理系统演化与调控模型研究[D];昆明理工大学;2008年
9 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
10 马鑫;基于协同机制和智能算法的多代理系统研究及应用[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
10 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
2 郭晓泉,徐心和;面向对象扩展着色 Petri 网在装配系统中的应用[J];东北大学学报;1998年03期
3 徐敏,苏建元;OOPN和PNOO建模技术研究[J];电脑与信息技术;2005年05期
4 王斌国;;Petri网分析方法综述[J];福建电脑;2007年10期
5 马辉民,占若愚,钱若冰;继承式跨组织工作流设计在B2B电子商务模式中的应用[J];系统工程;2005年03期
6 刘建勋,张申生,汪良主;供应链与B2B电子商务:基于分布式工作流系统的方案研究[J];高技术通讯;2001年04期
7 胡晓辉,党建武,周兴社;针对面向对象着色Petri网的中国列车运行控制系统建模[J];甘肃科学学报;2005年03期
8 任爱华,焦晖,孙云峰;基于面向对象PETRI网的移动式Agent系统[J];航空学报;2003年01期
9 赵岩泉,王基组,尹四德;基于对象的有色Petri网舰载C~3I系统模型[J];火力与指挥控制;2004年02期
10 石柯,覃小斌;面向对象的赋时Petri网的敏捷制造单元仿真[J];华中科技大学学报(自然科学版);2002年03期
中国博士学位论文全文数据库 前6条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 巩长忠;基于T-S模糊模型的控制方法及稳定性分析[D];大连理工大学;2003年
3 祖旭;基于Petri网理论的产品开发过程建模方法研究[D];大连理工大学;2005年
4 胡红革;网络化控制系统Petri网建模与分析[D];电子科技大学;2005年
5 李峰;支持群体工作的工作流系统关键技术研究[D];中国科学院研究生院(计算技术研究所);2001年
6 张昭理;基于Petri网的安全策略分析与验证方法研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
2 张志芬;模糊控制稳定性分析[D];太原理工大学;2004年
3 郭德平;基于面向对象Petri网的CORBA分布式系统安全性的形式化研究[D];吉林大学;2006年
4 简超;基于Petri网的工作流管理系统建模与分析[D];电子科技大学;2006年
5 沙婷婷;基于有色对象Petri网的工作流建模与分析[D];河海大学;2007年
6 燕必成;基于Petri网的足球机器人决策子系统的研究[D];西安电子科技大学;2007年
7 刘香玲;一类Petri网中基本信标的快速求解算法[D];西安电子科技大学;2007年
8 蒋鹏花;基于扩展Petri网的工作流模型技术的研究[D];燕山大学;2007年
9 田智;基于有色Petri网的工作流建模及向XPDL的转换[D];内蒙古大学;2007年
10 占若愚;基于B2B的跨组织工作流的建模[D];华中科技大学;2005年
【二级引证文献】
中国期刊全文数据库 前4条
1 刘一伟;蒋鸿玲;范钦赞;;多业务协同分析及其Petri模型的研究[J];计算机与现代化;2011年05期
2 杨宜林;王德功;周俊杰;;基于OOPN的某型飞机飞行前机务准备流程优化研究[J];航空维修与工程;2011年06期
3 沈春山;;协同状态网及其在软件建模和分析中的应用[J];计算机科学;2013年03期
4 陈娜;;基于面向对象层次Petri网的BSS建模方法研究[J];微计算机信息;2012年09期
中国博士学位论文全文数据库 前1条
1 朱敏;电子系统内建自测试技术研究[D];哈尔滨工业大学;2010年
中国硕士学位论文全文数据库 前9条
1 陈振晖;工作流理论在电子政务中的应用研究[D];中南大学;2010年
2 李玉贤;基于高级Petri网的工作流系统建模与性能评价[D];中南大学;2011年
3 程培林;基于面向对象混合Petri网的可重入生产系统建模研究[D];燕山大学;2011年
4 王妍;青霉素发酵间歇过程特征状态监督系统[D];北京化工大学;2011年
5 安凤梅;Petri网的仿真软件的研究[D];长沙理工大学;2011年
6 马舒;基于CAN总线的汽车倒车雷达系统研究[D];吉林大学;2012年
7 罗万庆;基于OOPN的管理信息系统设计方法及应用研究[D];南京航空航天大学;2012年
8 程正梅;小机车新型试验电源研制[D];湖南科技大学;2012年
9 刘江峰;基于Petri网的混流装配线建模与重构优化研究[D];燕山大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 姚淑珍,唐发根,金茂忠;Ada 层次化并发软件模型的研究[J];北京航空航天大学学报;1998年04期
2 楚要钦,李孝安,蒲勇;多智能体足球机器人系统的协作控制[J];哈尔滨工业大学学报;2004年07期
3 李宏亮,党岗,程华,金士尧;复杂自适应系统的描述及其分布仿真框架[J];计算机研究与发展;2002年10期
4 李宏亮,叶超群,金士尧,王俊伟;一种层次的、混合并行离散事件仿真算法[J];计算机研究与发展;2002年10期
5 詹剑锋,程虎;基于软件体系结构的Agent规约和演化[J];计算机研究与发展;2002年12期
6 潘洪军;孙吉贵;;面向对象代数Petri网[J];吉林大学学报(工学版);2006年03期
7 樊东,朱闽生,葛伟;面向对象软件开发及软件工程方法学实践与探讨[J];计算机工程与应用;2001年13期
8 于振华,蔡远利,韩九强;基于面向对象Petri网的多Agent系统交互协议建模[J];计算机集成制造系统;2005年08期
9 焦文品,史忠植;构造MAS的动态体系结构的模型[J];计算机学报;2000年07期
10 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期
中国博士学位论文全文数据库 前1条
1 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院(软件研究所);2002年
【相似文献】
中国期刊全文数据库 前10条
1 黎升洪;冯艳清;;第三方支付的基于SPIN的形式化分析[J];计算机时代;2008年12期
2 杜经农,余绍明;三峡工程船舶智能调度系统的动态规划建模与算法[J];计算机与数字工程;2003年03期
3 陈朝阳,张桂林;多模成像跟踪器的算法智能调度方法[J];华中理工大学学报;1997年12期
4 钟建英;税务系统中如何选用预测决策模型[J];计算机与现代化;2001年02期
5 刘文,周俊;港务企业船舶的智能调度[J];计算机工程;2005年12期
6 盛忠起;李洪峰;段晓艳;刘永贤;;基于蚁群算法的一类生产链调度问题求解[J];机械设计与制造;2008年07期
7 邱振龙;;公交智能调度算法研究与优化[J];中国科技信息;2006年23期
8 吴一峻;;遗传算法在公交信息管理系统智能静态调度中的应用[J];现代商业;2010年20期
9 余美娟;;智能电网技术[J];河南科技;2010年22期
10 张德清;PBX—HIDS智能调度系统[J];电脑与信息技术;1995年06期
中国重要会议论文全文数据库 前10条
1 王宇君;施伯乐;;复杂对象代数中的替代操作[A];数据库研究与进展95——第十三届全国数据库学术会议论文集[C];1995年
2 ;论35路智能调度在提升营运管理水平中的重要作用[A];“迎全运”提升城市建设管理水平研讨会优秀论文集[C];2008年
3 陈秋双;乞敬换;;柔性制造系统的在线智能调度[A];1993中国控制与决策学术年会论文集[C];1993年
4 李龙洙;;制造系统的Holonic智能结构模式[A];2000中国控制与决策学术年会论文集[C];2000年
5 郝俊;刘云;佟洪坤;;北京公交智能调度指挥和综合管理系统网络设计[A];全国计算机网络应用年会论文集(2001)[C];2001年
6 李鲲;;炼钢-连铸智能调度系统的设计与应用[A];2008年全国炼钢——连铸生产技术会议文集[C];2008年
7 李鲲;;炼钢-连铸智能调度系统的设计与应用[A];第四届中国金属学会青年学术年会论文集[C];2008年
8 蒋云鹏;;智能投诉回访系统的设计与实践[A];2008年“ICT助力两型社会建设”学术研讨会论文集[C];2008年
9 徐跃飞;张晓坤;彭炎午;李言;;动态调度在智能制造中的应用[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
10 孙振权;刘燕;刘自发;;智能电网关键技术探讨[A];低碳陕西学术研讨会论文集[C];2010年
中国重要报纸全文数据库 前10条
1 燕志华;南京公交智能调度先睹[N];新华日报;2004年
2 记者 吴丹 通讯员 梁晓明 朱丹;成都公交试行智能调度[N];中国交通报;2009年
3 本报记者 袁筱;智能调度 让出租少跑“空”路[N];成都日报;2005年
4 袁萍 陈金龙 记者 葛静;加强信息化管理 展示行业新形象[N];南昌日报;2010年
5 记者 陈洁娜 实习生 陈林洲;穗公交车明年智能调度[N];南方日报;2004年
6 李超;智能公交系统应三思后行[N];中国计算机报;2007年
7 本报记者 赵家新 通讯员 张洪;智能调度快速抓获嫌疑人[N];人民公安报;2011年
8 本报记者 庞李蓉;广州公交进入智能调度时代[N];广东科技报;2004年
9 本报记者 曹琰 陈也清;智能调度的坚实一步[N];国家电网报;2010年
10 李忠满;东北网调明确2010年智能调度目标[N];东北电力报;2010年
中国博士学位论文全文数据库 前10条
1 潘洪军;面向对象代数Petri网模型研究[D];吉林大学;2007年
2 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
3 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
4 杨鹏;面向服务的新一代网络体系结构及其形式化建模的研究[D];东南大学;2006年
5 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
6 王健;任务关键系统生存性形式化建模与分析[D];哈尔滨工程大学;2009年
7 李蓓智;敏捷制造中的若干使能技术及其应用的研究[D];东华大学;2005年
8 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年
9 谭永东;自律分散系统动态进化问题研究[D];西南交通大学;2007年
10 薛海强;网络融合关键技术研究[D];北京邮电大学;2007年
中国硕士学位论文全文数据库 前10条
1 江伟奇;面向电网智能调度的信息统一建模及其应用[D];华南理工大学;2012年
2 邹雅琴;南昌市公交智能调度控制系统设计[D];南昌大学;2011年
3 周佳铭;基于PVS对SCADE开发轨交控制系统的形式化建模与验证[D];华东师范大学;2011年
4 孙瑜;基于VSK-AF逻辑的多Agent系统的形式化模型[D];云南师范大学;2002年
5 赖庆华;智能交通系统信息平台的研究及其应用——公交智能调度管理系统的开发[D];大连海事大学;2004年
6 佘小林;基于3G的公交运输视频监控子系统[D];华南理工大学;2012年
7 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年
8 刘志强;智能公交调度监控系统的研究与开发[D];山东大学;2005年
9 朱良学;遗传算法在车间调度中的应用研究[D];兰州大学;2007年
10 薛海丽;网络业务建模研究—SIP建模[D];中北大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026