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

Most published Xplore authors for Sonar

Back to Top

Xplore Articles related to Sonar

Back to Top

An Effective Approach for Underwater Sonar Image Denoising Based on Sparse Representation

[{u'author_order': 1, u'affiliation': u'College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, 100029, China', u'full_name': u'Di Wu'}, {u'author_order': 2, u'affiliation': u'College of Automation, Harbin Engineering University, Harbin, 150001, China', u'full_name': u'Xue Du'}, {u'author_order': 3, u'affiliation': u'China Power Complete Equipment Co. LTD, Beijing, 100080, China', u'full_name': u'Kaiyu Wang'}] 2018 IEEE 3rd International Conference on Image, Vision and Computing (ICIVC), None

In order to remove the complex and severe noise from sonar image more effectively, an image denoising approach based on sparse representation is carried out in this paper. To decompose and then reconstruct the sonar image on DCT dictionary with OMP is effective for additive noise removing. Then a logarithmic transformation was applied on the previous reconstructed image to make ...


Underwater Acoustic Communications for Submarines - A Sonar Company’s Perspective

[{u'author_order': 1, u'affiliation': u'ATLAS ELEKTRONIK GmbH, Sebaldsbrücker Heerstr. 235, Bremen, 28309, Germany', u'full_name': u'Florian Schulz'}, {u'author_order': 2, u'affiliation': u'ATLAS ELEKTRONIK GmbH, Sebaldsbrücker Heerstr. 235, Bremen, 28309, Germany', u'full_name': u'Till Wiegand'}] 2018 Fourth Underwater Communications and Networking Conference (UComms), None

Modern navies increasingly demand to incorporate submerged assets in naval networked operations. Especially the requirement for providing information to submarines operating at speed and depth is pushing digital underwater acoustic communications from research level to commercial products. In order to address these needs, ATLAS ELEKTRONIK GmbH has developed a concept that fully integrates the UW Comms capability in the company's ...


Novelty Detection in Passive Sonar Systems using Stacked AutoEncoders

[{u'author_order': 1, u'affiliation': u'Sonar Technology Laboratory - COPPE/Poli, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brazil', u'full_name': u'Vin\xedcius dos Santos Mello'}, {u'author_order': 2, u'affiliation': u'Sonar Technology Laboratory - COPPE/Poli, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brazil', u'full_name': u'Natanael Nunes de Moura'}, {u'author_order': 3, u'affiliation': u'Sonar Technology Laboratory - COPPE/Poli, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brazil', u'full_name': u'Jos\xe9 Manoel de Seixas'}] 2018 International Joint Conference on Neural Networks (IJCNN), None

Modern military ships have become more silent in the recent years, so that their detection, tracking, and classification have become even more challenging. Submarines rely very much on passive sonar systems, which might operate in a multi-class scenario. The training data for (semi) automatic decision may not contain all possible classes; i.e., classifiers will face unknown classes in operation. Here, ...


AUV-Based Underwater 3-D Point Cloud Generation Using Acoustic Lens-Based Multibeam Sonar

[{u'author_order': 1, u'affiliation': u'Department of Creative IT Engineering, Pohang University of Science and Technology, Pohang, South Korea', u'full_name': u'Hyeonwoo Cho'}, {u'author_order': 2, u'affiliation': u'Department of Creative IT Engineering, Pohang University of Science and Technology, Pohang, South Korea', u'full_name': u'Byeongjin Kim'}, {u'author_order': 3, u'affiliation': u'Department of Creative IT Engineering, Pohang University of Science and Technology, Pohang, South Korea', u'full_name': u'Son-Cheol Yu'}] IEEE Journal of Oceanic Engineering, 2018

This study proposes a 3-D seafloor scanning method using sonar images obtained by an acoustic lens-based multibeam sonar (ALMS). ALMS is a forward-looking sonar and is generally used to implement real-time acoustic vision for autonomous underwater vehicles (AUVs). ALMS is originally not a 3-D sonar, and elevation information is eliminated when the 3-D world is mapped to the 2-D sonar ...


An Operational Concept for Correcting Navigation Drift During Sonar Surveys of the Seafloor

[{u'author_order': 1, u'affiliation': u'University of Bath, Bath, U.K.', u'full_name': u'Alan J. Hunter'}, {u'author_order': 2, u'affiliation': u'NATO Science and Technology Organization, Centre for Maritime Research and Experimentation, La Spezia, Italy', u'full_name': u'Warren A. Connors'}, {u'author_order': 3, u'affiliation': u'NATO Science and Technology Organization, Centre for Maritime Research and Experimentation, La Spezia, Italy', u'full_name': u'Samantha Dugelay'}] IEEE Journal of Oceanic Engineering, 2018

The accumulation of navigation errors (drift) is a problem in many applications of autonomous underwater vehicles (AUVs), particularly during long-duration underwater surveys. Traditional methods for correcting drift require either surfacing of the vehicle for a global navigation satellite systemupdate or use of an independent acoustic positioning system. These methods may not be desirable or possible due to mission constraints. We ...


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.

  • 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

  • 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

  • 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"