斜井人车开动过程的再分析

本文对目前使用比较普遍的插爪式斜井人车的开动过程进行了分析,开动过程的空行程时间的分析计算结果与实测结果基本上吻合,同时分析了斜井人车(包括插爪式人车和抱轨式人车)全速动负荷试验的开动过程,分析结果表明,当采用闭锁器控制人车的试验速度时,试验时将会发生追车规象。文章分析了追车规象产生的原因和发生范围。追车的结果将使有的车提前开动,车与车互相顶撞,造成人车底架槽钢变形,甚至不完全开动。文章提出了防止发生追车现象、保证试验正常进行的条件和措施。

Sensing for advancing mining automation capability:A review of underground automation technology development

This paper highlights the role of automation technologies for improving the safety, productivity, and environmental sustainability of underground coal mining processes. This is accomplished by reviewing the impact that the introduction of automation technology has made through the longwall shearer automation research program of Longwall Automation Steering Committee(LASC). This result has been achieved through close integration of sensing, processing, and control technologies into the longwall mining process. Key to the success of the automation solution has been the development of new sensing methods to accurately measure the location of longwall equipment and the spatial configuration of coal seam geology. The relevance of system interoperability and open communications standards for facilitating effective automation is also discussed. Importantly, the insights gained through the longwall automation development process are now leading to new technology transfer activity to benefit other underground mining processes.

Quantifying the emission＇s impact of coal mining activities on the environment and human health in process

Discharges and emissions in the coal mining process have a strong effect both on the environment and on human health. This problem is usually be a negative one and has only been recognized qualitatively, due to the lack of effective quantitative methods. Based on emergy theory and accounting methodology, a set of quantitative methods for accounting the environmental support due to pollutants emissions was first introduced. Then impacts on environment and effects on human health were quantified using the unified units. The results indicated that water pollutants caused more impacts on the environment than air pollutants did, i.e., more environmental contributions are needed to dilute and absorb water pollutants. The occupation of land caused by coal mining gangue waste stacking has led to a huge loss of environmental services over the years. Moreover, the potential damage on the human condition health caused by CO2 through climate change cannot be ignored. Finally, the impacts of mining activities on environmental and human health in unified units are shown to provide a quantitative insight into the disadvantage of coal mining. The comparable results of the method indicate the different influence of various pollutants and the contribution of ＇natural capital＇ directly. This work is a part of ongoing thermodynamic input-output analysis and life cycle analysis of coal mining systems （which are in process.）

The logic analyses of heat transfer process between solids

The thermal switch algebra method and theory, which is used as a power tool of logic analyses of heat transfer process, is discussed in this paper, it was a practical application of pan-logic algebra in the heat science. As an example of heat switch algebra application, the logic algebra model of interfacial thermal resister between Bi-2223 and AIN were built at the range from 30K to 200K according to the thermal switch algebra theory. The computer simulation results were agreed greatly with experiment data, the error is less that 5%. The design and analyses of digit heat routes can be described by the thermal switch algebra as well.

Test studies of gas flow in rock and coal surrounding a mined coal seam

An analysis of the variation rule of abutment pressure at the mining working face in a single coal seam and the mechanical behavior of surrounding rock during stoping is presented. Consideration of the elastic and plastic deformation zones that develop during the mining process allowed the determination of a relationship between horizontal stress and vertical stress. Based on this, a confined pressure unloading test was conducted by the use of the ＂gas-containing coal tbermo-fluid-solid coupling 3-axis servo seep- age＂ experimental apparatus. Thus, gas flow patterns in the elastic and plastic zones were derived from an experimental point of view. Darcy＇s law and the Klinkenberg effect were used to derive a gas flow equation for the elastic and plastic stress fields. The study of gas flow phenomena at the working face during coal mining is of great importance for the study of gas migration and enrichment patterns.

Driving force planning in shield tunneling based on Markov decision processes

In shield tunneling, the control system needs very reliable capability of deviation rectifying in order to ensure that the tunnel trajectory meets the permissible criterion. To this goal, we present an approach that adopts Markov decision process (MDP) theory to plan the driving force with explicit representation of the uncertainty during excavation. The shield attitudes of possi- ble world and driving forces during excavation are scattered as a state set and an action set, respectively. In particular, an evaluation function is proposed with consideration of the stability of driving force and the deviation of shield attitude. Unlike the deterministic approach, the driving forces based on MDP model lead to an uncertain effect and the attitude is known only with an imprecise probability. We consider the case that the transition probability varies in a given domain estimated by field data, and discuss the optimal policy based on the interval arithmetic. The validity of the approach is discussed by comparing the driving force planning with the actual operating data from the field records of Line 9 in Tianjin. It is proved that the MDP model is reasonable enough to predict the driving force for automatic deviation rectifying.

DBT parameters and dynamic monitoring during reservoir development, and distribution region prediction of remaining oil:A case study on the Sha-3~3 oil reservoir in the Liubei region, Nanpu sag

In this study, compositional characteristics of crude oil, including the variation of aliphatic, aromatic and pyrrolic nitrogen compounds, were systematically monitored and investigated in a high water-cut oil reservoir over a short time.The results showed that among the widely used parameters indicative of oil maturity and migration, tetramethyl/monomethyl DBT and tricyclic terpane/(tricyclic terpane+C30 hopanoid) varied remarkably, and a positive correlation was observed between these two parameters.The variation of each of these parameters during waterflooding development was correlated with the flow effect of crude promoted by the water drive in oil reservoirs.A solid consistency was observed among the results of numerical simulation and development; the direction and pathway of waterflooding crude was indicated by Tetramethyl/monomethyl DBT, and the distribution region prediction of remaining oil hereby obtained.Therefore, these two parameters could be used as molecular tracers for the oil during waterflooding.This study would be of practical significance for geochemical dynamic monitoring and reservoir development.

Towards automated software model checking using graph transformation systems and Bogor

Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development.But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements.In this paper,we present a new solution to verify graph transformation systems using the Bogor model checker.The attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph rules.Experimental results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.