Page 1 Next

Displaying 1 – 20 of 200

Showing per page

A biochemical multi-species quality model of a drinking water distribution system for simulation and design

Krzysztof Arminski, Tomasz Zubowicz, Mietek A. Brdys (2013)

International Journal of Applied Mathematics and Computer Science

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 Cost-Effectiveness-Assessing Model of Vaccination for Varicella and Zoster

M. Comba, S. Martorano-Raimundo, E. Venturino (2012)

Mathematical Modelling of Natural Phenomena

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...

A general on-the-fly algorithm for modifying the kinematic tree hierarchy

Jakub Stępień, Andrzej Polański, Konrad Wojciechowski (2012)

International Journal of Applied Mathematics and Computer Science

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...

A hierarchical decomposition of decision process Petri nets for modeling complex systems

Julio Clempner (2010)

International Journal of Applied Mathematics and Computer Science

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...

A mathematical model for file fragment diffusion and a neural predictor to manage priority queues over BitTorrent

Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana (2016)

International Journal of Applied Mathematics and Computer Science

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-glucose-albumin transport in peritoneal dialysis

Roman Cherniha, Joanna Stachowska-Piętka, Jacek Waniewski (2014)

International Journal of Applied Mathematics and Computer Science

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...

A mathematical model of HIV-1 infection including the saturation effect of healthy cell proliferation

Mahiéddine Kouche, Bedr'eddine Ainseba (2010)

International Journal of Applied Mathematics and Computer Science

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...

A Maturity-Structured Mathematical Model of Mutation, Acquisition in the Absence of Homeostatic Regulation

S. N. Gentry, R. Ashkenazi, T. L. Jackson (2009)

Mathematical Modelling of Natural Phenomena

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...

A method for sensor placement taking into account diagnosability criteria

Abed Alrahim Yassine, Stéphane Ploix, Jean-Marie Flaus (2008)

International Journal of Applied Mathematics and Computer Science

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 approach to fault-tolerant control

Hans Henrik Niemann (2012)

International Journal of Applied Mathematics and Computer Science

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...

A multi-agent brokerage platform for media content recommendation

Bruno Veloso, Benedita Malheiro, Juan Carlos Burguillo (2015)

International Journal of Applied Mathematics and Computer Science

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...

A new efficient and flexible algorithm for the design of testable subsystems

Stéphane Ploix, Abed Alrahim Yassine, Jean-Marie Flaus (2010)

International Journal of Applied Mathematics and Computer Science

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...

A novel continuous model to approximate time Petri nets: modelling and analysis

Tianlong Gu, Rongsheng Dong (2005)

International Journal of Applied Mathematics and Computer Science

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...

A reduced basis element method for the steady Stokes problem

Alf Emil Løvgren, Yvon Maday, Einar M. Rønquist (2006)

ESAIM: Mathematical Modelling and Numerical Analysis

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...

A repeated imitation model with dependence between stages: Decision strategies and rewards

Pablo J. Villacorta, David A. Pelta (2015)

International Journal of Applied Mathematics and Computer Science

Adversarial decision making is aimed at determining strategies to anticipate the behavior of an opponent trying to learn from our actions. One defense is to make decisions intended to confuse the opponent, although our rewards can be diminished. This idea has already been captured in an adversarial model introduced in a previous work, in which two agents separately issue responses to an unknown sequence of external inputs. Each agent's reward depends on the current input and the responses of both...

Currently displaying 1 – 20 of 200

Page 1 Next