刘建
- 作品数：14 被引量：108H指数：6
- 供职机构：清华大学计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- DENNET中降低调试器干扰的机制
- 2004年
- DENNET是清华大学高性能计算所开发的一个机群系统并行程序调试环境 .本文分析并行程序调试环境的现状和发展趋势 ;阐述调试环境对并行程序的干扰问题 ,指出降低乃至完全消除干扰是并行程序调试环境的一个重要研究方向 ,介绍了 DENNET设计时采用的两种降低干扰的技术 .
- 王皓刘建沈美明郑纬民余宏亮
- 关键词：机群系统调试环境
- 一种具有快速条件断点的并行程序调试器被引量：9
- 2003年
- 快速条件断点是高性能并行程序调试器中进程控制必备的功能之一.分析了快速条件断点基本原理以及快速条件断点设计中需要考虑的代码生成、代码插装和源程序对应等问题.并针对上述问题,提出了预编译与运行时编译结合的代码生成方式、动态代码插装、源断点标识技术等解决方案.利用经过改进的动态补丁码工具Dyninst,设计实现了并行程序调试器XBUSTER,并实现了快速条件断点这一重要功能.测试表明,XBUSTER的执行效率比传统条件断点高.与现有的基于动态插装的系统,如Ceder,ldb和Dyner相比,XBUSTER具有功能性强、可移植性好等鲜明特点.
- 刘建王皓沈美明郑纬民
- 关键词：调试器
- Unix进程文件系统及其在调试器设计中的应用被引量：6
- 2004年
- 进程文件系统比传统的ptrace系统调用具有效率高、功能强的优点，该文介绍了它的主要功能，并以调试器的设计为例，详细描述了进程文件系统的应用情况。
- 刘建沈美明
- 关键词：调试器UNIX
- 基于混合幅度差函数的基音提取算法被引量：21
- 2006年
- 为了减少基音周期提取中的倍频和半频错误,进行更准确的基音周期估计,提出一种基于混合幅度差函数的基音周期提取方法.分析比较了不同幅度差和自相关函数估计基音周期错误率的分布,结合两类典型幅度差函数的优点定义了混合幅度差函数;进而基于混合幅度差函数,给出了使用历史信息进行校正的后处理方法.分析表明,所提方法可提高基音周期估计准确率,接近实时地确定基音周期,减少了传统基音周期估计因平滑处理而带来的误差或者动态规划处理带来的延迟.大量实验表明本文提出的基音周期提取方法比传统方法的错误率降低了13.8%.
- 刘建郑方邓菁吴文虎
- 关键词：语音信息处理
- 一种基于检查点的并行程序调试器的设计与实现被引量：13
- 2002年
- 为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定性检查点设置方法 ,可以避免检查点应用中孤儿消息和多米诺效应、活锁 3个问题 ,通过消息记录的方法处理中途消息问题 ;采用记录 /重放方法解决并行调试中的不确定性问题 .基于状态冻结的确定性检查点设置方法 ,有效地解决了并行程序调试器和检查点结合时产生的诸多问题 .该方法具有结构清晰、易于实现的优点 .基于此技术 ,设计并实现了一个并行调试工具—— DENNET.
- 刘建汪东升沈美明郑纬民
- 关键词：检查点
- 动态调整直方图剪枝PDA声控拨号器的应用与实现被引量：1
- 2005年
- 以使用嵌入式操作系统 Pocket Pc的个人数字助理(PDA)为实验平台研究了基于非特定人语音命令识 别的可定制声控拨号器。针对PDA存储空间和运算能力的限制,在保证性能的前提下从严格控制搜索空间和提高 解码速度出发,提出了结合搜索路径分数差值实时调整剪枝宽度的动态调整直方图剪枝策略,提出了利用速查表 加速似然计算的方法,并在通过实验验证后采用较少维数的特征、结合扩展声韵母进行声学建模等措施,有效地解 决了上述问题。在实际PDA设备上实验表明,在词表大小为200个人名时,识别正确率达98．70％,而识别速度比采 用标准算法的参考系统提高了约80倍,同时节省了约30％搜索存储空间。
- 陈德锋郑方吴文虎刘建邓菁宋战江周迅溢
- 关键词：语音识别
- 通信开销为零的机群系统全局逻辑时钟
- 机群系统没有统一的全局时钟,逻辑时钟是机群系统中实现事件排序的主要方法.经典逻辑时钟实现时,采取时钟信息和发送消息捆绑传送(piggyback)的方法,增加了额外的通信开销.提出的基于相关计数器的机群系统逻辑时钟,采用在...
- 刘建余宏亮沈美明郑纬民
- 关键词：机群系统偏序关系
- 文献传递
- 有限延时消息通信模型及在并行程序调试器设计中的应用被引量：2
- 2002年
- 1 概述在分布存储多计算机系统中,消息传递是进程间唯一的通信手段,消息通信模型决定了并行计算的模型.一般情况下,通过对并行程序计算模型的描述来研究消息通信的模型.分布存储多计算机系统中消息通信机制可以归为两类[1]:阻塞(Blocking)通信和非阻塞(Non-blocking)通信.阻塞通信又称作同步通信,其特点是发送方和接收方都就绪,通信才进行,如果有一方未准备好,另一方便进行等待;非阻塞通信又叫异步通信,特点是发送方不必等待接收方就绪便可将消息发出,然后接着进行后面的操作.
- 刘建沈美明郑纬民
- 关键词：并行程序设计计算机
- 调试器对并行程序干扰特性的研究被引量：3
- 2002年
- 机群系统中并行程序的执行具有不确定性 ,这种不确定性给并行程序的调试带来了困难 .并行程序的不确定性是由运行环境中的各种干扰因素造成的 .该文研究交互式调试行为对调试程序的干扰特性 。
- 刘建沈美明郑纬民
- 关键词：机群系统不确定性程序设计
- Linux机群系统并行程序调试器的设计与实现被引量：13
- 2002年
- 介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。
- 刘建余宏亮沈美明郑纬民
- 关键词：机群系统PVMMPILINUX软件开发
