A common feature of all wireless mobile data networks is the dynamic nature of the propagation environment. Our work introduces a new level of intelligence into wireless networks by creating a realtime prediction model that runs independcntly on eachmohile node. Such a prediction can assist the routing protocol in making hand-ofk or in choosing the hest route to a destination, taking into account futurc RF propagation conditions.
Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.
Abstract-Phased array antenna techniques for beamforming are thwarted in a cluttered environment. The time-reversal method utilizes the clutter (and associated multipath) to focus beyond the Rayleigh limit. This method makes use of the reciprocity of wireless propagation channels. Time-reversal can also be used to null signals, either to reduce unintentional interference or to prevent eavesdropping. We present a simple technique that nulls the transmitted signal at a specific location, while simultaneously focusing the signal at a desired location. This technique can also be used for the reverse problem of reception of a desired signal while nulling out an interfering source.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.