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

基于本体的语义Petri网研究及其在系统建模中的应用

冯晓宁  
【摘要】: Petri网作为一种形式化建模的方法,虽然在系统并发等性能的评价和验证上提供了很多方法,但是其能够描述的语义信息十分有限,虽然各类高级Petri网模型旨在扩展模型的表达能力,但是与UML和IDEF等描述性建模方法相比表义仍显不足,缺乏对面向对象机制的全面支持。而且Petri网模型需要专门的建模软件支持,与其他模型无法实现自动的转化和信息共享。由于这些问题的存在使Petri网不能满足新一代系统设计方法的需要,严重的制约了其在控制领域乃至与分布式软件系统等其他系统中的应用。 为了在系统建模时能够同时利用UML或IDEF等建模方法丰富的语义和Petri网严格的形式化验证,本文以丰富Petri网的语义信息为基本目标,以面向对象实时系统为主要研究对象,融入领域本体的基本思想和本体映射算法,提出了语义Petri网的概念及应用实例。 本文首先给出了语义Petri网的定义和基于语义Petri网的系统建模过程,语义Petri网主要由3部分构成:分层面向对象Petri网模型、模型本体库和UML模型。分层面向对象Petri网模型是采用分层策略的,对面向对象中的继承、抽象等特性提供了全面的支持。然后文中详细描述了为实现模型自动转化提供服务的模型本体库的建立方法,模型本体库需要事先由系统建模领域专家建立,并在每一次建模过程中不断完善,文中给出了模型本体的结构层次,并定义了Petri网和UML本体概念集。针对模型本体本身的特点综合现有本体映射算法的优点本文提出了综合语义相似度计算方法,作为本体映射过程中计算两个概念相似程度的依据。最后本文将语义Petri网作为描述AUV控制系统和信息交互设计方案的模型,使其在AUV设计阶段充分描述软硬件描述信息,并能在仿真验证阶段形式化验证系统的并行冲突和功能完备性,为AUV的事前验证和设计方案优化提供手段。 本文从模型定义、算法细节描述到应用实例呈现了一个集Petri网、面向对象和本体于一身的系统建模方法。这是一个针对面向对象实时系统的通用建模方法,即能够详细描述系统信息又能够对系统性能进行形式化分析验证与优化。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 于秀宾;任爱华;;面向对象Petri网继承性的研究[J];计算机工程与设计;2008年20期
2 杨尚军;;基于对象petri网的雷达组网系统建模仿真研究[J];航天电子对抗;2006年03期
3 李强,罗雪山;基于对象Petri网的雷达组网系统建模仿真研究[J];雷达与对抗;2003年04期
4 杨玉梅;段欣;兰鹰;周红梅;;基于Petri网的数字图书馆系统建模[J];科技情报开发与经济;2009年28期
5 顾妍午;王遵彤;吴启迪;;面向对象Petri网技术在系统建模中的应用[J];同济大学学报(自然科学版);2010年03期
6 侯春龙;卫翔;齐新战;;面向对象分层Petri网在对抗系统建模中的应用[J];四川兵工学报;2012年04期
7 张于贤;王立甫;叶冰冰;姚芳;;面向对象Petri网在制造系统建模中的应用[J];科技广场;2011年03期
8 涂拥军;李敬辉;黄高明;;基于对象Petri网的水面舰艇编队网络中心战系统建模[J];现代电子技术;2007年17期
9 王建彬;马芷蔷;许金元;疏达;;基于Petri网的多智能体制造系统建模[J];安徽工程大学学报;2013年04期
10 李莉;;面向对象Petri网的应用研究[J];现代计算机(专业版);2008年08期
11 刘舟,朱齐丹,朱伟,安晓东;面向对象Petri网在舰炮武器系统建模中的研究[J];系统仿真学报;2005年06期
12 李明河,鲁蔚锋;基于Petri网的生产车间物料运输系统建模与仿真[J];安徽工业大学学报(自然科学版);2004年01期
13 王歌;王小庆;;基于Petri网的电子政务系统建模与分析[J];中国制造业信息化;2009年19期
14 李阳,武昌;军用装备维修保障系统面向对象Petri网建模[J];计算机仿真;2005年02期
15 何小燕,吴介一,罗军舟;面向对象Petri 网的研究及其在柔性制造单元中的应用(英文)[J];Journal of Southeast University(English Edition);1999年02期
16 舒远仲;刘炎培;;改进的面向对象Petri网及其应用研究[J];计算机工程与设计;2010年19期
17 赵冬霞;马维忠;;基于面向对象时间Petri网的业务流程建模方法研究[J];煤炭技术;2010年12期
18 万里威;李昌宇;;面向对象Petri网在工人加工工件系统建模中的研究[J];电脑知识与技术;2006年23期
19 李孝忠,马永军,李纪扣;基于Petri网的故障诊断新方法[J];天津科技大学学报;2004年03期
20 乔非,高桂花,白海涛;基于高级Petri网的流程建模支持系统设计、开发与应用[J];计算机工程;2000年10期
中国重要会议论文全文数据库 前10条
1 臧娈;王景华;韩江洪;吴宗彦;;面向对象Petri网生产调度建模[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
2 刘雨婷;王晓东;吴建德;范玉刚;邵宗凯;;基于改进Petri网的自动化立体仓库出库系统建模[A];2013年中国智能自动化学术会议论文集(第四分册)[C];2013年
3 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
4 赵不贿;王霄;赵德安;蔡兰;;人工智能中的Petri网方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
5 喻敏;李忠俊;;基于Petri网的信息系统建模分析[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
6 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 张旭;魏建;熊静;;基于Petri网的民航旅行代理服务工作流建模研究[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 刘心;印桂生;;一种着色赋时的面向对象Petri网及在自动制造系统中的应用[A];2009年全国开放式分布与并行计算机学术会议论文集(下册)[C];2009年
9 邢科义;李俊民;胡保生;;基于Petri网的柔性制造系统的有效活性控制器[A];1996年中国控制会议论文集[C];1996年
10 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
中国博士学位论文全文数据库 前10条
1 冯晓宁;基于本体的语义Petri网研究及其在系统建模中的应用[D];哈尔滨工程大学;2009年
2 陈晓亮;基于Petri网的离散事件系统混或诊断和监督控制研究[D];西安电子科技大学;2014年
3 熊伟;基于Petri网的远程智能故障诊断方法研究[D];华北电力大学;2014年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
6 刘鼎;柔性制造系统一般Petri网模型内在活性结构与死锁控制研究[D];西安电子科技大学;2012年
7 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
8 阳罚军;基于Petri网的多组合设备最优调度与控制[D];广东工业大学;2016年
9 李诚;基于Petri网和启发式搜索的调度算法研究[D];浙江大学;2015年
10 王军;基于复杂自适应Petri网的棉纺生产预报模型及其优化[D];东华大学;2016年
中国硕士学位论文全文数据库 前10条
1 程培林;基于面向对象混合Petri网的可重入生产系统建模研究[D];燕山大学;2011年
2 冯晓宁;水下无人探测器系统性能的面向对象Petri网模型[D];哈尔滨工程大学;2005年
3 刘石坚;面向对象模糊Petri网的理论及建模研究[D];长沙理工大学;2010年
4 张丹;基于模糊有色Petri网的故障诊断方法[D];郑州大学;2013年
5 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
6 申俊岭;基于PETRI网的生物过程模拟系统的研究[D];哈尔滨工业大学;2007年
7 翁培忠;Petri网可视化工具的设计及仿真[D];西安电子科技大学;2012年
8 王清元;可重构Petri网逻辑控制器开发平台的设计与实现[D];东南大学;2006年
9 刘彩红;基于面向对象Petri网的用户界面描述方法的研究[D];山东大学;2008年
10 汤莹莹;面向对象资源Petri网业务流程模型的研究[D];哈尔滨工业大学;2012年
中国重要报纸全文数据库 前10条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(三)[N];国际商报;2002年
2 华中科技大学机械学院CAD中心教授 陈立平;系统建模分析软件取得突破[N];中国信息化周报;2018年
3 ;ARM发布RealView系统建模器[N];人民邮电;2006年
4 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(四)[N];国际商报;2002年
5 源代码;零基础学Java22—面向对象[N];电子报;2015年
6 源代码;零基础学JAVA25-面向对象-继承[N];电子报;2015年
7 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
8 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
9 源代码;零基础学JAVA24-面向对象-封装[N];电子报;2015年
10 源代码;零基础学JAVA23-面向对象-对象的实例化[N];电子报;2015年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978