Low power and Lossy Networks (LLNs) such as wireless sensor networks are currently used in many important applications fields such as remote environment monitoring and target tracking. This deployment has been enabled by the availability, especially in recent years, of embedded micro-controller devices that are smaller and cheaper. These devices are equipped with wireless interfaces, with which they can communicate with each other to form a network. In this thesis we focus on studying the energy consumption of reliable transport protocols over LLNs. Recently, much research has been carried out to improve the reliability and the congestion control on low power networks. Some of these works have considered TCP inappropriate for this kind of networks. Indeed, the idea of deploying TCP was rejected due to its header overhead, its end-to-end retransmission mechanism, its large rate of acknowledgment, and the impact of the lower layers fragmentation on the energy consumption. Nonetheless, the use of standard TCP/IP protocols offers the advantage of a seamless connectivity between the wireless network and the Internet. TCP allows easily the use of standard applications (HTTP, SSH) for some tasks like reprogramming of nodes or firmware updates, without the need of deploying complex proxies in border routers. In the first part of this work, we study the energy consumption of TCP and the ways that reduce its energy consumption. We study one of the proposed TCP algorithms to reduce the end-to-end retransmissions cost and we propose some improvements that allow it to reduce the energy consumption. Then, we study the compression of the TCP header over low-power and lossy networks and we consider IPv6 over Low power Wireless Personnel Area Networks (6LoWPAN) as an example. We propose a new TCP header compression algorithm that reduces the TCP header size to about six bytes. In the second part, we propose a mathematical model that allows to estimate the energy consumption of wireless nodes. Using the model, we study the tradeoff between sending long and short TCP segments and their impact on the energy consumption. Finally, we study the impact of a new fragment recovery mechanism on the energy performance of TCP.

Optical switchers can fulfill the same functions as all-electrical switching systems and are expected to play a key role in the near future. In this thesis an analysis if an optical system that can potentially behave as an optical switcher is discussed. This configuration consists of three microring resonators which are coupled and tangential to one another in a topology that is similar to the Leibniz packing or Apollonian gasket. The ray-transfer matrix approach is used in order to represent the whole system by a single matrix. The structure receives an initial input signal and gives an output signal, which is changed by only a scalar factor. This description is equal to an eigenvalue problem, where the matrix of the system operates over an initial vector and results a product of a scalar (the eigenvalue) times the initial vector. Due to its unique geometry each ring is divided into two unequal segments. We introduce the loss coefficients to express the attenuation along those segments. The relation between the loss coefficients is being examined and the results are verified by simulations.

Les protocoles de communication asynchrones sont naturellement modélisés par des automates communicants via des canaux FIFO non bornés. Dans cette thèse nous nous intéressons aux variantes des Lossy Channel Systems pour lesquelles les pertes de messages dans les canaux sont probabilistes. Plus précisément, on considère des sémantiques sous forme de chaînes de Markov et de processus de décision markoviens. Un théorème général de convergence de points fixes dans les systèmes de transition bien structurés, permet de prouver pour les PLCS et NPLCS de nombreux résultats de décidabilité pour la vérification de propriétés du temps linéaire. Nous donnons également les limites des modèles par l'intermédiaire de résultats d'indécidabilité. Un prototype a fait l'objet de l'implémentation des algorithmes développés dans la thèse. Malgré la grande complexité des problèmes cet outil a permis de prouver des propriétés de vivacité sur des protocoles tels que le Bit Alterné et le protocole de Pachl.

The Speedy Delivery (SD) waveform was introduced in patent US 6,441,695 B1 issued August 27, 2002 to the inventor Dr. Robert Flake. In the most basic form, the SD boundary condition is an exponential, D⋅e [superscript α⋅t] . The propagating waveform is described by an analytic, closed form solution of the wave equation in lossy media and has several very special properties. The most surprising property is that the leading edge of the waveform propagates with attenuation but without distortion. The lack of distortion occurs even in lossy transmission media with frequency dependent parameters. This is unlike any other known pulse shape. Additionally, varying the waveforms parameter, α, can vary the propagation velocity and the attenuation of the waveform. Because the exponential waveform is unbounded it cannot continue indefinitely and must be truncated and closed by a non-SD closing edge. This dissertation discusses the transmission behavior and two applications of truncated SD waveforms. A brief analysis of SD propagation in lossy transmission lines is presented and some practical considerations associated with truncating the SD waveforms are addressed. The parameters needed to describe the propagation of the SD waveform are defined and techniques for determining their values are presented. Finally, examples applying these truncated SD waveforms to time domain reflectometry and Communication Technology are presented. / text

Typical consumer digital cameras capture the scene by generating a mosaic-like grayscale image, known as a color filter array (CFA) image. One obvious challenge in digital photography is the storage of image, which requires the development of an efficient compression solution. This issue has become more significant due to a growing demand for high dynamic range (HDR) imaging technology, which requires increased bandwidth to allow realistic presentation of visual scene. This thesis proposes two digital camera pipelines, efficiently encoding CFA image data represented in HDR format. Firstly, a lossless compression scheme exploiting a predictive coding followed by a JPEG XR encoding module is introduced. It achieves efficient data reduction without loss of quality. Secondly, a lossy compression scheme that consists of a series of processing operations and a JPEG XR encoding module is introduced. Performance evaluation indicates that the proposed method delivers high quality images at low computational costs.

Typical consumer digital cameras capture the scene by generating a mosaic-like grayscale image, known as a color filter array (CFA) image. One obvious challenge in digital photography is the storage of image, which requires the development of an efficient compression solution. This issue has become more significant due to a growing demand for high dynamic range (HDR) imaging technology, which requires increased bandwidth to allow realistic presentation of visual scene. This thesis proposes two digital camera pipelines, efficiently encoding CFA image data represented in HDR format. Firstly, a lossless compression scheme exploiting a predictive coding followed by a JPEG XR encoding module is introduced. It achieves efficient data reduction without loss of quality. Secondly, a lossy compression scheme that consists of a series of processing operations and a JPEG XR encoding module is introduced. Performance evaluation indicates that the proposed method delivers high quality images at low computational costs.

Tato práce zkoumá vhodnost a požadavky návrhu simulací pro simulátor NS-3 pro případ bezdrátových sítí používaných v měřící infrastruktuře společnosti Kamstrup. V práci je popsán simulátor NS-3 a je vytvořena základní implementace dvou protokolů. Wireless M-Bus jako příklad jednosměrného protokolu pro zařízení napájené z baterií. Simulace Wireless M-Bus je porovnána s daty naměřenými v reálném systému. NS-3 poskytuje flexibilní prostředí pro vývoj simulací různých síťových protokolů, včetně těch určených pro sítě inteligentních měřidel.

abstract: A proposed visible spectrum nanoscale imaging method requires material with permittivity values much larger than those available in real world materials to shrink the visible wavelength to attain the desired resolution. It has been proposed that the extraordinarily slow propagation experienced by light guided along plasmon resonant structures is a viable approach to obtaining these short wavelengths. To assess the feasibility of such a system, an effective medium model of a chain of Noble metal plasmonic nanospheres is developed, leading to a straightforward calculation of the waveguiding properties. Evaluation of other models for such structures that have appeared in the literature, including an eigenvalue problem nearest neighbor approximation, a multi- neighbor approximation with retardation, and a method-of-moments method for a finite chain, show conflicting expectations of such a structure. In particular, recent publications suggest the possibility of regions of invalidity for eigenvalue problem solutions that are considered far below the onset of guidance, and for solutions that assume the loss is low enough to justify perturbation approximations. Even the published method-of-moments approach suffers from an unjustified assumption in the original interpretation, leading to overly optimistic estimations of the attenuation of the plasmon guided wave. In this work it is shown that the method of moments approach solution was dominated by the radiation from the source dipole, and not the waveguiding behavior claimed. If this dipolar radiation is removed the remaining fields ought to contain the desired guided wave information. Using a Prony's-method-based algorithm the dispersion properties of the chain of spheres are assessed at two frequencies, and shown to be dramatically different from the optimistic expectations in much of the literature. A reliable alternative to these models is to replace the chain of spheres with an effective medium model, thus mapping the chain problem into the well-known problem of the dielectric rod. The solution of the Green function problem for excitation of the symmetric longitudinal mode (TM01) is performed by numerical integration. Using this method the frequency ranges over which the rod guides and the associated attenuation are clearly seen. The effective medium model readily allows for variation of the sphere size and separation, and can be taken to the limit where instead of a chain of spheres we have a solid Noble metal rod. This latter case turns out to be the optimal for minimizing the attenuation of the guided wave. Future work is proposed to simulate the chain of photonic nanospheres and the nanowire using finite-difference time-domain to verify observed guided behavior in the Green's function method devised in this thesis and to simulate the proposed nanosensing devices. / Dissertation/Thesis / M.S. Electrical Engineering 2013

Les systèmes à canaux non fiables ont été introduits à l'origine comme un modèle de communication. Ils ont donné naissance à une classe de complexité restée mal comprise pendant longtemps. Dans cette thèse, nous étudions et comblons certaines des plus importantes lacunes dans la connaissance de cette classe. Nous fournissons entre autres des bornes inférieure et supérieure qui se rejoignent pour la complexité en temps. Puis nous proposons un nouvel outil de preuve : le Problème de Sous Mot de Post (PEP). C'est un problème simple, inspiré du Problème de Correspondance de Post, et complet pour cette classe de complexité. Nous étudions ensuite PEP et ses variantes, ainsi que les langages de solutions de PEP sur lesquels nous avons fourni des résultats de complexité et des outils de preuve tels que des lemmes de pompage. / Lossy channel systems were originally introduced to model communication protocols. It gave birth to a complexity class wich remained scarcely undersood for a long time. In this thesis we study some of the most important gaps. In particular, we bring matching upper and lower bounds for the time complexity. Then we describe a new proof tool : the Post Embedding Problem (PEP) which is a simple problem, closely related to the Post Correspondence Problem, and complete for this complexity class. Finally, we study PEP, its variants and the languages of solutions of PEP on which we provide complexity results and proof tools like pumping lemmas.

No description available.