Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., k-colourings with k ≠ 3, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We note that the optimal self-stabilisation speed is the same for all local constraints that are isomorphic to one another. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Reliability is one of the bigest challenges faced by service-oriented systems. Therefore, to solve this problem, we have proposed ReServE - Reliable Service Environment. ReServE increases fault-tolerance of SOA systems and ensures consistent processing despite failures. However, the proposed environment imposes also the performance overhead. Thus, in this paper, we extended ReServE and added a monitoring feature provided by the M3 service. As a consequence, the extended environment can adjust appropriately the load of its modules to the changing interaction and behaviour patterns of service oriented systems. We have experimentally shown that the proposed solution, while providing the required level of reliability, decreases significantly the performance overhead.
The torque profile of a double-stator permanent magnet (PM) synchronous machine of 90 mm stator diameter having different rotor pole numbers as well as dual excitation is investigated in this paper. The analysis includes a comparative study of the machine’s torque and power-speed curves, static torque and inductance characteristics, losses and unbalanced magnetic force. The most promising flux-weakening potential is revealed in 13- and 7-rotor pole machines. Moreover, the machines having different rotor/stator (Nr/Ns) pole combinations of the form Nr = Ns ± 1 have balanced and symmetric static torque waveforms variation with the rotor position in contrast to the machines having Nr = Ns ± 2. Further, the inductance results of the analyzed machines reveal that the machines with odd rotor pole numbers have better fault-tolerant capability than their even rotor pole equivalents. A prototype of the developed double-stator machine having a 13-pole rotor is manufactured and tested for verification.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.