格点QCD基础求解器及其异构计算实现的性能优化

格点量子色动力学(格点QCD)是研究夸克、胶子等微观粒子间相互作用的重要理论和方法. 通过将时空离散化为四维结构网格, 并将量子色动力学的基本场量定义在网格上, 让研究人员可以使用数值模拟方法, 从第一性原理出发研究强子间相互作用和性质, 但这个过程中的计算量极大, 需要进行大规模并行计算. 格点QCD计算的核心基础为格点QCD求解器, 是程序运行主要的计算热点模块. 本文研究在国产异构计算平台下格点QCD求解器的实现与优化, 提出一套格点QCD求解器的设计实现, 实现了BiCGSTAB求解器, 显著降低了迭代次数; 通过对奇偶预处理技术, 降低了所求问题的计算规模; 针对国产异构加速卡的特点, 优化了Dslash模块的访存操作. 实验测试表明, 相比优化前的求解器获得了约30倍的加速比, 为国产异构超算下格点QCD软件性能优化提供了有益的参考价值.     

Greatly improved NIR shielding performance of CuS nanocrystals by gallium doping for energy efficient window

In this work, gallium doped copper sulfide (Ga-doped CuS) nanocrystals were prepared using a solvothermal method. The effects of Ga doping on the crystal structures, chemical composition, morphology, optical properties and thermal performance of copper sulfide (CuS) were investigated. The Ga-doped CuS nanocrystals had a hexagonal structure comparable to that of pure CuS. The Cu⁺/Cu²⁺ ratio first decreased and then increased with increasing Ga³⁺ doping. Both CuS and Ga-doped CuS exhibited nanoplate and nanorod morphologies. The visible transmittance of the Ga-doped CuS films was in the range of 61–77.1%. Importantly, the near-infrared (NIR) shielding performance of the films can be tuned by adjusting the concentration of the Ga dopant. The NIR shielding value of the optimal Ga-doped CuS film was 72.4%, which was approximately 1.5 times as high as that of the pure CuS film. This can be ascribed to the enhanced plasmonic NIR absorption that resulted from an increase in the hole concentration after doping with Ga³⁺ ions. In the thermal performance test, the Ga-doped CuS film lowered the interior temperature of the heat box by 9.1 °C. Therefore, the integration of good visible transmittance and high NIR shielding performance make the Ga-doped CuS nanocrystals a promising candidate for energy-efficient window coatings.     

A tool for mass transfer evaluation in packed-bed columns for chemical engineering students

This paper presents a Microsoft Excel tool to calculate liquid-gas mass transfer coefficients in packed towers to support numerical design activities in the courses of Unit Operations for Industrial Process and Sustainable Process Design for the Master’s degree in Chemical Engineering of the University of Naples Federico II (Italy).The Mass Transfer Solver Tool (MT Solver Tool) uses several available models to estimate, separately, the values of liquid and gas mass-transfer coefficients and the wet surface area for 144 random and structured packings of interest for absorption/stripping and distillation processes. In addition, a separate spreadsheet can be used in a user-defined mode, to evaluate the mass transfer coefficients with new packing types or to interpret experimental data when the geometrical and physical characteristics of the packing are known. Eventually, the tool is supplied with a data library, where packing geometry and model fitting parameters can be retrieved.The software is aimed to support students and educators in the Unit Operations for Industrial Process and Sustainable Process Design courses. In particular, this is meant to be an example on how the accuracy of design algorithms adopted in unit operation processes is affected by the use of the underpinning correlations for mass transfer rate or pressure drops. Besides, this is aimed to encourage comparison of different correlations when exact field data are not available. Besides, chemical engineers and researchers interested in packed columns design and modelling data may also benefit from the utilization of the software. The MT Solver Tool was introduced to students in a dedicated tutorial lesson after lecturers on packed column design algorithms for distillation, absorption and stripping. Most of the students of the course participated to a group training aimed to simulate the design of an absorption column supported by the MT Solver Tool providing feedback on its application.After the training, an anonymous survey was proposed to the students to monitor the approval rating of the proposed activity and the use of the MT Solver Tool software to support numerical calculations.     

On the Barzilai-Borwein basic scheme in FFT-based computational homogenization

Building upon the equivalence of the basic scheme in the work of Moulinec and Suquet with gradient descent methods, we investigate the effect of using the celebrated Barzilai-Borwein step size selection technique in this context. We provide an overview of recent convergence theory and present efficient implementations in the context of computational micromechanics, with and without globalization. In contrast to polarization schemes and fast gradient methods, no lower bound on the eigenvalues of the material tangent is necessary for the Barzilai-Borwein scheme. We demonstrate the power of the proposed method for linear elastic and inelastic large scale problems with finite and infinite material contrast.     

Design of energy‐efficient train speed profiles considering fixed‐block signaling system

In dense traffic railway networks, trains may often slow down or stop between stations owing to previous train delays. If preceding train trajectory can be predicted, energy‐efficient driving can be achieved by suppressing unnecessary speed changes. In this paper, we propose an algorithm to find energy‐efficient driving considering fixed‐block signaling (FBS) system by using dynamic programming (DP). DP is suitable for use because it can optimize the control inputs with discrete and state constraints. In this paper, we discuss energy‐efficient driving by considering a FBS system using some case studies of simulation. In the simulation, we examine a technique to drive an express train in an energy‐efficient way when the preceding local train is running toward the station with passing loops. The results show that the proposed method can derive complex speed profiles for energy‐efficient driving and the train can be operated with a maximum reduced energy consumption of 8.3%.     

高地压严重突出区域下向穿层钻孔预抽消突技术

利用工作面高抽巷施工掩护顺槽掘进工作面下向穿层条带预抽钻孔,通过对钻场底板深、浅孔注浆封堵围岩裂隙解决了孔内返水不畅难题;采取了"两堵一注"封孔方式确保封孔严密不漏气;孔内全程下吹水管,实现了单孔、分组、定时吹水工作目标,提高了下向消突钻孔抽采效果,形成了一套高效、快速的下向穿层钻孔消突管理模式,实现了高地压严重突出区域煤层高效消突以及技术经济一体化目标,安全经济效益显著。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

番茄安全高效设施栽培技术

番茄是人们喜爱的一种蔬菜,品质的优劣决定于安全高效的栽培技术,文章从番茄对环境条件的要求、栽培类型、栽培季节、栽培技术的要求阐述番茄安全高效设施栽培技术。     

年处理100万t中低品位磷矿高效清洁生产工艺

中低品位磷矿高效清洁综合利用是中国基础磷化工产业发展中遇到的共性瓶颈问题。以中低品位磷矿磷-钙-镁一体化综合利用中试成果为基础,通过创新集成技术对中低品位磷矿直接进行处理,获得高品质磷精矿[w（P₂O₅）≥36%、w（MgO）≤0.5%]可用于任何湿法磷酸及热法黄磷生产工艺,同时回收高附加值的氢氧化镁和轻质碳酸钙。该工艺磷全部回收、无尾矿产生、实现了废水近零排放,项目的实施对推动中国磷化工产业可持续发展及从源头解决“三磷”问题具有重要意义。     

核算前移在冶炼企业优化成本控制中的应用

针对国际黄金价格的走低,黄金冶炼企业如何在激烈的市场竞争中寻求更大的利润空间,优化成本控制显得尤为重要。以某冶炼厂为例,阐述核算前移在优化企业成本控制中的应用,以达到降本增效的目的,实现企业利润的最大化。