OA系统工作流的工程模型与实现

鉴于OA系统的实际业务不但需要经常调整，而且需要工作流程控制技术的支持，提出了一种工作流工程模型，该模型将OA系统的实际业务与工作流程控制结合在一起，缩短了业务流程或行政办公流程再设计的周期，降低了成本．现模型已应用到实际的应用系统中，取得了比较好的效果．     

电子政务环境下基于PMI的工作流管理系统安全模型和授权策略研究

在对工作流的经典安全模型、PMI授权管理系统和工作流管理系统访问控制技术的研究基础上,将PMI引入到工作流管理系统经典的安全模型中,建立了电子政务环境下基于PMI的工作流管理系统安全模型,同时将基于角色和任务的访问控制引入到工作流管理系统安全模型的PMI授权策略中,扩展了基于角色的PMI授权策略．在论文的最后,对改进的安全模型进行了初步的实现,验证了模型的合理性．     

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

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

分布式防火墙中的访问控制策略模型

为解决分布式防火墙中客户端的策略分发问题,借鉴基于角色的访问控制思想,提出一种适合于分布式防火墙环境的访问控制策略模型,策略服务器制定全局策略和角色限制策略,并通过集合运算制定出角色策略,再将其划分为用户级角色策略.对于相同角色的客户端,安全级别和访问权限相同,有效降低了为众多客户端分别制定特定策略的复杂度,规则检索的时间复杂度为O(1).测试结果表明,策略交互产生的网络流量对正常网络流量影响较小.     

面向角色方法在工作流仿真中的应用研究

随着工作流的发展,工作流建模技术已经成为了一个重要的课题.介绍了面向角色的建模方法,以及建模仿真平台Ptolemy Ⅱ,利用该平台的面向角色的建模思想,采用层次异构的思想组合各类组件来实现工作流建模仿真工作.同时对实际工作流模型案例进行了分析,采用面向角色的建模思想,在Ptolemy Ⅱ平台上完成了建模设计,仿真结果与模型中的计算结果进行了对比,得出二者的结果基本一致,解决了工作流仿真中遇到的并发性问题.     

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

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

访问控制模型分析

自20世纪70年代起,Denning、Bell、Lapadula等人对信息安全进行了大量的理论研究,特别是在1985年美国国防部颁布可信计算机评估标准以来,系统安全模型得到了广泛的研究,并实现了多种安全模型。在这些模型中,总体上可以分为2大类,即访问控制模型和信息流模型。     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.     

工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

一种扩展角色访问控制模型的设计与应用

针对传统的RBAC模型的不足,对角色权限及角色层次关系进行了分析．提出了一个改进的角色访问控制模型-ERBAC．并应用实例说明．新模型在描述同样的角色关系时角色数量比传统模型要少,因而比传统模型更加简化和直观,特别适合于管理信息系统的应用．     

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

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

数字校园中实现基于角色访问控制的一种方法

为了解决数字校园中越来越复杂的权限管理问题,通过对现有访问控制技术的分析,提出一种实现基于角色的访问控制方法.权限管理系统整体采用J2EE框架,用XML编写访问控制规则,利用规则对数据集从行、列和时间等3个方面进行访问控制,较好地适应了数字校园中各业务系统灵活多变的需要.     

普适计算环境下基于信任的动态模糊访问控制模型研究

普适计算已经成为一种主流的计算模型,其安全性也成为研究重点.传统的访问控制无法解决普适环境中访问主客体不相关与信任度动态调整的问题.本文结合模糊集合理论,提出了一种基于信任度的动态模糊访问控制模型,将用户信任度划分为原始信任度与动态信任度两部分,并给出了用户信任度的基于区间值的加权模糊推理方法,让访问控制过程更加适合普适计算环境.     

基于策略的组播接入控制研究

当前使用的IP组播模型不提供接入控制,任何用户可以向组播地址发送数据,也可以任意加入组播组成为成员接收数据.在具体分析了组播参与者^①的不同类型和对接入控制的不同要求后,引入了策略控制系统,提出了基于策略的组播接入控制,给出了该系统的模型,并具体阐述了用户接入时的请求、应答、配置ACL的过程.     

经济系统中投资控制模型的解

本文考虑了经济系统中的固定投资控制模型,利用变换方法,将投资发展方程化成了L(o,am)中的抽象发展方程,可得投资方程存在唯一解。     

预测控制在数控机床伺服系统中的应用研究

提出一种采用模型算法PI预测控制及其在数控机床伺服系统的应用方案,对预测控制三要素（预测模型,参考轨迹和控制律）作了详细的论述．模型算法PI预测控制使数控机床伺服系统实现了快速、精密的位置控制．经仿真和实测践表明,谊系统具有较好的鲁棒性和跟踪性能．     

基于管道配置的电液位置控制系统同步特性研究

针对径锻机一级先导缸电液位置控制系统同步精度低的问题,运用AMESim软件研究了第一类管道配置对径锻机一级先导缸电液位置控制系统同步特性的影响。研究发现:系统同步误差随着管道长度的增加而增大,且伴有波动现象,管道长度为3m时最大同步误差是管道长度为1m时的1.4倍;管道长度为1m时的最大同步误差为无管道时的1.1倍;管道材料的杨氏弹性模量越小,对应系统的同步误差越大。