Exact modelling of scalar 2D arrays
Extending the UML for modelling variability for system families
The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and dependencies....
Fault diagnosis of a water for injection system using enhanced structural isolation
A water for injection system supplies chilled sterile water as a solvent for pharmaceutical products. There are ultimate requirements for the quality of the sterile water, and the consequence of a fault in temperature or in flow control within the process may cause a loss of one or more batches of the production. Early diagnosis of faults is hence of considerable interest for this process. This study investigates the properties of multiple matchings with respect to isolability, and it suggests to...
Flow control in connection-oriented networks: a time-varying sampling period system case study
In this paper congestion control problem in connection-oriented communication network with multiple data sources is addressed. In the considered network the feedback necessary for the flow regulation is provided by means of management units, which are sent by each source once every M data packets. The management units, carrying the information about the current network state, return to their origin round trip time RTT after they were sent. Since the source rate is adjusted only at the instant of...
Fluid-retention side-effects of the chemotherapy-supportive treatment interleukin-11: mathematical modelling of putative underlying mechanisms.
Forecasting return products in an integrated forward/reverse supply chain utilizing an ANFIS
Interests in Closed-Loop Supply Chain (CLSC) issues are growing day by day within the academia, companies, and customers. Many papers discuss profitability or cost reduction impacts of remanufacturing, but a very important point is almost missing. Indeed, there is no guarantee about the amounts of return products even if we know a lot about demands of first products. This uncertainty is due to reasons such as companies' capabilities in collecting End-of-Life (EOL) products, customers' interests...
Formal modelling of IEC 61499 function blocks with integer-valued data types
Fractal pharmacokinetics.
Fuzzy Model of the Computer Integrated Decision Support and Management System in Mineral Processing
Fuzzy modelling of temperature difference in 200 MW power unit condenser using genetic fuzzy systems
General Laws of Adaptation to Environmental Factors: from Ecological Stress to Financial Crisis
We study ensembles of similar systems under load of environmental factors. The phenomenon of adaptation has similar properties for systems of different nature. Typically, when the load increases above some threshold, then the adapting systems become more different (variance increases), but the correlation increases too. If the stress continues to increase then the second threshold appears: the correlation achieves maximal value, and start to decrease, but the variance continue to increase. In many...
Genetic and combinatorial algorithms for optimal sizing and placement of active power filters
The paper deals with cost effective compensator placement and sizing. It becomes one of the most important problems in contemporary electrical networks, in which voltage and current waveform distortions increase year-by-year reaching or even exceeding limit values. The suppression of distortions could be carried out by means of three types of compensators, i.e., passive filters, active power filters and hybrid filters. So far, passive filters have been more popular mainly because of economic reasons,...
Global stability analysis and control of leptospirosis
The aim of this paper is to investigate the effectiveness and cost-effectiveness of leptospirosis control measures, preventive vaccination and treatment of infective humans that may curtail the disease transmission. For this, a mathematical model for the transmission dynamics of the disease that includes preventive, vaccination, treatment of infective vectors and humans control measures are considered. Firstly, the constant control parameters’ case is analyzed, also calculate the basic reproduction...
Heart rate variability complexity in the aging process.
High Resolution Tracking of Cell Membrane Dynamics in Moving Cells: an Electrifying Approach
Cell motility is an integral part of a diverse set of biological processes. The quest for mathematical models of cell motility has prompted the development of automated approaches for gathering quantitative data on cell morphology, and the distribution of molecular players involved in cell motility. Here we review recent approaches for quantifying cell motility, including automated cell segmentation and tracking. Secondly, we present our own novel...
High-performance simulation-based algorithms for an alpine ski racer's trajectory optimization in heterogeneous computer systems
Effective, simulation-based trajectory optimization algorithms adapted to heterogeneous computers are studied with reference to the problem taken from alpine ski racing (the presented solution is probably the most general one published so far). The key idea behind these algorithms is to use a grid-based discretization scheme to transform the continuous optimization problem into a search problem over a specially constructed finite graph, and then to apply dynamic programming to find an approximation...
How to improve efficiency of analysis of sequential data?
Human Immunodeficiency Virus Infection : from Biological Observations to Mechanistic Mathematical Modelling
HIV infection is multi-faceted and a multi-step process. The virus-induced pathogenic mechanisms are manifold and mediated through a range of positive and negative feedback regulations of immune and physiological processes engaged in virus-host interactions. The fundamental questions towards understanding the pathogenesis of HIV infection are now shifting to ‘dynamic’ categories: (i) why is the HIV-immune response equilibrium finally disrupted? (ii)...
Hybrid modelling and performance evaluation of switched discrete-event systems
Immunotherapy with interleukin-2: A study based on mathematical modeling
The role of interleukin-2 (IL-2) in tumor dynamics is illustrated through mathematical modeling, using delay differential equations with a discrete time delay (a modified version of the Kirshner-Panetta model). Theoretical analysis gives an expression for the discrete time delay and the length of the time delay to preserve stability. Numerical analysis shows that interleukin-2 alone can cause the tumor cell population to regress.