Global supply chains of high value low volume products

Imperial Users onl

Towards a Spatio-temporal Life Cycle Analysis: a Novel Approach to Consider Local and Regional Inventories

Neglecting dynamic information can impact the results of Life Cycle Assessment studies and wrong conclusions, e.g. in policy making, may be drawn. The long-term vision can be described as the development of a complete Life Cycle Assessment study using one comprehensive spatio-temporal Life Cycle Assessment approach to not only calculate regional and local inventories, but also include a dynamical Life Cycle Impact Assessment to determine environmental impact caused by the regional and spatial inventories. This thesis aims to take steps towards this vision by concentrating on spatio-temporal Life Cycle Inventories. Two spatio-temporal Life Cycle Inventory methods are proposed within this Thesis, both are based on the Enhanced Structural Path Analysis method. The first one includes temporal and spatial information on a local scale and comprises landscape characteristics. Therewith, the dispersion of inventories can be modelled. Results of a case study analysing wheat production show the spatio-temporal dispersion for the example emission of salt in flowing water. The second method uses regional datasets from Ecoinvent to calculate inventories over the entire life cycle. The framework was applied to calculate the CO2-inventories of a 5 MW offshore Wind Turbine over its entire life cycle stages. Results are presented in dynamical emissions maps, showing the accumulation of emissions according to the regional occurrence within the life cycle stages over time. Furthermore, the Enhanced Structural Path Analysis is considered for an optimisation analysis. Limitations of the method are mathematically proven. This includes results that the sum and maximum of the Inventory vector as well as Lifetime of Atmospheric CO2 models can either not be minimised or have restricted optimal solutions. The cumulative output, including and excluding Lifetime of Atmospheric CO2 models are minimal for every inventory vector time-series. The output peaks of the Inventory are minimal if the final demand vector is uniformly distributed. The results are confirmed by simulations for using the 5 MW offshore Wind Turbine case study. The thesis demonstrates that it is possible to implement spatio-temporal information into Life Cycle Assessments. We believe that the proposed methods will improve the traditional Life Cycle Assessments and will help to introduce a framework for a dynamical approach

Engineering failure analysis and design optimisation with HiP-HOPS

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. In one approach, predictive models of system failure are constructed from the topology of the system and local component failure models using a process of composition. An alternative approach employs model-checking of state automata to study the effects of failure and verify system safety properties. In this paper, we discuss these two approaches to failure analysis. We then focus on Hierarchically Performed Hazard Origin & Propagation Studies (HiP-HOPS) - one of the more advanced compositional approaches - and discuss its capabilities for automatic synthesis of fault trees, combinatorial Failure Modes and Effects Analyses, and reliability versus cost optimisation of systems via application of automatic model transformations. We summarise these contributions and demonstrate the application of HiP-HOPS on a simplified fuel oil system for a ship engine. In light of this example, we discuss strengths and limitations of the method in relation to other state-of-the-art techniques. In particular, because HiP-HOPS is deductive in nature, relating system failures back to their causes, it is less prone to combinatorial explosion and can more readily be iterated. For this reason, it enables exhaustive assessment of combinations of failures and design optimisation using computationally expensive meta-heuristics. (C) 2010 Elsevier Ltd. All rights reserved

Optimisation of Mobile Communication Networks - OMCO NET

The mini conference “Optimisation of Mobile Communication Networks” focuses on advanced methods for search and optimisation applied to wireless communication networks. It is sponsored by Research & Enterprise Fund Southampton Solent University. The conference strives to widen knowledge on advanced search methods capable of optimisation of wireless communications networks. The aim is to provide a forum for exchange of recent knowledge, new ideas and trends in this progressive and challenging area. The conference will popularise new successful approaches on resolving hard tasks such as minimisation of transmit power, cooperative and optimal routing

Balancing and Intraday Market Design: Options for Wind Integration

EU Member States increase deployment of intermittent renewable energy sources to deliver the 20% renewable target formulated in the European Renewables Directive of 2008. To incorporate these intermittent sources, a power market needs to be flexible enough to accommodate short-term forecasts and quick turn transactions. This flexibility is particularly valuable with respect to wind energy, where wind forecast uncertainty decreases significantly in the final 24 hours before actual generation. Therefore, current designs of intraday and balancing markets need to be altered to make full use of the flexibility of the transmission system and the different generation technologies to effectively respond to increased uncertainty. This paper explores the current power market designs in European countries and North America and assesses these designs against criteria that evaluate whether they are able to adequately handle wind intermittency.Power market design, integrating renewables, wind energy, balancing, intraday

Dynamic, Latency-Optimal vNF Placement at the Network Edge

Future networks are expected to support low-latency, context-aware and user-specific services in a highly flexible and efficient manner. One approach to support emerging use cases such as, e.g., virtual reality and in-network image processing is to introduce virtualized network functions (vNF)s at the edge of the network, placed in close proximity to the end users to reduce end-to-end latency, time-to-response, and unnecessary utilisation in the core network. While placement of vNFs has been studied before, it has so far mostly focused on reducing the utilisation of server resources (i.e., minimising the number of servers required in the network to run a specific set of vNFs), and not taking network conditions into consideration such as, e.g., end-to-end latency, the constantly changing network dynamics, or user mobility patterns. In this paper, we formulate the Edge vNF placement problem to allocate vNFs to a distributed edge infrastructure, minimising end-to-end latency from all users to their associated vNFs. We present a way to dynamically re-schedule the optimal placement of vNFs based on temporal network-wide latency fluctuations using optimal stopping theory. We then evaluate our dynamic scheduler over a simulated nation-wide backbone network using real-world ISP latency characteristics. We show that our proposed dynamic placement scheduler minimises vNF migrations compared to other schedulers (e.g., periodic and always-on scheduling of a new placement), and offers Quality of Service guarantees by not exceeding a maximum number of latency violations that can be tolerated by certain applications

A two-stage stochastic optimisation methodology for the operation of a chlor-alkali electrolyser under variable DAM and FCR market prices

The increased penetration of renewable energy sources in the electrical grid raises the need for more power system flexibility. One of the high potential groups to provide such flexibility is the industry. Incentives to do so are provided by variable pricing and remuneration of supplied ancillary services. The operational flexibility of a chlor-alkali electrolysis process shows opportunities in the current energy and ancillary services markets. A co-optimisation of operating the chlor-alkali process under an hourly variable priced electricity sourcing strategy and the delivery of Frequency Containment Reserve (FCR) is the core of this work. A short term price prediction for the Day-Ahead Market (DAM) and FCR market as input for a deterministic optimisation shows good results under standard DAM price patterns, but leaves room for improvement in case of price fluctuations, e.g., as caused by Renewable Energy Sources (RES). A two-stage stochastic optimisation is considered to cope with the uncertainties introduced by the exogenous parameters. An improvement of the stochastic solution over the deterministic Expected Value (EV) solution is shown

Robust Resource Allocations in Temporal Networks

Temporal networks describe workflows of time-consuming tasks whose processing order is constrained by precedence relations. In many cases, the durations of the network tasks can be influenced by the assignment of resources. This leads to the problem of selecting an ‘optimal’ resource allocation, where optimality is measured by network characteristics such as the makespan (i.e., the time required to complete all tasks). In this paper, we study a robust resource allocation problem where the functional relationship between task durations and resource assignments is uncertain, and the goal is to minimise the worst-case makespan. We show that this problem is generically NP-hard. We then develop convergent bounds for the optimal objective value, as well as feasible allocations whose objective values are bracketed by these bounds. Numerical results provide empirical support for the proposed method.Robust Optimisation, Temporal Networks, Resource Allocation Problem

Methods and algorithms for integrated multi-scale optimisation of production planning and scheduling

Imperial Users onl

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling