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

Optimisation-based verification process of obstacle avoidance systems for unmanned vehicles

This thesis deals with safety verification analysis of collision avoidance systems for unmanned vehicles. The safety of the vehicle is dependent on collision avoidance algorithms and associated control laws, and it must be proven that the collision avoidance algorithms and controllers are functioning correctly in all nominal conditions, various failure conditions and in the presence of possible variations in the vehicle and operational environment. The current widely used exhaustive search based approaches are not suitable for safety analysis of autonomous vehicles due to the large number of possible variations and the complexity of algorithms and the systems. To address this topic, a new optimisation-based verification method is developed to verify the safety of collision avoidance systems. The proposed verification method formulates the worst case analysis problem arising the verification of collision avoidance systems into an optimisation problem and employs optimisation algorithms to automatically search the worst cases. Minimum distance to the obstacle during the collision avoidance manoeuvre is defined as the objective function of the optimisation problem, and realistic simulation consisting of the detailed vehicle dynamics, the operational environment, the collision avoidance algorithm and low level control laws is embedded in the optimisation process. This enables the verification process to take into account the parameters variations in the vehicle, the change of the environment, the uncertainties in sensors, and in particular the mismatching between model used for developing the collision avoidance algorithms and the real vehicle. It is shown that the resultant simulation based optimisation problem is non-convex and there might be many local optima. To illustrate and investigate the proposed optimisation based verification process, the potential field method and decision making collision avoidance method are chosen as an obstacle avoidance candidate technique for verification study. Five benchmark case studies are investigated in this thesis: static obstacle avoidance system of a simple unicycle robot, moving obstacle avoidance system for a Pioneer 3DX robot, and a 6 Degrees of Freedom fixed wing Unmanned Aerial Vehicle with static and moving collision avoidance algorithms. It is proven that although a local optimisation method for nonlinear optimisation is quite efficient, it is not able to find the most dangerous situation. Results in this thesis show that, among all the global optimisation methods that have been investigated, the DIviding RECTangle method provides most promising performance for verification of collision avoidance functions in terms of guaranteed capability in searching worst scenarios

Simulation modelling and visualisation: toolkits for building artificial worlds

Simulations users at all levels make heavy use of compute resources to drive computational simulations for greatly varying applications areas of research using different simulation paradigms. Simulations are implemented in many software forms, ranging from highly standardised and general models that run in proprietary software packages to ad hoc hand-crafted simulations codes for very specific applications. Visualisation of the workings or results of a simulation is another highly valuable capability for simulation developers and practitioners. There are many different software libraries and methods available for creating a visualisation layer for simulations, and it is often a difficult and time-consuming process to assemble a toolkit of these libraries and other resources that best suits a particular simulation model. We present here a break-down of the main simulation paradigms, and discuss differing toolkits and approaches that different researchers have taken to tackle coupled simulation and visualisation in each paradigm

Out of equilibrium dynamics of classical and quantum complex systems

Equilibrium is a rather ideal situation, the exception rather than the rule in Nature. Whenever the external or internal parameters of a physical system are varied its subsequent relaxation to equilibrium may be either impossible or take very long times. From the point of view of fundamental physics no generic principle such as the ones of thermodynamics allows us to fully understand their behaviour. The alternative is to treat each case separately. It is illusionary to attempt to give, at least at this stage, a complete description of all non-equilibrium situations. Still, one can try to identify and characterise some concrete but still general features of a class of out of equilibrium problems - yet to be identified - and search for a unified description of these. In this report I briefly describe the behaviour and theory of a set of non-equilibrium systems and I try to highlight common features and some general laws that have emerged in recent years.Comment: 36 pages, to be published in Compte Rendus de l'Academie de Sciences, T. Giamarchi e

Hybrid molecular and continuum fluid dynamics models for micro and nanofluidic flows

From molecules to living organisms and from atoms to planets a variety of physical phe- nomena operate at different temporal and spatial scales. Understanding the nature of those phenomena is crucial for advancing new technologies in many disciplines. In micro and nanofluidics as the operational dimensions are downsized to smaller scales the surface-to- volume ratio increases and the surface phenomena become dominant. Numerical modelling is the key for obtaining a better insight into the processes involved. The Achilles heel of fine grain microscopic numerical simulations is their computational cost. Simulating a multiscale phenomenon with an accurate microscopic description is extremely demand- ing computationally. On the contrary, simulations of multiscale phenomena based only on macroscopic descriptions cannot fully capture the physics of the multiscale systems. In order to confront this dilemma multiscale frameworks, called hybrid codes, have been de- veloped to couple the microscopic and macroscopic description of a system and to facilitate the exchange of information. The aim of this research project is to establish and implement a robust hybrid molecular- continuum method for micro- and nano-scale fluid flows. Towards that direction a hybrid multiscale method named as Point Wise Coupling (PWC) has been developed. PWC aims to circumvent the limitations of the existing hybrid continuum/atomistic approaches and deliver a modular and applicable methodology. In the PWC, the whole domain is covered with the macroscopic solver and the microscale model enters as a local refinement. Ad- ditionally, numerical techniques based on neural networks are employed to minimise the cost of the molecular solver and reduce the outcomes’ variability induced by the fluctuating nature of the atomistic data. Molecular studies have been performed (i) to obtain a better insight of the interfacial phenomena in the solid/liquid interfaces, and (ii) to study the parametrisation of the molec- ular models and mapping of atomistic information to hybrid frameworks. Specifically, the impact of parameters, such as surface roughness and stiffness, to slip process is studied. PWC framework has been employed to study a number of fundamental test cases in- cluding Poiseuille flow of polymeric fluids, isothermal slip Couette flow and slip Couette flow with heat transfer. Attention is drawn to the boundary condition transfer from the continuum solver to the atomistic description. In the performed hybrid studies the effects of the numerical optimisation techniques (linear interpolation, neural networks) to simu- lations’ accuracy, stability and efficiency are studied. The outcomes of the simulations suggest that the neural networks scheme enhance the simulation’s efficiency by minimising the number of atomistic simulations and at the same time act as a smoothing operator for reducing the oscillations’ strength of the atomistic outputs.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Towards data-driven and data-based control of wave energy systems: Classification, overview, and critical assessment

Currently, a significant effort in the world research panorama is focused on finding efficient solutions to a carbon-free energy supply, wave energy being one of the most promising sources of untapped renewable energy. However, wave energy is not currently economic, though control technology has been shown to significantly increase the energy capture capabilities. Usually, the synthesis of a wave energy control strategy requires the adoption of control-oriented models, which are prone to error, particularly arising from unmodelled hydrodynamics, given the complexity of the hydrodynamic interactions between the device and the ocean. In this context, data-driven and data-based control strategies provide a potential solution to some of these issues, using real-time data to gather information about the system dynamics and performance. Thus motivated, this study provides a detailed analysis of different approaches to the exploitation of data in the design of control philosophies for wave energy systems, establishing clear definitions of data-driven and data-based control in this field, together with a classification highlighting the various roles of data in the control synthesis process. In particular, we investigate intrinsic opportunities and limitations behind the use of data in the process of control synthesis, providing a comprehensive review together with critical considerations aimed at directly contributing towards the development of efficient data-driven and data-based control systems for wave energy devices