ESSE 2017. Proceedings of the International Conference on Environmental Science and Sustainable Energy

Environmental science is an interdisciplinary academic field that integrates physical-, biological-, and information sciences to study and solve environmental problems. ESSE - The International Conference on Environmental Science and Sustainable Energy provides a platform for experts, professionals, and researchers to share updated information and stimulate the communication with each other. In 2017 it was held in Suzhou, China June 23-25, 2017

INTER-ENG 2020

These proceedings contain research papers that were accepted for presentation at the 14th International Conference Inter-Eng 2020 ,Interdisciplinarity in Engineering, which was held on 8–9 October 2020, in Târgu Mureș, Romania. It is a leading international professional and scientific forum for engineers and scientists to present research works, contributions, and recent developments, as well as current practices in engineering, which is falling into a tradition of important scientific events occurring at Faculty of Engineering and Information Technology in the George Emil Palade University of Medicine, Pharmacy Science, and Technology of Târgu Mures, Romania. The Inter-Eng conference started from the observation that in the 21st century, the era of high technology, without new approaches in research, we cannot speak of a harmonious society. The theme of the conference, proposing a new approach related to Industry 4.0, was the development of a new generation of smart factories based on the manufacturing and assembly process digitalization, related to advanced manufacturing technology, lean manufacturing, sustainable manufacturing, additive manufacturing, and manufacturing tools and equipment. The conference slogan was “Europe’s future is digital: a broad vision of the Industry 4.0 concept beyond direct manufacturing in the company”

New Methods for ferrous raw materials characterization in electric steelmaking

425 p.In the siderurgical sector, the steel scrap is the most important raw material in electric steelmaking,contributing between 70% of the total production costs. It is well-known how the degree of which thescrap mix can be optimized, and also the degree of which the melting operation can be controlled andautomated, is limited by the knowledge of the properties of the scrap and other raw-materials in thecharge mix.Therefore, it is of strategic importance having accurate information about the scrap composition of thedifferent steel scrap types. In other words, knowing scrap characteristics is a key point in order to managethe steel-shop resources, optimize the scrap charge mix/composition at the electric arc furnace (EAF),increase the plant productivity, minimize the environmental footprint of steelmaking activities and tohave the lowest total cost of ownership of the plant.As a main objective of present doctoral thesis, the doctorate will provide new tools and methods of scrapcharacterization to increase the current recycling ration, through better knowledge of the quality of thescrap, and thus go in the direction of a 100% recycling ratio. In order to achieve it, two main workinglines were developed in present research. Firstly, it was analysed not only the different existingmethodologies for scrap characterization and EAF process optimization, but also to develop new methodsor combination of existing, Secondly, it was defined a general recommendations guide for implementingthese methods based on the specifics of each plant

Advances in raw material industries for sustainable development goals

"""Advances in Raw Material Industries for Sustainable Development Goals"" presents the results of joint scientific research conducted in the context of the Russian-German Raw Materials Forum. Today Russia and Germany are exploring various forms of cooperation in the field of mining, geology, mineralogy, mechanical engineering and energy. Russia and Germany are equally interested in expanding cooperation and modernizing the economy in terms of sustainable development. The main theme of this article collection is connected with existing business ventures and ideas from both Russia and Germany. In this book the authors regard complex processes in mining industry from various points of view, including: - modern technologies in prospecting, exploration and development of mineral resources - progressive methods of natural and industrial mineral raw materials processing - energy technologies and digital technologies for sustainable development - cutting-edge technologies and innovations in the oil and gas industry. Working with young researchers, supporting their individual professional development and creating conditions for their mobility and scientific cooperation are essential parts of Russian-German Raw Materials Forum founded in Dresden 13 years ago. This collection represents both willingness of young researchers to be involved in large-scale international projects like Russian-German Raw Material Forum and the results of their long and thorough work in the promising areas of cooperation between Russia and Germany.

Друга міжнародна конференція зі сталого майбутнього: екологічні, технологічні, соціальні та економічні питання (ICSF 2021). Кривий Ріг, Україна, 19-21 травня 2021 року

Second International Conference on Sustainable Futures: Environmental, Technological, Social and Economic Matters (ICSF 2021). Kryvyi Rih, Ukraine, May 19-21, 2021.Друга міжнародна конференція зі сталого майбутнього: екологічні, технологічні, соціальні та економічні питання (ICSF 2021). Кривий Ріг, Україна, 19-21 травня 2021 року

Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement

With the advent of Industry 4.0, industrial facilities and critical infrastructures are transforming into an ecosystem of heterogeneous physical and cyber components, such as programmable logic controllers, increasingly interconnected and therefore exposed to cyber-physical attacks, i.e., security breaches in cyberspace that may adversely affect the physical processes underlying industrial control systems. The main contributions of this thesis follow two research strands that address the security concerns of industrial control systems via formal methodologies. As our first contribution, we propose a formal approach based on model checking and statistical model checking, within the MODEST TOOLSET, to analyse the impact of attacks targeting nontrivial control systems equipped with an intrusion detection system (IDS) capable of detecting and mitigating attacks. Our goal is to evaluate the impact of cyber-physical attacks, i.e., attacks targeting sensors and/or actuators of the system with potential consequences on the safety of the inner physical process. Our security analysis estimates both the physical impact of the attacks and the performance of the IDS. As our second contribution, we propose a formal approach based on runtime enforcement to ensure specification compliance in networks of controllers, possibly compromised by colluding malware that may tamper with actuator commands, sensor readings, and inter-controller communications. Our approach relies on an ad-hoc sub-class of Ligatti et al.’s edit automata to enforce controllers represented in Hennessy and Regan’s Timed Process Language. We define a synthesis algorithm that, given an alphabet P of observable actions and a timed correctness property e, returns a monitor that enforces the property e during the execution of any (potentially corrupted) controller with alphabet P, and complying with the property e. Our monitors correct and suppress incorrect actions coming from corrupted controllers and emit actions in full autonomy when the controller under scrutiny is not able to do so in a correct manner. Besides classical requirements, such as transparency and soundness, the proposed enforcement enjoys deadlock- and diverge-freedom of monitored controllers, together with compositionality when dealing with networks of controllers. Finally, we test the proposed enforcement mechanism on a non-trivial case study, taken from the context of industrial water treatment systems, in which the controllers are injected with different malware with different malicious goals

9th International Conference on Business, Technology and Innovation 2020

Welcome to IC – UBT 2020 UBT Annual International Conference is the 9th international interdisciplinary peer reviewed conference which publishes works of the scientists as well as practitioners in the area where UBT is active in Education, Research and Development. The UBT aims to implement an integrated strategy to establish itself as an internationally competitive, research-intensive university, committed to the transfer of knowledge and the provision of a world-class education to the most talented students from all background. The main perspective of the conference is to connect the scientists and practitioners from different disciplines in the same place and make them be aware of the recent advancements in different research fields, and provide them with a unique forum to share their experiences. It is also the place to support the new academic staff for doing research and publish their work in international standard level. This conference consists of sub conferences in different fields like: Security Studies Sport, Health and Society Psychology Political Science Pharmaceutical and Natural Sciences Mechatronics, System Engineering and Robotics Medicine and Nursing Modern Music, Digital Production and Management Management, Business and Economics Language and Culture Law Journalism, Media and Communication Information Systems and Security Integrated Design Energy Efficiency Engineering Education and Development Dental Sciences Computer Science and Communication Engineering Civil Engineering, Infrastructure and Environment Architecture and Spatial Planning Agriculture, Food Science and Technology Art and Digital Media This conference is the major scientific event of the UBT. It is organizing annually and always in cooperation with the partner universities from the region and Europe. We have to thank all Authors, partners, sponsors and also the conference organizing team making this event a real international scientific event. Edmond Hajrizi, President of UBTUBT – Higher Education Institutio

Play Among Books

How does coding change the way we think about architecture? Miro Roman and his AI Alice_ch3n81 develop a playful scenario in which they propose coding as the new literacy of information. They convey knowledge in the form of a project model that links the fields of architecture and information through two interwoven narrative strands in an “infinite flow” of real books

Technology and Management for Sustainable Buildings and Infrastructures

A total of 30 articles have been published in this special issue, and it consists of 27 research papers, 2 technical notes, and 1 review paper. A total of 104 authors from 9 countries including Korea, Spain, Taiwan, USA, Finland, China, Slovenia, the Netherlands, and Germany participated in writing and submitting very excellent papers that were finally published after the review process had been conducted according to very strict standards. Among the published papers, 13 papers directly addressed words such as sustainable, life cycle assessment (LCA) and CO2, and 17 papers indirectly dealt with energy and CO2 reduction effects. Among the published papers, there are 6 papers dealing with construction technology, but a majority, 24 papers deal with management techniques. The authors of the published papers used various analysis techniques to obtain the suggested solutions for each topic. Listed by key techniques, various techniques such as Analytic Hierarchy Process (AHP), the Taguchi method, machine learning including Artificial Neural Networks (ANNs), Life Cycle Assessment (LCA), regression analysis, Strength–Weakness–Opportunity–Threat (SWOT), system dynamics, simulation and modeling, Building Information Model (BIM) with schedule, and graph and data analysis after experiments and observations are identified