基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

基于Petri网的产品设计过程工作流结构化建模与仿真

产品设计过程的工作流管理是产品设计的核心管理过程,直接影响着项目的开发周期和整体效益.为实现对产品设计过程工作流动态性和不确定性的管理与控制,在研究工作流结构化建模相关问题的基础上,提出基于Petri网的产品设计过程工作流结构化建模方法,定义了基于Petri网结构化建模的七种基本结构模块,确定了顺序、重叠、迭代、耦合、分支和连接模式为工作流结构化建模核心模式.以某办公楼的设备详细设计过程为例,进行工作流结构化建模和仿真分析,验证基于Petri网的产品设计过程工作流结构化建模方法的正确性和有效性.     

基于Petri网和UML活动图工作流建模比较

在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用，然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析，认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上，讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较，通过分析认为，Petri网更适合于封闭，主动系统的建模，UML活动目能够较为充分的适应开放、响应型系统的建模。Petri网较适合对稀有资源的建模．因此UML活动图更适合工作流这种开放，响应型系统建模。     

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。     

一种扩展数据对象工作流Petri网模型

为建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,本文采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型.     

基于多Agent的企业过程建模和仿真技术研究

工作流技术和集控Petri网方法是企业过程建模和仿真的支撑技术,将二者巧妙地结合起来,能为实现过程集成提供有效的帮助。当前的大多数工作流管理系统忽视了工作流之间的资源约束关系,基于多Agent的工作流管理系统能够有效地解决这个问题。首先讨论了基于多Agent的工作流管理系统,给出了基于多Agent工作流的企业过程的建模、仿真、使能系统的模型。然后介绍了将基于多Agent的工作流模型转化为集控Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

基于Petri网和抽象方法的工作流模型分解

Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法.     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

差异、系统与和谐

有了差异就会有各种事物之间的相互作用,有了相互作用就会有变化和运动。有了变化和运动,才会有不同事物的存在和发展,才能呈现出事物与环境之间一与多和多与一相互关系的存在,才能有在差异前提下形成统的必然性和现实性。有了这样的必然性和现实性,一与多和多与一的存在关系,就是不同事物内部不同构成因素,以及不同事物之间及与其环境之间构成不同形式和性质统一体即系统的现实根据。     

ExtendSim模型与数据驱动的指控流程建模与分析

联合作战背景下的指控流程(command and control process, CCP)涉及同层级内不同指控单元之间的横向信息交互与不同层级间的纵向信息交互。针对这种复杂化与多元化指控流程,研究了如何利用ExtendSim仿真工具对指控流程进行模型构建、验证、评估与优化。首先,通过对指控流程特点进行分析,抽取通用的要素类型,包括实体和关系要素,并映射到ExtendSim关键模块;其次,构建“指控流程要素-ExtendSim模块”的转换规则,提出构建ExtendSim指控流程模型的方法步骤;然后,研究基于ExtendSim的指控流程可行性验证方法(行为一致性、可执行性、合理性验证),提出了基于ExtendSim的指控流程评估指标(任务平均耗时、任务平均等待时间与任务最大处理容量),并研究了基于ExtendSim的指控流程优化方法;最后,通过一个通用反导指控流程案例,验证了所提建模与分析方法的可行性与有效性,可以为指控流程的建模与分析提供支撑和参考。     

建模与仿真的回顾及展望

建模与仿真技术在我国发展迅速，并取得很大成绩，其应用范围已扩大至产品的全生命周期：设计、制造、试验、维护、训练。本文回顾我国建模与仿真技术的发展，探讨建模与仿真的某些关键技术。     

信任与小微企业信贷:引入互利和利他动机的博弈与实证研究

银企信贷关系中的信任,可以有效减少代理成本和机会主义行为,对缓解小微企业信贷约束有重要启示.提出一个银企间信任的博弈分析框架,从自利、互利和利他三方面分析信任的动机,并通过问卷调查实证检验银行信任对小微企业贷款可获得性的影响.结果表明:1)信任对信贷博弈均衡结果产生关键影响,双方较高的互利倾向和正的利他倾向可促使帕累托最优均衡的实现,且随着关系距离的拉近和信任的加深,双方利他与互利倾向逐渐增强,信任与合作可能演化为长期稳定均衡;2)银行信任对小微企业信贷获取的影响显著,高程度的信任有助于提升小微企业的申贷成功率.为小微企业信贷中的信任研究提供了有力证据,也为解决小微企业融资难问题提供了参考.     

可视化及漫游技术的研究与实现

本系统是基于Creator和Vega平台,设计并实现了可选择路径的交互式漫游。根据校园内的特点,对实景进行拍摄并制作各种纹理贴图,应用photoshop软件对纹理贴图进行处理,实现了一种快速的实景建模解决方法,并使得人机工程学的理论得到了引用与应用。灵活的运用了三维建模的关键技术,建立校园的3D模型。然后将模型导入到仿真软件中设置仿真过程。并根据要求对仿真软件进行二次开发,用以实现选择路径的漫游。     

核心产品及其开发与评价

企业的核心产品表现为实物和概念两种形态，其商业形态是概念形态与实物形态的耦合。核心产品是产品平台与平台产品的桥梁，是企业核心竞争能力的固化栽体和商业平台价值的具体展现。核心产品的开发必须把握开发流程的特殊性．以顾客的核心利益为导向，投资于核心团队。核心产品的机会评价涉及评价指标、评价模型和各指标的权重。     

公司多阶段财务危机动态预警研究

以上市公司的季度数据为研究样本,以指数加权移动平均控制图模型为研究方法,以被实施特别处理和暂停上市为两个财务危机演变状态,建立了一个多阶段动态财务危机预警模型;实证结果表明,该模型对上市财务危机公司具有较好的预测效果,有较大的应用价值.     

雨水汇集利用与半干旱地区农业可持续发展

通过对雨水汇集利用机理、降水特征及雨水利用状况分析,结合本地区开展的集雨工程建设,说明了雨水汇集利用技术不仅解决了中部地区人畜饮水问题,还成为当地农业经济发展的增长点。针对当前开展的雨水集流工程状况,提出今后还要加强科学规划、合理分配水资源、加强研究和推广雨水高效利用技术等,旨在为当地开展的雨水集流利用技术提供指导。     

柔性炼钢连铸仿真调度系统及其关键技术

针对炼钢连铸系统，提供了一种较为通用的仿真调度系统设计方案，并讨论其中的关键技术，如提供图形化组态平台，运用反向调度实现出钢计划粗调度，正向仿真解决机器冲突，并在调度中考虑了运输时间，最后，运用该系统对一个实际生产系统进行仿真调度决策，结果令人满意。     

应急管理中资源布局评估与调整的模型和算法

制定应急预案是应急管理的重要工作之一,由于地区对应急资源的需求随突发事件的级别不同而不同并且可能随时问发生变化,因此在应急预案制定过程中,评估已有资源布局对地区需求的保障程度显得十分重要.本文构造一个基于时间、资源供给和需求的损失函数,用于评估给定资源布局下可能出现的各个级别突发事件对地区造成的损失.对损失值较大的资源布局建立优化模型进行调整,优化模型考虑到了增加或者减少应急服务点的个数以及增加应急服务点的资源量,是集选址和资源配置于一体的模型,文章最后讨论了算法并给出一个算例.