Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Accelerometers (1)
- Acoustic arrays (1)
- Acoustic signal processing (1)
- Acoustic wave transmission (1)
- Acoustics (Physical sciences) (1)
-
- Automatic theorem proving (1)
- COQ (1)
- Calcul construction (1)
- Covariance matrices (1)
- Data analysis (1)
- Dynamical systems (1)
- Eigenvectors (1)
- Electrical engineering (1)
- Gyroscopes (1)
- Hydrophone (1)
- Inertial sensors (1)
- Logic circuits -- Design and construction (1)
- Matrices (1)
- Movement disorders (1)
- Noise (1)
- Noise generators (Electronics) (1)
- Number theory (1)
- Ocean sounds (1)
- Oscillators -- Electric (1)
- Parkinson's disease -- Patients -- Turning (Locomotion) (1)
- Parkinson’s disease (1)
- Quantum computing (1)
- Quantum electronics (1)
- Ships (1)
- Sonar arrays (1)
Articles 1 - 11 of 11
Full-Text Articles in Engineering
Generalized Framework For Similarity Measure Of Time Series, Hongsheng Yin, Honggang Qi, Jingwen Xu, William N. N. Hung, Xiaoyu Song
Generalized Framework For Similarity Measure Of Time Series, Hongsheng Yin, Honggang Qi, Jingwen Xu, William N. N. Hung, Xiaoyu Song
Electrical and Computer Engineering Faculty Publications and Presentations
Currently, there is no definitive and uniform description for the similarity of time series, which results in difficulties for relevant research on this topic. In this paper, we propose a generalized framework to measure the similarity of time series. In this generalized framework, whether the time series is univariable or multivariable, and linear transformed or nonlinear transformed, the similarity of time series is uniformly defined using norms of vectors or matrices.The definitions of the similarity of time series in the original space and the transformed space are proved to be equivalent. Furthermore, we also extend the theory on similarity of …
Unconventional Computing Catechism, Christof Teuscher
Unconventional Computing Catechism, Christof Teuscher
Electrical and Computer Engineering Faculty Publications and Presentations
What makes a new paradigm or technology promising? What should science, research, and industry invest money in? Is there a life after CMOS electronics? And will the vacuum tube be back? While one cannot predict the future, one can still learn from the past. Over the last decade, unconventional computing developed into a major new research area with the goal to look beyond existing paradigms. In this Perspective, we reflect on the current state of the field and propose a set of questions that anyone working in unconventional computing should be able to answer in order to assess the potential …
Geoacoustic Inversion Of Ship Radiated Noise In Shallow Water Using Data From A Single Hydrophone, Steven E. Crocker, Peter L. Nielsen, James H. Miller, Martin Siderius
Geoacoustic Inversion Of Ship Radiated Noise In Shallow Water Using Data From A Single Hydrophone, Steven E. Crocker, Peter L. Nielsen, James H. Miller, Martin Siderius
Electrical and Computer Engineering Faculty Publications and Presentations
The Centre for Maritime Research and Experimentation conducted a geoacoustic inverse experiment in the Mediterranean Sea in the summer of 2012. Among the objectives was to employ an autono- mous underwater vehicle to collect acoustic data to invert for properties of the seafloor. Inversion results for the compression wave speed in the bottom and the source spectrum of the R/V Alliance during a close approach to the bottom moored vehicle are presented. The estimated wave speed was 1529 m/s (r ¼ 10). The source spectrum of the Alliance was estimated across more than six octaves of frequency.
Formalization Of Matrix Theory In Hol4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, Xiaoyu Song
Formalization Of Matrix Theory In Hol4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, Xiaoyu Song
Electrical and Computer Engineering Faculty Publications and Presentations
Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting. This paper presents the higherorder logic (HOL) formalization of the vector space and matrix theory in the HOL4 theorem proving system. Formalized theories include formal definitions of real vectors and matrices, algebraic properties, and determinants, which are verified in HOL4. Two case studies, modeling and verifying composite two-port networks and state transfer equations, are presented to demonstrate the applicability and effectiveness of our work.
Passive Localization Of Noise-Producing Targets Using A Compact Volumetric Array, John Gebbie, Martin Siderius, Peter L. Nielsen, James Miller
Passive Localization Of Noise-Producing Targets Using A Compact Volumetric Array, John Gebbie, Martin Siderius, Peter L. Nielsen, James Miller
Electrical and Computer Engineering Faculty Publications and Presentations
A technique is presented for passively localizing multiple noise-producing targets by cross-correlating the elevation beams of a compact volumetric array on separate bearings. A target’s multipath structure inherently contains information about its range; however, unknown, random noise waveforms make time separation of individual arrivals difficult. Ocean ambient noise has previously been used to measure multipath delays to the seabed by cross-correlating the beams of a vertical line array [Siderius, Song, Gerstoft, Hodgkiss, Hursky, and Harrison, J. Acoust. Soc. Am. 127, 2193–2200 (2010)], but this methodology has not been applied to distant noise sources having non-vertical arrivals. The technique presented in …
Coherence Extrapolation For Underwater Ambient Noise, Jorge Quijano, Stan E. Dosso, Martin Siderius, Lanfranco Muzi
Coherence Extrapolation For Underwater Ambient Noise, Jorge Quijano, Stan E. Dosso, Martin Siderius, Lanfranco Muzi
Electrical and Computer Engineering Faculty Publications and Presentations
This paper considers extrapolation of the vertical coherence of surface-generated oceanic ambient noise to simulate measurements made on a longer sensor array. The extrapolation method consists of projecting the noise coherence measured with a limited aperture array into the domain spanned by prolate spheroidal wave functions, which are an orthogonal basis defined by array parameters and the noise frequency. Using simulated data corresponding to selected multi-layered seabeds as ground truth, the performance of the extrapolation method is explored. Application of the technique is also demonstrated on experimental data.
An Eigenvector-Based Test For Local Stationarity Applied To Array Processing, Jorge Quijano, Lisa M. Zurk
An Eigenvector-Based Test For Local Stationarity Applied To Array Processing, Jorge Quijano, Lisa M. Zurk
Electrical and Computer Engineering Faculty Publications and Presentations
In sonar array processing, a challenging problem is the estimation of the data covariance matrix in the presence of moving targets in the water column, since the time interval of data local stationarity is limited. This work describes an eigenvector-based method for proper data segmentation into intervals that exhibit local stationarity, providing data-driven higher bounds for the number of snapshots available for computation of time-varying sample covariance matrices. Application of the test is illustrated with simulated data in a horizontal array for the detection of a quiet source in the presence of a loud interferer.
Continuous Monitoring Of Turning In Patients With Movement Disability, Mahmoud Ahmed El-Gohary, Sean Pearson, James Mcnames, Martina Mancini, Fay Horak, Sabato Mellone, Lorenzo Chiari
Continuous Monitoring Of Turning In Patients With Movement Disability, Mahmoud Ahmed El-Gohary, Sean Pearson, James Mcnames, Martina Mancini, Fay Horak, Sabato Mellone, Lorenzo Chiari
Electrical and Computer Engineering Faculty Publications and Presentations
Difficulty with turning is a major contributor to mobility disability and falls in people with movement disorders, such as Parkinson’s disease (PD). Turning often results in freezing and/or falling in patients with PD. However, asking a patient to execute a turn in the clinic often does not reveal their impairments. Continuous monitoring of turning with wearable sensors during spontaneous daily activities may help clinicians and patients determine who is at risk of falls and could benefit from preventative interventions. In this study, we show that continuous monitoring of natural turning with wearable sensors during daily activities inside and outside the …
Functional Verification Of High Performance Adders In Coq, Qian Wang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Functional Verification Of High Performance Adders In Coq, Qian Wang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Electrical and Computer Engineering Faculty Publications and Presentations
Addition arithmetic design plays a crucial role in high performance digital systems. The paper proposes a systematic method to formalize and verify adders in a formal proof assistant COQ. The proposed approach succeeds in formalizing the gate-level implementations and verifying the functional correctness of the most important adders of interest in industry, in a faithful, scalable, and modularized way. The methodology can be extended to other adder architectures as well.
Cost Minimization Approach To Synthesis Of Linear Reversible Circuits, Ben Schaeffer, Marek Perkowski
Cost Minimization Approach To Synthesis Of Linear Reversible Circuits, Ben Schaeffer, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
This paper presents a heuristic cost minimization approach to synthesizing linear reversible circuits. Two bidirectional linear reversible circuit synthesis methods are introduced, the Alternating Elimination with Cost Minimization method (AECM) and the Multiple CNOT Gate method (MCG). Algorithms, example syntheses, and extensions to these methods are presented. An MCG variant which incorporates line reordering is introduced. Tests comparing the new cost minimization methods with the best known method for large circuits are presented. Results show that of the three methods MCG had the lowest average CNOT gate counts for linear reversible circuits up to 24 lines, and that AECM had …
Reliability Analysis For Chain Topology Wireless Sensor Networks With Multiple-Sending Transmission Scheme, Jie Cai, Xiaoyu Song, Jinyuan Wang, Ming Gu
Reliability Analysis For Chain Topology Wireless Sensor Networks With Multiple-Sending Transmission Scheme, Jie Cai, Xiaoyu Song, Jinyuan Wang, Ming Gu
Electrical and Computer Engineering Faculty Publications and Presentations
Reliability analysis is a key problem in wireless sensor networks (WSNs). The primary contribution of this paper is an in-depth study of the reliability of a chain topology wireless sensor network with multiple-sending scheme. We study the wireless link reliability for the fading channels. The node energy availability for the source and relay nodes is investigated in terms of the limited node energy. The instantaneous network reliability and the mean time to failure are derived. Finally, the initial node energy allocation scheme is proposed to balance the lifetime of each sensor node, thus reducing the total energy consumption. The simulation …