基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.

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

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

基于结果链的舰船研制过程建模研究

根据现有系统分析和过程建模的局限性,在舰船研制过程建模中采用了结果链技术(RCM),用形式化描述的方法对舰船研制的横向和纵向阶段进行了过程抽取.舰船研制系统过程的结果链建模使模型易于理解、分析和综合考虑,同时支持任务的分解和资源的分配,舰船研制项目模型和结果链模型的集成将有助于明确舰船产品模型和过程模型的关系,有助于舰船研制过程的管理和控制.

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

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

海洋时空过程数据模型及其原型系统构建研究

从地球信息科学角度,分析了海洋现象的过程特性,并给出过程对象的BNF范式组织结构。把具有过程特性的海洋现象分级抽象为海洋过程对象、阶段对象、序列对象和状态对象,讨论了海洋过程对象的语义分级抽象与顺序、包含关系及过程对象内的演变机制,分析了通过过程对象隐式记录演变机制、过程对象存储表提供其程序接口,实现连续渐变表达机制在模型中的实现策略,发展了基于过程对象、过程对象关系表的模型的过程化组织结构。在Geodatabase9.2基础上,扩展过程对象的存储机制,构建海洋时空过程数据模型的原型系统(海洋时空过程数据库系统MarineSTPDMGDB和海洋系统功能平台MDMProtoTypeSystem),并给出其框架结构及关键技术实现流程。原型系统的构建及功能分析结果证明了模型的科学性与适用性,为"数字海洋"战略的实施提供了理论基础。

自动文摘系统中的主题划分问题研究

随着网络的发展,电子文本大量涌现,自动文摘以迅速、快捷、有效、客观等手工文摘无可比拟的优势,使得其实用价值得到充分体现。而主题划分是自动文摘系统中文本结构分析阶段所要解决的一个重要问题。本文提出了一个通过建立段落向量空间模型,根据连续段落相似度进行文本主题划分的算法,解决了文章的篇章结构分析问题,使得多主题文章的文摘更具内容全面性与结构平衡性。实验结果表明,该算法对多主题文章的主题划分准确率为92.2%,对单主题文章的主题划分准确率为99.1%。

值传递诊断过程的抽象和重用

提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值传递路径空间为基础,给出了一种故障诊断算法,在一定条件下多项式时间结束.

基于统计方法的汉语自动文摘系统研究

本文简要介绍了文本的向量空间模型表示,并提出了用该模型进行非受限真实文本的自动文摘方法。其基本思想是对输入文本进行项(本文为词和概念)的统计,根据不同项在文本中的分布评估其重要性,据此和其它信息形成句子的综合权重,生成摘要。文中较详细地介绍了系统的实现及实验结果,同时提出了对文摘系统的评价方法。

一种新的状态参数及过程的抽象模型

发展了一种面向对象的状态参数及热力过程的抽象模型，这种模型可以利用对象的多态性和虚拟方法在没有源代码的条件下被继承、修改和扩充。这种模型的应用可以使得热能动力工程和制冷工程设计中的状态参数和热力过程计算软件的重复使用问题得到简化。

计算机软件技术基础多媒体辅助教学软件研究与开发

通过对计算机软件技术基础多媒体辅助教学软件结构进行分析 ,提出了抽象模型 ,给出了基于推理的学习过程控制算法 ,讨论并实现了数据库管理及数据库表结构多媒体字段 ,最后分析了软件运行现状。

基于随机游走模型的高校图书馆知识发现系统构建

[目的]为了实现知识的快速聚类和关联分类,由传统的以资源检索为目标的高校图书馆系统转变为完全面向用户需求的、主动发现和推送知识的图书馆知识发现系统。[过程]本文融合网络爬虫技术和学术资源网站结构化数据的特征,构建了基于随机游走模型,依据摘要词频对文献资料进行主题词的提取、聚类;随后在标签信息标注的基础上,根据相似性对游走过程进行加权处理;最终完成了知识关联分类的知识发现系统。[结果]本文实现了用高效的知识提取手段,基于智慧云、物联网构建更加准确和更具关联性的知识发现系统,提高了高校图书馆知识检索系统的查全率和查准率。

基于ALBERT-UniLM模型的文本自动摘要技术研究

任务中的生成式摘要模型对原文理解不充分且容易生成重复文本等问题,提出将词向量模型ALBERT与统一预训练模型UniLM相结合的算法,构造出一种ALBERT-UniLM摘要生成模型。该模型采用预训练动态词向量ALBERT替代传统的BERT基准模型进行特征提取获得词向量。利用融合指针网络的UniLM语言模型对下游生成任务微调,结合覆盖机制来降低重复词的生成并获取摘要文本。实验以ROUGE评测值作为评价指标,在2018年CCF国际自然语言处理与中文计算会议(NLPC-C2018)单文档中文新闻摘要评价数据集上进行验证。与BERT基准模型相比,ALBERT-UniLM模型的Rouge-1、Rouge-2和Rouge-L指标分别提升了1.57%、1.37%和1.60%。实验结果表明,提出的ALBERT-UniLM模型在文本摘要任务上效果明显优于其他基准模型,能够有效提高文本摘要的生成质量。

基于TRANSPUTER网络的函数式语言的并行抽象机模型

本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．

基于Petri网流程配置的材料采购系统优化分析

流程配置是业务流程优化的核心内容之一。现有方法主要是对细粒度的流程模型添加配置信息来实现配置操作,细粒度流程模型中存在许多非重要信息导致配置优化复杂,本文提出了基于业务流程模型抽象的流程配置优化。首先依据行为轮廓对源模型进行抽象,经过抽象后使得细粒度的流程模型可以获得行为保持的粗粒度抽象模型。然后对抽象模型添加配置信息,实现业务流程的配置优化分析。最后通过具体的材料采购业务流程模型实例分析,验证了该方法的有效性。

信息转化和信息加工的方法—数学模型

数学模型方法是用数学语言表达事物的状态、关系和过程,经推导、演算和分析、形成解释、判断和预言.在信息社会的今天,它在信息转换和信息加工的过程中起着至关重要的作用.它是信息转换和信息加工的有效工具,是信息的载体.

装备保障指挥Agent框架建模

针对装备保障指挥难以用高度程式化的数学模型进行描述的问题,构建了一种装备保障指挥Agent框架模型。介绍了Agent建模方法,分析了装备保障指挥的指挥流程,并根据装备保障指挥流程和Agent的建模特点抽象出装备保障指挥Agent框架结构,对其中的各Agent内部模块进行设计,并对各Agent之间的通信模式进行了研究,设计的结构模型可为其他同类研究提供参考。

语义数据模型及其建模的探讨

本文首先介绍ＴＡＸＩＳ语言的主要特性，然后阐述ＴＡＸＩＳ建模的方法及ＴＡＸＩＳ系统的特点。

通用型电站锅炉制粉系统设计计算模型及其软件开发

在不考虑锅炉及其辅助设备的情况下,孤立地对煤粉制备设备进行研究,难以全面且准确获得锅炉系统的特性。为此,基于对制粉系统、锅炉本体及其辅机特性的研究,参考过程型机械系统设计模型的理论及方法,通过抽象过程部件及抽象过程物料建立了制粉系统的通用设计计算模型,并以磨煤机为例给出了过程单元的模型定义和算法,进而建立了面向对象的制粉系统设计计算软件模型。实际应用表明,所研发的软件系统具有优良的通用性和准确性。

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

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

面向三维AO定制发布的工艺信息分层描述方法

为了实现飞机不同生产阶段三维装配指令(Assembly Order,AO)完整、快速的发布,提出工艺信息分层描述方法。通过综合分析飞机各生产阶段对三维AO信息的需求,以及装配工艺数据特点等相关内容,构建了面向飞机不同生产阶段三维AO定制发布的装配工艺信息分层数据描述模型,并在此基础上,采用抽象矩阵表示方法,建立了三维装配工艺信息的发布模型。对装配工艺信息分层数据描述模型和抽象矩阵表示方法进行了详细研究,并通过一个三维AO定制发布实例,说明了该方法的实用性。