• 基于语料库的“中国英语”词汇、语法特征的分析

    基于语料库的“中国英语”词汇、语法特征的分析

    论文摘要英语的全球化不可避免地造成了英语在不同社会与文化中的本土化,世界各国的英语变体应运而生。中国作为世界大国,拥有数量众多的英语学习者。作为以标准英语为基础,具有中国特色,...
  • 重组人粒细胞刺激因子(rhG-CSF)新检验方法的建立和验证

    重组人粒细胞刺激因子(rhG-CSF)新检验方法的建立和验证

    论文摘要目的和意义2010版中国药典三部已收载重组人粒细胞刺激因子(rhG-CSF),其中对原液、半成品、制剂的质量标准和检验方法均有较为系统的要求,但与国外先进药典比较还是有...
  • 循环不变式生成方法研究与改进

    循环不变式生成方法研究与改进

    论文摘要软件作为信息系统的实现载体,广泛应用在各个领域,软件中的任何安全漏洞或错误的实现都可能导致非常严重的后果。通过大量的测试可以提高软件的可靠性,但成本较高,也不能完全保证...
  • 一种基于硬件的XML解析方法的设计与实现

    一种基于硬件的XML解析方法的设计与实现

    论文摘要XML(ExtensibleMarkupLanguage,可扩展标记语言)是一种使用标记标记内容以传输信息的简单方法,由于它的可扩展性和跨平台特征,在web服务器和数据...
  • 基于数字电视芯片的SD卡接口电路设计

    基于数字电视芯片的SD卡接口电路设计

    论文摘要随着数字电视的普及以及业务的扩展,高清智能化数字电视已成为行业主流,数字高清业务向着网络化发展。高清节目的录播,点播以及智能化管理,对于数字电视以及机顶盒的存储性能要求...
  • 基于形式化的语义Web服务自动组合方法研究

    基于形式化的语义Web服务自动组合方法研究

    论文摘要语义Web和Web服务是WWW发展的两个重要趋势,这两种技术的结合产生了另一个新兴的研究课题——语义Web服务。语义Web服务是指用语义Web标记语言来描述服务的语义,...
  • E_AGCH解码器的设计与验证

    E_AGCH解码器的设计与验证

    论文摘要HSDPA(高速下行分组接入技术)是下一代移动通信系统空中接口技术方案,由于其具有更高的传输速率,可以更好地满足人们对于移动互联网越来越高的要求,因而拥有更为广阔的应用...
  • 基于BFM的USB2.0设备控制器的验证

    基于BFM的USB2.0设备控制器的验证

    论文摘要集成电路制造工艺的迅速发展将集成电路设计带入片上系统SOC(SystmeOnaChip)时代,验证工作成为制约产品开发周期的瓶颈。提升验证的抽象层次是提高验证效率最重要...
  • 用于Flash存储器的BCH编解码器设计与验证

    用于Flash存储器的BCH编解码器设计与验证

    论文摘要数字信号在其传输、存储的过程中,由于受到各种噪声和干扰的影响,可能发生错误,为了提高信息传输和存储的可靠性,必须采用合适的差错控制技术。近年来由于各种手持设备的流行,带...
  • 语音识别系统的设计、FPGA验证及其物理实现

    语音识别系统的设计、FPGA验证及其物理实现

    论文摘要语音识别在非接触式控制系统中有着广泛应用。传统的基于PC机的语音识别系统由于其体积大,耗电性大,成本高等缺点,应用得到限制。为了弥补这些缺点,本文完成了一款特定人孤立词...
  • I2C和DMA软核IP的软件验证平台设计

    I2C和DMA软核IP的软件验证平台设计

    论文摘要随着IC(IntegatedCircuit)设计的复杂度和规模不断增大,基于IP(IntellectualProperty)核复用的SoC(SystemOnChip)设...
  • 基于VMM验证方法的研究

    基于VMM验证方法的研究

    论文摘要随着集成电路复杂度的增加,验证难度也相应增加,以代码覆盖率为导向的传统验证方法已经不能满足集成电路设计的要求,日渐成为数字集成电路设计开发周期的瓶颈。本文基于VMM(V...
  • YHFT-DX中DMA控制器的设计与实现

    YHFT-DX中DMA控制器的设计与实现

    论文摘要随着数字信号处理技术的不断发展和应用,现代DSP中将面临大量而频繁的数据传输,为了节约CPU的资源开销,这就对DSP处理器中DMA控制器提出了更高的性能要求,因此,设计...
  • 基于时延Petri网的工作流系统建模方法及其时间管理

    基于时延Petri网的工作流系统建模方法及其时间管理

    论文摘要随着用工作流的方法管理业务流程的需求的不断增加,人们提出了各种各样的模型和分析方法。而现存的工作流产品缺乏对动态变化所必须的柔性支持,远远不能满足企业的应用需求。时间是...
  • 基于Wishbone总线的8位MCU的设计和验证

    基于Wishbone总线的8位MCU的设计和验证

    论文摘要微控制器(MicrocontrollerUnit,MCU)是许多数字系统的核心部件,其控制复杂,对鲁棒性、面积、运算速度、功能等方面都有较高的要求。设计拥有自主知识产权...
  • SOC中IP核设计关键技术研究与实现

    SOC中IP核设计关键技术研究与实现

    论文摘要本文着重研究了数字系统设计的相关技术和IP核的设计方法,分析了MCU的体系结构,编程仿真的环境和工具,用可编程逻辑器件进行硬件验证的技术方法。通过这样的技术过程,对MC...
  • 基于动态语言的系统描述、验证和综合

    基于动态语言的系统描述、验证和综合

    论文摘要随着集成电路工艺的高速发展,单块集成电路上的晶体管数目越来越多,更多地以复杂的片上系统(SoC)形式出现。集成电路设计也从原来的寄存器传输级(RTL)转向系统级(ESL...
  • OTG USB2.0 IP核设备控制器研究与实现

    OTG USB2.0 IP核设备控制器研究与实现

    论文摘要OTG协议是USB2.0的补充协议,可应用于嵌入式设备,使之兼备USB主机和设备双重功能。增强其便携性,拓宽应用范围。实现OTG功能关键之一在于实现OTG接口控制芯片,...
  • 轧辊轴承座数控加工关键技术研究

    轧辊轴承座数控加工关键技术研究

    论文摘要轧辊轴承座是轧钢机上的主机部分的关键零件之一,也是加工周期长、难度大、精度要求很高的零件。由于轧辊轴承座的需求量的增加,用户对质量的要求越来越高,而交货期要求越来越短,...
  • 自适应滤波器在无线信道均衡中的应用研究

    自适应滤波器在无线信道均衡中的应用研究

    论文摘要自适应滤波器是统计信号处理的重要组成部分。在未知统计量或是不固定的环境中,要求我们实时处理信号,采用自适应滤波器相对于传统方式的滤波器是一个很好的办法。正是因为这样,自...