Cooperative positioning for heterogeneous wireless systems

Future emerging market trends head towards positioning based services placing a new perspective on the way we obtain and exploit positioning information. On one hand, innovations in information technology and wireless communication systems enabled the development of numerous location based applications such as vehicle navigation and tracking, sensor networks applications, home automation, asset management, security and context aware location services. On the other hand, wireless networks themselves may bene t from localization information to improve the performances of di erent network layers. Location based routing, synchronization, interference cancellation are prime examples of applications where location information can be useful. Typical positioning solutions rely on measurements and exploitation of distance dependent signal metrics, such as the received signal strength, time of arrival or angle of arrival. They are cheaper and easier to implement than the dedicated positioning systems based on ngerprinting, but at the cost of accuracy. Therefore intelligent localization algorithms and signal processing techniques have to be applied to mitigate the lack of accuracy in distance estimates. Cooperation between nodes is used in cases where conventional positioning techniques do not perform well due to lack of existing infrastructure, or obstructed indoor environment. The objective is to concentrate on hybrid architecture where some nodes have points of attachment to an infrastructure, and simultaneously are interconnected via short-range ad hoc links. The availability of more capable handsets enables more innovative scenarios that take advantage of multiple radio access networks as well as peer-to-peer links for positioning. Link selection is used to optimize the tradeo between the power consumption of participating nodes and the quality of target localization. The Geometric Dilution of Precision and the Cramer-Rao Lower Bound can be used as criteria for choosing the appropriate set of anchor nodes and corresponding measurements before attempting location estimation itself. This work analyzes the existing solutions for node selection in order to improve localization performance, and proposes a novel method based on utility functions. The proposed method is then extended to mobile and heterogeneous environments. Simulations have been carried out, as well as evaluation with real measurement data. In addition, some speci c cases have been considered, such as localization in ill-conditioned scenarios and the use of negative information. The proposed approaches have shown to enhance estimation accuracy, whilst signi cantly reducing complexity, power consumption and signalling overhead.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Hybrid materials for biomedical applications

The increased longevity of humans and the demand for a better quality of life have led to a continuous search for new implant materials. Scientific development coupled with a growing multidisciplinarity between materials science and life sciences has given rise to new approaches such as regenerative medicine and tissue engineering. The search for a material with mechanical properties close to those of human bone produced a new family of hybrid materials that take advantage of the synergy between inorganic silica (SiO4) domains, based on sol-gel bioactive glass compositions, and organic polydimethylsiloxane, PDMS ((CH3)2.SiO2)n, domains. Several studies have shown that hybrid materials based on the system PDMS-SiO2 constitute a promising group of biomaterials with several potential applications from bone tissue regeneration to brain tissue recovery, passing by bioactive coatings and drug delivery systems. The objective of the present work was to prepare hybrid materials for biomedical applications based on the PDMS-SiO2 system and to achieve a better understanding of the relationship among the sol-gel processing conditions, the chemical structures, the microstructure and the macroscopic properties. For that, different characterization techniques were used: Fourier transform infrared spectrometry, liquid and solid state nuclear magnetic resonance techniques, X-ray diffraction, small-angle X-ray scattering, smallangle neutron scattering, surface area analysis by Brunauer–Emmett–Teller method, scanning electron microscopy and transmission electron microscopy. Surface roughness and wettability were analyzed by 3D optical profilometry and by contact angle measurements respectively. Bioactivity was evaluated in vitro by immersion of the materials in Kokubos’s simulated body fluid and posterior surface analysis by different techniques as well as supernatant liquid analysis by inductively coupled plasma spectroscopy. Biocompatibility was assessed using MG63 osteoblastic cells. PDMS-SiO2-CaO materials were first prepared using nitrate as a calcium source. To avoid the presence of nitrate residues in the final product due to its potential toxicity, a heat-treatment step (above 400 °C) is required. In order to enhance the thermal stability of the materials subjected to high temperatures titanium was added to the hybrid system, and a material containing calcium, with no traces of nitrate and the preservation of a significant amount of methyl groups was successfully obtained. The difficulty in eliminating all nitrates from bulk PDMS-SiO2-CaO samples obtained by sol-gel synthesis and subsequent heat-treatment created a new goal which was the search for alternative sources of calcium. New calcium sources were evaluated in order to substitute the nitrate and calcium acetate was chosen due to its good solubility in water. Preparation solgel protocols were tested and homogeneous monolithic samples were obtained. Besides their ability to improve the bioactivity, titanium and zirconium influence the structural and microstructural features of the SiO2-TiO2 and SiO2-ZrO2 binary systems, and also of the PDMS-TiO2 and PDMS-ZrO2 systems. Detailed studies with different sol-gel conditions allowed the understanding of the roles of titanium and zirconium as additives in the PDMS-SiO2 system. It was concluded that titanium and zirconium influence the kinetics of the sol-gel process due to their different alkoxide reactivity leading to hybrid xerogels with dissimilar characteristics and morphologies. Titanium isopropoxide, less reactive than zirconium propoxide, was chosen as source of titanium, used as an additive to the system PDMS-SiO2-CaO. Two different sol-gel preparation routes were followed, using the same base composition and calcium acetate as calcium source. Different microstructures with high hydrophobicit were obtained and both proved to be biocompatible after tested with MG63 osteoblastic cells. Finally, the role of strontium (typically known in bioglasses to promote bone formation and reduce bone resorption) was studied in the PDMS-SiO2-CaOTiO2 hybrid system. A biocompatible material, tested with MG63 osteoblastic cells, was obtained with the ability to release strontium within the values reported as suitable for bone tissue regeneration.