位宽感知的寄存器绑定算法

寄存器绑定是高层次综合中的一个基础优化问题,主要目标是在保证电路功能的同时最小化寄存器资源的使用.传统的方法尝试将编译器的寄存器分配算法应用于寄存器绑定中,但却忽略了分配问题与绑定问题的差异性,因此在绑定过程中引入了额外的资源约束,或采用了不适合电路设计的编译优化技巧,从而导致资源浪费.为了解决这些问题, 本文将寄存器绑定问题转化为连续多重着色问题,并提出了一种基于位宽与顶点度结合的启发式求解方法.该方法通过对变量的位宽和活跃区间等信息的细粒度刻画和建模,能够进一步优化寄存器资源的开销,同时无需插入额外的指令.我们将该算法与两种典型算法进行了比较,实验结果表明, 我们的算法在Mibench测试集的96.72%的测试用例中达到了理论最优解,比其他两种方法分别提高了31.5%和25.1%;在Rosetta测试集的所有测试用例中均表现为最优解,比其他两种方法分别提高了7.41%和7.39%.     

转向架车轴用670低表面能环氧树脂涂料涂装的性能研究

选取670低表面能环氧树脂涂料作为转向架车轴样块表面涂覆材料,对车轴涂层性能进行研究,结果显示,试验涂层基本可以满足转向架车轴涂装质量要求。     

多模式协同自动送钻控制方法研究

本文介绍了石油钻机自动送钻系统几种控制模式的基本概念和控制原理,并对使用单模式自动送钻时其它相关钻井参数的保护方案,以及多模式协同自动送钻的控制方法进行了深入的研究.根据钻井工艺要求,结合在钻井现场调试过程中遇到的问题和现场经验,在分析使用单模式自动送钻时对其它工艺参数的保护限制方案的基础上,最终提出了多模式协同自动送...     

过渡金属氟化物改善2NaBH_(4)+MgH_(2)储氢体系的放氢热力学性能EI北大核心CSCD

通过机械球磨法制备了2NaBH_(4)+MgH_(2)和2NaBH_(4)+MgH_(2)+0.1MF_(x)(M=Ni,Ti,Zr;x=2,3,4)储氢复合材料。分别通过扫描电子显微镜(SEM)、能谱分析仪(EDS)和X射线衍射(XRD)分析了复合材料的形貌、元素分布和晶体结构。另外,通过差示扫描量热法(DSC)和程序升温脱附(TPD)测试了材料的放氢热力学性质。结果表明,通过添加NiF_(2),TiF_(3)和ZrF_(4),分别将2NaBH_(4)+MgH_(2)的第一个放氢峰温降低了8.9,35.7℃和54.5℃。此外,放氢过程中出现的NaMgF_(3)相改变了第一个放氢过程的反应路径,并且改变了2NaBH_(4)+MgH_(2)的第二次放氢过程,使得第二个脱氢过程的峰温分别降低了18.0,31.1℃和34.1℃。添加NiF_(2),TiF_(3)和ZrF_(4)使2NaBH_(4)+MgH_(2)的放氢比例分别达到91.7%,91.9%和98.7%。其中ZrF_(4)对2NaBH_(4)+MgH_(2)的整个放氢过程显示出了最好的效果。因此,2NaBH_(4)+MgH_(2)+0.1ZrF_(4)可以作为燃料电池供氢系统的潜在应用体系。     

轨道车辆外表面用装饰性水性涂料的性能研究

轨道车辆制造中已开始使用装饰性优良的水性涂料,按适用于溶剂型涂料的现有铁道行业标准对样品进行测试,结果表明水性涂料基本可以满足车辆的使用需求。     

软件计量技术探讨

该文基于软件质量特性，从软件测试结果的不一致性出发，以软件测试工具为主要研究对象，研究影响软件测试结果的主要因素，分析软件质量指标的计量特性，提出了软件计量的标准建立、校准装置搭建及测量不确定度评定等关键问题的解决思路，对软件计量技术体系的建立进行了探索。     

单向导汗织物的热舒适性

为探索单向导汗织物在潜汗条件下的热舒适性,建立织物在潜汗条件下传热传湿规律的数学模型。选用2种典型的单向导汗织物与1种普通织物,利用纺织品热湿物性参数测试装置作对比实验,获得了样品的总传热量、微气候和环境干湿球温度以及模拟的人体皮肤温度等数据。采用二元回归拟合出织物热舒适性能参数：干球系数和湿球系数。发现在潜汗条件下,不仅仅是普通织物正反面的热舒适性能相近,就是具有单向导汗功能的织物,其正反面的热舒适性能差别也不大。     

面向精度评价的并联机床参数辨识技术

基于并联机床外部标定,推导出辨识方程的残差近似等于标定后的位姿误差。为克服最小二乘法存在较大残差的缺陷,面向精度评价,提出最小最大优化的参数辨识技术,以残差最大绝对值最小为优化目标,直接控制误差范围。标定实例验证了最小二乘法缺陷的实际存在和最小最大优化抑制较大残差的效果。该参数辨识技术直接联系运动学标定和标定后的精度评价,简单有效的提高并联机床的整体精度。     

互耦自由度未知柱面共形阵列多参数联合估计

在互耦自由度未知条件下给出了柱面共形阵列多参数联合估计算法。针对柱面共形阵列中多参数相互耦合的难题,首先通过阵列结构设计,利用柱面共形载体单曲率特点,构建ESPRIT子阵,基于一维搜索与ESPRIT算法,实现了互耦自由度和信源俯仰角的估计;在此基础上,结合秩损理论和互耦矩阵的Toeplitz性质,估计出信源的方位角,并对可能出现的方位角模糊进行了分析,给出解模糊方法;最后利用时域ESPRIT算法,完成了极化状态和互耦系数的联合估计。该算法不需要任何互耦和极化的先验信息,也无需参数配对,估计精度高、分辨力强。计算机Monte-Carlo仿真验证了所提算法的有效性。