Electronics in the on-line control of railway movements: quantitative aspects

The present thesis is concerned with a quantitative examination of the on-line control of railway movements and develops a mathematical technique for the evaluation of safety based on the use of Markov processes, illustrated with examples. In addition, the thesis presents a design methodology applicable to electronic safety systems. These systems are shown to be an essential element in the development of fully electronic railway signalling systems, as well as in the increased automation of railway movements. An analysis of the limits of automation of railway movements is described and discussed together with a possible system configuration for the achievement of crewless train operation. The research described herein has been carried out at the British Railways R & D division and the methods described have been successfully applied to real engineering problems. The industrial R & D background of the present thesis is also reflected in the inclusion of a section on the socio-economic consequences of major innovation, particularly in the field of automation and in the consideration of costs and benefits. Section 2 contains an approach evolved jointly with Mr. W.T. Parkman, also at the R & D Division of British Railways, and has been published as Reference 16. Section 5 is a short description or the work carried out by the group under the direct responsibility of the author at the R & D Division of British Railways

IMPACT OF PRIVATIZATION ON R&D ACTIVITIES: THE CASE OF TURKISH TELECOMMUNICATIONS INDUSTRY

The debates surrounding privatization have generally focused on comparison of the productivity performances of public and private firms in different countries on the bases of quantitative methods. The main purpose of this paper is to draw attention to a very important repercussion of foreign ownership through privatization that is the changing nature of the privatized firms’ R&D activities in a strategically very important industrial sector in a developing country. After presenting the case studies conducted in the two most important Turkish telecommunication equipment manufacturing firms with the background of the sector’s development history in Turkey, the paper will exhibit the impact of foreign ownership on the nature of firms’ R&D activities after privatization as a result of the parent firm’s global firm strategy. Finally, it will draw policy implications of such changes for developing countries’ technology capability development efforts as well as the countries’ technological dependence in a strategically important industry

Multi-agent system specification for distributed scheduling in home health care

Nowadays, scheduling and allocation of resources and tasks becomes a huge and complex challenge to the most diverse industrial areas, markets, services and health. The problem with current scheduling systems is that their management is still done manually or using classical optimization methods (usually static, time-consuming) and centralized approaches. However, opportunities arise to decentralize solutions with smart systems, which enable the distribution of the computational effort, the flexibility of behaviours and the minimization of operating times and operational planning costs. The paper proposes the specification of a Multi-agent System (MAS) for the Home Health Care (HHC) scheduling and allocation. The MAS technology enables the scheduling of intelligent behaviours and functionalities based on the interaction of agents, and allows the evolution of current strategies and algorithms, as it can guarantee the fast response to condition changes, flexibility and responsiveness in existing planning systems. An experimental HHC case study was considered to test the feasibility and effectiveness of the proposed MAS approach, the results demonstrating promising qualitative and quantitative indicators regarding the efficiency and responsiveness of the HHC scheduling.This work has been supported by FCT—Fundação para a Ciência e a Tecnologia within the R&D Units Projects Scope: UIDB/00319/2020 and UIDB/05757/2020. Filipe Alves is supported by FCT Doctorate Grant Reference SFRH/BD/143745/2019

Characterization of black pigment used in 30 BC fresco wall paint using instrumental methods and chemometry

<p>Abstract</p> <p>Background</p> <p>Interest in hybrid-electric vehicles (HEVs) has recently spiked, partly due to an increasingly negative view toward the U.S. foreign oil dependency and environmental concerns. Though HEVs are becoming more common, they have a significant price premium over gasoline-powered vehicles. One of the primary drivers of this “hybrid premium” is the cost of the vehicles’ batteries. This paper focuses on these batteries used in hybrid vehicles, examines the types of batteries used for transportation applications and addresses some of the technological, environmental and political drivers in battery development and the deployment of HEVs.</p> <p>Methods</p> <p>This paper examines the claim, often voiced by HEV proponents, that by taking into account savings on gasoline and vehicle maintenance, hybrid cars are cheaper than traditional gasoline cars. This is done by a quantitative benefit-cost analysis, in addition to qualitative benefit-cost analysis from political, technological and environmental perspectives.</p> <p>Results</p> <p>The quantitative benefit-cost analysis shows that, taking account of all costs for the life of the vehicle, hybrid cars are in fact more expensive than gasoline-powered vehicles; however, after five years, HEVs will break even with gasoline cars.</p> <p>Conclusions</p> <p>Our results show that it is likely that after 5 years, using hybrid vehicles should be cheaper in effect and yield a positive net benefit to society. There are a number of externalities that could significantly impact the total social cost of the car. These externalities can be divided into four categories: environmental, industrial, R&D and political. Despite short-term implications and hurdles, increased HEV usage forecasts a generally favorable long-term net benefit to society. Most notably, increasing HEV usage could decrease greenhouse gas emissions, while also decreasing U.S. dependence on foreign oil.</p

Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance

Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner. Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''. The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few. This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage. The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling

Contextual impacts on industrial processes brought by the digital transformation of manufacturing: a systematic review

The digital transformation of manufacturing (a phenomenon also known as "Industry 4.0" or "Smart Manufacturing") is finding a growing interest both at practitioner and academic levels, but is still in its infancy and needs deeper investigation. Even though current and potential advantages of digital manufacturing are remarkable, in terms of improved efficiency, sustainability, customization, and flexibility, only a limited number of companies has already developed ad hoc strategies necessary to achieve a superior performance. Through a systematic review, this study aims at assessing the current state of the art of the academic literature regarding the paradigm shift occurring in the manufacturing settings, in order to provide definitions as well as point out recurring patterns and gaps to be addressed by future research. For the literature search, the most representative keywords, strict criteria, and classification schemes based on authoritative reference studies were used. The final sample of 156 primary publications was analyzed through a systematic coding process to identify theoretical and methodological approaches, together with other significant elements. This analysis allowed a mapping of the literature based on clusters of critical themes to synthesize the developments of different research streams and provide the most representative picture of its current state. Research areas, insights, and gaps resulting from this analysis contributed to create a schematic research agenda, which clearly indicates the space for future evolutions of the state of knowledge in this field

Quantitative Assessment of Flame Stability Through Image Processing and Spectral Analysis

This paper experimentally investigates two generalized methods, i.e., a simple universal index and oscillation frequency, for the quantitative assessment of flame stability at fossil-fuel-fired furnaces. The index is proposed to assess the stability of flame in terms of its color, geometry, and luminance. It is designed by combining up to seven characteristic parameters extracted from flame images. The oscillation frequency is derived from the spectral analysis of flame radiation signals. The measurements involved in these two methods do not require prior knowledge about fuel property, burner type, and other operation conditions. They can therefore be easily applied to flame stability assessment without costly and complex adaption. Experiments were carried out on a 9-MW heavy-oil-fired combustion test rig over a wide range of combustion conditions including variations in swirl vane position of the tertiary air, swirl vane position of the secondary air, and the ratio of the primary air to the total air. The impact of these burner parameters on the stability of heavy oil flames is investigated by using the index and oscillation frequency proposed. The experimental results obtained demonstrate the effectiveness of the methods and the importance of maintaining a stable flame for reduced NOx emissions. It is envisaged that such methods can be easily transferred to existing flame closed-circuit television systems and flame failure detectors in power stations for flame stability monitoring