No description available.

Water distribution systems are large and complex structures. Hence, their construction, management and improvements are time consuming and expensive. But nearly all the optimisation methods, whether aimed at design or operation, suffer from the need for simulation models necessary to evaluate the performance of solutions to the problem. These simulation models, however, are increasing in size and complexity, and especially for operational control purposes, where there is a need to regularly update the control strategy to account for the fluctuations in demands, the combination of a hydraulic simulation model and optimisation is likely to be computationally excessive for all but the simplest of networks. The work presented in this thesis has been motivated by the need for reduced, whilst at the same time appropriately accurate, models to replicate the complex and nonlinear nature of water distribution systems in order to optimise their operation. This thesis attempts to establish the ground rules to form an underpinning basis for the formulation and subsequent evaluation of such models. Part I of this thesis introduces some of the modelling, simulation and optimisation problems currently faced by water industry. A case study is given to emphasise one particular subject, namely reduction of water distribution system models. A systematic research resulted in development of a new methodology which encapsulate not only the system mass balance but also the system energy distribution within the model reduction process. The methodology incorporates the energy audits concepts into the model reduction algorithm allowing the preservation of the original model energy distribution by imposing new pressure constraints in the reduced model. The appropriateness of the new methodology is illustrated on the theoretical and industrial case studies. Outcomes from these studies demonstrate that the new extension to the model reduction technique can simplify the inherent complexity of water networks while preserving the completeness of original information. An underlying premise which forms a common thread running through the thesis, linking Parts I and II, is in recognition of the need for the more efficient paradigm to model and simulate water networks; effectively accounting for the discontinuous behaviour exhibited by water network components. Motivated largely by the potential of contemplating a new paradigm to water distribution system modelling and simulation, a further major research area, which forms the basis of Part II, leads to a study of the discrete event specification formalism and quantised state systems to formulate a framework within which water distribution systems can be modelled and simulated. In contrast to the classic time-slicing simulators, depending on the numerical integration algorithms, the quantisation of system states would allow accounting for the discontinuities exhibited by control elements in a more efficient manner, and thereby, offer a significant increase in speed of the simulation of water network models. The proposed approach is evaluated on a number of case studies and compared with results obtained from the Epanet2 simulator and OpenModelica. Although the current state-of-art of the simulation tools utilising the quantised state systems do not allow to fully exploit their potential, the results from comparison demonstrate that, if the second or third order quantised-based integrations are used, the quantised state systems approach can outperform the conventional water network simulation methods in terms of simulation accuracy and run-time.

Yes / A kernel P system integrates in a coherent and elegant manner some of the most successfully used features of the P systems employed in modelling various applications. It also provides a theoretical framework for analysing these applications and a software environment for simulating and verifying them. In this paper, we illustrate the modelling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kernel P system models for a sorting algorithm and a broadcasting problem. We also show how formal verification can be used to validate that the given models work as desired. Finally, a test generation method based on automata is extended to non-deterministic kernel P systems. / The work of MG, FI and RL were supported by a grant of the Romanian National Author- ity for Scientific Research, CNCS-UEFISCDI (project number: PN-II-ID-PCE-2011-3-0688); RCUK

Standard operational semantics of the majority of concurrency models is defined in terms of either sequences or step sequences, while standard concurrent history semantics is usually defined in terms of partial orders, stratified order structures (or structures equivalent to them as net processes). It is commonly assumed (first argued by N. Wiener in 1914) that any system run (execution) that can be observed by a single observer must be an interval order of event occurrences. However, generating interval orders directly is problematic for most models of concurrency, as the only feasible sequence representation of interval order is by using Fishburn Theorem (1970) and appropriate sequences of beginnings and endings of events involved. It was shown by Janicki and Koutny in 1997 that concurrent histories involving interval orders can be represented by interval order structures, but how these interval order structures could be derived for particular concurrent systems was not clear. My original contribution to knowledge is defining an interval order semantics for Petri Nets with Inhibitor Arcs. We start with introducing operational interval order semantics, and then we generalize the concept of net process to represent the set of equivalent executions modelled by interval orders. Next we will show that our interval processes correspond to appropriate interval order structures. Finally, we will prove that our model is equivalent to that of Janicki and Yin (2015) where novel interval traces are used to represent equivalent executions. We will also demonstrate that our model covers simpler cases where sequences or step sequences were used to represent system runs. / Thesis / Doctor of Philosophy (PhD)

Optimization plays a central role in the control and operation of electricity power networks. In this thesis we focus on two very important optimization problems in power systems. The first is the optimal power flow problem (OPF). This is an old and well-known nonconvex optimization problem in power system. The existence of local solutions of OPF has been a question of interest for decades. Both local and global solution techniques have been put forward to solve OPF problem but without any documented cases of local solutions. We have produced test cases of power networks with local solutions and have collected these test cases in a publicly available online archive (http://www.maths.ed.ac.uk/optenergy/LocalOpt/), which can be used now by researchers and practitioners to test the robustness of their solution techniques. Also a new nonlinear relaxation of OPF is presented and it is shown that this relaxation in practice gives tight lower bounds of the global solution of OPF. The second problem considered is how to split a network into islands so as to prevent cascading blackouts over wide areas. A mixed integer linear programming (MILP) model for islanding of power system is presented. In recent years, islanding of power networks is attracting attention, because of the increasing occurrence and risk of blackouts. Our proposed approach is quite flexible and incorporates line switching and load shedding. We also give the motivation behind the islanding operation and test our model on variety of test cases. The islanding model uses DC model of power flow equations. We give some of the shortcomings of this model and later improve this model by using piecewise linear approximation of nonlinear terms. The improved model yields good feasible results very quickly and numerical results on large networks show the promising performance of this model.

La co-construction et la réutilisation de modèles font l'objet de plusieurs travaux dans le domaine de la simulation. Cependant, dans le domaine plus spécifique de la Simulation Orientée Agent (SOA), nous pouvons constater un manque sur ces deux points malgré un besoin fort de la part des thématiciens. 
La co-construction est essentielle pour optimiser la mise en commun du savoir de différents experts, mais nous faisons souvent face à des divergences de points de vue. Les méthodologies existantes pour la co-construction en SOA ne permettent qu'un faible niveau de collaboration entre thématiciens durant la phase initiale de modélisation, ainsi qu'entre les des thématiciens avec les modélisateurs ou les modélisateurs-informaticiens... Pour faciliter cette co-construction, nous proposons de suivre une méthodologie de conception favorisant cette collaboration. 
La réutilisation de modèle octroie un gain de temps significatif, une amélioration du modèle et l'apport de nouvelle connaissance. Les méthodologies en SOA dans ce domaine existent. Cependant, dans le spectre de réutilisation, elles sont souvent limitées au niveau du modèle complet ou de l'agent avec l'impossibilité de "descendre" plus bas. 
L'expérience de EDMMAS, un cas concret d'un modèle issu de trois réutilisations successives, nous a permis de constater une nouvelle complexité qui découle de la démultiplication des comportements des agents et crée un décalage conséquent entre le modèle opérationnel et le modèle conceptuel. Notre objectif est de promouvoir la réutilisation aussi bien des modèles, que des agents et de leurs comportements.Pour répondre à ces questionnements, nous proposons dans ce manuscrit une manière de codifier et d'intégrer la connaissance provenant de disciplines différentes dans le modèle, tout en utilisant des modules "composables" qui facilitent la réutilisation. Nous proposons (i) une nouvelle architecture Agent (aMVC), appliquée dans un cadre multidynamique (DOM), avec l'appui (ii) d'une approche méthodologique (MMC) basée sur la décomposition et réutilisation des comportements. 
Cet ensemble de propositions, (i) et (ii), permet de conduire un projet pluridisciplinaire de SOA avec un grand nombre d'acteurs, facilitant la co-construction des modèles grâce à l'instauration de nouvelles synergies entre les différents acteurs participant à la modélisation. Les concepteurs pourront travailler de manière autonome sur leur dynamique et la plateforme fera l'intégration de ces dernières en assurant la cohésion et la robustesse du système. Nos contributions offrent la capacité de créer les briques élémentaires du système de manière indépendante, de les associer et de les combiner pour former des agents, selon des dynamiques conformément à l'approche DOM. Elles permettent ainsi de comparer la logique selon différentes possibilités pour une même dynamique et d'ouvrir la perspective d'étudier un grand nombre d'alternatives de modélisation d'un même système complexe, et de les analyser ensuite à une échelle très fine. / Co-building and reuse of models are at the center of several studies in the field of simulation. However, in the more specific field ofMulti-Agent Based Simulation (MABS), there is a lack of methodology to resolve these two issues, despite a strong need by experts.Model co-building is essential to optimize knowledge sharing amongst different experts, but we often face divergent viewpoints. Existing methodologies for the MABS co-building allow only a low level of collaboration among experts during the initial phase of modeling, and between domain experts with modelers or computer scientists... In order to help this co-building, we propose and follow a methodology to facilitate this collaboration. Model reuse can provide significant time savings, improve models’ quality and offer new knowledge. Some MABS methodologies in this area exist. However, in the spectrum of reuse, they are often limited to a full model’s reuse or agent’s reuse with the impossibility of reusing smaller parts such as behaviors. The EDMMAS experiment was a concrete case of three successive model reuses. It allowed us to observe new complexity arising from the increase of agents’ behaviors. This creates a gap between operational model and conceptual model.Our goal is to promote the reuse of models, agents and their behaviors.To answer these questions, we propose in this thesis a new way to codify and integrate knowledge from different disciplines in the model, while using "composable"modules that facilitate reuse.We propose (i) a new agent architecture (aMVC), applied to a multidynamical approach (DOM), with the support (ii) of a methodology (MMC) based on the decompositionand reuse of behaviors.Proposals (i) and (ii) allow us to lead a multidisciplinary MABS project with a large number of actors, helping the co-building of models through the introduction of synergies among the different actors involved in the modeling. They can work independently on their dynamics and the platformwill integrate those, ensuring cohesion and robustness of the system. Our contributions include the ability to create the building blocks of the system independently, associate and combine them to formagents. This allows us to compare possibilities for the same dynamic and open the prospect of studyingmany alternate models of the same complex system, and then analyze at a very fine scale.

This master thesis elaborates the construction of an integrated framework for the simultaneous initiation of quality management and information security management within micro and small enterprises. Called QISMO, the model collection consists of three parts: (1) a holistic framework as structure dedicated to achieving a shared understanding among key stakeholders concerned about relations and dependencies, (2) a reference process model for visualising the entire process with the activities related, and (3) a lifecycle model for illustrating the process loop and for clarifying specific phases therein. This study offers an analysis of alternative approaches that results in premises and requirements adapted to micro and small enterprises. Furthermore, major barriers to the improvement of quality and information security management of micro and small enterprises are identified in this study. These include miscalculation of risks, lack of competence, and absence of structured processes. Aside from valuable insights for further development of enhanced training programs, the study contributes a comprehensive analysis of standards and good practices within the field of IT governance. Moreover, the study shares a concrete reference process model that is adapted to the preconditions of micro and small enterprises. These preconditions are acquired throughout the study. The proposition is to provide a basis for the further improvement of business processes and the models related to them, both in practice and in research.

Šio darbo tikslas buvo panaudoti dynPLA modelį mobilių agentinių sistemų modeliavimui. dynPLA modelio panaudojimas leido sukurti e-komercijos modelį skirtą knygų paieškos procesui organizuoti internete. Sukurta formali knygų paieškos paieškos procesui organizuoti internete specifikacija buvo ištestuota sukuriant prototipą, panaudojant agentinių sistemų modeliavimo įrankį JADE. Atlikti testavimo eksperimentai su sukurtu prototipu leido verifikuoti agentų migravimo, bei komunikavimo procesus. Sukurtas Internetinio Knygyno Mobilios Agentinės sistemos imitacinis modelis leido įvertinti pasirinktos e-komercijos architektūrinias funkcionavimo (ang. k. performance) charakteristikas: • Vidutinis mobilaus agento užduoties įvykdymo laikas; • Vidutinė direktorijos eilė; • Vidutinė tiekėjų eilė. / The main goal of this paper was to apply mobile agent systems modelling with dynPLA model. dynPLA model practice let to execute e-commerce model commited for book searching process organized in the internet. Established specification of book searching process organized in the internet, was tested by making prototype, using mobile agent system modeling tool JADE. Accomplished testing exsperiments with prototype let us to verify agents migration and communication process. Internet Book-store Mobile Agent system imitation model let us to estimate e-commerce architecture performance characteristics: • Average time of mobile agent performance; • Average queue of directory; • Average queue of providers.

This study utilises seismic data to improve understanding of the subsurface fluid flow behaviour in the Taranaki and Great South Basins offshore New Zealand. The aim of this study is to characterise fluid flow features and to investigate their genesis, fluid origins and implications for subsurface fluid plumbing system by integrating seismic interpretation and 3D petroleum systems modelling techniques. After an early phase studying Pliocene pockmarks in the Taranaki Basin, this study has been focused on the subsurface fluid plumbing system and on the fluid expulsion history in the Great South Basin. The Taranaki Basin lies on the west coast and offshore of the North Island, New Zealand. The seismic interpretation revealed that paleo-pockmark formation in the study area relates to fluid escape due to a rapid sediment loading environment in a distal fan setting. Seismic analysis rules out any links between the paleo-pockmarks and faulting. The relationship between paleo-pockmark occurrence and fan depositional thickness variations suggests that pore-water expulsion during overburden progradation is the most likely cause of the paleo-pockmarks. The rapid sediment loading generated overpressure which was greatest on the proximal fan due to a lateral gradient in overburden pressure. Fluids were consequently forced towards the fan distal parts where, eventually, the pore pressure exceeded the fracture gradient of the seal. The Great South Basin lies off the southern coast of the South Island of New Zealand and is located beneath the modern shelf area. Evidence for past and present subsurface fluid flow in this basin is manifested by the presence of numerous paleo-pockmarks, seabed pockmarks, polygonal fault systems, bright spots and bottom simulating reflections (BSR), all of which help constrain aspects of the overburden plumbing system and may provide clues to deeper hydrocarbon prospectivity in this frontier region. The various types of fluid flow features observed in this study are interpreted to be caused by different fluid origins and mechanisms based on evidences from seismic interpretation in the study area. The possible fluid origins which contribute to fluid flow features in the Great South Basin are compactional pore water as well as biogenic and thermogenic hydrocarbons. Using 3D seismic attribute analysis it was possible to highlight the occurrence of these features, particularly polygonal faults and pockmarks, which tend to be hosted within fine-grained sequences. Paleo- and present-day fluid flow features were investigated using 3D basin and petroleum systems modelling with varying heat flow scenarios. The models predict that thermogenic gas is currently being generated in mid-Cretaceous sedimentary sequences and possibly migrates along tectonic faults and polygonal faults feeding present-day pockmarks at the seabed. The models suggest that biogenic gas was the main fluid source for the Middle Eocene paleo-pockmarks and compactional pore fluid may be the main fluid contributor to the Late Eocene paleo-pockmarks. Different heat flow scenarios show that only mid-Cretaceous source rocks have reached thermal maturity in the basin, whilst Late Cretaceous and Paleocene source rocks would be largely immature. The observations and interpretations provided here contribute to the ongoing discussion on basin de-watering and de-gassing and the fluid contributors involved in pockmark formation and the use of pockmarks as a potential indicator of hydrocarbon expulsion. It is clear from this study that seismically-defined fluid flow features should be integrated into petroleum systems modelling of frontier and mature exploration areas in order to improve our understanding on fluid phases, their migration routes, timings and eventual expulsion history.

no / This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important features, simu- lation, model checking and optimisation. Its capability for building, analysing and optimising large spatially discrete and stochastic models of multicellular systems makes it a useful, coherent and comprehensive in silico tool in systems and synthetic biology research. / EPSRC / The full text is unavailable due to publisher copyright restrictions on book chapters.