工作流系统中的PRBAC访问控制模型研究

工作流管理系统（workflow management systems，WFMS）已被企业和政府广泛用于组织的业务流程管理，系统的任务分派一般采用基于角色的访问控制（role-based accesscontrol，RBAC）模型来解决授权控制问题，这为员工的角色或部门变更提供了良好的适应性.然而，随着竞争的加剧和改革的常态化，组织的结构和角色变化日益频繁.另外，一套流程系统实施到不同的组织，也要面对不同的组织结构和角色.RBAC模型导致业务流程定义中的任务授权严重依赖于组织，后者的频繁变化不但会引起授权体系的频繁变化，甚至因影响流程定义而引起执行期的异常.为此，提出了一种基于职位-角色的访问控制（position-role basedaccess control，PRBAC）模型，将角色的粒度细化为组织职位，同时引入业务角色的概念，授权仅针对后者，并通过一个映射层来建立两者的对应关系.证明了PRBAC与RBAC在表达能力上的等价性，并对授权粒度和复杂度进行了分析.通过案例分析，演示了PRBAC模型可以有效提高WFMS应对组织变化的适应性和柔性，实现了组织模型与业务模型的解耦.     

基于移动Agent的校园网络安全管理模型

当前网络系统中涌现了各种各样的安全技术产品,使得系统结构日益复杂,降低了网络系统整体的安全性.本文提出了一种基于移动Agent技术的校园网络安全管理模型.校园网络安全管理模型结合移动Agent技术,充分发挥两者的优势,运用统一的安全策略对网络系统安全进行高效的管理和协调.     

基于工作流的评估管理信息系统

研究了采用工作流管理系统机制的e化评估管理信息系统。该系统能够实现工作流管理系统典型特性：可视化流程表单设计向导，流程自定义，流程角色和用户管理，流程跟踪监控查询统计。系统提供的工作流建模工具用来描述工作流程，采用从模板库内调用用户彩虹 构成专用领域的工作流应用系统，使得工作流可以动态扩展。采用该原型化系统快速构造了一个资产评估管理系统。系统还采用数字电子地图增强地理位置定位准确性和数据可视化，以及内置用户模板库，数值计算方法库和案例知识库，从而提高了系统的集成度，业务重组柔性和评估结果的科学性。     

基于Agent的异常处理在进销存管理系统中的应用

针对基于工作流的进销存管理系统中存在的异常问题,提出了一个基于Agent的工作流异常处理模型,建立了异常监测、分析、处理机制,采用ECA规则建立了异常规则库,利用Agent的自学习性解决系统中出现的不可预测的异常,提高了系统的灵活性和可适应性,增强了系统处理异常的能力.     

基于IP/MPLS的业务流量矩阵修正模型

基于IP／MPLS的业务流量矩阵是在理想的状态下获得的，为了得到准确的业务流量矩阵，通过对业务流的到达过程的分布情况进行了分析，然后在推导出包丢失的业务理论模型的基础上进一步推导出业务流量矩阵修正模型．     

工作流技术在办公自动化系统中的应用

工作流技术是办公自动化系统中提高综合办公能力的先进手段之一，本文结合我院实际情况，建立了基于工作流技术的OA系统模型，着重分析了在OA系统中工作流的管理环境，以及对发文工作流程进行petri网分析。     

Multi-agent技术在供应链管理中的应用

研究了基于遗传算法的Multi-agent技术在供应链管理中的应用。首先利用Agent技术建立了一个由多模块构成的供应链模型;重点研究了利用遗传算法实现供应链管理过程的优化,并给出实例分析。研究结果表明,对于这类复杂非线性系统的优化问题,运用Multi-agent技术,并结合遗传算法,可以取得较好结果。     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

基于工作流的网上广告客户服务平台

主要针对目前广告公司中的客户服务业务活动由于时间协调、处理流程复杂且不统一等问题,引入工作流技术,为实现计算机对于传统客户服务工作流程的模拟以及实现流程重组及优化提供了一个很好的解决方案.在此基础上进行了MVC架构模式分层,整合Spring+Hibernate+Struts框架,设计出一个轻巧而系统结构优良的工作流引擎,弱化了以往工作流系统设计中各组件的强依赖关系,增大了系统的灵活性.同时从工作流建模的角度对广告公司客户服务工作的过程进行分析,并就系统技术的进一步实现做了探讨.     

面向数据流挖掘过程的算法管理框架

结合数据流的特点,提出了一种面向数据流挖掘的过程模型PM-DSM。针对目前数据流挖掘过程中存在算法众多但利用率低的问题,提出了一种基于Web服务的数据流挖掘过程模型算法管理框架PMAMF-DSM,描述了该框架的体系结构和运行机制,并用UML活动图给出了框架的实现语义。在Eclipse上基于该框架实现了一个数据流挖掘算法管理系统,实验结果表明了该框架的灵活性与自适应性。     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

GMA架构下监控信息工作流模型探讨

分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.     

电控式VE分配泵的理论与实验研究

详述新研制的电控式VE分配泵的结构特点、工作方式和控制原理。将新研制的电控式VE分配泵和机械式VE分配泵同时匹配JX493Q1改型发动机，性能试验结果表明：电控式VE分配泵在发动机动力性和经济性方面较机械式VE分配泵具有明显的优势。从发动机外特性的走热来看，前者的外特性走势较后者更为理想，说明匹配电控式VE分配泵的发动机适应外界负荷变化的能力更强。     

基于树形拓扑网络的实用拜占庭容错共识算法

实用拜占庭容错算法在节点数量较多的广域网环境下存在性能瓶颈.为提高该算法的可扩展性,基于树形拓扑网络将全网范围共识拆分为若干子网范围共识;同时引入信誉模型以降低错误节点在共识过程中的影响力,提高系统的安全性、容错性与可靠性.实验结果表明：所提算法的性能明显优于原有算法,表现出良好的可扩展性,可用于大规模许可链系统.     

基于流量特征的混合式自组网协议可扩展性研究

根据MANET研究组所建议的路由协议可扩展性评价准则,对移动自组织网络的可扩展性进行了分析与讨论.通过建立数学模型,分别考查了域内路由算法FSR、域间路由算法DSR,并对协议主要性能指标的可扩展性因子进行了讨论.研究结果表明,混合式路由协议(DSR FSR)的方式具有快速收敛、路由信息稳定可靠、网络环境适应性强的特点,适用于网络环境与参数变化复杂的网络环境.     

基于工作流的MIS开发工具:WF-MIS

分析了MIS开发工具支持MIS中流程定制和控制的实现的必要性。介绍了工作流技术的特点,提出将工作流技术应用到MIS开发工具中以实现MIS中的流程定制和控制;详细介绍了利用工作流构建的MIS开发工具WF-MIS的体系结构和实现过程,并介绍了如何利用其进行MIS开发．     

支持子网整体漫游的MIP-RS协议

针对子网整体移动的问题,分析了移动IP的不足,借鉴IPv6中的网络移动性,提出在现有IPv4网络中可支持子网整体漫游的MIP-RS协议. 移动子网以STA/AP为网关,通过家乡代理、外地代理和网内选路代理之间的协作,结合隧道技术实现了多跳的移动IP,突破了移动IP技术中从家乡代理与外区代理间隧道出口到移动点只能有“一跳”的限制,使网络中所有节点可通过多跳访问移动子网中的节点,实现移动子网的漫游. 基于自行研发的STA/AP实现了MIP-RS. 实测结果表明,在子网以车速移动时移动子网中的节点和固定网络中的节点能进行高速双向数据通信.     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.