基于身份映射的多租户隔离机制研究

针对云计算应用下多租户系统(MTS)对用户访问进行隔离的问题进行了深入研究,提出了基于身份映射的账号关联模型,形式化地定义了隔离的概念并分析了系统实现隔离访问的充要条件.在此基础上,针对系统设计的低开销和高资源利用率这两个目标建立了模型的目标函数并给出了解决算法.此算法根据系统运行的动态信息选择代价小的映射实现用户隔离...     

Lonworks技术在楼宇自动化系统中的应用

Lonworks分布式控制技术显示出很高的系统可靠性和系统响应，并且降低了系统的成本和运行费用。神经元芯片和LonTalk协议是Lonworks技术的核心。LonTalk协议使用网络变量与其它节点通信。由于Lonworks技术的开放性和全分布式的特点，并且考虑到以后与其它功能子系统的集成，在本文介绍的工程中采用Lonworks技术作为系统的技术平台。基于Lonworks技术的网络具有很好的扩充性，可以分期添加一些功能不同但都是基于Lonworks技术的系统到这个网络中。     

网格安全互操作及其应用研究

网格计算为地理分布资源的聚合以及大规模计算问题的解决提供了技术途径,国内外大型网格项目都是基于某种网格平台构建,通过这些平台管理着本领域的资源/服务,为了聚合不同网格平台管理的资源/服务,需要实现异构网格平台的互操作.由于不同网格平台的安全机制不同,安全互操作是网格互操作中需要解决的一个关键问题.通过分析,当前网格平台通常具有网格全局用户身份以及虚拟组织层次结构的公共特征,基于网格平台的主体类型研究网格平台互操作映射策略,并提出一种通用的安全互操作流程.CGSP和GOS是国内两大知名的网格中间件,分别管理了大量的教育和科技资源,以CGSP和GOS的安全互操作为例,阐述了安全互操作策略映射机制及安全互操作流程的具体实现,并分析了网格平台间的授权及其一致性、映射策略的灵活性以及互操作流程的安全性.最后,对CGSP和GOS的安全互操作的性能进行了测试分析.     

Fatman：Building Reliable Archival Storage Based on Low-Cost Volunteer Resources

We present Fatman, an enterprise-scale archival storage based on volunteer contribution resources from under-utilized web servers, usually deployed on thousands of nodes with spare storage capacity. Fa...     

Lonworks技术在楼宇自动化系统中的应用

Lonworks分布式控制技术显示出很高的系统可靠性和系统响应,并且降低了系统的成本和运行费用;神经元芯片和LonTalk协议是Lonworks技术的核心;LonTalk协议使用网络变量与其它节点通信.由于Lonworks技术的开放性和全分布式的特点,并且考虑到以后与其它功能子系统的集成,在本文介绍的工程中采用Lonworks技术作为系统的技术平台.基于Lonworks技术的网络具有很好的扩充性,可以分期添加一些功能不同但都是基于Lonworks技术的系统到这个网络中.     

一种新型计算机代数系统编译器的设计与实现

计算机代数系统（Computer Algebra System,CAS）是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言, 对比测试结果显示它的效率并不逊色于Maple。     

GiNaC编译器设计中双向循环的归一化处理

文中提出一种判定归一化的处理方法,这种方法把编译器在语法分析过程中遇到的递增和递减循环统一成一种模式处理,而循环的递增和递减交由目标生成模块来判断。通过这种方法,使得编译过程中的各模块的功能能进一步趋于均衡和简化,同时也为代码优化提供更多的优化条件。GiNaC是基于Linux的开放源码符号计算平台,这种方法应用在GiNaC编译器的设计中取得了很好的效果。