基于角色的安全控制系统(RBAC)实践Ⅰ-系统体系架构

该文介绍了国际上日渐流行的一个用户管理系统模型，并提出了一些改进。应用这个改进的模型，笔者已经在实际应用中获得了一些成果。     

面向嵌入式系统的功耗管理硬件抽象层

由于缺乏面向嵌入式系统的功耗管理硬件标准接口，嵌入式操作系统在不同硬件平台上的功耗管理功能缺乏可移植性。该文针对嵌入式系统提出了一种功耗管理硬件抽象层模型，同时引入了抽象功耗可管理组件模型，为操作系统提供了统一的功耗状态转移函数。基于此抽象层，可屏蔽不同硬件结构的功耗管理细节，有效地提高嵌入式操作系统的可移植性。     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．     

移动进程的蛰伏性及空间逻辑

界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质.然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的.分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑.该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的.同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则.     

一种支持大规模数据的多维可视化分析框架

以Hadoop为代表的可扩展大规模数据库难以进行多维可视化分析。为此,设计基于B/S架构的可视化分析框架Bizard。数据模型通过封装底层数据接口以支持业界多维数据访问协议XMLA,从而在展现层易于接入支持XMLA的传统分析工具,同时采用视图物化技术提高分析性能,利用互联网技术丰富用户分析体验。实验结果表明,该框架能在高达千万条记录级的数据上进行多维可视化分析。     

Web service的事务协调框架研究与实现

提出并实现了一种Web服务的事务协调框架,DTCF（Distributed Transaction Coordination Framework）。该模型基于嵌套事务模型和协调思想,将局部事务的实现细节进行封装,不同局部事务可采用不同的并发控制和恢复技术,而对全局事务则采用完全分布的管理机制进行管理。DTCF是一种可重用的框架,实验结果表明其可用性。     

专家知识地图的关键技术与设计

专家隐性知识是社会的宝贵财富。开发专家知识地图是有效利用专家知识的重要途径。构建专家知识地图的关键技术包括专家信息的获取、知识地图的体系结构与实现技术。本文给出了通过Web挖掘获取专家基本信息、特长信息和社会网络的算法,以及一个专家知识地图的设计方案。     

SOA事务处理系统设计与实现*

给出了一种适用于SOA环境的事务处理系统--DTPS.它能够适应SOA的松耦合环境,完成商用事务的并发控制与恢复.首先给出DTPS系统的整体结构与功能;然后详细讨论了其并发控制算法及消息传递机制.     

一种基于生存时间的Ad hoc网络不相交多路径路由算法*

针对无线移动Ad hoc网络的节点具有移动性和能量限制等问题,提出了一种根据网络动态拓扑结构和节点能量来进行多路由选择的混合式路由算法PEMP-OLSR。该算法以改进的链路状态路由算法为基础,通过在网络拓扑构造过程中引入链路和节点生存时间等参数来提高所选路径的稳定性,同时通过设定影响链路和节点权重的迭代因子来提高多条路径的不相交性,以提高此并行多路径算法的传输效率。通过大量仿真实验结果表明,该算法能有效地提高所选择的多条路径的稳定性和不相交性。