Sonar

View this topic in
Sonar (originally an acronym for SOund Navigation And Ranging) is a technique that uses sound propagation (usually underwater, as in Submarine navigation) to navigate, communicate with or detect other vessels. (Wikipedia.org)






Conferences related to Sonar

Back to Top

2018 14th IEEE International Conference on Signal Processing (ICSP)

ICSP2018 includes sessions on all aspects of theory, design and applications of signal processing. Prospective authors are invited to propose papers in any of the following areas, but not limited to: A. Digital Signal Processing (DSP)B. Spectrum Estimation & ModelingC. TF Spectrum Analysis & WaveletD. Higher Order Spectral AnalysisE. Adaptive Filtering &SPF. Array Signal ProcessingG. Hardware Implementation for Signal ProcessingH Speech and Audio CodingI. Speech Synthesis & RecognitionJ. Image Processing & UnderstandingK. PDE for Image ProcessingL.Video compression &StreamingM. Computer Vision & VRN. Multimedia & Human-computer InteractionO. Statistic Learning & Pattern RecognitionP. AI & Neural NetworksQ. Communication Signal processingR. SP for Internet and Wireless CommunicationsS. Biometrics & AuthentificationT. SP for Bio-medical & Cognitive ScienceU


2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe)

Energy conversion and conditioning technologies, power electronics, adjustable speed drives and their applications, power electronics for smarter grid, energy efficiency,technologies for sustainable energy systems, converters and power supplies


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


2018 IEEE Congress on Evolutionary Computation (CEC)

IEEE CEC is the leading event in the field of evolutionary computation, and covers all topics in evolutionary computation from theory to applications.


2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

FUZZ-IEEE is the top leading conferencein the area of theory and applications of fuzzy logic.


More Conferences

Periodicals related to Sonar

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


Electron Devices, IEEE Transactions on

Publishes original and significant contributions relating to the theory, design, performance and reliability of electron devices, including optoelectronics devices, nanoscale devices, solid-state devices, integrated electronic devices, energy sources, power devices, displays, sensors, electro-mechanical devices, quantum devices and electron tubes.


More Periodicals


Xplore Articles related to Sonar

Back to Top

Disguised Bionic Sonar Signal Waveform Design with Its Possible Camouflage Application Strategy for Underwater Sensor Platforms

[{u'author_order': 1, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Jiajia Jiang'}, {u'author_order': 2, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Zhongbo Sun'}, {u'author_order': 3, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Fajie Duan'}, {u'author_order': 4, u'affiliation': u'Department of Electronic and Electrical Engineering, University of Sheffield, UK.', u'full_name': u'Wei Liu'}, {u'author_order': 5, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Xianquan Wang'}, {u'author_order': 6, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Chunyue Li'}, {u'author_order': 7, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Lingran Bu'}, {u'author_order': 8, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Xiao Fu'}, {u'author_order': 9, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Tingting Huang'}, {u'author_order': 10, u'affiliation': u'State Key Lab of Precision Measuring Technology and Instruments, Tianjin, 300072, China.', u'full_name': u'Ling Ma'}] IEEE Sensors Journal, None

The covertness of an active sonar is a very important issue and the sonar signal waveform design problem is studied to improve covertness of the system. Many marine mammals produce call pulses for communication and echolocation, and existing interception systems normally classify these biological signals as ocean noise and filter them out. Based on this, a disguised sonar signal waveform ...


Investigating layover effects in cross-correlation based interferometry for synthetic aperture sonar

[{u'author_order': 1, u'full_name': u'Ole Jacob Lorentzen'}, {u'author_order': 2, u'full_name': u'Stig Asle Vaksvik Synnes'}, {u'author_order': 3, u'full_name': u'Roy Edgar Hansen'}, {u'author_order': 4, u'full_name': u'Torstein Olsmo Saebo'}] EUSAR 2018; 12th European Conference on Synthetic Aperture Radar, None

For a synthetic aperture sonar (SAS) system with two receivers displaced by a vertical baseline, interferometric processing using cross-correlation can estimate the direction of arrival and thereby the topography. The cross- correlation peak position and value are utilized for time-delay and coherence estimates. In scenes with topography which causes layover, signal interference occurs. We show examples of when more information ...


Challenges in Coregistration of Repeated Passes in Synthetic Aperture Sonar

[{u'author_order': 1, u'full_name': u'Roy Edgar Hansen'}, {u'author_order': 2, u'full_name': u'Torstein Olsmo Saebo'}, {u'author_order': 3, u'full_name': u'Stig Asle Vaksvik Synnes'}, {u'author_order': 4, u'full_name': u'Ole Jacob Lorentzen'}] EUSAR 2018; 12th European Conference on Synthetic Aperture Radar, None

Synthetic aperture sonar (SAS) is a technique for high resolution imaging, similar to synthetic aperture radar (SAR). In SAR, repeat pass interferometry, tomography, and coherent change detection are today established as standard methods. This is not true for SAS, where coregistration for coherent combination from repeated passes is a major challenge. Many factors may cause misregistration, including insufficient navigation accuracy, ...


Parameter state estimation for bistatic sonar systems

[{u'author_order': 1, u'affiliation': u'Germany', u'full_name': u'Martina Broetje'}, {u'author_order': 2, u'affiliation': u'Germany', u'full_name': u'Lars Broetje'}, {u'author_order': 3, u'affiliation': u'Germany', u'full_name': u'Frank Ehlers'}] IET Radar, Sonar & Navigation, 2018

The use of autonomous underwater vehicles (AUVs) cooperating in a network for anti-submarine warfare surveillance operations is of topical interest. Each AUV has to localise and track targets (submarines) robustly and precisely. This can be realised by a bistatic sonar configuration. The precise knowledge of the bistatic system parameters is mandatory for target tracking. These are in particular the positions ...


Sonar: Detecting SS7 Redirection Attacks with Audio-Based Distance Bounding

[{u'author_order': 1, u'full_name': u'Christian Peeters'}, {u'author_order': 2, u'full_name': u'Hadi Abdullah'}, {u'author_order': 3, u'full_name': u'Nolen Scaife'}, {u'author_order': 4, u'full_name': u'Jasmine Bowers'}, {u'author_order': 5, u'full_name': u'Patrick Traynor'}, {u'author_order': 6, u'full_name': u'Bradley Reaves'}, {u'author_order': 7, u'full_name': u'Kevin Butler'}] 2018 IEEE Symposium on Security and Privacy (SP), None

The global telephone network is relied upon by billions every day. Central to its operation is the Signaling System 7 (SS7) protocol, which is used for setting up calls, managing mobility, and facilitating many other network services. This protocol was originally built on the assumption that only a small number of trusted parties would be able to directly communicate with ...


More Xplore Articles

Educational Resources on Sonar

Back to Top

eLearning

No eLearning Articles are currently tagged "Sonar"

IEEE-USA E-Books

  • From Bat Pinnae to Sonar Antennae: Augmented Obliquely Truncated Horns as a Novel Parametric Shape Model

    Biosonar systems operating in air (bats) use intricate baffle shapes for shaping the sonar beam pattern. Because of its relative ease of implementation, beamforming with such baffle shapes is also an attractive solution for enhancing the sonar-sensing capabilities of animats. The work presented here introduces a novel family of parametric, biologically inspired, baffle-shapes for sonar sensors: augmented obliquely truncated horns. The structural features of these shapes are: an obliquely truncated horn, a washboard ripple pattern on its inner surface, and a pin-shaped flap ("tragus") partially occluding the aperture through which sound enters the baffle. Shapes generated by this model can be completely controlled with 22 parameters. Numerical methods to generate representations of these shapes, evaluate their acoustic properties, and visualize the results are described. The investigated acoustical system properties are: directivity pattern, shape of iso-gain surfaces in three dimensions and gain contours on planar cuts through the spatial distribution of the gain. The last property (cuts) serves as a representation of the shape of a sonar spotlight shone onto an extended target of relatively low curvature. The results demonstrate that ripple and tragus have a profound impact on the functional properties of the baffle shapes. The most prominent effects include breaking of symmetry and generation of side lobes in different frequency bands. The two features have been shown offer the opportunity to shape the spatial distribution of receiver gain into a large number of profoundly different configurations. Evidence of interactions between the features indicates that a combination of both features may generate system properties inaccessible through any one feature alone. The tool-chain of numerical methods used in the present work establishes a foundation for f uture investigations of performance measures to be used in optimizing the baffle shapes for a particular task.

  • Biomimetic Sonar Processing: From Dolphin Echolocation to Artificial Neural Networks

    Analysis of animal performance can provide important cues about the design of automated artificial biomimetic systems. On the basis of behavioral observations, we have been developing models of dolphin echolocation ability that have applicability to the design of biomimetic sonar systems. A dolphin was trained to perform an echolocation delayed matching-to-sample task. The clicks the animal generated during task performance were recorded and digitized along with the echoes returned by the stimulus objects. The dolphin's performance was then modeled using artifical neural networks.

  • OFDM Modem Development

    This chapter describes the modem implementation aspect and presents some example designs of orthogonal frequency‐division multiplexing (OFDM) based acoustic modems. To have a standalone underwater acoustic modem, which supports point to point communications, the following components are needed: hardware platform consisting of various units and DSP firmware. Demonstration of acoustic communication algorithms can be accomplished with low cost in the air, which often serves the educational purposes. The underwater sensor network (UWSN) lab at University of Connecticut has developed an OFDM lab modem prototype based on a DSP development board, as discussed in the chapter. AquaSeNT, a startup from the University of Connecticut, has licensed the OFDM modem technologies from the University of Connecticut and has launched a commercial modem product, which is also discussed in the chapter.

  • OFDM Receiver with Parameterized External Interference Cancellation

    Underwater acoustic communication channels are prone to external interference from various sources, such as the interference from marine animals, human activities and sonar operations. This chapter focuses on explicit mitigation of an external interference with a certain time duration and bandwidth. With the parameterized interference model, an iterative orthogonal frequency‐division multiplexing (OFDM) receiver with interference cancellation is designed to perform data processing and interference estimation/cancellation iteratively. The chapter talks about the parameterization method that represents an external interference via a number of parameters. It presents an OFDM receiver, where OFDM receiver decoding is performed with interference estimation and cancellation iteratively. The chapter contains simulation and experimental (Atlantic Undersea Test and Evaluation Center (AUTEC)10 and SPACE08) results, that validate the performance of the iterative receiver.

  • Multitarget Tracking Using Multiple Hypothesis Tracking

    The track¿¿¿oriented multiple hypothesis tracking (MHT) algorithm is one of the most advanced algorithms for multisensor Multitarget tracking (MTT) for real¿¿¿world complex problems. An MTT system uses one or more sensors such as radar, sonar, electro¿¿¿optical, video, infra¿¿¿red, multispectral, hyperspectral, and unattended ground sensor (acoustic and seismic). Two classes of Sequential Monte Carlo (SMC)¿¿¿based multitarget algorithms are commonly used: Particle filter (PF)¿¿¿based algorithms; and Markov Chain Monte Carlo (MCMC)¿¿¿based algorithms. MHT is particularly effective in dense multitarget settings and in highly cluttered environments. The chapter discusses the current nonlinear filtering algorithms. Suitable filters can be selected for the track filter given the nature and complexity of the tracking problem. A collection of dynamic and measurement models commonly used in filters are presented for a wide variety of tracking applications. The chapter presents a detailed hybrid¿¿¿state derivation of the track¿¿¿oriented MHT equations following the formulation by Kurien with some minor modifications.

  • Spectral Analysis of Signals:The Missing Data Case

    Spectral estimation is important in many fields including astronomy, meteorology, seismology, communications, economics, speech analysis, medical imaging, radar, sonar, and underwater acoustics. Most existing spectral estimation algorithms are devised for uniformly sampled complete-data sequences. However, the spectral estimation for data sequences with missing samples is also important in many applications ranging from astronomical time series analysis to synthetic aperture radar imaging with angular diversity. For spectral estimation in the missing-data case, the challenge is how to extend the existing spectral estimation techniques to deal with these missing- data samples. Recently, nonparametric adaptive filtering based techniques have been developed successfully for various missing-data problems. Collectively, these algorithms provide a comprehensive toolset for the missing-data problem based exclusively on the nonparametric adaptive filter-bank approaches, which are robust and ac urate, and can provide high resolution and low sidelobes. In this book, we present these algorithms for both one-dimensional and two- dimensional spectral estimation problems.

  • Advanced Radar Detection Schemes Under Mismatched Signal Models

    Adaptive detection of signals embedded in correlated Gaussian noise has been an active field of research in the last decades. This topic is important in many areas of signal processing such as, just to give some examples, radar, sonar, communications, and hyperspectral imaging. Most of the existing adaptive algorithms have been designed following the lead of the derivation of Kelly's detector which assumes perfect knowledge of the target steering vector. However, in realistic scenarios, mismatches are likely to occur due to both environmental and instrumental factors. When a mismatched signal is present in the data under test, conventional algorithms may suffer severe performance degradation. The presence of strong interferers in the cell under test makes the detection task even more challenging. An effective way to cope with this scenario relies on the use of "tunable" detectors, i.e., detectors capable of changing their directivity through the tuning of proper parameters. The aim o this book is to present some recent advances in the design of tunable detectors and the focus is on the so-called two-stage detectors, i.e., adaptive algorithms obtained cascading two detectors with opposite behaviors. We derive exact closed-form expressions for the resulting probability of false alarm and the probability of detection for both matched and mismatched signals embedded in homogeneous Gaussian noise. It turns out that such solutions guarantee a wide operational range in terms of tunability while retaining, at the same time, an overall performance in presence of matched signals commensurate with Kelly's detector. Table of Contents: Introduction / Adaptive Radar Detection of Targets / Adaptive Detection Schemes for Mismatched Signals / Enhanced Adaptive Sidelobe Blanking Algorithms / Conclusions

  • Advances in Waveform-Agile Sensing for Tracking

    Recent advances in sensor technology and information processing afford a new flexibility in the design of waveforms for agile sensing. Sensors are now developed with the ability to dynamically choose their transmit or receive waveforms in order to optimize an objective cost function. This has exposed a new paradigm of significant performance improvements in active sensing: dynamic waveform adaptation to environment conditions, target structures, or information features. The manuscript provides a review of recent advances in waveform-agile sensing for target tracking applications. A dynamic waveform selection and configuration scheme is developed for two active sensors that track one or multiple mobile targets. A detailed description of two sequential Monte Carlo algorithms for agile tracking are presented, together with relevant Matlab code and simulation studies, to demonstrate the benefits of dynamic waveform adaptation. The work will be of interest not only to practitioners of rada and sonar, but also other applications where waveforms can be dynamically designed, such as communications and biosensing. Table of Contents: Waveform-Agile Target Tracking Application Formulation / Dynamic Waveform Selection with Application to Narrowband and Wideband Environments / Dynamic Waveform Selection for Tracking in Clutter / Conclusions / CRLB Evaluation for Gaussian Envelope GFM Chirp from the Ambiguity Function / CRLB Evaluation from the Complex Envelope

  • Visual Looming as a range sensor for mobile robots

    This paper describes and evaluates visual looming as a method for monocular range estimation. The looming algorithm is based on the relationship between displacements of the observer relative to an object, and the resulting change in the size of the object's image on the focal plane of the camera. Though the looming algorithm has been described in detail in prior reports, its usefulness for inexpensive, robust ranging has not been realized widely. In this paper we analyze visual looming as a visual range sensor for autonomous mobile robots. Systematic experiments with a Pioneer i mobile robot show that visual looming can be used to extract ranging information much as with sonar. The accuracy of the looming algorithm is found to be significantly more robust than sonar when the object whose distance is being measured is slanted relative to the robot's line of sight. On the other hand, sonar is better suited for objects that cannot be visually segmented from their background, or objects that do not fit entirely within the focal plane. The results suggest that looming can be used as a robust, inexpensive range sensor as a complement to sonar.

  • Towards a theory of how bats navigate through foliage

    In this paper we study echolocation by spectral analysis as a possible mechanism used by bats to navigate through their natural environment. We simulate the echo signals received by a bat inspired sonar system confronted with realistic reflectors, i.e. a large number of closely spaced scatterers. We propose a method to localize such natural reflectors on the basis of the time-frequency representation of the returned echo that is calculated by the bat's cochlea. The sonar system is simplified into a piston emitter and two piston receivers, of which the latter can be rotated. The method proposed reconstructs the environment by comparing the returned echoes with predefined templates corresponding with echoes from different angles. We show that the overlap between members of this set of templates can be used as a measure of their accuracy for localization purposes. This method is then applied to both monaural and binaural sonar systems and is shown to allow useful navigation behaviour. The problem of ghost images, i.e. erroneous interpretations of ambiguous position estimates, is shown to be inherent to single measurement based decisions. Finally, we show how active control of the ear configuration allows binaural sonar systems to eliminate ghost images by combining the resuits from a sequence of measurements, each corresponding with a well chosen ear configuration. Despite the description in this paper being restricted to the two-dimensional situation, this is not essential and we discuss how the mechanism described can be straightforwardly extended to the full 3D case.



Standards related to Sonar

Back to Top

No standards are currently tagged "Sonar"


Jobs related to Sonar

Back to Top