Thesis (M.S.)--University of Missouri--Rolla, 2007. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2007) Includes bibliographical references.

Thesis (MScEng (Electrical and Electronic Engineering))--University of Stellenbosch, 2007. / This thesis examines three reduced complexity algorithms for subspace tracking in the context of radio direction finding. Projection Approximation Subspace Tracking (Yang), the Fast Data Projection Method (Doukopoulos and Moustakides) and OPERA (MacInnes) are presented and compared in terms of performance and efficiency. The algorithms’ performances are contrasted using step changes in direction of arrival, sensitivity to noise and minimum angular discrimination. Their relative efficiencies are examined by comparing their theoretical complexities and by assessing benchmark results. The construction of a PC based signal simulator and direction finding client using the MUSIC algorithm are described. The results of a field assessment of the algorithms are presented, and finally, conclusions regarding the relative merits of the algorithms are drawn.

"We report the results of a series of crowd-sourced user studies in the formal-methods domain. Specifically, we explore the efficacy of the notion of "minimal counterexample" -- or more colloquially, "minimal bug report" -- when reasoning about logical specifications. Our results here suggest that minimal counterexamples are beneficial some specific cases, and harmful in others. Furthermore, our analysis leads to refined hypotheses about the role of minimal counterexamples that can be further evaluated in future studies. User-based evaluation has little precedent in the formal methods community. Therefore, as a further contribution, we discuss and analyze our research methodology, and offer guidelines for future user studies in formal methods research. "

Dong, Zhuxin. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2008. / Includes bibliographical references (leaves 77-80). / Abstracts in English and Chinese. / Abstract --- p.ii / 摘要 --- p.iii / Acknowledgements --- p.iv / Table of Contents --- p.v / List of Figures --- p.vii / List of Tables --- p.ix / Chapter Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Architecture of UDWI --- p.3 / Chapter 1.2 --- Background of IMU Sensor Calibration --- p.5 / Chapter 1.3 --- Organization --- p.7 / Chapter Chapter 2 --- 2D Motion Calibration --- p.10 / Chapter 2.1 --- Experimental Platform --- p.10 / Chapter 2.1.1 --- Transparent Table --- p.10 / Chapter 2.2 --- Matching Algorithm --- p.13 / Chapter 2.2.1 --- Motion Analysis --- p.13 / Chapter 2.2.2 --- Core Algorithm and Matching Criterion --- p.14 / Chapter 2.3 --- Usage of High Speed Camera --- p.17 / Chapter 2.4 --- Functions Realized --- p.17 / Chapter Chapter 3 --- Usage of Camera Calibration --- p.21 / Chapter 3.1 --- Introduction to Camera Calibration --- p.21 / Chapter 3.1.1 --- Related Coordinate Frames --- p.21 / Chapter 3.1.2 --- Pin-Hole Model --- p.24 / Chapter 3.2 --- Calibration for Nonlinear Model --- p.27 / Chapter 3.3 --- Implementation of Process to Calibrate Camera --- p.28 / Chapter 3.3.1 --- Image Capture --- p.28 / Chapter 3.3.2 --- Define World Frame and Extract Corners --- p.28 / Chapter 3.3.3 --- Main Calibration --- p.30 / Chapter 3.4 --- Calibration Results of High Speed Camera --- p.33 / Chapter 3.4.1 --- Lens Selection --- p.33 / Chapter 3.4.2 --- Property of High Speed Camera --- p.34 / Chapter Chapter 4 --- 3D Attitude Calibration --- p.36 / Chapter 4.1 --- The Necessity of Attitude Calibration --- p.36 / Chapter 4.2 --- Stereo Vision and 3D Reconstruction --- p.37 / Chapter 4.2.1 --- Physical Meaning and Mathematical Model Proof --- p.37 / Chapter 4.2.2 --- 3D Point Reconstruction --- p.38 / Chapter 4.3 --- Example of 3D Point Reconstruction --- p.40 / Chapter 4.4 --- Idea of Attitude Calibration --- p.42 / Chapter Chapter 5 --- Experimental Results --- p.45 / Chapter 5.1 --- Calculation of Proportional Parameter --- p.45 / Chapter 5.2 --- Accuracy Test of Stroke Reconstruction --- p.46 / Chapter 5.3 --- Writing Experiments of 26 Letters --- p.47 / Chapter 5.3.1 --- Experimental Results of Letter b --- p.48 / Chapter 5.3.2 --- Experimental Results of Letter n with ZVC --- p.51 / Chapter 5.3.3 --- Experimental Results of Letter u --- p.54 / Chapter 5.4 --- Writing of Single Letter s - Multiple Tests --- p.56 / Chapter 5.5 --- Analysis on Resolution Property of Current Vision Algorithm --- p.58 / Chapter 5.5.1 --- Resolution of Current Algorithm --- p.58 / Chapter 5.5.2 --- Tests with Various Filters --- p.59 / Chapter 5.6 --- Calculation of Static Attitude --- p.61 / Chapter Chapter 6 --- Future Work --- p.64 / Chapter 6.1 --- Another Multiple Tests of Letter k --- p.64 / Chapter 6.2 --- Letter Recognition Based on Neural Networks Classification --- p.66 / Chapter Chapter 7 --- Conclusion --- p.69 / Chapter 7.1 --- Calibration ofMAG-μlMU Sensors --- p.69 / Chapter 7.2 --- Calibration of Accelerometers --- p.70 / Chapter 7.3 --- Calibration of Attitude --- p.70 / Chapter 7.4 --- Future Work --- p.71 / Appendix A The Experimental Results of Writing English Letters --- p.72

Thesis (M.E.-Res.)--University of Wollongong, 2008. / Typescript. Includes bibliographical references: leaf 119-123.

Thesis (PhD) - Swinburne University of Technology, Faculty of Engineering and Industrial Sciences, 2009. / A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy, Faculty of Engineering and Industrial Sciences, Swinburne University of Technology, 2009. Typescript. Bibliography: p. 144-165.

M.Ing. / Intelligent object identification (the ability to find the identity, position and orientation of an remote object) in a Manufacturing environment plays an important role in the areas of Automation and Manufacturing. Radio frequency identification (RFID) systems have solve the problem of finding the identity of a remote object, but it fails to determine the position and orientation. The Global Positioning System (GPS) have a solution to find the position of a remote object in the global environment, but in a Manufacturing environment it fails. The main obstacle to overcome in finding a unique solution with radio frequency technology is reflections. This thesis investigates the idea of finding the identity, position (and orientation) of a (dormant) chip remotely. The chip transmits a binary signal at 244kHz. The string is Amplitude modulated. The receiver demodulates the signal to obtain the chip's identity. The receiver antenna is divided into four quadrants. First the quadrant in which the chip is located are determined. Three different voltages are then measured to obtain the position of the chip in the specific quadrant. Reflections can be ignored since the system works at a low frequency.

This research examined two issues. First, it tested whether accurate map position-finding could be performed in a photographically simulated environment. Test subjects were asked to locate map position sites represented by color 35mm slides encompassing a 360-degree panoramic view for the corresponding ground location. Second, it tested if the perspective imparted by the lens type used to photograph the panoramic views had a significant effect on the accuracy of location selection by the subjects. The two lenses tested were a 50mm (normal perspective) lens and a 28mm (moderately wide-angle) lens which distorted distance, but provided a wider field-of-view. Results indicated that: 1) subjects were able to locate a specific map position by viewing color slides; 2) map position-finding accuracy performance was more dependent on the site itself than on the 35mm slide presentation; and, 3) there appeared to be no significant difference in map position-finding accuracy performance between using views photographed with a 50mm lens and a 28mm lens. / M.S.

Approved for public release; distribution in unlimited. / In this thesis, a performance analysis and improvement of a phase sampling interferometer antenna system based on the Robust Symmetrical Number System (RSNS) in the presence of noise is investigated. Previous works have shown that the RSNS-based DF technique can provide high bearing resolution with a minimum number of antenna elements. However, the previous experimental data showed significant deviation from the theoretical results expected due to imperfections, errors, and noise. Therefore, an additive Gaussian noise model of RSNS-based DF was established and simulated. Simulation results show that the presence of noise distorts the signal amplitudes used in the RSNS processor and causes degradation of the angle-ofarrival estimates. A performance analysis was undertaken by first introducing the quadrature modulation configuration into RSNS-based DF system, which provided a digital antenna approach for more flexibility in the signal processing. With a digital approach, variable resolution signal preprocessing can be employed, using a virtual channel concept. The virtual channel concept changes moduli values without changing the actual physical antenna element spacing. This attractive property allows the RSNS algorithm to be implemented into existing antenna arrays and only requires modifying the antenna signal processor. Computer simulation results showed that the proposed method can successfully improve the system performance and also mitigate the effects of noise. / Captain, Taiwan Army