1 |
A graphical presentation of activation and shielding calculationsCraig, Thomas W. January 1965 (has links)
Thesis (M.S.)--University of Michigan, 1965.
|
2 |
Implementing the cross ambiguity function and generating geometry-specific signalsJohnson, Joe J. 09 1900 (has links)
The first purpose of this thesis is to implement an efficient Cross Ambiguity Function (CAF) algorithm to compute the Time Difference of Arrival (TDOA) and Frequency Difference of Arrival (FDOA) between two sampled signals. Two CAF-related MATLAB functions were written and analyzed. One implements a βcoarseγ mode and a βfineγ mode to accurately compute the TDOA and FDOA. The second plots different views of the resulting three-dimensional CAF surface. The second purpose is to develop a program to generate geometry-specific signals. Some software packages can artificially embed constant TDOAs and FDOAs between two signals. In real-world emitter-collector geometries (one emitter and two separate collectors), however, movement of the emitter and/or collectors causes time-varying TDOAs and FDOAs. A MATLAB function was written to generate pairs of Binary-Phase-Shift-Keying signals according to user-defined signal parameters and Cartesian geometries. The resulting signal pairs have realistic TDOAs and FDOAs that vary with time according to geometry and relative motion. Several signal pairs with different geometries are generated and input into the CAF functions, and the results are compared with theoretical TDOA and FDOA calculations. Finally, signals with low signal-to-noise ratios are generated to evaluate the CAFαs ability to find Low Probability of Detection signals. / US Navy (USN) author
|
3 |
Abstraction-based deductive-algorithmic verification of reactive systemsUribe Restrepo, Tomás E. January 1900 (has links)
Thesis (Ph.D)--Stanford University, 1998. / Title from pdf t.p. (viewed April 3, 2002). "December 1998." "Adminitrivia V1/Prg/19990326"--Metadata.
|
4 |
Prototyping : a better way to develop softwareTurner, Gary Stephen 05 1900 (has links)
No description available.
|
5 |
A flexible framework for automatic program understandingWrobel, Stefen January 1986 (has links)
No description available.
|
6 |
Structured software usability evaluation an experiment in evaluation design /Faulkner, Laura Lynn, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
|
7 |
Type-correct changes : a safe approach to version control implementation /Dagit, Jason. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2009. / Printout. Includes bibliographical references (leaves 77-82). Also available on the World Wide Web.
|
8 |
The development of a CHAID-based model for CHITRA93 /Cadiz, Horacio T. January 1994 (has links)
Report (M.C.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 102-103). Also available via the Internet.
|
9 |
Functionality minimization analysis of Asterisk for future use in secure environmentsWiley, Jeffrey A. January 2009 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2009. / Thesis Advisor(s): Irvine, Cynthia E. "September 2009." Description based on title screen as viewed on November 5, 2009. Author(s) subject terms: Asterisk, MYSEA, Open-source PBX, VoIP, Voice over Internet Protocol, Voice mail. Includes bibliographical references (p. 84-87). Also available in print.
|
10 |
Model checking beyond the finite /Kahlon, Vineet. Emerson, E. Allen, January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Ernest A. Emerson, II. Vita. Includes bibliographical references. Also available from UMI.
|
Page generated in 0.0192 seconds