带时间特性的角色访问控制

基于角色的访问控制模型的研究工作近年来得到了广泛的重视,但主要工作均立足于与时间特性无关的其他方面.形式化描述了一个引入时间后的角色访问控制模型.在该模型中对原有授权约束进行了时间扩充.提出的相应算法解决了时间授权约束和会话的状态转变问题.同时分析了模型的一致性状态,并讨论了一致性状态维护问题.  

工作流系统时间管理

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  

模糊判断矩阵的一致性及其性质

针对决策者对有效方案集给出的一类两两方案比较的模糊判断矩阵，从理论上提出关于模糊判断矩阵一致性的定义及其性质，为进一步研究模糊判断矩阵的方案排序等问题奠定了基础。  

层次分析法中高阶平均随机一致性指标(RI)的计算

利用层次分析法分析和解决问题时,要对通过两两比较判断出的矩阵一致性进行检验犤1犦。高阶平均随机一致性指标的值一般无法直接通过查表而得,这一难点阻碍着层次分析法大面积的推广应用犤2犦。文章在深刻剖析层次分析法的基础上,给出根据平均随机一致性指标的定义计算高阶平均随机一致性指标值的算法,并且基于windows环境在delph6.0下予以程序实现。该算法已成功运用于中国科学院知识创新工程某智能决策系统中。  

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果，使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发一模型中存在的问题；代码生成，逆向变换系统将模型和程序代码有机地统一起来。  

一种高效的属性核计算方法

属性核的确定对解决粗集理论中的属性约简问题具有重要的意义．但文献对属性核的求解方法鲜有讨论，基本上都是直接引用Hu X．H．提出的基于分辨矩阵的方法，该方法具有较高的空间复杂度和时间复杂度．本文基于决策系统的一致性，定义概念“关键属性”。并证明关键属性集合与属性核之间的等价性．在此基础上，提出一种新的计算属性核的算法，该算法不需要建立分辨矩阵。其时间复杂度和空间复杂度显著地低于Hu X．H．提出的方法．  

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  

AHP 法中判断矩阵的比例标度构造法

指出AHP法中现有标度方法的主要缺陷是：标度“粒度”大粒且标度值不能反映方案间的实际重要程度和关系，容易导致判断信息损失，破坏方案间重要程度的传递性，为此提出一种比例标度和对应判断矩阵构造方法，其特点是标度值能较为准确地标度方案的重要度，所构造的判断矩阵是完全一致的，因而大大提高了AHP方法决策的可靠性和实用性。  

基于特征的协同设计

随着虚拟企业概念的提出，迫切需要一个能够支持异地分布的多学科群体协同工作的系统，文中提出了一个基于特征的协同设计系统，简要介绍了该系统中协同设计的工作方式和特征的定义，分类及相互关系，详细探讨了实现基于特征协同设计的关键技术，并给出了系统结构。  

移动环境下事务一致性的动态实现

移动分布式数据库中节点间的连接是一种弱连接，为了提高移动计算机的效率，事务执行通常采有乐观复制的方法，它的不足之处是要依赖用户对应用数据和节点行为的知识，难以适应移动环境下网络连接和配置的动态变化，首次提出了移动环境下事务处理的基于概率方法，采用服务质量定义动态实现移动环境下的事务一致性，是一种用户与系统协作来完成事务处理的方法，实验结果表明，基于概率方法在性能上优于简单的乐观复制方法。