基于SPN的矿山地面灾害应急预警服务BPEL建模分析 - 开源共享论文下载平台 - 信丰网

基于SPN的矿山地面灾害应急预警服务BPEL建模分析

来源 :地理与地理信息科学 | 被引量 : 0次 | 上传用户：skyaixiao

【摘要】

：

针对煤炭开采所导致的矿山地面灾害,该文提出一种基于异常事件驱动的矿山地面灾害应急、预警服务链组合模型(Mining Event-driven Emergency early Warning Geospatial Service chain Model,MEWGSM)。首先通过业务流程执行语言BPEL对模型进行形式化描述;其次建立BPEL到随机Petri网的转换规则,将BPEL模型转化为随机Petr

【作者】

：

陈月娟张锦

【机构】

：

太原理工大学矿业工程学院,内蒙古工业大学矿业学院

【出处】

：

地理与地理信息科学

【发表日期】

：

2018年02期

【关键词】

：

地理信息服务组合 BPEL 随机PETRI网 MEWGSM模型服务性能分析 Geographic Information Service combinatio

【基金项目】

：

国家重点研发计划地球观测与导航专项(2016YFB0502601),国家自然科学基金项目(41771443、41371373)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对煤炭开采所导致的矿山地面灾害,该文提出一种基于异常事件驱动的矿山地面灾害应急、预警服务链组合模型(Mining Event-driven Emergency early Warning Geospatial Service chain Model,MEWGSM)。首先通过业务流程执行语言BPEL对模型进行形式化描述;其次建立BPEL到随机Petri网的转换规则,将BPEL模型转化为随机Petri网(Stochastic Petri Nets,SPN)表示;最后通过SPN的可达性分析验证模型的正确

其他文献

嘉定探索智慧城市

嘉定将力争在基础设施、政务、交通、医疗、教育、文体和城市管理等10个领域开展探索和突破，提升市民的体验度和感知度。嘉定将启动区级层面的后3年总体规划设计，城市管理能力

期刊

城市管理智慧总体规划设计基础设施管理能力感知度交通

对两节“植树问题”课的评析

一、精彩的教学流程源于新的课程理念两位教师选取丰富的教学资源精心地设计教学流程，使其设计各具特色、精彩纷呈。

期刊

植树问题教学流程课程理念教学资源设计教师

＂找次品＂教学设计

教学内容：人教版5年级下册第7单元数学广角“找次品”。

期刊

教学设计次品教学内容人教版数学

陈明隆作品欣赏

陈明隆于上世纪六十年代受业于美术教育家、著名画家刘如璞先生。他酷爱书法艺术，篆、隶、楷、草皆临习，诗、书、画、印均涉猎。逐渐形成了隶书端庄道劲，金文古朴圆润、楷书敦厚

期刊

作品欣赏陈明协会会员书法艺术美术教育家山东省六十年代著名画家

其他学术论文