基于聚类分析的业务流程模型抽象

业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行"简要视图"的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-means聚类分析,即根据事先指定的抽象行为个数对行为进行聚类,在将行为聚合到某一个行为簇时,选择距离该行为簇的图心最近的行为。但实际上,抽象行为(子流程)个数是一个未知的量,哪些行为属于同一个子流程往往取决于建模者的经验和抽象习惯,而且在聚合时,若行为从业务意义角度或建模者的抽象习惯角度并不属于该子流程,则合并往往会产生抽象错误。因此,引入虚拟文档表示行为和流程模型,以消除固定属性作为表示行为的向量空间维度带来的约束。并且设计算法从大量包含人工设计子流程的真实的业务流程模型库中获取行为与所在子流程的距离阈值,利用该阈值指导生成可能获得的抽象行为个数k。以k为参数对流程模型进行行为聚类,在聚类过程中,进一步利用距离阈值对聚合行为进行限制。对真实的流程模型库进行实验分析,结果表明提出的行为聚类方法更加接近人工设计的抽象结果。

面向随机模型检验的模型抽象技术

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.

业务流程模型抽象中基于约束的行为聚类方法研究

将业务流程模型抽象中的行为聚合解释为一个半监督聚类过程,利用基于试探的启发式方法选择合适的行为集合作为初始簇,进而提高抽象的质量。另外,为了同时满足模型转换的保序性需求和子流程的业务语义完整性,在将行为归类到某个簇(候选子流程)时,进一步考虑了流程控制流的影响,设计了由两部分构成的约束函数,即语义距离和控制流顺序冲突。其中,第一部分引入了虚拟文档来表示行为和子流程,计算其之间的语义距离;第二部分利用行为概要文档中的4种行为顺序关系,设计函数来表示行为归类带来的控制流冲突。将该方法应用于真实的流程模型库,与传统的k-means行为聚类对比,如随机生成初始簇集和基于语义的距离测量方法,结果表明所提方法生成了更接近于人工设计的流程抽象结果。

关于计算机专业学生模型抽象能力培养的探讨——以图论课程为例

对于计算机专业学生来说,模型抽象能力至关重要。如何将现实中的需求问题抽象为合适的模型,并用形式化、数学或是计算机的语言去表达,是计算机工作者在科学研究以及工程实践中的基本素质。然而,在大学相关课程中,这方面能力的培养还得不到足够的重视。本文探讨了如何在计算机专业课程中融入对学生模型抽象能力的培养,并以图论课程为例进行了具体分析。

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。

业务流程模型抽象中最优子流程数的确定

根据业务流程模型的特征,基于笔者前期工作中给出的两个不同约束条件下的受限k-means行为聚类算法,提出确定最优子流程数的方法。基于对流程结构的假设,同时结合行为语义的经验阈值限定,给出了确定子流程数恰当上限值的方法,以达到减少循环次数的目的。根据k值的变化,分别基于子流程结构紧密性特征和流程结构树,在循环过程中设计增量式方法,对簇中心进行简便的递增;设计合理的有效性指标,对抽象结果模型进行评估,进而生成最佳子流程数;利用真实的流程模型库对设计的方法进行实验验证,得到的最优子流程数与人工设计的结果非常接近。

基于行为轮廓的退费系统业务流程模型抽象

针对退费系统业务流程不同粒度的流程模型,提出基于行为轮廓的抽象方法,在不同抽象级别上缩减描述同一业务流程的模型数量.通过流程模型的输入,活动聚类,构建活动行为轮廓,导出粗粒度的高级模型及其对应的工作流,提出一个新的退费业务流程模型并验证粗粒度模型的泛化性,解决建模者对于模型的成本维护,减少在细粒度抽象级别上捕获类似业务流程的模型数量问题.

保证电磁兼容一致性的软件工具——解法算法的可缩放性、模型抽象和软件界面是制作未来EMC工具的关键

今天的高速便携式计算机面临着电磁兼容性(electromagneticcompatibility——EMC)的严重问题,下一代产品的问题会更严重.原因是高速带来的快边缘速度会在千兆赫频率上产生谐波,而且。

深化概念理解 促进模型抽象——《点到直线的距离》素养进阶习题展评与教学建议

一、习题展评习题一1.习题内容(1)涂一涂:将表示点与点、点与线、线与线的“距离”的线段涂成红色。量一量:图①AB两点的距离是()毫米,图②点0到直线AD的距离是()毫米,图③两条平行线之间的距离是()毫米。

基于结构参数抽象模型的内河船舶结构强度校核软件设计

[目的]旨在设计一种内嵌规范的内河船舶结构自动校核软件,以解决采用手工规范计算方法进行结构设计带来的校核效率低、模型复用难等问题。[方法]软件基于模型-视图-控制器(MVC)框架,以船体模型为中心,开发结构数据库、可视化剖面、规范计算等核心功能模块。设计结构分层模型进行参数管理和共享,模型抽象化以表达特殊结构并与规范解耦,同时结合派生技术,便于软件更新和模型复用。[结果]算例分析表明,基于结构参数抽象的校核软件可保证规范计算的完整性和精度,实现对各类内河船型及规范的完全兼容与组合校验。与手工计算的结果相比,误差不超过0.06%。[结论]该软件可突破不同船型和规范的限制,实现内河船舶结构校核流程化和智能化,降低设计人员对繁杂规范的依赖,同时提高设计、审图质量和操作效率。与同领域软件相比,所提软件兼具计算准确和快速建模的优点。

任务空间概念模型及其形式化抽象描述

任务空间概念模型对建模与仿真的互操作与重用有着重要的意义,但还没有一个统一的描述方法。文章研究了任务空间概念模型在仿真中的应用,探讨了它与作战想定、作战条令、条例之间的关系,然后对任务空间概念模型进行了形式化抽象描述,从而进一步给出了它的模型层次结构。

广义KRA抽象模型

针对KRA抽象模型的表示框架进行扩展,将感知过程分解为初步感知过程和抽象感知过程两部分:初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W),该过程不改变W中具体对象的实体属性;抽象感知过程将P(W)在感知系统P*的作用下映射为P*(W),P*(W)中的对象称为抽象对象,抽象对象的类型根据感知者预先定义的抽象对象库Oa的不同而不同.这种建模过程的细化可生成W的不同抽象模型,使推理得到简化.

软件模型检测中的抽象模型研究综述

抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模型分为3类:1)传统的用于支持自上逼近或者自下逼近的布尔Kripke结构;2)分别对应于3值和4值Kripke结构的Kripke模态迁移系统(Kripke modal transition systems,KMTS)和混合迁移系统(mixed transition system,MixTS),可同时支持自上逼近和自下逼近的抽象;3)具有超迁移关系的广义Kripke模态迁移系统(generalized Kripke modal transition system,GKMTS)和超迁移系统(hyper transition system,HTS),可提供更精确的抽象模型检测;重点分析这些模型的提出原因、相应的逼近关系、最优模型及其局限性以及抽象模型完备性的研究结果.最后,分析了目前关于抽象模型的理论和应用研究中存在的问题,给出进一步研究的方向.

基于本体的分层抽象模型

KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。

软件体系结构抽象模型

针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给出了在不同连接运算下的软件体系结构范式和事件依赖的软件体系结构范式定理 .该文提出的较完整的软件体系结构理论体系 ,为进一步研究软件体系结构和基于软件体系结构的相关研究奠定了理论基础 .

水平井挖潜剩余油抽象模型的建立及适应条件

水平井是挖潜剩余油的重要手段,但由于地层中剩余油存在的空间形态复杂,对水平井挖潜剩余油的适用条件并不清楚。通过对剩余油的空间形态进行抽象处理,建立了水平井挖潜剩余油的抽象模型。依据实际剩余油的分布特点,利用抽象模型建立的数值模拟模型研究了水平段纵向位置、水平段长度、剩余油形状、剩余油面积、油层厚度和生产压差6种因素对水平井挖潜剩余油开采效果的影响。结果表明,长宽比为4的长条形,厚度为6m以上,面积达到0.04km2以上的剩余油适宜利用水平井进行挖潜;水平段长度为剩余油长度的0.8倍,位于油层顶部1/3处的水平井进行挖潜能获得最佳效果。

扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程,根据物理世界W中对象所属域的不同生成多重域抽象模型,并讨论了两种情况下域抽象模型Wi和Wj间的域关系:W的多重域模型Wi和Wj中的构成对象交集为空(即Wi和Wj中不存在有跨域行为的实体);W的多重域模型Wi和Wj中的对象实体存在跨域行为.扩展后的框架R丰富了物理世界W的模型表示,使对象感知由平面感知变为立体感知,应用多种领域知识生成相互关联的不同域模型,增强了模型的推理能力.

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.

面向对象的变电站网络通信抽象模型

变电站自动化系统随着计算机网络技术的发展和相关国际标准的颁布,必将走向以工业以太网为平台的开放式、全分布式、全数字式、可互操作的网络通信系统。该文在深入研究的基础上,提出了基于统一建模语言UML的变电站自动化系统的功能、数据、通信模式等对象的抽象模型,该模型对于进一步理解和实施新一代变电站自动化系统起到了推动作用,另外文章分析了该模型所具有的继承性、可复用性、功能分布性等特点。

基于抽象肌肉模型的人脸表情动画实现

介绍了一个基于抽象肌肉模型的人脸表情动画的实现过程,详细阐述了在系统实现过程中用到的人脸几何表示、抽象肌肉模型、一般人脸变化到特定人脸以及等技术。