王小鸽
- 作品数：42 被引量：187H指数：6
- 供职机构：清华大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金清华大学基础研究基金资助更多>>
- 相关领域：自动化与计算机技术理学天文地球电子电信更多>>
- 一种新型的基于构件和微内核的设备驱动模型
- 2005年
- 论文首先从内核性能和安全性的角度分析驱动程序对微内核与单体内核的影响;然后讨论硬件抽象层对驱动抽象能力的影响以及与移植性及内核大小的关系;分析传统UNIX系列与Windows NT操作系统内核结构以及驱动模型优缺点;最后介绍一个构件化驱动模型的特点。该模型基于构件装配运行平台技术,运行在和欣2.0操作系统平台上。驱动模型底层是一个合适的硬件抽象层,方便移植,用户态程序可以灵活地调用驱动程序。
- 郑任持王晨辉陈榕王小鸽
- 关键词：微内核
- 一个面向普适计算基于构件化的Agent中间件系统
- 面向普适计算的中间件是信息技术领域一个非常重要的研究方向。本文提出了一个轻量级的基于构件化的Agent中间件系统-SkyWalker。它基于.NETFramework环境,支持构件级重构、Agent动态迁移、跨平台等特点...
- 陈渝史元春王小鸽徐光佑
- 关键词：中间件普适计算移动代理构件化
- 文献传递
- 一个面向普适计算基于构件化的Agent中间件系统
- 面向普适计算的中间件是信息技术领域一个非常重要的研究方向.本文提出了一个轻量级的基于构件化的Agent中间件系统-SkyWalker.它基于.NETFramework环境,支持构件级重构、Agent动态迁移、跨平台等特点...
- 陈渝史元春王小鸽徐光祐
- 关键词：中间件普适计算移动代理构件化
- 文献传递
- 先进计算基础设施中结点内部的任务调度和监控
- 2002年
- 一、引言
在当前的高性能计算研究中,网络并行超级计算系统(集群式计算系统,又称cluster[1])是国内外研究的热点.网络并行超级计算可以以很低的价格提供高性能计算,能满足大多数用户的要求,特别适合在国内推广和使用.
- 方兴李三立王小鸽黄震春何川
- 关键词：任务调度计算网格异构操作系统计算机
- THREP:面向地球系统模式的插值算法研究平台被引量：1
- 2013年
- 插值是地球系统模式中为实现不同分量模式之间数据交换必不可少的一种数值手段。插值算法的研究不仅有利于分量模式自身的发展,更能有利地推进整个地球系统模式。针对地球系统模式中的插值,基于ESMF开发了一个通用的、灵活的、并行的插值算法研究平台THREP(Tsinghua Regridding Platform)。目前,THREP集成了ESMF-Regridding与THU-Remap插值库中的插值算法,用户能快速便捷地在THREP中接入与开发新的插值算法。THREP还提供了验证模块,便于进一步研究和对比插值结果。
- 吴竑王小鸽杨广文朱昌磊宋顺强
- LINPACK与机群系统的LINPACK测试被引量：16
- 2002年
- 一、引言
LINPACK[1,2,7]是一个用Fortran语言编写的线性代数软件包,主要用于求解线性方程和线性最小平方问题.该软件包提供了各种线性系统中的求解方法,比如各种各样的矩阵运算,可以从文[2]得到完整的LINPACK软件包.LINPACK的初衷并不是制订一个测试计算机性能的统一标准,而只是提供一些常用的计算方法的实现,但是由于该软件包的广泛使用,这样就为通过LINPACK例程来比较不同计算机的性能提供了可能.
- 都志辉吴博刘鹏陈渝王小鸽李三立
- 关键词：LINPACK机群系统并行计算机
- Elanix内核对象服务通信机制的设计与实现被引量：2
- 2006年
- Elanix是和欣操作系统(Elastos)在Linux上的构件化虚拟操作系统,ElanixServer是其中的内核对象服务模块。针对Ela-nix中内核对象的构件化特性,提出了ElanixServer的通信机制,设计并实现了其通信层次,包括:实现各内核对象的主体层、构件化设计的接口层、使用元数据的列集层、基于设备文件的传输层。分析了此通信机制的优点,测试表明ElanixServer对应用程序请求的响应时间明显少于WineServer的响应时间,这为Elanix内核对象与应用程序之间的通信提供了有效途径。
- 苏杭高崝陈志成王小鸽
- 关键词：和欣操作系统通信机制CAR构件技术
- 在并行处理机群上计算大型水下运动目标的声散射
- 本文着重探讨了在并行处理机群上的声散射问题的计算,计算采用基于声类比的边界元方法.通过并行计算,大大提高了可解决问题的规模.
- 杨志刚都志辉王小鸽
- 关键词：声散射边界元并行计算
- 文献传递
- 解一类偏微分方程问题的并行算法
- 王小鸽
- 构件化分布式系统中元数据的语义级扩展被引量：1
- 2006年
- 介绍了一种元数据的语义级扩展。该扩展基于场景信息中的行为语义,描述了构件化分布式系统内相互协作的时序约束。基于改进的场景模型所制定的场景元数据规范,使用XML Schema来描述,具有扩展性好、易于维护的特点。实验结果表明,应用场景元数据进行运行时,时序约束失配检测可以减少因非法动作所导致的资源浪费和潜在危险,从而有效提高了构件化分布式系统的协作安全。
- 吴燕妮张阔王小鸽田金兰陈渝
- 关键词：可靠性
