All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 64

Showing per page

A belief revision approach for argumentation-based negotiation agents

Pablo Pilotti, Ana Casali, Carlos Chesñevar (2015)

International Journal of Applied Mathematics and Computer Science

Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent's...

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 federated approach to parallel and distributed simulation of complex systems

Andrzej Sikora, Ewa Niewiadomska-Szynkiewicz (2007)

International Journal of Applied Mathematics and Computer Science

The paper describes a Java-based framework called ASimJava that can be used to develop parallel and distributed simulators of complex real-life systems. Some important issues associated with the implementation of parallel and distributed simulations are discussed. Two principal paradigms for constructing simulations today are considered. Particular attention is paid to an approach for federating parallel and distributed simulators. We describe the design, performance and applications of the ASimJava...

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 generalization of the graph Laplacian with application to a distributed consensus algorithm

Guisheng Zhai (2015)

International Journal of Applied Mathematics and Computer Science

In order to describe the interconnection among agents with multi-dimensional states, we generalize the notion of a graph Laplacian by extending the adjacency weights (or weighted interconnection coefficients) from scalars to matrices. More precisely, we use positive definite matrices to denote full multi-dimensional interconnections, while using nonnegative definite matrices to denote partial multi-dimensional interconnections. We prove that the generalized graph Laplacian inherits the spectral...

A genetic algorithm for the multistage control of a fuzzy system in a fuzzy environment.

Janusz Kacprzyk (1997)

Mathware and Soft Computing

We discuss a prescriptive approach to multistage optimal fuzzy control of a fuzzy system, given by a fuzzy state transition equation. Fuzzy constraints and fuzzy goals at consecutive control stages are given, and their confluence, Bellman and Zadeh's fuzzy decision, is an explicit performance function to be optimized. First, we briefly survey previous basic solution methods of dynamic programming (Baldwin and Pilsworth, 1982) and branch-and-bound (Kacprzyk, 1979), which are plagued by low numerical...

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 matrix inequality based design method for consensus problems in multi-agent systems

Shohei Okuno, Joe Imae, Tomoaki Kobayashi (2009)

International Journal of Applied Mathematics and Computer Science

In this paper, we study a consensus problem in multi-agent systems, where the entire system is decentralized in the sense that each agent can only obtain information (states or outputs) from its neighbor agents. The existing design methods found in the literature are mostly based on a graph Laplacian of the graph which describes the interconnection structure among the agents, and such methods cannot deal with complicated control specification. For this purpose, we propose to reduce the consensus...

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

Currently displaying 1 – 20 of 64

Page 1 Next