Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Microfluidic fabrication of advanced microcapsules for use in self-healing materials

The proposed work aims to facilitate the development of a microfluidic platform for the production of advanced microcapsules containing active agents which can be the functional constituents of self-healing composites. The creation of such microcapsules is enabled by the unique flow characteristics within microchannels including precise control over shear and interfacial forces for droplet creation and manipulation as well as the ability to form a solid shell either chemically or via the addition of thermal or irradiative energy. Microchannel design and a study of the fluid dynamics and mechanisms for shell creation are undertaken in order to establish a fabrication approach capable of producing healing-agent-containing microcapsules. An in-depth study of the process parameters has been undertaken in order to elucidate the advantages of this production technique including precise control of size (i.e., monodispersity) and surface morphology of the microcapsules. This project also aims to aid the optimization of the mechanical properties as well as healing performance of self-healing composites by studying the effects of the advantageous properties of the as-produced microcapsules. Scale-up of the microfluidic fabrication using parallel devices on a single chip as well as on-chip microcapsule production and shape control will also be investigated. It will be demonstrated that microfluidic fabrication is a versatile approach for the efficient creation of functional microcapsules allowing for superior design of self-healing composites.

Microfluidic hydrogen generator : featuring passive on-demand gas generation and self-circulated reactant for integration with micro fuel cell

A microfluidic hydrogen generator is presented in this work. Its fabrication, characterization, and integration with a micro proton exchange membrane (PEM) fuel cell are described. Hydrogen gas is generated by the hydrolysis of aqueous ammonia borane. Gas generation, as well as the circulation of ammonia borane from a rechargeable fuel reservoir, is performed without any power consumption. To achieve this, directional growth and selective venting of hydrogen gas is maintained in the microchannels, which results in the circulation of fresh reactant from the fuel reservoir. In addition to this self-circulation mechanism, the hydrogen generator has been demonstrated to self-regulate gas generation to meet demands of a connected micro fuel cell. All of this is done without parasitic power consumption from the fuel cell. Results show its feasibility in applications of high-impedance systems. Lastly, recommendations for improvements and suggestions for future work are described

Bluetooth Enabled Ad-hoc Networks: Performance Evaluation of a Self-healing Scatternet Formation Protocol

Bluetooth wireless technology is a robust short-range communications system designed for low power (10 meter range) and low cost. It operates in the 2.4 GHz Industrial Scientific Medical (ISM) band and it employs two techniques for minimizing interference: a frequency hopping scheme which nominally splits the 2.400 - 2.485 GHz band in 79 frequency channels and a time division duplex (TDD) scheme which is used to switch to a new frequency channel on 625 μs boundaries. During normal operation a Bluetooth device will be active on a different frequency channel every 625 μs, thus minimizing the chances of continuous interference impacting the performance of the system. The smallest unit of a Bluetooth network is called a piconet, and can have a maximum of eight nodes. Bluetooth devices must assume one of two roles within a piconet, master or slave, where the master governs quality of service and the frequency hopping schedule within the piconet and the slave follows the master’s schedule. A piconet must have a single master and up to 7 active slaves. By allowing devices to have roles in multiple piconets through time multiplexing, i.e. slave/slave or master/slave, the Bluetooth technology allows for interconnecting multiple piconets into larger networks called scatternets. The Bluetooth technology is explored in the context of enabling ad-hoc networks. The Bluetooth specification provides flexibility in the scatternet formation protocol, outlining only the mechanisms necessary for future protocol implementations. A new protocol for scatternet formation and maintenance - mscat - is presented and its performance is evaluated using a Bluetooth simulator. The free variables manipulated in this study include device activity and the probabilities of devices performing discovery procedures. The relationship between the role a device has in the scatternet and it’s probability of performing discovery was examined and related to the scatternet topology formed. The results show that mscat creates dense network topologies for networks of 30, 50 and 70 nodes. The mscat protocol results in approximately a 33% increase in slaves/piconet and a reduction of approximately 12.5% of average roles/node. For 50 node scenarios the set of parameters which creates the best determined outcome is unconnected node inquiry probability (UP) = 10%, master node inquiry probability (MP) = 80% and slave inquiry probability (SP) = 40%. The mscat protocol extends the Bluetooth specification for formation and maintenance of scatternets in an ad-hoc network.

DIFFUSE-INTERFACE FIELD APPROACH TO MODELING SELF-ASSEMBLY OF HETEROGENEOUS COLLOIDAL SYSTEMS AND RELATED DIPOLE-DIPOLE INTERACTION PHENOMENA

Colloid self-assembly under external control is a new route to fabrication of advanced materials with novel microstructures and appealing functionalities. The kinetic processes of colloidal self-assembly have attracted great interests also because they are similar to many atomic level kinetic processes of materials. In the past decades, rapid technological progresses have been achieved on producing shape-anisotropic, patchy, core-shell structured particles and particles with electric/magnetic charges/dipoles, which greatly enriched the self-assembled structures. Multi-phase carrier liquids offer new route to controlling colloidal self-assembly. Therefore, heterogeneity is the essential characteristics of colloid system, while so far there still lacks a model that is able to efficiently incorporate these possible heterogeneities. This thesis is mainly devoted to development of a model and computational study on the complex colloid system through a diffuse-interface field approach (DIFA), recently developed by Wang et al. This meso-scale model is able to describe arbitrary particle shape and arbitrary charge/dipole distribution on the surface or body of particles. Within the framework of DIFA, a Gibbs-Duhem-type formula is introduced to treat Laplace pressure in multi-liquid-phase colloidal system and it obeys Young-Laplace equation. The model is thus capable to quantitatively study important capillarity related phenomena. Extensive computer simulations are performed to study the fundamental behavior of heterogeneous colloidal system. The role of Laplace pressure is revealed in determining the mechanical equilibrium of shape-anisotropic particles at fluid interfaces. In particular, it is found that the Laplace pressure plays a critical role in maintaining the stability of capillary bridges between close particles, which sheds light on a novel route to in situ firming compact but fragile colloidal microstructures via capillary bridges. Simulation results also show that competition between like-charge repulsion, dipole-dipole interaction and Brownian motion dictates the degree of aggregation of heterogeneously charged particles. Assembly and alignment of particles with magnetic dipoles under external field is studied. Finally, extended studies on the role of dipole-dipole interaction are performed for ferromagnetic and ferroelectric domain phenomena. The results reveal that the internal field generated by dipoles competes with external field to determine the dipole-domain evolution in ferroic materials.

STUDIES OF FUNCTIONALIZED NANOPARTICLES FOR SMART SELF-ASSEMBLY AND AS CONTROLLED DRUG DELIVERY

This dissertation is related to the studies of functionalized nanoparticles for self-assembly and as controlled drug delivery system. The whole topic is composed of two parts. In the first part, the research was conducted to design and synthesize a new type of ionic peptide-functionalized copolymer conjugates for self-assembly into nanoparticle fibers and 3D scaffolds with the ability of multi-drug loading and governing the release rate of each drug for tissue engineering. The self-assembly study confirmed that such peptide-functionalized amphiphilic copolymers underwent different self-assembly behavior. The bigger nanoparticles were more easily assembled into nanoparticle fibers and 3D scaffolds with larger pore size, while the smaller nanoparticle underwent faster self-assembly to form more compact 3D scaffolds with smaller porosity but more stable structure. Controlled release studies confirmed the ability of governing simultaneous release of different model drugs with independent release rate from a same scaffold. Cytotoxicity tests showed that all synthesized peptides, copolymers and peptide-copolymer conjugates were biocompatible with SW-620 cell lines and NIH3T3 cell lines. This new type of self-assembled scaffolds combined the advantages of peptide nanofibers and versatile controlled release of polymeric nanoparticles to achieve simultaneous multi-drug loading and controlled release of each drug, uniform distribution and flexibility of hydrogel scaffolds. The investigations in second part were first to design and synthesize organic biocide-loaded nanoparticles for low-leaching wood preservation using a cost-effective one-pot method to synthesize amphiphilic chitosan-g-PMMA nanoparticles loading with ~25-28 wt.% of the fungicide tebuconazole with particle size of ~100 nm diameter by FESEM. FESEM analysis confirmed efficient penetration of nanoparticles throughout the treated wooden stake with dimension of 19 × 19 × 455 mm^3. Leaching studies showed that biocide introduced into sapwood via nanoparticles leached only ~9% compared with the amount leached from tebuconazole solution-treated control, while soil jar tests showed that the nanoparticle-treated wood blocks were effectively protected from biological decay tested against G. trabeum, a brown rot fungus. Copper oxide nanoparticles with and without polymer stabilizers were also investigated to use as inorganic wood preservatives to clarify the factor affecting copper leaching from treated wood. Copper oxide nanoparticles with uniform diameters of ~10 nm and ~50 nm were prepared, and the leachates from southern pine sapwood treated with these nanoparticles were analyzed. It was found by TEM and EDS analysis that significant numbers of nanoparticles leached from the treated wood. The 50 nm nanoparticles leached slightly less than a soluble copper salt control, but 10 nm nanoparticles leached substantially more than the control. The effect of polymer stabilizers on nanoparticle leaching was also investigated. Results showed that polymer stabilizers increased leaching. The trends showed that nanoparticle size was a major factor in copper leaching.