基于FCN-LSTM的工业烟尘图像分割

工业生产中常根据林格曼烟气黑度判断工业烟尘的污染等级,一种有效的方式是应用计算机视觉系统对工业烟尘进行监测, 其中对烟尘目标进行准确分割是该系统的关键技术。因为工业烟尘具有形状不固定、和云相似度高等特点,现有算法在复杂场景下对烟尘进行分割时容易受到干扰,分割准确度有待提高。针对这一问题,提出一种基于FCN-LSTM的工业烟尘图像分割方法,在全卷积网络对图像空间特征提取的基础上,使用长短时记忆网络提取图像序列的时间信息,通过烟尘的动态特征对运动的烟尘和背景进行区分,增强复杂场景下的抗干扰能力。实验表明,本文模型相比于全卷积网络,在复杂场景下的抗干扰能力有显著提升,能够有效克服来自云的干扰,对全卷积网络分割结果中易出现干扰点的问题也有改善,IoU指标最高有8.04%的提升。     

一个全同态代理重加密方案

针对现有全同态加密方案仅能对用同一密钥加密的密文进行计算的局限性,在Brakerski等人构造的全同态加密方案基础上,结合密钥隐私（Key-private）代理重加密的思想,并利用私钥置换技术,把某用户的密文置换成其他用户的私钥可以解密的新密文,从而构造了密钥隐私的全同态代理重加密方案,该方案可以使拥有重加密密钥的代理者在不改变明文的情况下,把用委托方Alice的公钥加密后的密文转换为可以用受理方Bob的私钥解密,且代理者无法获知Alice和Bob的身份,同时,根据同态运算的性质,代理者可以对转换后的密文进行同态运算,即方案同时具有全同态的性质和代理重加密的性质。从而实现了对用不同密钥加密的密文进行任意计算。另外,假如用户不使用重加密的功能,本方案将自动退化为高效的全同态加密方案(BGV方案）。所以对于不同应用需求,本方案具有较为良好的适应性。最后,在标准模型下证明了方案的CPA安全性和代理重加密的密钥隐私性。     

充填采煤理论与技术的新进展及展望

充填采煤是绿色开采的核心,在综合阐述煤矿充填采煤技术发展历史的基础上,介绍了近年来我国综合机械化充填采煤理论及技术取得的重大突破,包括:长壁工作面采充一体化原理、综合机械化固体充填采煤技术、密实充填有效控制岩层运动的目标、充填采煤岩层移动预计的等价采高理论、密实充填采煤岩层移动的解析计算公式和充填采煤岩层移动与地表沉陷实测比较等.指出了研发新型低成本充填材料、提升充填采煤装备自动化水平、建立充填采煤基础理论与相关评价体系、协同充填采煤与地下水环境保护是煤矿充填采煤技术发展的必然趋势.     

饱和粘土中球孔扩张问题弹塑性解析

为了研究静力触探试验及沉桩扩孔等工程问题,基于修正剑桥模型,推导了不排水条件下球孔扩张问题的半解析解。将扩张球孔周围土体分为临界状态区、塑性区以及弹性区三个区域。弹性区内,利用弹性理论得到应力和孔隙水压力的解答;临界状态区及塑性区内,利用相关联的流动法则、拉格朗日分析法建立了关于应力的一阶非线性常微分方程组,以弹塑性界面处的应力分量作为初值,求解微分方程组可得到应力和孔隙水压力的解答。研究结果表明：各向同性超固结比对扩孔压力、土体应力、超孔隙水压力以及塑性区范围均具有显著影响,且扩孔过程中土体剪切模量并非常量,其随扩孔半径、各向同性超固结比的变化而变化;同时通过与已有解答进行比较,对本文方法的可靠性进行了验证。     

大倾角综放面防倒防滑防滚矸技术

基于永登集团丰阳煤矿12101综放工作面实际生产条件,采用理论分析与工程实际相结合的方法研究了工作面液压支架倒架、咬架及刮板输送机下滑的原因,分析了大块矸石滚落对工作面设备造成的冲击、卡塞等危害.采用伪斜推进、及时调整支架状态、"上拉下顶"防倒防滑、支架操作阀闭锁、端头支架锚固、及时支护、自上向下单向割煤、自下而上带压擦顶移架、控制采高等技术解决了支架的倒架、咬架和刮板输送机下滑问题;采用防滚矸钢网、全断面防滚矸装置、挡矸帘、柔性挡矸装置、加高挡煤板等技术解决了滚矸的危害.现场实践表明,该套技术保证了工作面的整体稳定性,为大倾角工作面安全生产提供了保障.     

封闭域UCT算法的实现及其性能测试

UCT算法在9×9棋盘上的水平,已经接近最优秀的专业棋手,但在19×19棋盘上还不尽人意.一种可能的改进是用多个并行的局部UCT搜索来替代全局UCT搜索,以期用同样的计算资源来达到更深的有效搜索深度.本文力图沿着此研究思路做一些初步的尝试.我们通过改写Fuego的全局UCT搜索算法,本文实现了封闭域UCT搜索算法,并在64个封闭域围棋死活问题上进行了测试.初步结果表明,封闭域UCT算法能够在不使用任何领域知识的情况下,把给定问题的初始分支系数从5~16降低到2.3以下.从正确率和速度两项指标来看,多个并行的局部UCT搜索的研究思路具备可行性.     

Experimental measurements of the phase and group velocities of body waves in a transversely isotropic medium

In this study, we perform an experimental result for measurements of the body wave phase and group velocities in transversely isotropic media (TIM) by through-transmission technique. After comparing the experimental and theoretical first arrival times of the waves, a difference between the phase velocity and group velocity is observed. When the ratio between propagation distance (d) of the wave and the diameter (D) of transducer is 2.4 for measuring phase velocity and the point probes configuration for measuring group velocity, the accuracy in velocity estimation can reach the limit of system's resolution. However if d/D is 7.8, the wave will propagate with an intermediate velocity between the phase and group velocities. The rapid change of the wave velocity and waveform for qSV-wave propagation with the group velocity has been observed at the propagation direction near the cusps. Therefore, in order to reduce the error in group velocity estimation of qSV-waves, the optimum directions are suggested at 20 and 60°.     

热变形高铌Ti-Al合金获取全片层组织的热处理工艺

研究了热变形高铌Ti-Al合金获取全片层组织的热处理工艺及转变机理,提出了新的热处理工艺为:1480℃×10min→1345℃×20min→900℃×2h,空冷。采用新工艺热处理时可使高铌Ti-Al合金中在β相与α相区两次重新形核长大,破坏了原始变形组织中晶粒间的取向关系,从而得到了均匀的α相,因而新工艺热处理后得到较为均匀细小的全片层组织。     

全焊接阀门的焊接温度场拟合分析

建立了一种基于试验的非线性曲线拟合的新方法来分析焊接温度场。采用改进的温度场数学解析模型后，拟合得到与实测结果相当接近的温度-时间拟合曲线方程：根据不同条件下的拟合方程，对其回归系数进行了影响因素的分析。并考虑实际需要，得到了不同初始温度下全焊接阀体的密封圈安全位置范围，为阀门焊接工艺的制定提供了重要依据。     

一种带有“遮罩”的ASIFT特征提取算法

指出提高ASIFT算法效率的一种新途径:利用“遮罩”屏蔽源自视角模拟的无效像素区域,从而使较为耗时的区域运算仅作用于有效像素区域,以达到提高运算效率的目的.首先,分析无效像素区域产生根源,并定量分析此类区域在各区域运算环节占有的比例,指出增加“遮罩”的必要性,特别指出被处理图像的宽高比越大,则经“遮罩”处理后所获得的加速比越高;随后,给出带有“遮罩”的ASIFT算法结构;然后,给出“遮罩”的一种低存储空间、高访问效率的数据结构,并给出离线获取“遮罩”的一种解析方法;最后,通过实验证实使用“遮罩”能有效提高ASIFT算法中区域运算部分的效率,从而在一定程度上也提高了算法整体的运算效率,但效率提升幅度受到理想区域加速比限制.