The fracture field and permeability distribution model of comprehensive working face goaf was integrated upon the theoretical examination to investigate law gas migration accumulation characteristics, this has been applied mathematical in goaf. ANSYS FLUENT numerical simulation software used obtain characteristics its influencing factors analyze applicability solving features proliferation usin...

High-intensity mining effect induced by long working face causes dynamic disasters to safe and efficient coal mining. For the purpose of in-depth study movement law earth’s surface on ultra-long face, this paperused build a numerical model, analyzes roof-to-floor strata behaviors in bed during mining, studies weakening parameters bed, bearing pressure roof caving rock movement. Analyzes length ...

Based on the ventilation characteristics of gob-side entry retaining face, a mathematical model spontaneous combustion in face is established. From overburden caving goaf along roadway, development rock strata and residual coal fissures are summarized analyzed. In addition, by using numerical simulation software, effects normal mining period, roadway as return air leakage prevention, nitrogen i...

The present study sought to further understanding of the brain mechanisms that underlie the effects of music on perceptual, affective, and visceral responses during whole-body modes of exercise. Eighteen participants were administered light-to-moderate intensity bouts of cycle ergometer exercise. Each exercise bout was of 12-min duration (warm-up [3min], exercise [6min], and warm-down [3min]). ...

It is now widely accepted that programming concurrent software is a complex, error-prone task. Therefore it is useful to specify, develop, and verify concurrent programs using formal methods. In our continuing work, we try to develop a constructive framework for extracting concurrent programs from their formal specifications. In this framework, we use CZ specification language and rely on a tra...

A method is presented for the implementation of edge local complementation (ELC) in graph states, based on the application of two Hadamard operations and a single controlled-phase (CZ) gate. As an application, we demonstrate an efficient scheme for constructing a one-dimensional logical cluster state based on the five-qubit quantum error-correcting code, using a sequence of ELCs. A single physi...

Determining the caving height in block method requires considering a suitable criterion discussed this study. The comparison between different criteria and choosing appropriate for use rock mass cavability study is main idea of study, which has not been investigated previous studies. In paper, through FEM (Finite Element Method) software, area undercutting stages was calculated using displaceme...

In this paper, we present the 3D simulation of>20% efficiency solar cells using n-type 100% Upgraded-Metallurgical Grade (UMG) Czochralski (CZ) silicon and Electronic Grade (EG) Float Zone (FZ) fabricated using the same process. The cells have a passivated emitter rear locally diffused (PERL) structure, with an etch-back approach on the rear to maintain high bulk lifetime in the cells via phosp...