Loading [MathJax]/extensions/MathZoom.js
Drinking Water Distribution Systems (DWDSs) play a key role in sustainable development of modern society. They are classified as critical infrastructure systems. This imposes a large set of highly demanding requirements on the DWDS operation and requires dedicated algorithms for on-line monitoring and control to tackle related problems. Requirements on DWDS availability restrict the usability of the real plant in the design phase. Thus, a proper model is crucial. Within this paper a DWDS multi-species...
A decision analytical model is presented and analysed to assess the effectiveness and
cost-effectiveness of routine vaccination against varicella and herpes-zoster, or
shingles. These diseases have as common aetiological agent the varicella-zoster virus
(VZV). Zoster can more likely occur in aged people with declining cell-mediated immunity.
The general concern is that universal varicella vaccination might lead to more cases of
zoster: with more...
When conducting a dynamic simulation of a multibody mechanical system, the model definition may need to be altered during the simulation course due to, e.g., changes in the way the system interacts with external objects. In this paper, we propose a general procedure for modifying simulation models of articulated figures, particularly useful when dealing with systems in time-varying contact with the environment. The proposed algorithm adjusts model connectivity, geometry and current state, producing...
We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs). It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. As a result, the complexity of the analysis for a sophisticated system is drastically reduced. In the HDPPN, we represent the mark-dynamic and trajectory-dynamic properties of a DPPN. Within the framework of the mark-dynamic...
BitTorrent splits the files that are shared on a P2P network into fragments and then spreads these by giving the highest priority to the rarest fragment. We propose a mathematical model that takes into account several factors such as the peer distance, communication delays, and file fragment availability in a future period also by using a neural network module designed to model the behaviour of the peers. The ensemble comprising the proposed mathematical model and a neural network provides a solution...
A mathematical model for fluid and solute transport in peritoneal dialysis is constructed. The model is based on a threecomponent nonlinear system of two-dimensional partial differential equations for fluid, glucose and albumin transport with the relevant boundary and initial conditions. Our aim is to model ultrafiltration of water combined with inflow of glucose to the tissue and removal of albumin from the body during dialysis, by finding the spatial distributions of glucose and albumin concentrations...
In this paper we derive a model describing the dynamics of HIV-1 infection in tissue culture where the infection spreads directly from infected cells to healthy cells trough cell-to-cell contact. We assume that the infection rate between healthy and infected cells is a saturating function of cell concentration. Our analysis shows that if the basic reproduction number does not exceed unity then infected cells are cleared and the disease dies out. Otherwise, the infection is persistent with the existence...
Most mammalian tissues are organized into a hierarchical structure of stem,
progenitor, and differentiated cells. Tumors exhibit similar hierarchy, even if
it is abnormal in comparison with healthy tissue. In particular, it is believed
that a small population of cancer stem cells drives tumorigenesis in certain
malignancies. These cancer stem cells are derived from transformed stem cells or
mutated progenitors that have acquired stem-cell qualities, specifically the
ability to self-renew. Similar...
This paper presents a new approach to sensor placement based on diagnosability criteria. It is based on the study of structural matrices. Properties of structural matrices regarding detectability, discriminability and diagnosability are established in order to be used by sensor placement methods. The proposed approach manages any number of constraints modelled by linear or nonlinear equations and it does not require the design of analytical redundancy relations. Assuming that a constraint models...
A model-based controller architecture for Fault-Tolerant Control (FTC) is presented in this paper. The controller architecture is based on a general controller parameterization. The FTC architecture consists of two main parts, a Fault Detection and Isolation (FDI) part and a controller reconfiguration part. The theoretical basis for the architecture is given followed by an investigation of the single parts in the architecture. It is shown that the general controller parameterization is central in...
Near real time media content personalisation is nowadays a major challenge involving media content sources, distributors and viewers. This paper describes an approach to seamless recommendation, negotiation and transaction of personalised media content. It adopts an integrated view of the problem by proposing, on the business-to-business (B2B) side, a brokerage platform to negotiate the media items on behalf of the media content distributors and sources, providing viewers, on the business-to-consumer...
In complex industrial plants, there are usually many sensors and the modeling of plants leads to lots of mathematical relations. This paper presents a general method for finding all the possible testable subsystems, i.e., sets of relations that can lead to various types of detection tests. This method, which is based on structural analysis, provides the constraints that have to be used for the design of each detection test and manages situations where constraints contain non-deductible variables...
In this investigation, a new algorithm is developed for the updating of a neural network. It is concentrated in a fuzzy transition between the recursive least square and extended Kalman filter algorithms with the purpose to get a bounded gain such that a satisfactory modeling could be maintained. The advised algorithm has the advantage compared with the mentioned methods that it eludes the excessive increasing or decreasing of its gain. The gain of the recommended algorithm is uniformly stable and...
In order to approximate discrete-event systems in which there exist considerable states and events, David and Alla define a continuous Petri net (CPN). So far, CPNs have been a useful tool not only for approximating discrete-event systems but also for modelling continuous processes. Due to different ways of calculating instantaneous firing speeds of transitions, various continuous Petri net models, such as the CCPN (constant speed CPN), VCPN (variable speed CPN) and the ACPN (asymptotic CPN), have...
The reduced basis element method is a new approach for approximating
the solution of problems described by partial differential equations.
The method takes its roots in domain decomposition methods and
reduced basis discretizations. The basic idea is to first decompose
the computational domain into a series of subdomains that are deformations
of a few reference domains (or generic computational parts).
Associated with each reference domain are precomputed solutions
corresponding to the same...
Currently displaying 1 –
20 of
205