On time-to-buffer overflow distribution in a single-machine discrete-time system with finite capacity

A model of a single-machine production system with finite magazine capacity is investigated. The input flow of jobs is organized according to geometric distribution of interarrival times, while processing times are assumed to be generally distributed. The closed-form formula for the generating function of the time to the first buffer overflow distribution conditioned by the initial buffer state is found. The analytical approach based on the idea of embedded Markov chain, the formula of total probability and linear algebra is applied. The corresponding result for next buffer overflows is also given. Numerical examples are attached as well

Intelligent Sensors for Human Motion Analysis

The book, "Intelligent Sensors for Human Motion Analysis," contains 17 articles published in the Special Issue of the Sensors journal. These articles deal with many aspects related to the analysis of human movement. New techniques and methods for pose estimation, gait recognition, and fall detection have been proposed and verified. Some of them will trigger further research, and some may become the backbone of commercial systems

Advances in Sustainable River Management

The main objective of this Special Issue is to contribute in understanding and provide science-based knowledge, new ideas/approaches and solutions in sustainable river management, to improve water management policies and practices following different environmental requirements aspects

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

Texture and Colour in Image Analysis

Research in colour and texture has experienced major changes in the last few years. This book presents some recent advances in the field, specifically in the theory and applications of colour texture analysis. This volume also features benchmarks, comparative evaluations and reviews

ECOS 2012

The 8-volume set contains the Proceedings of the 25th ECOS 2012 International Conference, Perugia, Italy, June 26th to June 29th, 2012. ECOS is an acronym for Efficiency, Cost, Optimization and Simulation (of energy conversion systems and processes), summarizing the topics covered in ECOS: Thermodynamics, Heat and Mass Transfer, Exergy and Second Law Analysis, Process Integration and Heat Exchanger Networks, Fluid Dynamics and Power Plant Components, Fuel Cells, Simulation of Energy Conversion Systems, Renewable Energies, Thermo-Economic Analysis and Optimisation, Combustion, Chemical Reactors, Carbon Capture and Sequestration, Building/Urban/Complex Energy Systems, Water Desalination and Use of Water Resources, Energy Systems- Environmental and Sustainability Issues, System Operation/ Control/Diagnosis and Prognosis, Industrial Ecology

Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Optical Methods in Sensing and Imaging for Medical and Biological Applications

The recent advances in optical sources and detectors have opened up new opportunities for sensing and imaging techniques which can be successfully used in biomedical and healthcare applications. This book, entitled ‘Optical Methods in Sensing and Imaging for Medical and Biological Applications’, focuses on various aspects of the research and development related to these areas. The book will be a valuable source of information presenting the recent advances in optical methods and novel techniques, as well as their applications in the fields of biomedicine and healthcare, to anyone interested in this subject