Context-aware wireless networks

This thesis investigates context-aware wireless networks, capable to adapt their behavior to the context and the application, thanks to the ability of combining communication, sensing and localization. Problems of signals demodulation, parameters estimation and localization are addressed exploiting analytical methods, simulations and experimentation, for the derivation of the fundamental limits, the performance characterization of the proposed schemes and the experimental validation. Ultrawide-bandwidth (UWB) signals are in certain cases considered and non-coherent receivers, allowing the exploitation of the multipath channel diversity without adopting complex architectures, investigated. Closed-form expressions for the achievable bit error probability of novel proposed architectures are derived. The problem of time delay estimation (TDE), enabling network localization thanks to ranging measurement, is addressed from a theoretical point of view. New fundamental bounds on TDE are derived in the case the received signal is partially known or unknown at receiver side, as often occurs due to propagation or due to the adoption of low-complexity estimators. Practical estimators, such as energy-based estimators, are revised and their performance compared with the new bounds. The localization issue is addressed with experimentation for the characterization of cooperative networks. Practical algorithms able to improve the accuracy in non-line-of-sight (NLOS) channel conditions are evaluated on measured data. With the purpose of enhancing the localization coverage in NLOS conditions, non-regenerative relaying techniques for localization are introduced and ad hoc position estimators are devised. An example of context-aware network is given with the study of the UWB-RFID system for detecting and locating semi-passive tags. In particular a deep investigation involving low-complexity receivers capable to deal with problems of multi-tag interference, synchronization mismatches and clock drift is presented. Finally, theoretical bounds on the localization accuracy of this and others passive localization networks (e.g., radar) are derived, also accounting for different configurations such as in monostatic and multistatic networks.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Hundertneunundzwanzig Xe NMR for investigations of complex and dynamic systems

In this work, the remarkable versatility and usefulness of applications of Xe-129 NMR experiments is further extended. The application of Xe-129 NMR spectroscopy to very different system is studied, including dynamic and static, solid and liquid, porous and non-porous systems. Using the large non-equilibrium polarization created by hyperpolarization of Xe-129, time-resolved NMR measurements can be used for the online-monitoring of dynamic systems. In the first part of this work, several improvements for medical applications of hyperpolarized Xe-129 are achieved and their feasibility shown experimentally. A large gain in speed and reproducibility of the accumulation process of Xe-129 as ice and an enhancement of the usable polarization in any experiment requiring prior accumulation are achieved. An enhancement of the longitudinal relaxation time of Xe-129 is realized by admixture of a buffer gas during the storage of hyperpolarized Xe-129. Pursuing the efforts of simplifying the accumulation process and enhancing the storage time of hyperpolarized Xe-129 will allow for a wider use of the hyperpolarized gas in (medical) MRI experiments. Concerning the use of hyperpolarized Xe-129 in MRI, the influence of the diffusion coefficient of the gas on parameters of the image contrast is experimentally demonstrated here by admixture of a buffer gas and thus changing the diffusion coefficient. In the second part of this work, a polymer system with unique features is probed by Xe-129 NMR spectroscopy, proving the method to be a valuable tool for the characterization of the anisotropic properties of semicrystalline, syndiotactic polystyrene films. The polymer films contain hollow cavities or channels with sizes in the sub-nanometer range, allowing for adsorption of Xe-129 and subsequent NMR measurements. Despite the use of a ’real-world’ system, the transfer of the anisotropic properties from the material to adsorbed Xe-129 atoms is shown, which was previously only known for fully crystalline materials. The anisotropic behavior towards atomar guests inside the polymer films is proven here for the first time for one of the phases. For the polymer phase containing nanochannels, the dominance of interactions between Xe-129 atoms in the channels compared to interactions between Xe atoms and the channel walls are proven by measurements of a powder sample of the polymer material and experiments including the rotation of the films in the external magnetic field as well as temperature-dependent measurements. The characterization of ’real-world’ systems showing very high degrees of anisotropy by Xe-129 are deemed to be very valuable in future applications. In the last part of this work, a new method for the online monitoring of chemical reactions has been proposed and its feasibility and validity are experimentally proven. The chemical shift dependence of dissolved Xe-129 on the composition of a reaction mixture is used for the online monitoring of free-radical miniemulsion polymerization reactions. Xe-129 NMR spectroscopy provides an excellent method for the online monitoring of polymerization reactions, due to the simplicity of the Xe-129 NMR spectra and the simple relationship between the Xe-129 chemical shift and the reaction conversion. The results of the time-resolved Xe-129 NMR measurements are compared to those from calorimetric measurements, showing a good qualitative agreement. The applicability of the new method to reactions other than polymerization reactions is investigated by the online monitoring of an enzymatic reaction in a miniemulsion. The successful combination of the large sensitivity of Xe-129, the NMR signal enhancements due to hyperpolarization, and the solubility of Xe-129 gives access to the large new field of investigations of chemical reaction kinetics in dynamic and complex systems like miniemulsions.

Fault detection, diagnosis and active fault tolerant control for a satellite attitude control system

Modern control systems are becoming more and more complex and control algorithms more and more sophisticated. Consequently, Fault Detection and Diagnosis (FDD) and Fault Tolerant Control (FTC) have gained central importance over the past decades, due to the increasing requirements of availability, cost efficiency, reliability and operating safety. This thesis deals with the FDD and FTC problems in a spacecraft Attitude Determination and Control System (ADCS). Firstly, the detailed nonlinear models of the spacecraft attitude dynamics and kinematics are described, along with the dynamic models of the actuators and main external disturbance sources. The considered ADCS is composed of an array of four redundant reaction wheels. A set of sensors provides satellite angular velocity, attitude and flywheel spin rate information. Then, general overviews of the Fault Detection and Isolation (FDI), Fault Estimation (FE) and Fault Tolerant Control (FTC) problems are presented, and the design and implementation of a novel diagnosis system is described. The system consists of a FDI module composed of properly organized model-based residual filters, exploiting the available input and output information for the detection and localization of an occurred fault. A proper fault mapping procedure and the nonlinear geometric approach are exploited to design residual filters explicitly decoupled from the external aerodynamic disturbance and sensitive to specific sets of faults. The subsequent use of suitable adaptive FE algorithms, based on the exploitation of radial basis function neural networks, allows to obtain accurate fault estimations. Finally, this estimation is actively exploited in a FTC scheme to achieve a suitable fault accommodation and guarantee the desired control performances. A standard sliding mode controller is implemented for attitude stabilization and control. Several simulation results are given to highlight the performances of the overall designed system in case of different types of faults affecting the ADCS actuators and sensors.

Enhancing quality of service in software-defined networks

Resource management is of paramount importance in network scenarios and it is a long-standing and still open issue. Unfortunately, while technology and innovation continue to evolve, our network infrastructure system has been maintained almost in the same shape for decades and this phenomenon is known as “Internet ossification”. Software-Defined Networking (SDN) is an emerging paradigm in computer networking that allows a logically centralized software program to control the behavior of an entire network. This is done by decoupling the network control logic from the underlying physical routers and switches that forward traffic to the selected destination. One mechanism that allows the control plane to communicate with the data plane is OpenFlow. The network operators could write high-level control programs that specify the behavior of an entire network. Moreover, the centralized control makes it possible to define more specific and complex tasks that could involve many network functionalities, e.g., security, resource management and control, into a single framework. Nowadays, the explosive growth of real time applications that require stringent Quality of Service (QoS) guarantees, brings the network programmers to design network protocols that deliver certain performance guarantees. This thesis exploits the use of SDN in conjunction with OpenFlow to manage differentiating network services with an high QoS. Initially, we define a QoS Management and Orchestration architecture that allows us to manage the network in a modular way. Then, we provide a seamless integration between the architecture and the standard SDN paradigm following the separation between the control and data planes. This work is a first step towards the deployment of our proposal in the University of California, Los Angeles (UCLA) campus network with differentiating services and stringent QoS requirements. We also plan to exploit our solution to manage the handoff between different network technologies, e.g., Wi-Fi and WiMAX. Indeed, the model can be run with different parameters, depending on the communication protocol and can provide optimal results to be implemented on the campus network.

The NreABC system of Staphylococcus carnosus combines nitrate and oxygen sensing by an NreA,NreB sensor complex

Staphylococcus carnosus is a facultative anaerobic bacterium which features the cytoplasmic NreABC system. It is necessary for regulation of nitrate respiration and the nitrate reductase gene narG in response to oxygen and nitrate availability. NreB is a sensor kinase of a two-component system and represents the oxygen sensor of the system. It binds an oxygen labile [4Fe-4S]2+ cluster under anaerobic conditions. NreB autophosphorylates and phosphoryl transfer activates the response regulator NreC which induces narG expression. The third component of the Nre system is the nitrate receptor NreA. In this study the role of the nitrate receptor protein NreA in nitrate regulation and its functional and physiological effect on oxygen regulation and interaction with the NreBC two-component system were detected. In vivo, a reporter gene assay for measuring expression of the NreABC regulated nitrate reductase gene narG was used for quantitative evaluation of NreA function. Maximal narG expression in wild type S. carnosus required anaerobic conditions and the presence of nitrate. Deletion of nreA allowed expression of narG under aerobic conditions, and under anaerobic conditions nitrate was no longer required for maximal induction. This indicates that NreA is a nitrate regulated inhibitor of narG expression. Purified NreA and variant NreA(Y95A) inhibited the autophosphorylation of anaerobic NreB in part and completely, respectively. Neither NreA nor NreA(Y95A) stimulated dephosphorylation of NreB-phosphate, however. Inhibition of phosphorylation was relieved completely when NreA with bound nitrate (NreA•[NO3-]) was used. The same effects of NreA were monitored with aerobically isolated Fe-S-less NreB, which indicates that NreA does not have an influence on the iron-sulfur cluster of NreB. In summary, the data of this study show that NreA interacts with the oxygen sensor NreB and controls its phosphorylation level in a nitrate dependent manner. This modulation of NreB-function by NreA and nitrate results in nitrate/oxygen co-sensing by an NreA/NreB sensory unit. It transmits the regulatory signal from oxygen and nitrate in a joint signal to target promoters. Therefore, nitrate and oxygen regulation of nitrate dissimilation follows a new mode of regulation not present in other facultative anaerobic bacteria.

Smart magnetic dispersions - from switchable release to well-defined hybrid nanofibers

The synthesis, characterization and application of aqueous dispersions of superparamagnetic/polymer hybrid nanoparticles and capsules is described. Implementation of the superparamagnetic moiety into the polymer matrix enables a response of the nanomaterials towards an external magnetic field. Application of the external field is used for two main purposes: i) As heat generator, when an alternating magnetic field is applied. ii) As structuring agent to self-assemble superparamagnetic nanoparticles in the external field.rnIn the first part, superparamagnetic nanoparticles were used as heat generators in order to achieve a magnetic field induced release of an active compound from nanocontainers. To achieve such a release in remote-controlled fashion, the encapsulation of superparamagnetic nanoparticles into polymer nanocapsules was combined with the integration of a thermolabile compound into the shell of the nanocontainers. The magnetic nanoparticles acted as generators for heat, which decomposed the thermolabile compound. Pores were created in the degrading shell and an active substance was released.rn Additionally, the self-assembly of polymer nanoparticles, which were labeled with a superparamagnetic moiety as structuring agent, could be demonstrated. A combination of a magnetic field induced self-assembly and a sintering of neighboring particles upon an increase in temperature above the glass transition temperature of the polymer was used to form stable architectures. Various structures with tunable periodicity could be obtained ranging from smooth linear nanofibers to zigzag fibers. Besides solely creating linear architectures, the frugal process additionally allowed the creation of arrangements in analogy to more complex polymer architectures: By the introduction of defined junction points, the generation of branched structures and networks was demonstrated. Additionally, by tailoring the interaction of differently sized particles, the preparation of nanoparticle arrangements in statistical or block copolymer fashion was shown. Moreover, a reversible linear assembly and linkage of the nanoparticles was demonstrated following a lock/unlock mechanism. Therefore, the particles were locked in their linear assembly by a stable iron(III) hydroxamato-complex and unlocked by addition of a reducing agent and formation of a less stable iron(II)-complex.Further, in various projects with collaboration partners, nanoparticles and nanocapsules were labeled with a superparamagnetic moiety for their use as contrast agents in magnetic resonance imaging or as magnetically separable dispersions.

Automatic Design of Boolean Networks for Modelling Differentiation Trees

Real living cell is a complex system governed by many process which are not yet fully understood: the process of cell differentiation is one of these. In this thesis work we make use of a cell differentiation model to develop gene regulatory networks (Boolean networks) with desired differentiation dynamics. To accomplish this task we have introduced techniques of automatic design and we have performed experiments using various differentiation trees. The results obtained have shown that the developed algorithms, except the Random algorithm, are able to generate Boolean networks with interesting differentiation dynamics. Moreover, we have presented some possible future applications and developments of the cell differentiation model in robotics and in medical research. Understanding the mechanisms involved in biological cells can gives us the possibility to explain some not yet understood dangerous disease, i.e the cancer. Le cellula è un sistema complesso governato da molti processi ancora non pienamente compresi: il differenziamento cellulare è uno di questi. In questa tesi utilizziamo un modello di differenziamento cellulare per sviluppare reti di regolazione genica (reti Booleane) con dinamiche di differenziamento desiderate. Per svolgere questo compito abbiamo introdotto tecniche di progettazione automatica e abbiamo eseguito esperimenti utilizzando vari alberi di differenziamento. I risultati ottenuti hanno mostrato che gli algoritmi sviluppati, eccetto l'algoritmo Random, sono in grado di poter generare reti Booleane con dinamiche di differenziamento interessanti. Inoltre, abbiamo presentato alcune possibili applicazioni e sviluppi futuri del modello di differenziamento in robotica e nella ricerca medica. Capire i meccanismi alla base del funzionamento cellulare può fornirci la possibilità di spiegare patologie ancora oggi non comprese, come il cancro.

Evaluating the Impact of the Number of Access Points in Mobile Robots Localization Using Artificial Neural Networks

Localization is information of fundamental importance to carry out various tasks in the mobile robotic area. The exact degree of precision required in the localization depends on the nature of the task. The GPS provides global position estimation but is restricted to outdoor environments and has an inherent imprecision of a few meters. In indoor spaces, other sensors like lasers and cameras are commonly used for position estimation, but these require landmarks (or maps) in the environment and a fair amount of computation to process complex algorithms. These sensors also have a limited field of vision. Currently, Wireless Networks (WN) are widely available in indoor environments and can allow efficient global localization that requires relatively low computing resources. However, the inherent instability in the wireless signal prevents it from being used for very accurate position estimation. The growth in the number of Access Points (AP) increases the overlap signals areas and this could be a useful means of improving the precision of the localization. In this paper we evaluate the impact of the number of Access Points in mobile nodes localization using Artificial Neural Networks (ANN). We use three to eight APs as a source signal and show how the ANNs learn and generalize the data. Added to this, we evaluate the robustness of the ANNs and evaluate a heuristic to try to decrease the error in the localization. In order to validate our approach several ANNs topologies have been evaluated in experimental tests that were conducted with a mobile node in an indoor space.

The overexpression of homeotic complex gene Ultrabithorax in the post-embryonic neuronal lineages of the ventral nervous system in Drosophila melanogaster

This study uses a molecular technique called MARCM (Mosaic Analysis with a Repressible Cell Marker) to label neuronal lineages that overexpress the Hox gene Ultrabithorax (Ubx) in an unlabeled, wild type background. The results indicate that the overexpression of Ubx is sufficient to transform more anterior neuronal lineages to themorphology of their more posterior counterparts. The data presented here begin to elucidate the role that the Hox genes have in shaping segment-specific neural connections in the post-embryonic ventral nervous system.

Complex genital system of a haplogyne spider (Arachnida, Araneae, Tetrablemmidae) indicates internal fertilization and full female control over transferred sperm

The female genital organs of the tetrablemmid Indicoblemma lannaianum are astonishingly complex. The copulatory orifice lies anterior to the opening of the uterus externus and leads into a narrow insertion duct that ends in a genital cavity. The genital cavity continues laterally in paired tube-like copulatory ducts, which lead into paired, large, sac-like receptacula. Each receptaculum has a sclerotized pore plate with associated gland cells. Paired small fertilization ducts originate in the receptacula and take their curved course inside the copulatory ducts. The fertilization ducts end in slit-like openings in the sclerotized posterior walls of the copulatory ducts. Huge masses of secretions forming large balls are detectable in the female receptacula. An important function of these secretory balls seems to be the encapsulation of spermatozoa in discrete packages in order to avoid the mixing of sperm from different males. In this way, sperm competition may be completely prevented or at least severely limited. Females seem to have full control over transferred sperm and be able to express preference for spermatozoa of certain males. The lumen of the sperm containing secretory balls is connected with the fertilization duct. Activated spermatozoa are only found in the uterus internus of females, which is an indication of internal fertilization. The sperm cells in the uterus internus are characterized by an extensive cytoplasm and an elongated, cone-shaped nucleus. The male genital system of I. lannaianum consists of thick testes and thin convoluted vasa deferentia that open into the wide ductus ejaculatorius. The voluminous globular palpal bulb is filled with seminal fluid consisting of a globular secretion in which only a few spermatozoa are embedded. The spermatozoa are encapsulated by a sheath produced in the genital system. The secretions in females may at least partly consist of male secretions that could be involved in the building of the secretory balls or play a role in sperm activation. The male secretions could also afford nutriments to the spermatozoa.