نتایج جستجو برای: stabilizing
تعداد نتایج: 22306 فیلتر نتایج به سال:
We consider the problem of designing uniform self-stabilizing distributed algorithms for coloring chains and oriented rings. We provide deterministic uniform self-stabilizing algorithms for some of the problems , and impossibility results for the other problems. For problems in the latter class, we present random-ized self-stabilizing algorithms. These results lead to a general method for obtai...
In this paper, we first clarify that it is not a trivial matter whether or not a selfstabilizing algorithm under the Dolev model, when adapted to a composite atomicity model, is also self-stabilizing. Then we employ a particular “simulation” approach to show that if a self-stabilizing algorithm under the Dolev model has one of two certain forms, then it is also self-stabilizing when adapted to ...
We propose the notion of active stabilization for computing systems. Unlike typical stabilizing programs (called passive stabilizing in this paper) that require that the faults are absent for a long enough time for the system to recover to legitimate states, active stabilizing programs ensure recovery in spite of constant perturbation during the recovery process by an adversary. We identify the...
Self-stabilizing systems of the Dolev type were first introduced by Dolev et al. in their famous paper in 1993. In contrast to self-stabilizing systems of the Dijkstra type, such self-stabilizing systems assume the read/write atomicity model instead of the composite atomicity model. In this paper, we introduce the notion of quasi-self-stabilizing systems of the Dolev type. A naturally-adapted v...
cansjera rheedii is widely used as a traditional medicine for the treatment and control of a variety of human inflammatory ailments by the fishermen of auroville. in the present study, the anti-inflammatory and membrane stabilizing property of ethanol extract of cansjera rheedii j. gmelin (eecr) was evaluated in rat using the human red blood cells (hrbc) membrane stabilization method and carr...
In study, spherical Silver nanoparticles (SNPs) were synthesized by chemical reduction method from a metal precursor silver nitrate in presence of an anionic surfactant and strong reducing agent. In this experimental work, SNPs are synthesized in presence of different concentration of stabilizing agent and effect of stabilizing agent on size distribution of SNPs have been observed. Further anti...
Practical difficulties involved in implementing stabilizing model predictive control laws for nonlinear systems are well known. Stabilizing formulations of the method normally rely on the assumption that global and exact solutions of nonconvex, nonlinear optimization problems are possible in limited computational time. In this paper, we first establish conditions under which suboptimal model pr...
Design of stabilizing and time-optimal controllers for discrete-time linear systems with positive controls is revisited. Necessary and suucient conditions for stabilizability of this class of systems are given. A class of stabilizing controllers is designed. We show that a stabilizing time-optimal controller exists if the system is dead-beat controllable. We show by an example that there may al...
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms require the explicit description of the set of legitimate states, our technique only needs the temporal behavior of the protocol. We extend our approach to synthes...
In this article, a review on bioactive flavonoids that are abundant in medicinal and functional food (dietary) plants has been made, with special reference to antimalarial flavonoid molecules. Flavonoids have been found to exist in plants/plant medicines with a wide structural diversity consisting of numerous polyphenolic compounds and having well defined molecular target specificity. These phy...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید