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

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

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

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

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

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

平板热管沟槽吸液芯结构刻蚀制造研究进展

平板热管因传热面积大、性能高、几何形状自适应性强等优点,在高热流密度电子器件散热领域得到广泛应用。电子器件的高性能、集成化、小型化发展促使平板热管趋向于超薄化,结构稳定、质量轻、尺寸小的沟槽吸液芯结构平板热管成为解决电子芯片在有限空间内散热难题的首选方案。传统的沟槽加工工艺成本较高、沟槽加工尺寸受限,而刻蚀技术具有加工效率高、可加工结构尺寸范围广等优势,逐渐成为平板热管沟槽吸液芯结构的主要加工方法。详细介绍平板热管的类型和应用,以及不同刻蚀加工工艺的特点,重点综述目前国内外关于平板热管沟槽吸液芯结构刻蚀制造的研究进展,分析讨论沟槽吸液芯结构在刻蚀制造过程中存在的问题,并进行科学预测与展望。     

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

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

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

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

清香型白酒对小鼠酒精性血糖、血脂及肝损伤的影响作用研究

目的：采用52度食用酒精或清香型白酒连续小鼠灌胃,急性长期饮酒对小鼠血清甘油三酯（TG）,高密度脂蛋白（HDL）,TG/HDL比值及健康的影响。方法：将70只C57小鼠随机分为正常对照组（Na Cl）、HEA组、CEA组、LEA组、HQX组、CQX组和LQX组。酒精处理组小鼠每隔一日分别灌胃,对照组给予同体积生理盐水,连续15 d。最后一次灌胃12 h后,取血液、肾、肝组织,检测血液和肝脏组织中SOD活性和MDA的含量;检测体重、血糖、血脂（TG、CHO、LDL-C、HDL-C、TG/HDL-C）、肝功能（ALT和AST）及炎症因子含量（IL-6,IL-1β和TNF-a）水平;检测MDA和SOD水平。结果：长期急性饮用食用酒精小鼠体重显著降低,且体重与饮酒量负相关。与食用酒精同一剂量组相比,长期引用清香型白酒体重升高（P<0.05）;长期急性饮用食用酒精小鼠血糖均升高,且随饮酒量升高而升高;与食用酒精同一剂量组相比,长期引用清香型白酒血糖降低（P<0.05）,而且各小组血糖水平均在正常值;与食用酒精同一剂量组相比,饮清香型白酒小鼠组TG、CHO、LDL-C水平和TG/HDL...     

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

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

基于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的输出接口,建立了自动化的SATSMT分析模型,能够给出ARX算法在特殊输入输出差分和掩码集合下,不可能差分和零相关区分器轮数的上界.     

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

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