Filters








30 Hits in 8.0 sec

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels [chapter]

Jay Thakkar, Aditya Kanade, Rajeev Alur
2013 Lecture Notes in Computer Science  
TinyOS serial communication [1], high-level data link control (HDLC) [26] , and transmission control protocol (TCP) [2] are examples of widely used retransmission protocols over noisy channels.  ...  Unreliable communication channels are a practical reality. They add to the complexity of protocol design and verification. In this paper, we consider noisy channels which can corrupt messages.  ...  Acknowledgements The first two authors were partially supported by Robert Bosch Centre for Cyber Physical Systems at the Indian Institute of Science.  ... 
doi:10.1007/978-3-642-38592-6_15 fatcat:2w23hsc6ibectavlhzhgdjnyfu

Design of a Robust, High-rate Wireless Sensor Network for Static and Dynamic Structural Monitoring

Matthew J. Whelan, Kerop D. Janoyan
2008 Journal of Intelligent Materials Systems and Structures  
Elements of the system design have been specifically tailored towards addressing condition assessment of highway bridges through strain-based load ratings as well as vibration-based dynamic analysis.  ...  Over recent years, there has been much interest in the use of low-cost wireless transceivers for communication of sensor data to alleviate the expense of widely-distributed cablebased sensors in structural  ...  The protocol developed, displayed schematically in Figure 3 , has been found to support up to 40 channels of sensor data with per channel sampling rates of up to 128sps in a single network.  ... 
doi:10.1177/1045389x08098768 fatcat:uw3bjb2juvdp3gmsnsvztdaavq

National Conference on Recent Advances in Communication Engineering and Information Technology

2020 International journal for innovative engineering and management research  
We provide a broad-based engineering curriculum, with opportunities for specialization and self-directed learning and development.  ...  Our philosophy is not only to educate engineers, but also to prepare them for future leadership roles in industry– indeed, many of our alumni are now Directors of Industry, leading their organizations  ...  over a single distant micro-phone, while being robust enough for real noisy and reverberant speech.  ... 
doi:10.48047/ijiemr/v08/spe/02 fatcat:woay334irjgebf5bixuc4ng6em

Design of large polyphase filters in the Quadratic Residue Number System

Gian Carlo Cardarilli, Alberto Nannarelli, Yann Oster, Massimo Petricca, Marco Re
2010 2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers  
ARQ protocols for a SISO relay channel model.  ...  We show cooperative ARQ protocols for MIMO relay channels.  ... 
doi:10.1109/acssc.2010.5757589 fatcat:ccxnu5owr5fyrcjcqukumerueq

Understanding Smart Sensors

Randy Frank
2000 Measurement science and technology  
The digitized signal is transmitted over the RF channel.  ...  Note that a single sensor or actuator or many channels of transducers may exist in a single STIM.  ...  frame a group of bits sent serially over a communications channel.  ... 
doi:10.1088/0957-0233/11/12/711 fatcat:inet5t3lzbecrczd2f5tdevkzq

A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks

Gonçalo Jesus, António Casimiro, Anabela Oliveira
2017 Sensors  
For that purpose, there is a large body of knowledge on dependability techniques for distributed systems, which provide a good basis to understand how to satisfy these non-functional requirements of WSN-based  ...  Despite the variety of components that may form a WSN-based monitoring system, we give particular attention to understanding which faults can affect sensors, how they can affect the quality of the information  ...  However, communication protocols typically incorporate data integrity verification mechanisms that allow the detection of corrupted messages, discarding those messages and hence transforming value faults  ... 
doi:10.3390/s17092010 pmid:28869505 pmcid:PMC5620495 fatcat:e6je6b6hajhs3pt7mx4obm5tom

A Survey on SCADA Systems: Secure Protocols, Incidents, Threats and Tactics

Dimitrios Pliatsios, Panagiotis Sarigiannidis, Thomas Lagkas, Antonios G. Sarigiannidis
2020 IEEE Communications Surveys and Tutorials  
In this survey, we provide an overview of the general SCADA architecture, along with a detailed description of the SCADA communication protocols.  ...  Furthermore, we carry out an extensive review of the security proposals and tactics that aim to secure SCADA systems. We also discuss the state of SCADA system security.  ...  Byte-oriented communication transfers a single Universal Asynchronous Receiver/Transmitter (UART) bytes over high frequency noisy channels, with a datarate up to 115.2 Kbps.  ... 
doi:10.1109/comst.2020.2987688 fatcat:2z346mmksvdixjy2uzjbajbgoe

Model Checking Linear-Time Properties of Probabilistic Systems [chapter]

Christel Baier, Marcus Größer, Frank Ciesinski
2009 Monographs in Theoretical Computer Science  
For instance, the ProbMeLa-code in Fig. 4 might be a fragment of an unbounded retransmission protocol where some process sends data (variable msg) over a faulty medium such as a wireless radio connection  ...  ProbMeLa-code for an unbounded retransmission protocol input a description of the processes of a (parallel) system and a formalization of the property to be checked.  ... 
doi:10.1007/978-3-642-01492-5_13 fatcat:n3qjkl2ojreypn7sxc4e7zfvs4

Data-centric anomalies in sensor network deployments: analysis and detection

Giovani Rimon Abuaitah, Bin Wang
2012 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012)  
Sensor data are later processed, analyzed, visualized, and reasoned over with the help of several decision making tools.  ...  One approach towards the reduction of the negative impact of misleading sensor readiv  ...  Filtering noisy data enables the base station to generate a more accurate classifier.  ... 
doi:10.1109/mass.2012.6708514 dblp:conf/mass/AbuaitahW12 fatcat:ycuwmpya6fbjro25s4ghx63epi

Tracking with high-density, large-scale wireless sensor networks

Davide Merico
2010 Journal of Ambient Intelligence and Smart Environments  
My special thanks go to Alessandra Mileo and Torsten Schaub for inspiring discussions when working on the logic-based techniques and for their continuous support.  ...  Acknowledgments First of all, I would like to thank, with deep gratitude, my thesis advisor Prof. Roberto Bisiani. Roberto has been more than a perfect advisor during my research project.  ...  These routing protocols can be further classified into multipath-based, query-based, or negotiation-based routing techniques depending on the protocol operation.  ... 
doi:10.3233/ais-2010-0087 fatcat:urq6k3o4xjf2bodrotjbd5e5gi

Statistical relations among architectural features and objective acoustical measurements of concert halls

Gary W. Siebein, Wei‐hwa Chiang, Gary S. Madaras, Harold W. Doddington, Wilhelm K. Schwab, John S. Bradley, A. C. Gade
1993 Journal of the Acoustical Society of America  
The acoustic survey of British auditoria involved both objective measurements and subjective assessments in over 40 auditoria including concert halls, drama theaters, opera houses, and multipurpose spaces  ...  Each of the three measurement teams (the University of Florida, the Danish Technical University, and the National Research Council of Canada) made parallel measurements of a number of modem room acoustics  ...  The communication protocol is optimized for a shallow-water acoustic environment, minimizing retransmission from finite-energy transceivers and taking into account time-variant link reliability and long  ... 
doi:10.1121/1.406641 fatcat:2ulfax5x7rg3nogxaiinu4epfe

Comparisons of auditorium acoustics measurements as a function of location in halls

John S. Bradley, A. C. Gade, Gary W. Siebein
1993 Journal of the Acoustical Society of America  
The acoustic survey of British auditoria involved both objective measurements and subjective assessments in over 40 auditoria including concert halls, drama theaters, opera houses, and multipurpose spaces  ...  Each of the three measurement teams (the University of Florida, the Danish Technical University, and the National Research Council of Canada) made parallel measurements of a number of modem room acoustics  ...  The communication protocol is optimized for a shallow-water acoustic environment, minimizing retransmission from finite-energy transceivers and taking into account time-variant link reliability and long  ... 
doi:10.1121/1.406637 fatcat:qm3xseekvjgtpaucjdpbkm3o2y

Effects of measurement procedure and equipment on average room acoustic measurements

A. C. Gade, John S. Bradley, Gary W. Siebein
1993 Journal of the Acoustical Society of America  
The acoustic survey of British auditoria involved both objective measurements and subjective assessments in over 40 auditoria including concert halls, drama theaters, opera houses, and multipurpose spaces  ...  Each of the three measurement teams (the University of Florida, the Danish Technical University, and the National Research Council of Canada) made parallel measurements of a number of modem room acoustics  ...  The communication protocol is optimized for a shallow-water acoustic environment, minimizing retransmission from finite-energy transceivers and taking into account time-variant link reliability and long  ... 
doi:10.1121/1.406634 fatcat:rah72seo75gtpgirf4x2ngcg24

Acoustical measurements on stages of nine U.S. concert halls

A. C. Gade, John S. Bradley
1993 Journal of the Acoustical Society of America  
The acoustic survey of British auditoria involved both objective measurements and subjective assessments in over 40 auditoria including concert halls, drama theaters, opera houses, and multipurpose spaces  ...  Each of the three measurement teams (the University of Florida, the Danish Technical University, and the National Research Council of Canada) made parallel measurements of a number of modem room acoustics  ...  The communication protocol is optimized for a shallow-water acoustic environment, minimizing retransmission from finite-energy transceivers and taking into account time-variant link reliability and long  ... 
doi:10.1121/1.406640 fatcat:omothtjqojcofd5ypx2oubadsy

Monitoring the Application [chapter]

Adam Shackelford
2015 Beginning Amazon Web Services with Node.js  
We are currently working on using our classifier to make communication decisions on when to transmit files based upon wave-parameters.  ...  During the next few months we are doing field trials that will help us test if these ideas are practically feasible in adapting communication protocols to improve communication between gliders and shore  ...  Much of the early work on time synchronization in sensor networks (including our own work at CENS) focused on the design of time synchronization protocols and regression mechanisms for coping with noisy  ... 
doi:10.1007/978-1-4842-0653-9_7 fatcat:b6s3wv3jcvf6xiniouokdhwtba
« Previous Showing results 1 — 15 out of 30 results