Exact modelling of scalar 2D arrays
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....
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...
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...
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...
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...
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,...
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...
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...
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...
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)...
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.