Mining Safety and Sustainability I

Safety and sustainability are becoming ever bigger challenges for the mining industry with the increasing depth of mining. It is of great significance to reduce the disaster risk of mining accidents, enhance the safety of mining operations, and improve the efficiency and sustainability of development of mineral resource. This book provides a platform to present new research and recent advances in the safety and sustainability of mining. More specifically, Mining Safety and Sustainability presents recent theoretical and experimental studies with a focus on safety mining, green mining, intelligent mining and mines, sustainable development, risk management of mines, ecological restoration of mines, mining methods and technologies, and damage monitoring and prediction. It will be further helpful to provide theoretical support and technical support for guiding the normative, green, safe, and sustainable development of the mining industry

English for Study and Work: Coursebook in 4 books. Book 2 Obtaining and Processing Information for Specific Purposes

Подано всі види діяльності студентів з вивчення англійської мови, спрямовані на розвиток мовної поведінки, необхідної для ефективного спілкування в академічному та професійному середовищах. Містить завдання і вправи, типові для різноманітних академічних та професійних сфер і ситуацій. Структура організації змісту – модульна, охоплює мовні знання і мовленнєві вміння залежно від мовної поведінки. Даний модуль має на меті розвиток у студентів стратегій, умінь, навичок читання, пошуку та вилучення професійно-орієнтованої інформації, необхідної для ефективної професійної діяльності і навчання. Містить завдання і вправи, типові для академічних та професійних сфер, пов’язаних з гірництвом і розробкою родовищ корисних копалин. Зразки текстів – автентичні, різножанрові, взяті з реального життя, містять цікаву й актуальну інформацію про особливості видобутку мінеральних ресурсів в провідних країнах світу, сучасний підхід до розробки родовищ тощо. Ресурси для самостійної роботи (Частина ІІ) містять завдання та вправи для розширення словникового запасу та розвитку знань найуживанішої термінології з гірництва, що спрямовано на організацію самостійної роботи з розвитку мовленнєвих умінь, знань про корисні копалини, методи їх видобутку. За допомогою засобів діагностики студенти можуть самостійно перевірити засвоєння навчального матеріалу й оцінити свої досягнення. Призначений для студентів вищих навчальних закладів, зокрема технічних університетів. Може використовуватися для самостійного вивчення англійської мови викладачами, фахівцями і науковцями різних галузей

IoT@run-time: a model-based approach to support deployment and self-adaptations in IoT systems

Today, most Internet of Things (IoT) systems leverage edge and fog computing to meet increasingly restrictive requirements and improve quality of service (QoS). Although these multi-layer architectures can improve system performance, their design is challenging because the dynamic and changing IoT environment can impact the QoS and system operation. In this thesis, we propose a modeling-based approach that addresses the limitations of existing studies to support the design, deployment, and management of self-adaptive IoT systems. We have designed a domain specific language (DSL) to specify the self-adaptive IoT system, a code generator that generates YAML manifests for the deployment of the IoT system, and a framework based on the MAPE-K loop to monitor and adapt the IoT system at runtime. Finally, we have conducted several experimental studies to validate the expressiveness and usability of the DSL and to evaluate the ability and performance of our framework to address the growth of concurrent adaptations on an IoT system.Hoy en día, la mayoría de los sistemas de internet de las cosas (IoT, por su sigla en inglés) aprovechan la computación en el borde (edge computing) y la computación en la niebla (fog computing) para cumplir requisitos cada vez más restrictivos y mejorar la calidad del servicio. Aunque estas arquitecturas multicapa pueden mejorar el rendimiento del sistema, diseñarlas supone un reto debido a que el entorno de IoT dinámico y cambiante puede afectar a la calidad del servicio y al funcionamiento del sistema. En esta tesis proponemos un enfoque basado en el modelado que aborda las limitaciones de los estudios existentes para dar soporte en el diseño, el despliegue y la gestión de sistemas de IoT autoadaptables. Hemos diseñado un lenguaje de dominio específico (DSL) para modelar el sistema de IoT autoadaptable, un generador de código que produce manifiestos YAML para el despliegue del sistema de IoT y un marco basado en el bucle MAPE-K para monitorizar y adaptar el sistema de IoT en tiempo de ejecución. Por último, hemos llevado a cabo varios estudios experimentales para validar la expresividad y usabilidad del DSL y evaluar la capacidad y el rendimiento de nuestro marco para abordar el crecimiento de las adaptaciones concurrentes en un sistema de IoT.Avui dia, la majoria dels sistemes d'internet de les coses (IoT, per la sigla en anglès) aprofiten la informàtica a la perifèria (edge computing) i la informàtica a la boira (fog computing) per complir requisits cada cop més restrictius i millorar la qualitat del servei. Tot i que aquestes arquitectures multicapa poden millorar el rendiment del sistema, dissenyar-les suposa un repte perquè l'entorn d'IoT dinàmic i canviant pot afectar la qualitat del servei i el funcionament del sistema. En aquesta tesi proposem un enfocament basat en el modelatge que aborda les limitacions dels estudis existents per donar suport al disseny, el desplegament i la gestió de sistemes d'IoT autoadaptatius. Hem dissenyat un llenguatge de domini específic (DSL) per modelar el sistema d'IoT autoadaptatiu, un generador de codi que produeix manifestos YAML per al desplegament del sistema d'IoT i un marc basat en el bucle MAPE-K per monitorar i adaptar el sistema d'IoT en temps d'execució. Finalment, hem dut a terme diversos estudis experimentals per validar l'expressivitat i la usabilitat del DSL i avaluar la capacitat i el rendiment del nostre marc per abordar el creixement de les adaptacions concurrents en un sistema d'IoT.Tecnologies de la informació i de xarxe

Advances in Condition Monitoring, Optimization and Control for Complex Industrial Processes

The book documents 25 papers collected from the Special Issue “Advances in Condition Monitoring, Optimization and Control for Complex Industrial Processes”, highlighting recent research trends in complex industrial processes. The book aims to stimulate the research field and be of benefit to readers from both academic institutes and industrial sectors

Mining Technologies Innovative Development

The present book covers the main challenges, important for future prospects of subsoils extraction as a public effective and profitable business, as well as technologically advanced industry. In the near future, the mining industry must overcome the problems of structural changes in raw materials demand and raise the productivity up to the level of high-tech industries to maintain the profits. This means the formation of a comprehensive and integral response to such challenges as the need for innovative modernization of mining equipment and an increase in its reliability, the widespread introduction of Industry 4.0 technologies in the activities of mining enterprises, the transition to "green mining" and the improvement of labor safety and avoidance of man-made accidents. The answer to these challenges is impossible without involving a wide range of scientific community in the publication of research results and exchange of views and ideas. To solve the problem, this book combines the works of researchers from the world's leading centers of mining science on the development of mining machines and mechanical systems, surface and underground geotechnology, mineral processing, digital systems in mining, mine ventilation and labor protection, and geo-ecology. A special place among them is given to post-mining technologies research

Application of Integer Programming for Mine Evacuation Modeling with Multiple Transportation Modes

The safe evacuation of miners during an emergency within the shortest possible time is very important for the success of a mine evacuation program. Despite developments in the field of mine evacuation, little research has been done on the use of mine vehicles during evacuation. Current research into mine evacuation has emphasized on miner evacuation by foot. Mathematical formulations such as Minimum Cost Network Flow (MCNF) models, Ant Colony algorithms, and shortest path algorithms including Dijkstra's algorithm and Floyd-Warshall algorithm have been used to achieve this. These models, which concentrate on determining the shortest escape routes during evacuation, have been found to be computationally expensive with expanding problem sizes and parameter ranges or they may not offer the best possible solutions.An ideal evacuation route for each miner must be determined considering the available mine vehicles, locations of miners, safe havens such as refuge chambers, and fresh-air bases. This research sought to minimize the total evacuation cost as a function of the evacuation time required during an emergency while simultaneously helping to reduce the risk of exposure of the miners to harmful conditions during the evacuation by leveraging the use of available mine vehicles. A case study on the Turquoise Ridge Underground Mine (Nevada Gold Mines) was conducted to validate the Integer Programming (IP) model. Statistical analysis of the IP model in comparison with a benchmark MCNF model proved that leveraging the use of mine vehicles during an emergency can further reduce the total evacuation time. A cost-savings analysis was made for the IP model, and it was found that the time saved during evacuation, by utilizing the IP model, increased linearly, with an increase in the number of miners present at the time of evacuation

Advanced Mobile Robotics: Volume 3

Mobile robotics is a challenging field with great potential. It covers disciplines including electrical engineering, mechanical engineering, computer science, cognitive science, and social science. It is essential to the design of automated robots, in combination with artificial intelligence, vision, and sensor technologies. Mobile robots are widely used for surveillance, guidance, transportation and entertainment tasks, as well as medical applications. This Special Issue intends to concentrate on recent developments concerning mobile robots and the research surrounding them to enhance studies on the fundamental problems observed in the robots. Various multidisciplinary approaches and integrative contributions including navigation, learning and adaptation, networked system, biologically inspired robots and cognitive methods are welcome contributions to this Special Issue, both from a research and an application perspective

Volume II: Mining Innovation

Contemporary exploitation of natural raw materials by borehole, opencast, underground, seabed, and anthropogenic deposits is closely related to, among others, geomechanics, automation, computer science, and numerical methods. More and more often, individual fields of science coexist and complement each other, contributing to lowering exploitation costs, increasing production, and reduction of the time needed to prepare and exploit the deposit. The continuous development of national economies is related to the increasing demand for energy, metal, rock, and chemical resources. Very often, exploitation is carried out in complex geological and mining conditions, which are accompanied by natural hazards such as rock bursts, methane, coal dust explosion, spontaneous combustion, water, gas, and temperature. In order to conduct a safe and economically justified operation, modern construction materials are being used more and more often in mining to support excavations, both under static and dynamic loads. The individual production stages are supported by specialized computer programs for cutting the deposit as well as for modeling the behavior of the rock mass after excavation in it. Currently, the automation and monitoring of the mining works play a very important role, which will significantly contribute to the improvement of safety conditions. In this Special Issue of Energies, we focus on innovative laboratory, numerical, and industrial research that has a positive impact on the development of safety and exploitation in mining

Mathematical Problems in Rock Mechanics and Rock Engineering

With increasing requirements for energy, resources and space, rock engineering projects are being constructed more often and are operated in large-scale environments with complex geology. Meanwhile, rock failures and rock instabilities occur more frequently, and severely threaten the safety and stability of rock engineering projects. It is well-recognized that rock has multi-scale structures and involves multi-scale fracture processes. Meanwhile, rocks are commonly subjected simultaneously to complex static stress and strong dynamic disturbance, providing a hotbed for the occurrence of rock failures. In addition, there are many multi-physics coupling processes in a rock mass. It is still difficult to understand these rock mechanics and characterize rock behavior during complex stress conditions, multi-physics processes, and multi-scale changes. Therefore, our understanding of rock mechanics and the prevention and control of failure and instability in rock engineering needs to be furthered. The primary aim of this Special Issue “Mathematical Problems in Rock Mechanics and Rock Engineering” is to bring together original research discussing innovative efforts regarding in situ observations, laboratory experiments and theoretical, numerical, and big-data-based methods to overcome the mathematical problems related to rock mechanics and rock engineering. It includes 12 manuscripts that illustrate the valuable efforts for addressing mathematical problems in rock mechanics and rock engineering

A COMPARATIVE STUDY OF DATA-DRIVEN MODELING METHODS FOR SOFT-SENSING IN UNDERGROUND COAL GASIFICATION

Underground coal gasification (UCG) is a technological process, which converts solid coal into a gas in the underground, using injected gasification agents. In the UCG process, a lot of process variables can be measurable with common measuring devices, but there are variables that cannot be measured so easily, e.g., the temperature deep underground. It is also necessary to know the future impact of different control variables on the syngas calorific value in order to support a predictive control. This paper examines the possibility of utilizing Neural Networks, Multivariate Adaptive Regression Splines and Support Vector Regression in order to estimate the UCG process data, i.e., syngas calorific value and underground temperature. It was found that, during the training with the UCG data, the SVR and Gaussian kernel achieved the best results, but, during the prediction, the best result was obtained by the piecewise-cubic type of the MARS model. The analysis was performed on data obtained during an experimental UCG with an ex-situ reactor