电阻应变式传感器的并联技术及应用

介绍了电阻应变式传感器的并联组秤技术的特点、工作原理以及在攀钢２＾＃高炉沟下的应用。     

沟槽式平板铝热管设计与性能分析

基于相变传热原理的微热管在高效太阳能利用热控制方面具有良好应用空间。针对太阳能平板集热器的热控制需求，在沟槽式平板铝热管的设计过程中，综合分析了工质、管壳材料、管芯结构和充液率等因素对性能的影响；并搭建试验平台对制造的沟槽式平板铝热管进行性能测试。得出以下结论：不凝性气体对热管传热性能有较大的影响，应加强热管防漏措施；制作过程应该严格控制清洗、充装、封接等工序以确保质量；适当的充液量有助于提高热管等温性能。     

电机散热系统的研究现状与发展趋势

高效率的散热系统是抑制电机温升、提高电机运行稳定性和延长电机寿命的重要基础。详细介绍了风冷、液冷和蒸发冷却三种电机常用散热系统的发展现状;分析讨论了各类电机散热系统的优缺点和适用范围,重点综述了目前国内外在提高电机散热系统冷却效率方面的研究进展。结合额外热路增强型电机散热方案和相变散热技术提出了以相变传热器件来提高电机散热效率的新方案,最后对电机散热系统的发展趋势进行了科学预测与展望。     

平煤神马集团矿井人员定位系统联网设计

运用先进的数据集成技术、地理信息技术、组态软件技术、信息可视化技术、数据库技术等计算机技术,在全面整合数据的基础上进行设计,实现煤矿井下人员定位系统集团级联网。     

基于SAT的ARX不可能差分和零相关区分器的自动化搜索

ARX（Addition，Rotation，Xor）算法基于模整数加，异或加和循环移位三种运算，便于软硬件的快速实现.不可能差分分析和零相关分析是攻击ARX的有效方法，攻击的关键是搜索更长轮数、更多数量的不可能差分和零相关区分器.目前很多的搜索方法都没有充分考虑非线性组件的性质，往往不能搜索得到更好、更准确的区分器.本文提出了基于SAT（Satisfiability）的ARX不可能差分和零相关区分器的自动化搜索算法.通过分析ARX算法组件的性质，特别是常规模加和密钥模加这两种非线性运算差分和线性传播的特性，给出了高效简单的SAT约束式.在此基础上，建立SAT模型进行区分器的搜索.作为应用，本文首次给出了Chaskey算法13条4轮不可能差分和1条4轮零相关区分器；首次给出了SPECK32算法10条6轮零相关区分器和SPECK48算法15条6轮零相关区分器；在较短的时间内，给出了HIGHT算法17轮的不可能差分和零相关区分器.与现有结果相比，无论是区分器的条数，还是搜索区分器的时间均有明显的提升.此外，通过重新封装求解器STP的输出接口，建立了自动化的SAT\\SMT分析模型，能够给出ARX算法在特殊输入输出差分和掩码集合下，不可能差分和零相关区分器轮数的上界.     

SIMON不可能差分及零相关路径自动化搜索算法

对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与（AND）的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满足约束问题（SAT）,提出一种普适性不可能差分和零相关路径自动化搜索算法,并利用该算法搜索得到SIMON更多的不可能差分及零相关路径.除用于自动化搜索外,该算法还可判断特定的差分对（掩码对）是否能构成一条有效不可能差分和零相关路径.此外,基于该算法,从抵抗不可能差分攻击的角度出发,给出SIMON轮函数设计中循环移位常数的选取依据.     

CCG核子皮带秤的原理及应用

文章介绍了 CCG 核子皮带秤的组成及工作原理,分析了影响其准确度的因素及提高准确度的措施。     

焦化厂回收作业区VOCs废气治理的研究

对焦化厂VOCs废气排放情况进行了调研，提出了VOCs废气治理方案，设计了VOCs废气综合治理工艺。焦化厂VOCs废气治理后能显著提升厂区大气环境质量。     

沟槽式平板铝热管设计与性能分析

基于相变传热原理的微热管在高效太阳能利用热控制方面具有良好应用空间。针对太阳能平板集热器的热控制需求,在沟槽式平板铝热管的设计过程中,综合分析了工质、管壳材料、管芯结构和充液率等因素对性能的影响;并搭建试验平台对制造的沟槽式平板铝热管进行性能测试。得出以下结论:不凝性气体对热管传热性能有较大的影响,应加强热管防漏措施;制作过程应该严格控制清洗、充装、封接等工序以确保质量;适当的充液量有助于提高热管等温性能。