韩承德
- 作品数：119 被引量：514H指数：10
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信天文地球金属学及工艺更多>>
- 整数乘法电路的形式化验证方法研究被引量：6
- 2005年
- 采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸,解决该问题的一种有效途径是采用反向替换方法.函数替换算法是反向替换方法的核心算法,如果保证被替换变量位于被替换函数的决策图顶层,替换算法可以简化.通过设置变量序和限定变量替换顺序,提出了一种保证被替换变量始终位于被替换函数决策图的顶层的反向替换方法,可极大降低整数乘法器验证的运行时间和内存使用量.实验结果表明,采用改进的反向替换方法,在1GB内存下,可将Add-Step乘法器的验证规模从84×84位提高到256×256位,将Diagonal乘法器的验证规模从84×84位提高到206×206位.
- 王海霞韩承德
- 关键词：决策图
- 虚拟共享型多处理机体系的研究
- 1997年
- 论述虚拟共享型多处理机的特点、实现机制、可伸缩性和负载平衡,以及共享存储型和消息传递型多处理机的区别。
- 薛一波韩承德
- 关键词：多处理机并行计算机
- FFT算法在定点DSP芯片上的实现
- FFT算法的研究已经非常成熟,本文所要讨论的是如何提高FFT算法在定点DSP芯片上的执行效率.首先,指出芯片内存层次结构在很大程度上影响算法执行速度,进而提出一种优化方案:其次,讨论定点芯片中算法的计算精度问题,并给出自...
- 韩冀中韩承德
- 关键词：FFT算法数字信号处理器
- 文献传递
- 减少硬盘磁头寻道次数来提高读硬盘速度的控制方法
- 本发明涉及磁记录技术领域的一种减少硬盘磁头寻道次数来提高读硬盘速度的控制方法。用一次硬盘寻道读取多个非连续的数据块。用一个硬盘DMA数据读命令，连续地读出一个包含多个所需数据块的大数据块，然后把数据块之间不需要的数据碎片...
- 张亮韩承德
- 文献传递
- 多媒体技术在医疗影像诊断系统中的应用被引量：1
- 1995年
- 自超声技术、X射线技术、核磁共振技术和计算机技术引入医疗诊断领域以来,超声波诊断、CT、核磁共振(NMR)、数字减影(DMI)、血管造影、内窥镜等新的诊断技术不断涌现,在这些先进诊断技术的辅助下,现代医学如虎添翼。B—超、CT、NMR、DMI等技术有以下共同特点:它们都以现代物理技术为基础,借助于计算机技术对医疗影像进行数字化和重建处理。在成像过程中,计算机起到至关重要的作用。
- 刘岩韩承德
- 关键词：影像诊断学医药学多媒体CT
- 一种实时DSP系统的数据并行I/O模型
- 存储器带宽常常是高速产时DSP系统设计中的一个制约因素。在DSP处理器中，通常采用层次式存储结构，使用较小的高速内部存储器和较大的常规外部存储器，执行的程序代码和数据放在内部存储器上，大量的程序和数据放在外部存储器中，在...
- 章立生韩冀中韩承德
- 关键词：DSP存储器系统
- 文献传递
- 高速外设部件互连总线的多主控制器单芯片实现方法
- 本发明涉及总线的单芯片子系统的技术领域，包括从复杂状态机中提取关键信号路径的方法，以及单芯片实现高速PCI总线多主控制器，步骤：S1：根据PCI总线主控制器状态机的外部输入激励信号的时间要求和到达时刻，确定一个关键信号；...
- 张亮韩承德
- 文献传递
- 输入缓冲高速路由器的调度算法
- 高速路由器主要采用输入缓冲技术,而信元调度算法是影响输入缓冲路由器性能的关键部件,它对路由器的吞吐率、稳定性和QoS有决定性的影响.有多种信元调度算法,如FIFO排队法,并行迭代匹配法(PIM),迭代循环匹配法(IRRM...
- 章立生韩承德
- 关键词：高速路由器调度算法
- 文献传递
- 网络测量中高精度时间戳研究与实现被引量：10
- 2010年
- 在网络测量中,时间戳记录数据包接收和发送的时间,是时延、带宽以及抖动等网络参数测量的基础.受缓存延迟、中断响应时间不确定等因素影响,软件时间戳只能达到毫秒级精度;基于GPS(global positioning system)时钟的硬件时间戳可以达到纳秒级精度,但其成本高且安装部署不方便.基于对网络测量系统中时间戳误差来源的详细分析,设计了精确时间戳测量系统,系统利用硬件产生时间戳,消除各种软件延迟影响,通过基于预测的时钟同步算法PCS(prediction-based clock synchronization)同步各测量节点时钟,达到了与GPS相当的精度.基于自行设计的千兆网卡实现了测量系统原型,测试表明各测量节点时间戳误差不超过100ns.
- 谢应科王建东祝超赵自力韩承德
- 关键词：网络测量时钟同步GPS时间戳
- 多媒体技术在医疗诊断中的应用——ＭＭＤＳ
- 刘岩韩承德
- 关键词：计算机辅助诊断系统结构
