面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

基于物联网的实时心电监护系统设计

文章以物联网和低功耗无线通信技术为核心,设计了实时心电(ECG)监护系统。该系统可实现心电信号的采集、滤波、分析、预诊断和传输,具有较低的功耗和较小的体积。系统内嵌到可穿戴设备中,实时全天候采集心电信号,并通过蓝牙传输至监护手机平台。手机作为处理和通信平台,对心电图进行显示和分析,诊断ECG的QRS波形,实现心电信号的实时监护。如发现心电异常,产生报警信号提示病人用药。实验表明,该系统佩戴方便,监护灵敏,诊断及时,运行稳定,可提高心脏疾病患者生活质量,有效解决具有心脏疾病隐患人群的长期监测问题。     

改进的LLMMSE滤波器对扩散加权图像的降噪

扩散加权图像具有多边界的特点,在扩散加权图像中,准确的边界信号对扩散张量图像的计算尤其重要。通过对局部线性最小均方误差滤波器（Local Linear Minimum Mean Square Error filter,LLMMSE filter）在图像边界处降噪特点进行分析,提出基于最小方差数据集的改进的LLMMSE滤波算法。通过将所提算法应用于模拟数据及真实数据,以及与LLMMSE算法进行比较,验证了本算法具有更好的边界信号降噪能力。     

气动灭火器电起动设计及关键部件强度分析

针对风力灭火机不易通过人力旋转叶轮实现起动的问题,对风力灭火机的电起动机构进行了研究,对其关键部件的强度进行了分析。在Pro/E中建立了风力灭火机起动机构三维实体模型,并用ANSYS软件的Workbench仿真平台进行了有限元法静力学分析;根据材料力学第四强度理论,对关键部件进行了强度校核;最后对新设计的风力灭火机电起动系统进行了试验,提出了一种针对选配汽油机设计相适应的电起动方案。研究结果表明:该电起动机构强度基本符合工作要求,可稳定起动所针对的较高功率风力灭火机。     

基于电磁式阵列传感器的平纹编织碳纤维复合材料检测方法

为了研究平纹编织结构碳纤维复合材料（CFRP）的结构特点并检测其表面是否存在裂纹缺陷,针对CFRP的各向异性和异质性特点,提出了方块模型和纱线模型;同时基于电磁感应原理,设计了一种无需手动旋转的12线圈电磁式阵列涡流传感器,通过采集CFRP样板上传感器电阻的变化规律来研究其结构特点;在此基础上,采用方块模型模拟表面存在裂纹缺陷的平纹CFRP,利用传感器得到在有缺陷的样板上传感器电阻的变化规律,并进行了实验验证。结果表明：阵列涡流传感器在2种模型上的电阻极坐标图都为蝴蝶形,2种模型都具有一定的有效性,提出的模型和传感器还可以检测平纹CFRP裂纹缺陷,存在裂纹时电阻减小。     

带ZigBee无线通信的新型数显卡尺设计

采用万能工具显微镜观察数显卡尺测量劣弧半径,测量成本极高,有很多局限性。本文提出了带Zig Bee无线通信的基于弓弦定理的测量方式,在不破坏现有数显卡尺所有功能的基础上,实现了劣弧和大圆弧的半径测量,并且整个数显卡尺具有测量外径、内径、深度,可以任意位置归零、暂停、公英制转换、实时显示测量数据和测量数据的无线上传。经样机验证,效果良好。     

逆布雷顿循环空气制冷机的性能分析

针对开式逆布雷顿循环空气制冷机的热力性能展开理论分析,建立压缩机、膨胀机和回热器3大部件的制冷机系统模型.就部件性能和流程选择、环境温度、制冷温度等系统参数以及压比等设计参数对空气制冷机性能和COP值的影响进行了研究,证明存在着一个最佳的压力比πopt～4使制冷系统的制冷系数最大.提出了进一步提高制冷机效率的改进方案,对系统参数和设计参数进行了优化设计.     

基于单亲遗传算法的超级电容器等效电路模型参数辨识方法

为了能够准确反映超级电容器的动态特性,需要建立其等效电路模型。考虑超级电容器双电层中扩散层对器件动态特性的影响,建立了包含能够反映电荷再分配过程分支的等效电路模型。采用改进的单亲遗传算法对模型中的各个元件参数进行了辨识。为了验证所建立的超级电容器等效电路模型和元件参数辨识方法的有效性,在Simulink环境下搭建了仿真模型,并对模型进行了充电、静置以及放电实验,同时对所选用超级电容器进行了相同工况下的实测实验。实验结果显示仿真模型输出电压与实测值的最大相对误差为8.41%,出现在放电阶段。在静置阶段,仿真输出的误差要明显低于充电阶段和放电阶段。3个阶段的平均相对误差大约在3%。     

原料结构对高MgO烧结矿生产的影响

原料结构的优劣对烧结生产技术质量指标具有决定性的影响,尤其是在低硅烧结条件下生产高MgO烧结矿.本文介绍了以白云石、高镁粉作MgO熔剂添加剂生产高MgO烧结矿时,原料结构对烧结生产影响的试验研究情况.研究结果表明,只要原料结构选择适宜,无论使用何种MgO熔剂添加剂,均可在低硅条件下生产出具有高强度的高MgO烧结矿.     

基于C8051F020的自动称重系统设计

针对砂轮产品生产中传统的人工称重速度慢、精度低等问题,设计了碳化硅砂子自动称重系统.该系统采用C8051F020单片机实现传感器微弱信号的采集与转换,对A/D转换值进行数字平均值滤波,并对主直流电机进行PWM调速控制,实现碳化硅砂子的实时准确称重与定量输送.实验结果表明,该系统动态称重精度较高,误差为±0.1 g,可完全满足生产要求.