Abstract To study the influence of axial and radial uncoupling coefficient on blasting effect when air and water are used as spacer in surrounding holes of tunnel water seal blasting, and the optimal charge coefficient is determined for construction. Combined with numerical simulation and field test, the research results show that: (1) When the air and water are used as the interval medium in the peripheral hole for multi-hole blasting, the optimal value range of axial uncoupling coefficient is 2.2∼2.5. The optimal value range of radial uncoupling coefficient is 1.5∼1.6. (2) The concept of composite uncoupling coefficient is proposed, and the optimal decoupling charge coefficient is determined. Finally, the axial decoupling coefficient is 2.2 and the radial decoupling coefficient is 1.6, which can meet the blasting requirements. (3) The simulation results are verified by field test. It is proved that the axial decoupling coefficient is 2.2 and the radial decoupling coefficient is 1.6, which is better than the research results of axial decoupling coefficient of 2.07 and radial decoupling coefficient of 1.5 used in conventional blasting. The results show that the air and water media used in engineering construction can improve the blasting effect and reduce the explosive unit consumption.
Abstract Molybdenum disulfide (MoS 2 ) is a promising 2D semiconductor material for its unique characteristics such as tunable bandgap, high electrical conductivity, and strong light–matter interaction. Presently, many efforts have been made to modulate its properties, such as surface engineering, strain introduction, doping, and so on. Recently, it has been proved that substitutional metal doping is an effective approach to tune the energy bandgap of the aimed material and improve the performance of the device. Conventional metal doping methods will inevitably introduce impurities or defects and cannot control doping regions. Ion implantation is widely used in traditional semiconductor modification processes due to its high efficiency, controllability, and homogeneity. But it is rarely applied to 2D materials because of the damage caused during the implantation process. Here, the SiO 2 substrate is implanted by tungsten ion implantation and then the tungsten doping of MoS 2 is successfully achieved by chemical vapor deposition (CVD) growth process, while avoiding direct implantation damage to it. The W‐doped MoS 2 photodetectors show a high‐speed response with a rise/fall time of 210 ms/160 ms. This work provides a novel doping strategy for metal doping of 2D materials and opens a new avenue to modify 2D materials properties.
In recent years, many C code static analyzers, with different abilities of bug detection, have appeared and been applied in various domains. There are so many choices that it becomes hard for programmers to know in detail the strengths as well as limitations of all these analyzers and to find the most suitable ones for their code. In this paper, we propose a benchmark for C code static analyzers, named UCBench, to provide quantitative and qualitative measurements for evaluating analyzers. Being different from other benchmarks, UCBench concentrates more on users' requirements rather than the improvements of bug detecting technique itself. The major components of UCBench include test case database, evaluation metrics and harness. We classify test cases into several groups according to their attributes and design various user-centric evaluation metrics. Besides, we develop some harness to automate the evaluation process. Finally, we demonstrate our benchmark suite over four C code static analyzers: Flawfinder, Cppcheck, Uno and Splint.
Nuclear magnetic resonance (NMR) and damage impact testing, using a split Hopkinson pressure bar (SHPB) technique, were conducted on weakly weathered granites of different porosities. Based on this, this study determined and analysed the pore structure and distribution, propagation characteristics of stress waves, changes in initial tangent modulus, and energy dissipation in weakly weathered granites of different porosities. The research demonstrated that the nature of the internal porosity of weakly weathered granites changed with total porosity. Pore structure significantly influenced the amplitude of reflected waves and distortion of transmitted waves. Under constant-damage impact loads, the initial tangent modulus decreased with increasing porosity, whereas the stress-strain curves, after reaching the peak stress, had similar shapes. Peak stress and average strain rate showed a strong power-law correlation with porosity, and peak stress decreased in a power-law correlation with the increase of average strain rate. In other words, the difference in average strain resulted from different porosities when the incident energy was same, and the average strain was negatively correlated with porosity. Under damaging impact, the energy absorbed per unit volume decreased with increasing porosity. The research results reveal dynamic characteristics of natural porous rocks under damage impacts, which provide a reference for studying damage effects of porous rocks under the effects of stress waves.
Abstract An N‐doped TiO 2 model reveals a conceptually different mechanism for activating the N dopant based on delocalized orbital hybridization through O vacancy incorporation. Synchrotron‐based X‐ray absorption spectroscopy, time‐resolved fluorescence, and DFT studies revealed that O vacancy incorporation can effectively stimulate the delocalization of N impurity states through p‐band orbital modulation, which leads to a significant enhancement in photocarrier lifetime. Consequently, this effect also results in a remarkable increase in the incident photon‐to‐electron conversion efficiency in the range of 400–550 nm compared to that of conventional N‐incorporated TiO 2 (15 % versus 1 % at 450 nm). This work reveals the fundamental necessity of orbital modulation in the band engineering of metal oxides for driving solar water splitting and beyond.
We study the static analysis on both numeric and structural properties of array contents in the framework of abstract interpretation. Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays. Current verification of these programs by static analysis focuses on numeric content properties. However, in some lowlevel programs (like embedded systems or real-time operating systems), arrays often contain structural data (e.g., lists) without using dynamic allocation. In this manuscript, we present a series of techniques to verify both numeric and structural properties of array contents. Our first technique is used to describe properties of numerical stores with optional values (i.e., where some variables may have no value) or sets of values (i.e., where some variables may store a possibly empty set of values). Our approach lifts numerical abstract domains based on common linear inequality into abstract domains describing stores with optional values and sets of values. This abstraction can be used in order to analyze languages with some form of option scalar type. It can also be applied to the construction of abstract domains to describe complex memory properties that introduce symbolic variables, e.g., in order to summarize unbounded memory blocks like in arrays. Our second technique is an abstract domain which utilizes semantic properties to split array cells into groups. Cells with similar properties will be packed into groups and abstracted together. Additionally, groups are not necessarily contiguous. Compared to conventional array partitioning analyses that split arrays into contiguous partitions to infer properties of sets of array cells. Our analysis can group together non-contiguous cells when they have similar properties. Our abstract domain can infer complex array invariants in a fully automatic way. The third technique is used to combine different shape domains. This combination locally ties summaries in both abstract domains and is called a coalesced abstraction. Coalescing allows to define efficient and precise static analysis algorithms in the combined domain. We utilize it to combine our array abstraction (i.e., our second technique) and a shape abstraction which captures linked structures with separation logicbased inductive predicates. The product domain can verify both safety and functional properties of programs manipulating arrays storing dynamically linked structures, such as lists. Storing dynamic structures in arrays is a programming pattern commonly used in low-level systems, so as to avoid relying on dynamic allocation. The verification of such programs is very challenging as it requires reasoning both about the array structure with numeric indexes and about the linked structures stored in the array. Combining the three techniques that we have proposed, we can build an automatic static analysis for the verification of programs manipulating arrays storing linked structures. We report on the successful verification of several operating system kernel components and drivers.
Abstract Under the complex external reaction conditions, uncovering the true structural evolution of the catalyst is of profound significance for the establishment of relevant structure–activity relationships and the rational design of electrocatalysts. Here, the surface reconstruction of the catalyst was characterized by ex-situ methods and in-situ Raman spectroscopy in CO 2 electroreduction. The final results showed that the Bi 2 O 3 nanoparticles were transformed into Bi/Bi 2 O 3 two-dimensional thin-layer nanosheets (NSs). It is considered to be the active phase in the electrocatalytic process. The Bi/Bi 2 O 3 NSs showed good catalytic performance with a Faraday efficiency (FE) of 94.8% for formate and a current density of 26 mA cm −2 at −1.01 V. While the catalyst maintained a 90% FE in a wide potential range (−0.91 V to −1.21 V) and long-term stability (24 h). Theoretical calculations support the theory that the excellent performance originates from the enhanced bonding state of surface Bi-Bi, which stabilized the adsorption of the key intermediate OCHO* and thus promoted the production of formate.
'/%3e%3cuse xlink:href='%23a' transform='rotate(23.036 .093 25.536)'/%3e%3cuse xlink:href='%23a' transform='rotate(45.87 1.273 16.18)'/%3e%3cuse xlink:href='%23a' transform='rotate(69.945 .996 12.078)'/%3e%3cuse xlink:href='%23a' transform='rotate(20.66 -19.689 31.932)'/%3e%3c/svg%3e)