Separation of Circulating Tokens

Self-stabilizing distributed control is often modeled by token abstractions. A system with a single token may implement mutual exclusion; a system with multiple tokens may ensure that immediate neighbors do not simultaneously enjoy a privilege. For a cyber-physical system, tokens may represent physical objects whose movement is controlled. The problem studied in this paper is to ensure that a synchronous system with m circulating tokens has at least d distance between tokens. This problem is first considered in a ring where d is given whilst m and the ring size n are unknown. The protocol solving this problem can be uniform, with all processes running the same program, or it can be non-uniform, with some processes acting only as token relays. The protocol for this first problem is simple, and can be expressed with Petri net formalism. A second problem is to maximize d when m is given, and n is unknown. For the second problem, the paper presents a non-uniform protocol with a single corrective process.Comment: 22 pages, 7 figures, epsf and pstricks in LaTe

Formal specification of a self-sustainable holonic system for smart electrical micro-grids

Stand-alone micro-grids have emerged within the smart grids field, facing important challenges related to their proper and efficient operation. An example is the self-sustainability when the micro-grid is disconnected from the main utility, e.g., due to a failure in the main utility or due to geographical situations, which requires the efficient control of energy demand and production. This paper describes the formal specification of a holonic system architecture that is able to perform the automation control functions in electrical stand-alone micro-grids, particularly aiming to improve their self-sustainability. The system aims at optimizing the power flow among the different electrical players, both producers and consumers, to keep the micro-grid operating even under adverse situations. The behaviour of each individual holon and their coordination patterns were modelled, analysed and validated using the Petri net formalism, allowing the complete verification of the system correctness during the design phase.info:eu-repo/semantics/publishedVersio

Melt block copolymerization of ε-caprolactone and L-lactide

AB block copolymers of ε-caprolactone and (L)-lactide could be prepared by ring-opening polymerization in the melt at 110°C using stannous octoate as a catalyst and ethanol as an initiator provided ε-caprolactone was polymerized first. Ethanol initiated the polymerization of ε-caprolactone producing a polymer with ε-caprolactone derived hydroxyl end groups which after addition of L-lactide in the second step of the polymerization initiated the ring-opening copolymerization of L-lactide. The number-average molecular weights of the poly(ε-caprolactone) blocks varied from 1.5 to 5.2 × 103, while those of the poly(L-lactide) blocks ranged from 17.4 to 49.7 × 103. The polydispersities of the block copolymers varied from 1.16 to 1.27. The number-average molecular weights of the polymers were controlled by the monomer/hydroxyl group ratio, and were independent on the monomer/stannous octoate ratio within the range of experimental conditions studied. When L-lactide was polymerized first, followed by copolymerization of ε-caprolactone, random copolymers were obtained. The formation of random copolymers was attributed to the occurrence of transesterification reactions. These side reactions were caused by the ε-caprolactone derived hydroxyl end groups generated during the copolymerization of ε-caprolactone with pre-polymers of L-lactide. The polymerization proceeds through an ester alcoholysis reaction mechanism, in which the stannous octoate activated ester groups of the monomers react with hydroxyl groups

The isotropic-nematic interface in suspensions of hard rods: Mean-field properties and capillary waves

We present a study of the isotropic-nematic interface in a system of hard spherocylinders. First we compare results from Monte Carlo simulations and Onsager density functional theory for the interfacial profiles of the orientational order parameter and the density. Those interfacial properties that are not affected by capillary waves are in good agreement, despite the fact that Onsager theory overestimates the coexistence densities. Then we show results of a Monte Carlo study of the capillary waves of the interface. In agreement with recent theoretical investigations (Eur.Phys.J. E {\bf 18} 407 (2005)) we find a strongly anistropic capillary wave spectrum. For the wave-numbers accessed in our simulations, the spectrum is quadratic, i.e.elasticity does not play a role. We conjecture that this effect is due to the strong bending rigidity of the director field in suspensions of spherocylinders.Comment: 8 pages, 10 figure

Numerical Solution of Hard-Core Mixtures

We study the equilibrium phase diagram of binary mixtures of hard spheres as well as of parallel hard cubes. A superior cluster algorithm allows us to establish and to access the demixed phase for both systems and to investigate the subtle interplay between short-range depletion and long-range demixing.Comment: 4 pages, 2 figure

Skin problems of the stump and hand function in lower limb amputees:A historic cohort study

The aim of this study was to investigate the relationship between liner-related skin problems of the stump in patients with a lower limb amputation and impaired hand function. Sixty patients who were treated in a rehabilitation hospital from 1998-2006 were included in an historic cohort study. Data were collected concerning the amputation, skin problems of the stump, co-morbidity, hand function, the prosthesis, liner use and mobility score. The study population consisted of 50 trans-tibial and 10 knee disarticulation amputees, 43 male and 17 female, with a mean age of 62.3 years. The majority (63%) had a vascular reason for amputation. Blisters, folliculitis, rash and surface wounds on the stump were operationalized as being liner related. In patients with an impaired hand function, 70% had experienced liner-related skin problems of the stump, whereas 32% of the patients with a normal hand function had experienced skin problems (p=0.035). This study shows that impaired hand function poses an increased risk for skin problems in the amputation stump in patients with a lower limb amputation and liner use in their prosthesis.</p