基于.Net的工作流管理系统设计

工作流管理系统在企业、电子政务、银行、图书馆等行业领域有着广泛的需求和大量的应用,目前正向基于Web、分布式和异步处理的方向发展。探讨利用.Net技术改善传统工作流的开发和部署过程,研究如何利用.Net技术实现办公工作流应用;提出了基于.Net的工作流总体框架;通过.Net组件实现COM+服务,实现工作流流转;结合数据库与XML技术,研究如何通过Asp.net页面提供管理及流程、规则定义支持。

基于DotNET平台的应用程序开发框架的研究

介绍了基于Web的分布式应用系统的框架结构模型,讨论了数据库访问、用户安全、通用的用户控件、工作流和工作任务等的功能与实现。研究成果已经用于资产管理、人力资源管理等产品的开发,应用实践表明该框架的设计技术先进,性能优良,功能强大,完全满足分布式应用系统的开发需要。

基于WF-net的流程距离测度模型研究

流程比对一直是业务流程管理的一个研究热点。它是指通过比较得出两个流程的相似度或相异度。流程距离是对两个流程相异程度的描述。在WF-net的基础上,明确提出了流程距离的概念,并在业务控制流及其资源的角度上建立了流程距离测度模型,用于测量两个流程之间的距离。通过分析得出:在多个流程中,能够找到与指定流程最近或最远的流程。证明提出的流程距离测度方法是可行的。

基于.NET2.0平台实践教学管理系统的设计与实现

针对传统实践教学管理效率低、时效性差造成大量工作重复的弊端,基于ASP.NET2.0和SQL SEVER2000技术,采用Microsoft Visual Studio2005编程环境开发了一套实践教学管理信息系统,利用WEB技术较好地解决了高校实践教学管理中存在的实际问题。

基于．NET平台的办公自动化系统的研究与实现

介绍了办公自动化的基本概念、特点和办公自动化的现状和发展趋势，并对办公自动化实现技术进行了分析研究。以．NET为平台，采用B／S（浏览器／服务器）三层结构为办公自动化系统的结构基础，设计了工作流管理系统体系结构、工作流参考模型。

基于随机Petri网的车险理赔效率建模与分析

为提高车险理赔效率,构建车险理赔效率随机Petri网模型,基于工作流网结构和实务操作流程分析模型的正确性并改进模型,采用软件PIPE验证模型的合理性。以某保险公司500起车险事故理赔数据为研究对象,构建与随机Petri网同构的车险理赔效率马尔可夫链,分析车险理赔流程中的低效率环节。结果表明:拒赔、定损和赔款处理流程耗时较多,与车险理赔实际情况吻合。车险理赔效率随机Petri网模型通过变迁利用率和标识流速能动态地描述车险理赔系统的运行时效。根据车险理赔效率分析结果,可缩减定损环节和赔款处理环节时间,显著提升保险公司的车险理赔效率和客户的服务体验。

C^4ISR系统开发的仿真支持过程分析与建模

C4ISR(Command、Control、Communication、Computer、Intelligence、Surveillance and Reconnaissance)系统开发的仿真活动贯穿于系统全生命周期的各个阶段,仿真支持过程联系着C4ISR系统开发仿真的各类要素。首先对C4ISR系统开发仿真支持的内容进行分析,从生命周期维、仿真产品维和仿真任务维三个维度描述仿真支持内容之间的联系。然后分析了C4ISR系统开发仿真支持过程的层次性,应用UML描述了支持过程中的仿真项目模型和仿真过程模型。在此基础上,应用基于Petri网的工作流网,对C4ISR系统开发的仿真支持过程进行建模,分析了支持过程中活动、产品、角色、约束四类要素的Petri网表示方式。最后在一个C4ISR系统开发仿真支持实例中应用以上分析和建模方法,验证了方法的可行性和应用效果。

集不变条件下的服务组合演化行为研究

从业务逻辑的一般性变更与演化需求出发,研究了服务组合中服务集合不变条件下的服务演化行为,提出了组合服务的合理演化行为集SEBS(Sound Evolution Behavior Set),定义了一组服务工作流程结构调整的基本演化操作,证明了演化行为集SEBS能够保持演化后组合服务的合理性,从而能够保证在发生基于业务流程变更的服务组合演化操作后,其内部流程逻辑的合理性不变,并通过服务组合演化示例进行了实际应用说明。

基于Petri网的工作流引擎研究与实现

本文分析了工作流引擎调度中过程实例和活动实例的状态信息,并以Petri网的建模理论为基础,给出了工作流模型到Petri网的映射算法;以关系数据库和.NET来实现工作流的执行引擎,给出了完整的过程关系E-R模型及其相关数据模型,对引擎中核心调度算法进行了阐述。应用实践表明,引擎的设计思想正确。

基于Petr i网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.

产品开发过程资源管理及其仿真

资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类,形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件,建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真过程中,实现了对资源使用性能的定量分析和资源优化配置。从仿真结果看,该方法具有很好的应用价值。

一类节点与弧的容量均有限制的随机流量网络可靠度的计算

现实生活中的许多系统常可以用节点与弧的容量均有限制的随机流量模型来描述。给定要求d,这种网络的可靠度定义为最大流不小于d的概率。通过系统扩展,提出了两个简单的算法以找出系统的最大下界向量和最小上界向量,从而进一步计算出系统系统的可靠度。可以看到,通过这种系统扩展,许多已有的算法都可应用到这类比较复杂的系统中去。

基于网络流理论的矿井通风网络可靠性研究

矿井通风网络是通风系统的重要组成部分,对其进行可靠性研究具有非常重要的意义。针对矿井通风网络系统的自身属性,结合网络流理论建立了通风网络可靠性评价模型。对各风路的风量进行动态实时监测,并运用统计学方法分析了风网中风流的变化趋势及风量分布规律,得到了通风系统中任一风路风量的分布密度函数,进而推导出各风路的可靠性指标值。运用简化的邻接终点矩阵法求解通风网络最小路集并基于MATLAB编程实现此算法。提出了一种简化的不交化最小路集算法:对于任一长度为m-1的最小路,只需在其中添加n-m+1条该最小路中不出现的分支的逆,就可直接获得不交化结果,其余最小路采用BDD算法进行不交化运算。通过以上方法可量化分析通风网络的可靠性。最后通过实例解算检验其可行性。

天津地铁客流发展规律及特征分析

天津地铁网络化运营初步形成后,线网客流出现了急剧性增长特征。详细介绍了天津地铁线网客流成长过程、发展规律和客流特征,包括客流构成、客流时间和空间特征等,以期为其他城市轨道交通网络化运营过程中的运营管理及客流预测、分析提供参考。

工作流加密协调的建模新方法

论文针对目前工作流协同机制中自组织和自适应策略表达能力差等缺陷,探讨了基于树结构的加密协调模型的一种新构建方法.首先,论文描述了基于树结构的加密协调模型并剖析总结了现有体系制约这一模型构建的多种原因;然后以电子公文的处理为例,基于有色Petri网的相关理论,提出了密钥驱动的一种新建模元素.进而,原系统在功能增加的同时API接口并没有发生改变,便于现有使用产品的技术升级.

关于HIS的一些问题的看法

从功能和层次两方面概括总结了医院信息系统(HospitalInformationSystem,HIS)基本内涵,并按准备、分步实施和集成应用三个阶段浅析建设HIS时可能遇到的问题及解决办法,其中着重强调了业务流程优化的问题。

灾变通风中矿井多风井异步反风的仿真实现

为更准确描述矿井反风时期通风系统网域中风流与瓦斯的变动过程,定义了通风机可能出现的停机、单机运行和双机运行等3种工作状态,给出对应状态编码。结合鹤壁矿区八矿实例,运用TF1M3D进行仿真分析,仿真结果与现场实测各特征点的瓦斯浓度相拟合。反风开始,通风机停机,矿井依靠自然风压通风,风量小,出现短时间的瓦斯积聚。通风机反风启动后,工况点发生变动;风流随之变化,工作面瓦斯出现高峰超限现象;随着反风的进行,运移瓦斯的浓度呈阶段性的降低。TF1M3D描述异步反风时矿井系统瓦斯气体组分变化的仿真。

敏捷农产品物流网络可靠性研究

物流网络的可靠性是衡量农产品物流能否及时顺利地完成指定任务的重要指标。在实际网络中每条边的容量都可以取不同的值或失效,状态是随机的。对于易腐性的农产品来说,物流网络的可靠性就更为重要了。文章提出用随机流网络来模拟农产品物流网络,并加上时间的限定来体现敏捷性的要求,用在最小割集基础上的一种简单的方法来评价敏捷农产品物流网络的可靠性。

基于Petri网的组件化工作流模型研究

本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和移植性;并以建立网络科技信息资源加工审核系统模型为例,阐述了组件化建立工作流网的过程,并通过基于不变量的方法对工作流网的活性和有界性进行分析,验证了模型的可行性。