您的位置： 专家智库 > >

周桓

作品数：7 被引量：39H指数：4
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 7篇自动化与计算...
  • 2篇电子电信

主题

  • 4篇移动计算
  • 2篇移动环境
  • 2篇通信
  • 2篇网络
  • 2篇分布环境
  • 1篇移动性
  • 1篇软件系统
  • 1篇数据处理
  • 1篇数据收集
  • 1篇通信平台
  • 1篇自动数据
  • 1篇无线
  • 1篇无线通信
  • 1篇开销
  • 1篇回调
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇公理
  • 1篇公理化

机构

  • 7篇中国科学院软...

作者

  • 7篇周桓
  • 3篇李京
  • 2篇魏峻
  • 2篇黄涛
  • 2篇冯玉琳
  • 1篇金蓓弘
  • 1篇张波
  • 1篇刘绍华
  • 1篇阮彤
  • 1篇邵丹华
  • 1篇汪锦岭
  • 1篇任志宏
  • 1篇钱军
  • 1篇徐伟

传媒

  • 4篇软件学报
  • 1篇清华大学学报...

年份

  • 1篇2005
  • 2篇2002
  • 2篇2001
  • 1篇1999
  • 1篇1998
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
分布环境中基于对象的通信平台被引量：5
1998年
传统的分布计算是基于消息互换和远程过程调用的，这二种模型在当前日益广泛的应用中显示出许多不足之处。该文提出了一种基于对象的通信平台。它把对象技术与分布计算结合在一起，以期为分布对象提供位置透明、状态透明、语言独立和平台（操作系统和网络协议）独立的请求发送机制。在该平台中采用了底层通信系统（ＬＣＳ）、高层通信系统（ＨＣＳ）、运行库、多线程服务器、适配器以及类－服务器体系结构，以提高分布对象通信的性能和效率。通过原型系统的设计和实践可以看出基于对象的模型非常适合于分布计算，可用于分布软件的开发。
邵丹华黄涛吴小斌张波周桓
关键词：分布式计算分布环境程序设计通信平台
移动环境中的Cache技术研究
迅速发展的无线数字通讯网络和便携式计算设备引入了一种全新的移动计算范型.Cache技术是提高数据访问性能的经典技术,已经在计算技术的多个方面得到了成功的应用.在移动计算环境中,由于设备和网络资源的限制,cache将发挥更...
周桓
关键词：CACHE技术移动计算移动性数据收集
文献传递
移动环境下的低开销自动数据收集算法被引量：14
2002年
移动计算的一个重要难题是断连操作.数据收集过程是指在断连前把用户将来可能访问的数据预先存储到本地缓存的过程.收集过程的结果将明显影响断连操作的性能.提出了一种低开销的通用数据收集算法,在访问数据时同步建立数据之间的关联,并在数据关联的基础上自动选择要收集的数据集.模拟试验结果表明,该算法可以有效地提高断连操作时的cache命中率,尤其适用于计算速度慢、存储容量小的手持移动设备.
周桓李京冯玉琳
关键词：移动环境移动计算数据处理
移动组件系统模型的分析与描述被引量：8
2001年
移动计算是新兴的分布式计算范型 ,其主要特征是计算组件与计算场所能动态改变绑定关系 ,表现出移动性 ,从而带来许多新的系统设计需求 .从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念 ,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述 .通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制 ,进而抽象出移动系统设计所需的语言结构 ,为移动系统设计和开发提供了分析基础 .
魏峻周桓
关键词：软件系统无线通信
移动Web访问高性能缓存验证算法被引量：2
2002年
提出一种基于客户-代理-服务器的卷回调算法来解决传统回调算法所面临的两个主要问题:可扩充性和客户端断连.代理可以分担服务器的负载,提高系统的可扩充性;基于卷的回调可以加速验证过程,消除客户从断连状态恢复时的重新验证瓶颈.试验结果表明,改进的卷回调算法可以减少86%的验证消息,从而使得强一致性的回调算法在总体性能上已经接近通常使用的弱一致性的ATTL(adaptive time to live)算法.
周桓李京冯玉琳
关键词：回调移动计算WEB计算机网络
网络分布环境下的移动计算模型及关键技术研究
李京魏峻金蓓弘周桓阮彤徐伟任志宏刘绍华汪锦岭
(1)移动Web访问的高性能缓存验证算法：该项目提出一种基于客户-代理-服务器的缓存验证算法，能够加速验证过程，消除客户从断连状态恢复时的重新验证瓶颈，解决了传统验证算法所面临的可扩充性和客户端断连问题。(2)基于概率图...
关键词：
关键词：移动计算
对象演算Ⅰ被引量：4
1999年
对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对象的封装性，即只有对象的有效动作才能访问或修改对象的属性值，从而对Ｔｒａｃｅ 演算的语义模型加以限制，得到对象语义解释模型．作为逻辑系统，文章还讨论了对象演算的公理化，它是Ｔｒａｃｅ 演算公理系统的扩充．作为应用。
黄涛钱军周桓
关键词：公理化
全选 清除 导出
共1页<1>
聚类工具0