基于网络拓朴结构的智能故障定位系统设计与实现

故障管理是网络管理的一个重要组成部分.故障在网络运行中不可避免,一旦故障发生,会在网络中传播、智能故障定位是实现网络故障管理自动化的关键。文章介绍了一个基于网络拓扑结构的智能故障定位系统的设计与实现，主要包括总本功能设计、智能故障定位算法的设计与实现等。     

基于身份的带凭证部分委托代理多重签名方案

本文基于椭圆曲线上的双线性对性质，提出了一个基于身份的带凭证部分委托代理多重签名方案，该方案具有强不可伪造性、强不可否认性、强可识别性和预防误用性．     

面向工作流的组织记忆描述模型与实现

为在知识密集型工作流中捕获组织中的知识或信息并嵌入到流程中，提出了一种面向工作流的组织记忆描述模型，设计了基于本体的组织记忆描述模型到面向对象模型的映射器，在此基础上给出了面向工作流组织记忆的实现框架。它根据工作流上下文获取支持信息，支持对语义Web内容的集成，并提供了易于被现有工作流开发人员使用和掌握的工具包，因此提高了上下文感知能力、集成性和可用性。     

两种基于符号的最坏执行时间分析方法的比较与分析

通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观（over pessimistic）.如果能以一个代数表达式代替,其中影响程序执行时间的一些未知值（如调用参数,运行平台参数等）都用参数来表示,然后在具体的环境中再根据具体的情况进行实例化,那么所获得的最坏执行时间将更加接近于实际的值.文章讨论了基于符号的最坏执行时间分析方法,分析了其特点,对两种基于符号的最坏执行时间分析方法进行了比较和研究,并给出了将来的研究方向.     

支持事务的非结构化数据聚合存储系统GSL

文章提出了一种将非结构化数据集中存储,同时支持事务的存储方案,并依据此方案实现了一个高效、易用的数据存储系统GSL。GSL的数据存储接口与文件系统的接口风格一致,同时支持事务处理。文章将GSL与文件系统和Oracle数据库的BLOB存储效率进行了测试和比较,结果表明GSL的存储效率与文件系统相当,并优于BLOB。     

STTC—OFDM系统中的导频辅助半盲信道估计

在快衰落信道情况下，基于判决指导信道估计（DDCE）法不能够很好的跟踪信道参数的变化，使得系统性能产生很大的恶化。在这篇论文中，为了防止在快衰落信道中由于信道估计误差带来STTC-OFDM系统性能恶化，我们在每帧除训练符号外的OFDM符号引入导频辅助半盲（APSB）信道估计技术。同时，为了简化系统，我们仅在每帧最后一个符号使用APSB信道估计技术。在本文的最后我们给出了一些结论。     

BSC和ABPA的比较:企业绩效测度的问题与特征

阐述了作为绩效测量和战略管理工具的平衡计分的问题与特点,在此基础上提出了一种基于企业要素概念的新的绩效衍生工具———基于活动的盈利能力分析;分析并评价了两种测度方法在适用范围、测量标准、与战略的关系等方面的差异.     

电子政务中基于角色的交叉集散授权策略

为了能够准确、有效、安全地为参与电子政务的部门或人授权,针对权限交叉带来的管理混乱现象,论文构建了基于角色的扩展授权模型(ExtendedRole-BasedAuthorizationModel,简称ERBAM),使用向上查询授权人的集中与分散授权方法,提出了基于角色的交叉集散授权策略,有效解决了电子政务中权限有交叉的授权管理问题。该方法已经成功应用于某电子政务系统。     

协同：效率之源，执行之本

在持续的信息化普及和推广奠定了应用基础、互联网的发展提供了必备的网络环境和技术基础、新的商业环境和竞争创造了巨大的客户需求之后,协同也是管理软件发展过程中自身的一次变革,这些都导致了协同的迅速崛起。     

具有冲突约束的RBAC模型的形式化规范与证明

在实际应用"基于角色的访问控制"(RBAC)模型时,经常遇到由于责任分离等策略而引起的冲突问题,如权限间的互斥等.访问控制操作应满足某些约束条件,以避免冲突的存在.但这些冲突关系相当复杂,如何检测出冲突问题是模型安全实施的重要保证.借助Z语言,提出了基于状态的RBAC形式化模型,对状态转换函数进行了形式化规范,描述了操作的具体内容和应满足的冲突约束条件.根据安全不变量给出了安全性定理,分别进行数学的和形式化的证明.最后,通过实例分析,说明在实际系统中,如何形式化规约和验证RBAC系统并检测出冲突问题,从而为今后使用RBAC模型开发具有高安全保证的系统提供了一种形式化规范和证明方法.