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

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

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

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

基于网络的协作式教务管理平台的研究与设计

通过对高校教务管理平台现状的分析,结合教务管理的特点,运用CSCW技术和微软的.Net平台构架一个协作式的、通用的、开放的教务管理平台,阐述了基于网络的协作式教务管理平台的设计框架和系统逻辑结构,以实现教务信息管理的自动化、网络化和协作化.     

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

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

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

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

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用,描述了Petri网的视化运行的表现形式,介绍了Petri可视化运行的设计方法。     

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

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

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

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

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

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

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

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

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

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

分布式控制系统关键技术研究

分布式控制系统解决了以往以传统仪表、可编程控制器（PLC）为基础的控制系统所存在的信息传送实时性差、数据无法共享、管理难度大等诸多难题．该文以糖厂控制管理系统为例，对分布式控制系统的组成及其功能进行了分析，并对相关的关键技术进行了研究．实现了高效、可靠的控制点数据的上传及下载，对控制点数据结构定义与管理，I／O设备管理，数据处理流程等做了深入的分析，并设计了实现数据库存取的部分代码．     

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

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

基于ControlLogix平台的配料系统设计研究

开磷集团HGB项目的配料系统是以ControlLogix为硬件平台和ControlNet为网络平台,将PLC、变频器、触摸屏、称重仪表连接成一个统一的整体,对配料系统的各种机电设备进行就地/远程控制和监测,从而完成了对配料的自动化,在国内具有领先水平。对其他行业的配料控制亦有很好的借鉴和指导作用。     

DCS控制系统在非稳态制酸工艺中的应用

分析非稳态制酸工艺的特点及要求,采取合适的检测方案,并由此搭建合理的软、硬件平台。从净化、干吸、转化等到压力、温度、SO_2浓度、酸浓度的监测;以及根据床层温度(或者时间)自动进行入塔烟气换向等方面用微机监控系统进行综合控制,探讨了DCS控制系统在制酸工艺中的应用。     

多回路分布式控制系统网络传输周期的选取

控制回路的网络传输周期是安全优先分布式控制系统的重要设计参数. 为求取该参数,在对多回路安全优先分布式控制系统建模后,提出了基于控制性能和网络调度的协同设计方法,并给出该方法的形式化表达式. 利用状态相对误差及李雅普诺夫等理论,建立该方法中回路性能的描述函数,推导出了指定稳定度约束下的最大允许传输间隔求取公式. 最后的仿真实例证实,该方法不仅能保证网络的可调度性而且能保证回路具有指定的动态性能.     

基于对角递归神经网络的非线性逆动态控制

采用2个对角递归神经网络(DRNN)构成非线性逆动态控制系统，一个用作辨识器，逼近系统的正模型，为逆动态控制提供系统的灵敏度；另一个用作控制器，逼近系统的逆动态模型，再与原系统串联组成伪线性系统．仿真结果表明该控制方法实现了对非线性系统的有效控制。     

远程网络教育系统中资源建设的研究

利用计算机网络技术，将现代教育技术手段引入教学中，实现网络教育，改革传统的教学模式．网络教育在我国是新生事物，具有巨大的潜在市场，有其自己的特点．网络远程教育资源的内容包括很多，文中论述了网络课程、精品课件、教育网站等资源建设．丰富网上资源，充分体现网络教学的优越性．