18,437 research outputs found
Continuous automata: bridging the gap between discrete and continuous time system models
The principled use of models in design and maintenance of a system is fundamental to the engineering methodology. As the complexity and sophistication of systems increase so do the demands on the system models required to design them. In particular the design of agent systems situated in the real world, such as robots, will require design models capable of expressing discrete and continuous changes of system parameters. Such systems are referred to as mode-switching or hybrid systems.This thesis investigates ways in which time is represented in automata system models with discretely and continuously changing parameters. Existing automaton approaches to hybrid modelling rely on describing continuous change at a sequence of points in time. In such approaches the time that elapses between each point is chosen non- deterministically in order to ensure that the model does not over-step a discrete change. In contrast, the new approach this thesis proposes describes continuous change by a continuum of points which can naturally and deterministically capture such change. As well as defining the semantics of individual models the nature of the temporal representation is particularly important in defining the composition of modular comÂponents. This new approach leads to a clear compositional semantics based on the synchronization of input and output values.The main contribution of this work is the derivation of a limiting process which provides a theoretical foundation for this new approach. It not only provides a link between disÂcrete and continuous time representations, but also provides a basis for deciding which continuous time representations are theoretically sound. The resulting formalism, the Continuous I/O machine, is demonstrated to be comparable to Hybrid Automata in expressibility, but its representation of time gives it a much stronger compositional semantics based on the discrete synchronous machines from which it is derived.TThe conclusion of this work is that it is possible to define an automaton model that describes a continuum of events and that this can be effectively used to model complete mode-switching physical systems in a modular fashion
Parallel numerical modeling of hybrid-dimensional compositional non-isothermal Darcy flows in fractured porous media
This paper introduces a new discrete fracture model accounting for
non-isothermal compositional multiphase Darcy flows and complex networks of
fractures with intersecting, immersed and non immersed fractures. The so called
hybrid-dimensional model using a 2D model in the fractures coupled with a 3D
model in the matrix is first derived rigorously starting from the
equi-dimensional matrix fracture model. Then, it is dis-cretized using a fully
implicit time integration combined with the Vertex Approximate Gradient (VAG)
finite volume scheme which is adapted to polyhedral meshes and anisotropic
heterogeneous media. The fully coupled systems are assembled and solved in
parallel using the Single Program Multiple Data (SPMD) paradigm with one layer
of ghost cells. This strategy allows for a local assembly of the discrete
systems. An efficient preconditioner is implemented to solve the linear systems
at each time step and each Newton type iteration of the simulation. The
numerical efficiency of our approach is assessed on different meshes, fracture
networks, and physical settings in terms of parallel scalability, nonlinear
convergence and linear convergence
HIEMPA: Hybrid Instruments from Electroacoustic Manipulation and Models of PĂŒtorino and Aquascape
The HIEMPA project combined a team of people with technical, artistic, environmental and cultural expertise towards an artistic outcome aiming to extend the New Zealand sonic art tradition. The work involved collecting audio samples from the aquascape of the Ruakuri Caves and Nature Reserve in Waitomo, South Waikato, New Zealand; and samples of a variety of pĂŒtorino â a New Zealand MĂ€ori wind instrument. Following a machine learning analysis of this audio material and an analysis of the performance material, hybrid digital instruments were built and mapped to suitable hardware triggers. The new instruments are playable in realtime, along with the electroacoustic manipulation of pĂŒtorino performances. The project takes into account the environmental and cultural significance of the source material, with the results to be released as a set of compositions. This paper discusses the background research and process of the project
Technology, culture and location in a recent New Zealand sonic art project
The HIEMPA (Hybrid Instruments from Electroacoustic Manipulation And Models of PĂŒtorino and Aquascape) project combined a team of people with technical, artistic, environmental and cultural expertise toward the artistic outcome of extending the New Zealand sonic art tradition. The project involved collecting audio samples from the aquascape of the Ruakuri Caves and Nature Reserve in Waitomo, South Waikato, New Zealand; and samples of a variety of PĂŒtorino â a New Zealand MĂ€ori wind instrument. Following a machine learning analysis of this audio material and an analysis of the performance material, hybrid digital instruments were built and mapped to suitable hardware triggers. The new instruments are playable in real-time, along with the electroacoustic manipulation of PĂŒtorino performances. The project takes into account the environmental and cultural significance of the source material, with the results to be released as a set of compositions. This paper discusses the research process
Recommended from our members
The THREAT-ARREST Cyber-Security Training Platform
Cyber security is always a main concern for critical infrastructures and nation-wide safety and sustainability. Thus, advanced cyber ranges and security training is becoming imperative for the involved organizations. This paper presets a cyber security training platform, called THREAT-ARREST. The various platform modules can analyze an organizationâs system, identify the most critical threats, and tailor a training program to its personnel needs. Then, different training programmes are created based on the trainee types (i.e. administrator, simple operator, etc.), providing several teaching procedures and accomplishing diverse learning goals. One of the main novelties of THREAT-ARREST is the modelling of these programmes along with the runtime monitoring, management, and evaluation operations. The platform is generic. Nevertheless, its applicability in a smart energy case study is detailed
QuantumATK: An integrated platform of electronic and atomic-scale modelling tools
QuantumATK is an integrated set of atomic-scale modelling tools developed
since 2003 by professional software engineers in collaboration with academic
researchers. While different aspects and individual modules of the platform
have been previously presented, the purpose of this paper is to give a general
overview of the platform. The QuantumATK simulation engines enable
electronic-structure calculations using density functional theory or
tight-binding model Hamiltonians, and also offers bonded or reactive empirical
force fields in many different parametrizations. Density functional theory is
implemented using either a plane-wave basis or expansion of electronic states
in a linear combination of atomic orbitals. The platform includes a long list
of advanced modules, including Green's-function methods for electron transport
simulations and surface calculations, first-principles electron-phonon and
electron-photon couplings, simulation of atomic-scale heat transport, ion
dynamics, spintronics, optical properties of materials, static polarization,
and more. Seamless integration of the different simulation engines into a
common platform allows for easy combination of different simulation methods
into complex workflows. Besides giving a general overview and presenting a
number of implementation details not previously published, we also present four
different application examples. These are calculations of the phonon-limited
mobility of Cu, Ag and Au, electron transport in a gated 2D device, multi-model
simulation of lithium ion drift through a battery cathode in an external
electric field, and electronic-structure calculations of the
composition-dependent band gap of SiGe alloys.Comment: Submitted to Journal of Physics: Condensed Matte
Hybrid performance modelling of opportunistic networks
We demonstrate the modelling of opportunistic networks using the process
algebra stochastic HYPE. Network traffic is modelled as continuous flows,
contact between nodes in the network is modelled stochastically, and
instantaneous decisions are modelled as discrete events. Our model describes a
network of stationary video sensors with a mobile ferry which collects data
from the sensors and delivers it to the base station. We consider different
mobility models and different buffer sizes for the ferries. This case study
illustrates the flexibility and expressive power of stochastic HYPE. We also
discuss the software that enables us to describe stochastic HYPE models and
simulate them.Comment: In Proceedings QAPL 2012, arXiv:1207.055
Microstructure modelling of hot deformation of Alâ1%Mg alloy
This study presents the application of the finite elementmethod and intelligent systems techniques to the
prediction of microstructural mapping for aluminium alloys. Here, the material within each finite element
is defined using a hybrid model. The hybrid model is based on neuro-fuzzy and physically based components
and it has been combined with the finite element technique. The model simulates the evolution of
the internal state variables (i.e. dislocation density, subgrain size and subgrain boundary misorientation)
and their effect on the recrystallisation behaviour of the stock. This paper presents the theory behind
the model development, the integration between the numerical techniques, and the application of the
technique to a hot rolling operation using aluminium, 1 wt% magnesium alloy. Furthermore, experimental
data from plane strain compression (PSC) tests and rolling are used to validate the modelling outcome.
The results show that the recrystallisation kinetics agree well with the experimental results for different
annealing times. This hybrid approach has proved to be more accurate than conventional methods using empirical equations
- âŠ