大埋深破碎顶板沿空留巷技术研究

为解决矿井大埋深工作面接续及安全生产问题,结合现场地质条件,采用了沿空留巷工艺优化实施方案,提出了关键技术工艺及要求,形成了一套完整的留巷技术方案,缓解了接续,保证了安全生产。     

Probabilistic learning on manifolds (PLoM) with partition

The probabilistic learning on manifolds (PLoM) introduced in 2016 has solved difficult supervised problems for the “small data” limit where the number N of points in the training set is small. Many extensions have since been proposed, making it possible to deal with increasingly complex cases. However, the performance limit has been observed and explained for applications for which N is very small and for which the dimension of the diffusion-map basis is close to N. For these cases, we propose a novel extension based on the introduction of a partition in independent random vectors. We take advantage of this development to present improvements of the PLoM such as a simplified algorithm for constructing the diffusion-map basis and a new mathematical result for quantifying the concentration of the probability measure in terms of a probability upper bound. The analysis of the efficiency of this extension is presented through two applications.     

机器翻译译文质量估计综述

机器翻译译文质量估计(Quality Estimation,QE)是指在不需要人工参考译文的条件下,估计机器翻译系统产生的译文的质量,对机器翻译研究和应用具有很重要的价值。机器翻译译文质量估计经过最近几年的发展,取得了丰富的研究成果。该文首先介绍了机器翻译译文质量估计的背景与意义;然后详细介绍了句子级QE、单词级QE、文档级QE的具体任务目标、评价指标等内容,进一步概括了QE方法发展的三个阶段: 基于特征工程和机器学习的QE方法阶段,基于深度学习的QE方法阶段,融入预训练模型的QE方法阶段,并介绍了每一阶段中的代表性研究工作;最后分析了目前的研究现状及不足,并对未来QE方法的研究及发展方向进行了展望。     

快速近似计算Shapley值的归因解释方法

Shapley值归因解释方法虽然能更准确量化解释结果, 但过高的计算复杂度严重影响了该方法的实用性. 本文引入KD树重新整理待解释模型的预测数据, 通过在KD树上插入虚节点, 使之满足TreeSHAP算法的使用条件, 在此基础上提出了KDSHAP方法. 该方法解除了TreeSHAP算法仅能解释树结构模型的限制, 将该算法计算Shapley值的高效性放宽到对所有的黑盒模型的解释中, 同时保证了计算准确度. 通过实验对比分析, KDSHAP方法的可靠性, 以及在解释高维输入模型时的适用性.     

Automated prediction system of household energy consumption in cities using web crawler and optimized artificial intelligence

The supply of electrical energy is critical to convenient and comfortable living. However, people consume a large amount of energy, contributing to an energy crisis and global warming, and damaging some ecological cycles. Residential electricity consumption has greater elasticity than industrial and business consumption; it therefore has high energy-saving potential. This work establishes an automated platform, which provides information about residential electricity consumption in each city in Taiwan. Machine learning was used to forecast future residential electricity demand. A nature-inspired optimization method was applied to enhance the accuracy of the best machine learner, yielding an even better hybrid ensemble model. Performance measures indicate that the resulting model is accurate and provides effective information for reference. An automatic web-based system based on the model was combined with a web crawler and scheduled to run automatically to provide information on monthly residential electricity consumption in each county and city. By providing energy consumption information across the country, power providers and government can discuss policy and set different goals for energy use. The results of this study can facilitate the early implementation of energy-saving and carbon emission-reducing in cities and aid utility companies in establishing energy conservation guidelines.     

Prediction of fish quality level with machine learning

In this study, sea bream, sea bass, anchovy and trout were captured and recorded using a digital camera during refrigerated storage for 7 days. In addition, their total viable counts (TVC) were determined on a daily basis. Based on the TVC, each fish was classified as ‘fresh’ when it was <5 log cfu per g, and as ‘not fresh’ when it was >7 log cfu per g. They were uploaded on a web-based machine learning software called Teachable Machine (TM), which was trained about the pupils and heads of the fish. In addition, images of each species from different angles were uploaded to the software in order to ensure the recognition of fish species by TM. The data of the study indicated that the TM was able to distinguish fish species with high accuracy rates and achieved over 86% success in estimating the freshness of the fish species tested.     

面向小语种机器翻译的平行语料库构建方法

神经机器翻译模型的训练效果在很大程度上取决于平行语料库的规模和质量。除了一些常见语言外,汉语与小语种间高质量平行语料库的建设一直处于滞后状态。现有小语种平行语料库多采用自动句子对齐技术利用网络资源构建而成,在文本质量和领域等方面有诸多局限性。采用人工翻译的方式可以构建高质量平行语料库,但是缺乏相关经验和方法。文中从机器翻译实践者和研究者角度出发,介绍了经济高效的人工构建小语种平行语料库的工作,包括其总体目标、实施过程、流程细节和最后结果。在构建过程中尝试并积累了各种经验,形成了小语种到汉语平行语料库构建方法、建议的总结。最终,成功构建了波斯语到汉语、印地语到汉语、印度尼西亚语到汉语各50万条高质量平行语料。实验结果表明,所构建的平行语料库有较好的质量,提高了小语种神经机器翻译模型的训练效果。     

Thermal properties of hierarchical YSZ and LZO ceramic microspheres with multi-scaled voids investigated by using theoretical,experimental and simulation methods

Heat transfer within ceramic feedstock powders is still unclear, which impedes optimization of the thermal and mechanical properties of the thermal sprayed coatings. The microspheres (yttria-stabilized zirconia YSZ and lanthanum zirconate LZO) were prepared via the electro-spraying assisted phase inversion method (ESP). The thermal properties of the two ESP microspheres and a commercial hollow spherical powder (HOSP) were investigated by using theoretical, experimental, and simulation methods. Thermal conductivity of the single microsphere was estimated via a novel nest model that was derived from the Maxwell-Eucken 1 and the EMT model. Thermal conductivity of a single YSZ/LZO-ESP microsphere prepared at 1100–1200 °C was within 0.36–0.75 W/m K, which was ～ 20 % lower than that of a single YSZ-HOSP microsphere with a similar porosity. Heat flux simulation showed that high tortuosity around the multi-scaled voids of the ESP microsphere led to a more efficient decrease in thermal conductivity compared with total porosity.     

Anodic corrosion of heteroatom doped graphene oxide supports and its influence on the electrocatalytic oxygen evolution reaction

Transition metal-based electrocatalysts supported on carbon substrates face the challenges of anodic corrosion of carbon during oxygen evolution reaction at high oxidation potential. The role of electrophilic functional groups (carbonyl, pyridinic, thiol, etc.) incorporated in graphene oxide has been studied towards the anodic corrosion resistance. Heteroatom functionalized carbon supports possess modified electronic properties, surface oxygen content, and hydrophilicity, which are crucial in governing electrochemical corrosion in the alkaline oxidative environment. Evidently, electron-withdrawing groups in NGO support (pyridinic, cyano, nitro, etc) and its lower oxygen content impart maximum corrosion resistance and anodic stability in comparison to the other sulfur-doped and co-doped graphene oxide support. In this report, we establish the baseline evaluation of carbon-supported OER electrocatalysts by a systematic analysis of activity and substrate corrosion resistance. The result of this study establishes the role of surface composition of the doped supports while for designing a stable, corrosion-resistant OER electrocatalyst.     

关于多功能液压支架拖运车的电控系统设计

本文简介多功能液压支架拖运车的电控系统,包括电控箱的设计和主要电气元件的性能和选择依据。此电控系统能够一般电控系统的各种功能和保护,而且能够通过摄像头做到操作盲区和使用遥控器进行远程控制,从而提高液压支架的拖运效率、降低劳动强度和提高安全保障。