切顶卸压技术在双鸭山矿区沿空留巷中的应用

为了使双鸭山矿区煤炭资源最大程度地被采掘,减少资源浪费,提高矿井效益,延长矿井服务年限及促进矿井安全生产,以双鸭山矿区3个缓倾斜中厚煤层综采工作面为工程背景,对切顶卸压无煤柱开采技术进行深入探索,经过实际的检验证明,在双鸭山矿区缓倾斜中厚煤层中,采用切顶卸压技术进行沿空留巷,技术可行,经济合理,工艺简单,成巷率高。     

“Peel cutting” – A new cutting method for difficult-to-cut workpieces with hard oxide surfaces

A new cutting method named “peel cutting” is proposed in this research to suppress notch wear in machining of metals with hard oxide surfaces. In general, metals are produced by hot deformation processes like rolling, forging, and extrusion, which cause hard oxide surfaces called scales on their surfaces. These hard scales need to be removed first in machining of precision parts. However, the machining causes the severe notch wear at the depth-of-cut position, where the tool contacts the hard scale. To solve this problem, the proposed peel cutting avoids this direct contact between the tool and the scale by inclining the end cutting edge at an extremely large inclination (oblique) angle. This extremely oblique cutting changes the material flow and generates a “burr-like chip”. In the proposed cutting method, the tool contacts only soft non-oxide metal under the scale during cutting. Cutting of titanium alloy Ti–6Al–4V is conducted by modifying commercial tools to provide extremely large inclination angles, and it is clarified that an inclination angle of 70 deg or greater is required to realize the proposed cutting. Tool wear in the proposed cutting of the alloy with a hard scale is also observed in comparison with the ordinary cutting, and the result verifies that the notch wear can be suppressed successfully by the proposed peel cutting.     

Dynamic Oscillation via Negative Differential Resistance in Type III Junction Organic/Two-Dimensional and Oxide/Two-Dimensional Transition Metal Dichalcogenide Diodes

Among many of 2D semiconductor-based devices, type III PN junction diodes are given special attentions due to their unique function, negative differential resistance (NDR). However, it has been found uneasy to achieve well-matched type III PN junctions from 2D–2D van der Waals heterojunctions. Here, the authors present other alternatives of type III heterojunctions, using 2D p-MoTe₂/organic n-type dipyrazino[2,3-f:2′,3′-h]quinoxaline-2,3,6,7,10,11-hexacarbonitrile (HAT-CN) and 2D p-WSe₂/n-MoO_x systems. Those junction diodes appear to well-demonstrate static and dynamic NDR behavior via resonant tunneling and electron–hole recombination. Extended to an inverter circuit, p-MoTe₂/n-HAT-CN diode enables multilevel inverter characteristics as monolithically integrated with p-MoTe₂ channel field effect transistor. The same NDR diode shows dynamic LC oscillation behavior under a constant DC voltage, connected to an external inductor. From p-WSe₂/n-MoO_x oxide diode, similar NDR behavior to those of p-MoTe₂/n-HAT-CN is again observed along with LC oscillations. The authors attribute these visible oscillation results to high peak-to-valley current ratios of their organic or oxide/2D heterojunction diodes.     

A globally convergent BFGS method for pseudo-monotone variational inequality problems

In this paper, we propose a globally convergent BFGS method to solve Variational Inequality Problems (VIPs). In fact, a globalization technique on the basis of the hyperplane projection method is applied to the BFGS method. The technique, which is independent of any merit function, is applicable for pseudo-monotone problems. The proposed method applies the BFGS direction and tries to reduce the distance of iterates to the solution set. This property, called Fejer monotonicity of iterates with respect to the solution set, is the basis of the convergence analysis. The method applied to pseudo-monotone VIP is globally convergent in the sense that subproblems always have unique solutions, and the sequence of iterates converges to a solution to the problem without any regularity assumption. Finally, some numerical simulations are included to evaluate the efficiency of the proposed algorithm.     

Multiple Empirical Kernel Learning with Majority Projection for imbalanced problems

Traditional Multiple Empirical Kernel Learning (MEKL) expands the expressions of the sample and brings better classification ability by using different empirical kernels to map the original data space into multiple kernel spaces. To make MEKL suit for the imbalanced problems, this paper introduces a weight matrix and a regularization term into MEKL. The weight matrix assigns high misclassification cost to the minority samples to balanced misclassification cost between minority and majority class. The regularization term named Majority Projection (MP) is used to make the classification hyperplane fit the distribution shape of majority samples and enlarge the between-class distance of minority and majority class. The contributions of this work are: (i) assigning high cost to minority samples to deal with imbalanced problems, (ii) introducing a new regularization term to concern the property of data distribution, (iii) and modifying the original PAC-Bayes bound to test the error upper bound of MEKL-MP. Through analyzing the experimental results, the proposed MEKL-MP is well suited to the imbalanced problems and has lower generalization risk in accordance with the value of PAC-Bayes bound.     

A new linearly constrained minimum variance beamformer for reconstructing EEG sparse sources

Brain source imaging based on EEG aims to reconstruct the neural activities producing the scalp potentials. This includes solving the forward and inverse problems. The aim of the inverse problem is to estimate the activity of the brain sources based on the measured data and leadfield matrix computed in the forward step. Spatial filtering, also known as beamforming, is an inverse method that reconstructs the time course of the source at a particular location by weighting and linearly combining the sensor data. In this paper, we considered a temporal assumption related to the time course of the source, namely sparsity, in the Linearly Constrained Minimum Variance (LCMV) beamformer. This assumption sounds reasonable since not all brain sources are active all the time such as epileptic spikes and also some experimental protocols such as electrical stimulations of a peripheral nerve can be sparse in time. Developing the sparse beamformer is done by incorporating L1-norm regularization of the beamformer output in the relevant cost function while obtaining the filter weights. We called this new beamformer SParse LCMV (SP-LCMV). We compared the performance of the SP-LCMV with that of LCMV for both superficial and deep sources with different amplitudes using synthetic EEG signals. Also, we compared them in localization and reconstruction of sources underlying electric median nerve stimulation. Results show that the proposed sparse beamformer can enhance reconstruction of sparse sources especially in the case of sources with high amplitude spikes.     

Semirigid inclusions in elastic bodies: Mechanical interplay and optimal control

The paper concerns an analysis of an equilibrium problem for 2D elastic body with two semirigid inclusions. It is assumed that inclusions have a joint point, and we investigate a junction problem for these inclusions. The existence of solutions is proved, and different equivalent formulations of the problem are proposed. We investigate a convergence to infinity of a rigidity parameter of the semirigid inclusion. It is proved that in the limit, we obtain an equilibrium problem for the elastic body with a rigid inclusion and a semirigid one. A parameter identification problem is investigated. In particular, the existence of a solution to a suitable optimal control problem is proved.     

An inverse problem for non-selfadjoint Sturm–Liouville operator with discontinuity conditions inside a finite interval

This paper is concerned with the inverse problem for non-selfadjoint Sturm–Liouville operator with discontinuity conditions inside a finite interval. Firstly, we give the definitions of generalized weight numbers for this operator which may have the multiple spectrum and then investigate the connections between the generalized weight numbers and other spectral characteristics. Secondly, we obtain the generalized spectral data, which consists of the generalized weight numbers and the spectrum. Then the operator is determined uniquely by the method of spectral mappings. Finally, we give an algorithm for reconstructing the potential function and the coefficients of the boundary conditions and the coefficients of the discontinuity conditions.