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

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

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

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

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

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

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

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

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

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

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

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

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

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

面向对象数据库系统Daemon4／1的设计

Daemon4/1的基本目标是使对象操作语言和库管理系统能有机地集成在一起，为此在基本模型、对象表示及访问机制、语言事务系统和版本管理等方面作了探讨。在对象模型设计时应考虑支持库管理和操作，对象表示应同时支持传统语言和库操作执行，语言级事务概念要考虑到语言运行系统的特殊性和库事务管理系统，版本管理等特色的引入不能影响对象系统的简单性。Daemon4/1在这些方面具有自己的特色。     

形式语言基于Monads的语义计算模型

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。