收藏本站
《上海交通大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

基于本体的IEC61968语义信息模型的验证方法研究

于洋  
【摘要】:随着电力信息标准化的逐步开展,电力企业正在按照IEC 61968系列标准构建基于企业服务总线(Enterprise Service Bus,ESB)的信息集成架构方向发展。然而在实施过程中,信息模型与消息规范的一致性并没有得到很好地执行,模型与消息制定方和各系统厂商之间缺乏信息同步,容易造成信息模型的差异化,导致应用间的互操作和信息共享难以完成。其中一个重要原因是在技术上缺少一种校验机制对总线信息模型与消息规范进行一致性的检查约束,本文从解决信息共享的互操作过程的模型语义不一致问题,以及规范企业集成总线语义的角度出发,提出了基于本体的统一信息模型验证以及基于消息规范XSD(XML Schema Definition)的消息有效性验证机制。 模型验证利用了OWL(Web Ontology Language)本体语言的语义建模和逻辑推理能力,实现了模型层元数据信息的校验比对,并结合实际应用需求,提出了基于CIM全模型(OWL-Full描述)和基于子集Profil(eOWL-DL描述)的两种本体验证模式,既实现了CIM版本间的差异化分析,又可以满足某些特定业务规范(Profile配置文件)的约束性检查。消息验证则通过分析XML文档和模式XML Schema之间的映射关系,建立起数据模型的一致性规则,实现了消息(XML)的有效性验证。 最后根据上述验证方法,基于Jena工具包开发出了一套模型与消息验证工具(M2VT),并且基于Web Service技术完成了信息总线上验证服务的部署,从而实现了模型与消息的一致性在线验证。通过实际的应用测试,充分说明了该工具的有效性与实用性。信息模型与消息交互是智能配电网信息集成的基础,对其验证技术的突破将大大促进智能配电网的信息集成技术的进步。
【学位授予单位】:上海交通大学
【学位级别】:硕士
【学位授予年份】:2012
【分类号】:TP391.1

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 孙宏斌,吴文传,张伯明,刘崇茹,严亚勤,王志南,张海波,郭庆来;IEC61970标准的扩展在调度控制中心集成化中的应用[J];电网技术;2005年16期
2 潘毅,周京阳,吴杏平,樊涛;基于电力系统公共信息模型的互操作试验[J];电网技术;2003年10期
3 刘崇茹,孙宏斌,张伯明,董越,辛耀中;基于CIM XML电网模型的互操作研究[J];电力系统自动化;2003年14期
4 张慎明,刘国定;IEC61970标准系列简介[J];电力系统自动化;2002年14期
5 刘崇茹,张伯明,孙宏斌,辛耀中;包含直流输电系统的公用信息模型的扩展[J];电力系统自动化;2004年20期
6 郭庆来;孙宏斌;张伯明;李钦;;自动电压控制系统的公共信息模型扩展[J];电力系统自动化;2006年21期
7 孙霞;程宏斌;;基于XML Schema的数据建模应用研究[J];常熟理工学院学报;2006年04期
8 曾宪文;陈向东;杨明福;;基于UML的本体建模研究[J];计算机应用与软件;2006年07期
9 邵欢庆;康建初;;企业服务总线的研究与应用[J];计算机工程;2007年02期
10 李晓东;杨扬;郭文彩;;基于企业服务总线的数据共享与交换平台[J];计算机工程;2006年21期
中国硕士学位论文全文数据库 前2条
1 倪欢;语义门户网站本体查询技术研究[D];河海大学;2006年
2 陈松;基于CIM/XML的知识表示及信息交换技术在调度操作票系统中的应用研究[D];东南大学;2006年
【共引文献】
中国期刊全文数据库 前10条
1 邓显达;何光宇;陈颖;张王俊;;上海电网基于Java反射机制的CIM导入[J];电力系统自动化;2007年18期
2 赵艳萍;;基于CIM模型的电网拓扑分析[J];安徽电气工程职业技术学院学报;2006年01期
3 贾燕;;基于CORBA技术的分布式应用程序[J];成都教育学院学报;2006年08期
4 房巍;李万龙;;基于本体的图书智能检索系统的建模与应用研究[J];长春理工大学学报;2006年02期
5 潘毅,周京阳,李强,米为民,樊涛;基于公共信息模型的电力系统模型的拆分与合并[J];电力系统自动化;2003年15期
6 冯永青,孙宏斌,朱成骐,张伯明,吴文传,夏翔,周昱甬,徐强;基于信息理论与技术的地区电网辅助决策系统设计[J];电力系统自动化;2004年04期
7 刘崇茹,孙宏斌,张伯明,王志南;公共信息模型拆分与合并应用研究[J];电力系统自动化;2004年12期
8 刘崇茹,张伯明,孙宏斌,辛耀中;包含直流输电系统的公用信息模型的扩展[J];电力系统自动化;2004年20期
9 朱浩骏,蔡泽祥,侯汝锋;基于CIM的稀疏矩阵模型设计[J];电力系统自动化;2004年22期
10 郭庆来,孙宏斌,张伯明,李钦,刘崇茹,李尹,杨志新,王小英,李海峰;江苏电网AVC主站系统的研究和实现[J];电力系统自动化;2004年22期
中国重要会议论文全文数据库 前7条
1 陈根军;曹玉峰;顾全;;多平衡机潮流计算在调度员潮流中的应用[A];第十五届华东六省一市电机工程(电力)学会输配电技术研讨会论文集[C];2007年
2 李劲;;电力系统生产数据交换标准研究[A];广西电机工程学会第九届青年学术论坛论文集[C];2006年
3 梁永强;;国际海缆子网管理中心业务支撑系统设计与实现——数据库接口相关设计与实现[A];2007中国科协年会——通信与信息发展高层论坛论文集[C];2007年
4 李欢;李彤;;中间件的概念、分类与发展[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 李树全;陈志飞;;基于SOA的企业资源整合软件体系结构研究[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 郭庆来;孙宏斌;张伯明;李钦;;自动电压控制系统的公共信息模型扩展[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
7 姜彬;唐晓莉;叶清华;;基于SVG的电网WEB发布技术[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 胡邦喜;基于信息化的现代大型企业设备管理理论与方法研究[D];武汉理工大学;2007年
2 鱼滨;基于XML的集成中间件技术研究[D];西北大学;2003年
3 李海奎;FORSTAT(统计之林)核心部分关键技术的研究与实现[D];北京林业大学;2003年
4 柯清超;分布式学习系统软件建模方法研究[D];华南师范大学;2003年
5 韦东方;面向企业整体解决方案的仿人智能型管理系统的研究与应用[D];南京理工大学;2005年
6 陈强;城市地理信息系统软件与工程设计[D];华东师范大学;2004年
7 梁爱民;大型信息系统柔性体系框架多簇理论研究[D];铁道部科学研究院;2004年
8 于海波;基于规则和本体的应用安全策略研究[D];吉林大学;2006年
9 高湛军;继电保护及故障信息系统数据建模和应用研究[D];山东大学;2006年
10 童晓阳;电网广域后备保护多Agent系统信息模型的研究[D];西南交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 何友林;基于扩展CIM电力生产信息集成平台及应用研究[D];浙江大学;2006年
2 王宁;IEC 61850标准研究及其应用[D];山东大学;2006年
3 解涛;继电保护及故障信息系统的研究[D];山东大学;2006年
4 刘炳均;敏捷需求分析方法在小型项目中的应用研究[D];电子科技大学;2007年
5 韩纬禧;企业服务总线(Mule ESB)的研究与实现[D];北京邮电大学;2007年
6 范圣韬;基于CIM的电网潮流异步并行计算研究[D];山东大学;2005年
7 卢平江;配电网潮流计算及网损分析与管理软件的设计[D];华北电力大学(北京);2005年
8 金韬;继电保护故障信息系统设计[D];浙江大学;2005年
9 吴亮;公共信息模型在能量管理系统中的应用[D];东华大学;2004年
10 徐奇锋;UNIX环境下基于地理信息系统的电网参数管理系统研究[D];浙江大学;2004年
【二级参考文献】
中国期刊全文数据库 前10条
1 陈松,王磊;操作单元在调度操作票系统中的引入[J];安徽电气工程职业技术学院学报;2005年03期
2 常弘,茹锋,薛钧义;IEC61850标准语义信息模型的互操作性能分析及系统实现[J];电工电能新技术;2005年03期
3 张健,朱永利,李东;操作票专家系统的研究现状及其前景[J];电力情报;2002年01期
4 崔巍,王本德;配电地理信息系统与生产管理系统接口研究及应用[J];电力科学与工程;2003年02期
5 辛耀中;电力系统数据通信协议体系[J];电力系统自动化;1999年01期
6 董越,孙宏斌,吴文传,张伯明,刘崇茹;EMS中公共信息模型导入/导出技术[J];电力系统自动化;2002年03期
7 张慎明,刘国定;IEC61970标准系列简介[J];电力系统自动化;2002年14期
8 曹阳,姚建国,张慎明,黄海峰;XML技术在电网自动化系统中的应用探讨[J];电力系统自动化;2002年21期
9 张慎明,卜凡强,姚建国,杨志宏,陈梅,赵京虎,曹阳;遵循IEC61970标准的实时数据库管理系统[J];电力系统自动化;2002年24期
10 孙宏斌,张伯明,郭庆来,杨志新,王小英,李海峰;基于软分区的全局电压优化控制系统设计[J];电力系统自动化;2003年08期
中国硕士学位论文全文数据库 前10条
1 余露;科技论文DTD的设计及其XML文档生成[D];苏州大学;2001年
2 叶策;基于CIM/XML的电力系统数据仓库的研究和设计[D];浙江大学;2002年
3 邱智勇;CIM/XML的研究和应用[D];浙江大学;2003年
4 王民昆;电力系统CIM模型描述及数据交换实现的研究[D];四川大学;2004年
5 李书勇;基于可复用软件体系结构的电力系统静态安全分析[D];华北电力大学(河北);2005年
6 李兴隆;基于Ontology的文档检索[D];东北大学;2005年
7 曹蓉蓉;基于SVG技术的EMS图形互操作性的研究[D];南京理工大学;2005年
8 王斌;基于SVG的电力图形平台研究[D];南京工业大学;2005年
9 石磊;语义Web服务发现技术研究[D];河海大学;2006年
10 刘冬;电力系统中通用信息模型的研究和应用[D];郑州大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 周玉清;;关于并行程序验证方法的讨论[J];计算机研究与发展;1982年09期
2 石兵;冉平;马晓星;陶先平;吕建;;软件体系结构的属性图文法描述及其约束验证[J];计算机应用研究;2007年03期
3 郭祥法;程震;;密码协议验证中的Petri网方法[J];计算机工程与设计;2007年06期
4 莫宏波;田云飞;孙靖;;TD-SCDMA终端一致性测试例的验证方法[J];电信网技术;2007年06期
5 曾红卫;缪淮扣;;一种验证Web应用设计的方法[J];上海大学学报(自然科学版);2007年05期
6 刘燕;王京梅;张帆;兰中文;;基于VMM的流量管理芯片验证[J];现代电子技术;2009年12期
7 闫华;张伟;赵海燕;梅宏;;基于二分决策图的特征模型验证方法[J];软件学报;2010年01期
8 李智慧;夏银水;;基于混合技术的时序电路等价性验证[J];宁波大学学报(理工版);2010年03期
9 崔亚林;;浅析仿真模型校核、验证和确认[J];湖北水利水电职业技术学院学报;2008年02期
10 张国春;张宪;;面向体系对抗仿真的毁伤模型建模框架研究[J];系统仿真学报;2011年S1期
中国重要会议论文全文数据库 前10条
1 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
2 郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
3 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
4 张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
5 陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
6 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
7 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年
8 邓学良;何冬燕;潘德炉;孙照渤;;中国海域MODIS气溶胶光学厚度检验分析[A];中国气象学会2008年年会大气环境监测、预报与污染物控制分会场论文集[C];2008年
9 林涛;;中国产业集群研究中的主体能动性与多方验证方法[A];中国地理学会2006年学术年会论文摘要集[C];2006年
10 贾连兴;翟成功;刘德祥;;仿真模型校核、验证和确认之浅见[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
中国重要报纸全文数据库 前10条
1 ;如何自定义用户身份验证方法?[N];网络世界;2007年
2 孙昭友 夏 敏;浅议采购产品的抽样验证方法[N];中国国门时报;2004年
3 记者 周颖;大力提倡科学验证方法[N];中国中医药报;2000年
4 陈先勇;几种主流的验证技术[N];计算机世界;2007年
5 清水 编译;如何对WLAN实行强验证[N];计算机世界;2006年
6 飘零雪;打假网上行[N];中国电脑教育报;2005年
7 ;新型身份验证:图形密码[N];中国计算机报;2006年
8 清水 编译;让身份验证更智能[N];计算机世界;2006年
9 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
10 胡英;闭环跟踪改变软件开发模式[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
2 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
3 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
4 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
5 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
6 孙天亮;三端口Ethernet接口IP核的设计、验证方法研究及IAD专用SoC的研制[D];电子科技大学;2003年
7 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
8 罗春;基于仿真的系统芯片功能验证技术研究[D];东南大学;2006年
9 李东海;基于有限环上多项式的数字电路形式验证方法[D];哈尔滨工程大学;2008年
10 范德会;基于PSA的集成电路形式验证方法研究[D];哈尔滨工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 于洋;基于本体的IEC61968语义信息模型的验证方法研究[D];上海交通大学;2012年
2 贾亮;基于覆盖率驱动的自动化验证平台实现[D];西安电子科技大学;2011年
3 张晓宇;基于ASP.NET Web MIS安全体系中的验证和授权[D];吉林大学;2006年
4 李炎琨;基于VMM验证方法的研究[D];西安电子科技大学;2010年
5 王芳;基于VMM覆盖率导向验证方法的研究和应用[D];哈尔滨工程大学;2011年
6 万上宏;基于重用验证方法学的信道重编码系统功能验证研究[D];华南理工大学;2011年
7 李青;典型网络安全事件模拟的真实性验证方法研究[D];哈尔滨工业大学;2011年
8 高红霞;基于高级验证语言的IP验证方法[D];电子科技大学;2012年
9 陈永光;RTL层次之系统互连线及系统电路的软件自动化验证方法研究[D];电子科技大学;2012年
10 邓爱东;基于验证方法学的IC验证平台研究[D];武汉邮电科学研究院;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026