提高定点精度的FPGA信号处理算法

为了满足速度、功耗等诸多限制的要求,数字信号处理算法常使用FPGA实现。而实现时由于硬件特点,通常将浮点运算转换成定点运算,但定点转换设计流程复杂、周期长,且存在数据范围和精度之间的矛盾。利用浮点数的优点,本文改进了基于FPGA的定点数的基本运算规则,有效解决了上述矛盾。本文详细论述了实现移位、加/减、乘、除基本运算模块的方法和步骤,最后以FIR数字滤波器为设计实例。仿真结果表明:改进的定点数算法比定点运算误差小、精度高、数据范围宽,能有效地防止溢出。     

双参数Bézier曲线的升二次扩展

本文以二次Bernstein基函数为例,首次提出了含双参数基函数的新扩展——αβQ—Bern-stein基函数,此类基函数具有新的特点,即基函数的扩展次数一次性升高两次,且包含了二次多项式和带一个参数的三次多项式基函数的所有性质。基于这组基函数定义了αβQ—Bézier曲线,该曲线也含有参数,具有形状可调性,当α与β取某些值时曲线能达到C4连续或在某个端点处C0连续。最后与含两个参数的升一次Bézier曲线进行比较,该曲线具有调节范围广、灵活性更强的优势。     

双活塞杆油缸在注塑机中的新应用

采用双活塞杆油缸注射装置，开发了一种新型注塑成型机，使用效果表明：采用该装置能提高功效，降低成本，节约能源。     

基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

大型软包锂离子电池的热物性实验研究

针对大型软包锂离子电池热物性参数的测定问题,提出适用于该型电池的热参数表征方法. 基于准稳态导热原理,建立电池的传热理论模型. 开展实验研究电池的比定压热容和导热系数与温度的依变关系,分析热损对测试结果的影响,对测试方法的有效性进行验证. 结果表明,电池比定压热容随着温度的升高而线性增大,导热系数受温度的影响较小. 在900 s内可以测得电池热参数在10~60 °C下的变化状况,实验验证结果显示测算精度高于92.3%,具有测算周期短、准确度高和测试灵活等优势.     

基于信息元的教学资源组织系统设计与实现 *

以文本类型教学资源为研究对象,在领域知识可拓信息网模型和CELTS-3的基础上,阐述了基于信息元的教学资源组织系统设计与实现过程,包括信息特征元数据描述框架、特征词获取、信息元距离度量、信息元匹配规则以及匹配算法等.该系统通过有限的信息元描述无限的资源,实现了教学资源的高效组织,支持学习过程中资源自动重组.     

高校人力资源管理初探

通过对我国高校人力资源管理的特点、目标及其现状分析,从人力资源管理的战略高度,探讨了我国现代高校人力资源管理应该坚持“以人为本”、与时俱进、改变传统观念、坚持以教学和科研为中心、建立正确的用人机制和科学的管理机制等基本举措,以图我国高校的人力资源管理更加科学更加规范。     

ZrO2制备方法研究进展

以ZrO₂为活性组分或载体的催化剂,在酚类定向催化转化中具有较高的研究价值。总结了ZrO₂的各种制备方法,包括溶胶-凝胶法、共沉淀法、水热法、表面活性剂辅助法、静电纺丝法、热解法、多元醇还原法、反相微乳法和超临界合成法等。阐述了各种方法的反应原理,详细比较了不同制备方法的优劣,并具体分析了制备方法对催化剂结构及性能的影响。     

柔性基电磁屏蔽材料的研究进展

本文介绍了电磁屏蔽材料的屏蔽原理、电磁屏蔽损耗材料的类型及性能,总结了柔性基电磁屏蔽材料的制备方法及其研究进展。     

32和63通径二通插装阀混合集成控制新型差动回路

本文结合拉床实例介绍一种二通插装集成控制式最新差动回路的结构特点及控制原理。