【摘 要】
：
业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务
【机 构】
：
安徽理工大学信息与计算科学系,同济大学计算机科学系
【基金项目】
：
本课题得到国家自然科学基金（61572035,61272153,61402011）、安徽省自然科学基金（1508085MF111,1608085QF149）、安徽省高校自然科学基金重点项目（KJ2016A208）、安徽省学术和技术带头人资助项目（DG119）和安徽省优秀青年人才项目等资助.
论文部分内容阅读
业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inc
其他文献
从赛络纺纱的成纱机理出发，分析了赛络纱的纱线特点，并对其产品开发作了一定的探讨，认为赛络纺纱方法是一种有生命力和发展前途的纺纱方法。
博览会是人类的聚会，人们从世界各地汇聚一处，展示各自的发明与技艺，夸耀各自的故乡和祖国。世博会集人类文明之大成，因而具备了无与伦比的感染力。世博会不仅广泛反映人类经济和
自2009年下半年以来，国务院相继出台《文化产业振兴规划》、《关于促进电影产业繁荣发展的指导意见》等重要文件，为电影产业的发展创造了积极有利的政策环境。尤其是今年年初，国
本文介绍了在一头多尾弹性聚合装置(一套酯化装置带多条缩聚生产线)和间歇聚合装置中功能性和差别化纺织品聚酯原料的工业化生产。改性组分的溶液制备系统及其在齐聚物中的加
介绍了近年来睢宁县滥伐林木呈现的特点，分析了林木遭滥伐的原因，提出相应的对策。
目的了解越南、老挝、柬埔寨、缅甸、泰国、马来西亚、印度尼西亚、菲律宾等东南亚常见害鼠的种类及其检索要点。方法根据文献资料，介绍东南亚国家常见害鼠的种类，并描述我国尚
逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言，目前，国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较
深度Q网络模型在处理需要感知高维输入数据的决策控制任务中性能良好.然而,在深度Q网络及其改进算法中基本使用静态的跳帧方法,即动作被重复执行固定的次数.另外,优先级经验
国际标准化组织（ISO）电影技术委员会（TC36）第二十一次全会于2010年6月7日-12日在俄罗斯首都莫斯科召开。经国家广电总局批准，我国作为该组织的积极成员国（P成员国）组团参加了会议。
跨视域大场景的多目标跟踪与展示是智能监控的基本需求之一.该文设计了一种基于视域拼接的跨视域多目标跟踪的可视化算法,借助于视频场景中几何信息实现视域拼接,从而实现将交通路口不同视角监控视频中的跟踪目标在统一的视场下展示.算法主要包含四个步骤:视域背景拼接、目标检测、跨视域多目标跟踪以及可视化显示.其中,视域背景拼接步骤利用交通场景背景图像几何信息辅助的半交互方式确定特征点对,计算不同视角到参考视域平