基于产品多模型协同机制的工作流管理系统研究

通过对工作流管理系统 ( Wf MS)功能组成的定义和分析 ,建立了基于复合三元组的工作流管理系统模型 ,并对 Wf MS组成部分相互之间的逻辑关系进行了分析和分类 .结合 Wf MS涉及整个产品形成周期的特点 ,利用产品多模型协同机制对产品形成过程的约束和协调 ,构造了基于产品多模型协同机制的 Wf MS框架结构 ,并对该框架结构的运作原理和产品多模型协同机制在系统中的作用进行了研究.     

电子政务系统中基于组织的访问控制方法和模型

从基于角色的访问控制(RBAC)模型在面对当前多级、多部门、分布式复杂电子政务系统时所体现出的处理能力上的不足入手,通过深入分析组织、组织结构和岗位三者的概念和内涵以及组织在电子政务系统的权限管理和访问控制工作中所具有的核心地位,引入基于组织的访问控制方法,并基于此构建其实现模型——OB4LAC模型。通过对OB4LAC模型的具体分析,给出其组成成员、形式化描述、子模型UPA、PORA、PERA和RRA各自的运行和管理方式,以及在进行组织间访问操作和业务协作时的处理流程,并进一步结合电子政务系统的实际应用案例,对OB4LAC模型的优势和适用性进行了分析和阐述。     

空间数据库管理系统VISTA的角色访问控制设计

从角色安全定义、角色访问设计角度讨论了空间数据库管理系统VISTA中基于角色的访问控制(role-based access control,RBAC)的设计方案及其实现方法。通过对角色偏序关系和角色管辖域的讨论,说明了该设计方案的可用性和安全性。通过定义虚拟用户的概念,解决了当主体删除时,所属客体的存在性问题,保证了数据的可用性和可继承性。同时给出了该方法的基本算法流程及相应的安全信息数据结构。该方法可以移植到其他相似的ORDBMS中。     

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

一种基于角色的协同仿真系统访问控制模型

针对当前协同仿真系统中的应用需求,提出并实现了一种基于角色的协同仿真系统访问控制模型.在这个模型中,通过建立用户.角色_权限三者之间的映射关系,并进行统一管理和维护,提高了协同操作中的灵活性和有序性.同时充分利用已有仿真系统的属性扩展特点,验证了该模型的可行性.     

工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

支持多群体同步协同的工作流若干关键技术研究

近年来人们已开始重视同步的工作流研究，但对多个群体同时同步协同的研究还不多见。本文的背景是软件开发，它的过程中往往会出现多个群体同时进行同步协同的情况。为了更好的支持软件开发，本文在工作流中引入了四种新的群体协同型活动节点，提出一种企业组织模型，另外本文还提出一种多个群体同步协同工作时成员的冲突检测算法，从而能够较方便地实现含有一个或多个群体同步协同工作的工作流管理系统。     

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

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

支持企业过程再造的柔性工作流模型

为克服传统流程模型不能有效支持 BPR的问题 ,本文采用工作流技术 ,提出了一种全面支持BPR的柔性流程模型——工作流模型 ,它不但支持对现有流程的优化 ,而且还给出了进行流程再设计的具体实现方法 .最后我们还对这一模型的一致性进行了验证.     

基于Petri网的强制访问控制模型及其安全分析

强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略.     

基于时态的多级数据访问控制方法

传统的基于身份认证和存取控制的数据库安全机制存在一定的局限性,如无法防止合法用户权限滥用等非法行为。为对数据库存取控制作进一步的扩展,提出了一个基于时态的访问约束模型,以多级数据关系为基础,对数据的访问操作、查询基数和表关联进行约束。文中给出了模型定义、模拟实现及其编译方法,并显示出该模型具有良好的表达力和灵活性,可有效防止数据库内部权限滥用等非法行为。     

装备保障中基于信任和预测的访问控制模型

为保证航空装备保障系统中适量的保障资源的安全授权,同时授权能够根据用户历史行为进行变更,在基于角色的访问控制模型基础上引入了信任和预测,提出了基于信任和预测的访问控制模型。角色只有在信任度要求满足时才能被激活,只有数量在属于预测区间时才能被分配给权限。设计了信任和预测机制,并结合具体实例对模型的使用进行了分析。结果表明,基于信任和预测的访问控制模型能够对航空装备保障系统中的资源实现灵活和有效的访问控制。     

An explication of the viable system model for project management

This paper describes how to model proejct management using the Viable System Model. It gives a general overview of the model and explains in detail how to model System 4, Systems 3-2-1, the interactions between System 3 and System 4, and the interactions between management at different levels of recursion.     

非线性系统基于HM模型的变结构控制

对非线性系统的稳定控制问题进行了研究，基于HM模型对非线性系统进行描述，并将全局HM模型表示成含不确定项的形式，在满足匹配条件下，采用稳定性理论设计出确保HM模型全局渐近稳定的滑模变结构控制器，用一级倒立摆进行仿真验证，控制器结构简单，只用较少的模糊规则，就能得到满意的控制效果，成功地将变结构控制应用于非线性系统，有推广应用价值。     

工作流扩展模型及其性能等价分析

针对现有工作流模型表达能力的不足,基于工作流控制模式的最新研究成果,通过扩充和调整得到8种工作流基本控制模式。基于8种工作流基本控制模式,对WFMC定义的4种工作流基本模型进行扩展,得到了合理的、满足封闭性要求的6种扩展工作流基本模型,丰富了工作流模型的表达能力。从统计学角度推导了基于随机Petri网的选择、容错和嵌套模型的性能等价计算公式,给出了一种定量分析工作流模型性能参数的通用方法。     

一种基于角色的知识管理系统的动态组装模

在分析了知识管理系统(KMS)的组装技术和基于角色访问控制(RBAC)的特点的基础上,提出了一种基于角色的知识管理系统动态组装模型,并且还进一步给出了该模型中访问控制表的设计、知识管理系统的动态组装模型和客户程序与知识管理系统构成组件间的交互过程。基于角色的访问控制可以将KMS的使用置于多级的访问控制保护之下,增加了KMS与知识库的安全系数,从而有效地支持知识的动态重用、知识使用过程的动态重组,增强知识管理系统的分布式处理能力和规模可扩展能力,还可以在不影响KMS运行的前提下,实时的更新、升级系统的各个功能;易于实现有效的知识管理,以及知识资源的共享和充分运用。最后,通过一个实例说明了给出模型的实现技术。     

Switching control system based on robust model reference adaptive control

For conventional adaptive control, time-varying parametric uncertainty and unmodeled dynamics are ticklish problems, which will lead to undesirable performance or even instability and nonrobust behavior, respectively. In this study, a class of discrete-time switched systems with unmodeled dynamics is taken into consideration. Moreover, nonlinear systems are here supposed to be approximated with the class of switched systems considered in this paper, and thereby switching control design is investigated for both switched systems and nonlinear systems to assure stability and performance. For robustness against unmodeled dynamics and uncertainty, robust model reference adaptive control (RMRAC) law is developed as the basis of controller design for each individual subsystem in the switched systems or nonlinear systems. Meanwhile, two different switching laws are presented for switched systems and nonlinear systems, respectively. Thereby, the authors incorporate the corresponding switching law into the RMRAC law to construct two schemes of switching control respectively for the two kinds of controlled systems. Both closed-loop analyses and simulation examples are provided to illustrate the validity of the two proposed switching control schemes. Furthermore, as to the proposed scheme for nonlinear systems, its potential for practical application is demonstrated through simulations of longitudinal control for F-16 aircraft.     

Predictive control for mechanical system with backlash based on hybrid model

The mechanical system with backlash is distinguished between a “backlash mode” and a “contact mode”. The inherent switching between the two operating modes makes the system a prime example of hybrid system. For eliminating the bad effect of backlash, a piecewise affine (PWA) model of the mechanical servo system with backlash is built. The optimal control of constrained PWA system is obtained by taking advantage of model predictive control (MPC) method, and the explicit solution of MPC in a look-up table form is figured out by combining the dynamic programming and multi-parametric quadratic programming, thereby establishing an explicit hybrid model predictive controller. Furthermore, a piecewise quadratic (PWQ) function for guaranteeing the stability of closed-loop control is found by formulating the search of PWQ function as a semi-definite programming problem. In the tracking experiments, it is demonstrated that the explicit hybrid model predictive controller has a good traction control effect on the mechanical system with backlash. The error meets the demands of real system. Further, compared to the direct on-line computation, the computation burden is reduced by the explicit solution, thereby being suitable for real-time control of system with short sampling time.     

基于系统动力学的建筑废料管理模型

运用系统动力学方法对建筑废料管理问题进行了研究,通过对建筑废料管理中诸多影响因素间关系的分析建立了包括建筑废料产生、现场分类分拣、废料填埋场和公众堆填等四个子系统的建筑废料管理模型, 并利用iThink软件进行了仿真.结果表明:将系统动力学应用于建筑废料管理可以较好地反映所研究系统内因素间的复杂关系,该方法可为建筑废料的预测和宏观管理措施的制定提供指导与借鉴.