United States Air Force Summer Research Program -- 1993. Volume 4. Rome Laboratory (original) (raw)

Abstract

This paper proposes object-oriented extensions to the REFINE specification language which will facilitate transformation of REFINE specifications into C++ programs. The advantages of this approach are: 1) existing REFINE specifications may be enhanced through interfaces with C++ applications, 2) an integration of object-oriented, logic and functional specification methodologies is achieved, and 3) object-orientation provides support for parallel execution in a natural manner which will allow REFINE specifications to be transformed into parallel programs where appropriate.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (243)

  1. America, P., "Formal Techniques for Parallel Object-Oriented Languages," in [Toko9l], pp. 119-140.
  2. Bal, H. E., Stiener, J. G., and Tanenbaum, A. S., "Programming Languages for Distributed Computing Systems," ACM Computing Surveys 21, 3 (September 1989), 261-322.
  3. Booc90 Booch, G., Object-Oriented Design, Benjamin/Cummings, Menlo Park, CA, 1990.
  4. Budd, T., An Introduction to Object-Oriented Programming, Addison-Wesley, Reading, MA, 1991.
  5. Chin91 Chin, R. S. and Chanson, S. T., "Distributed Object-Based Programming Sys- tems," ACM Computing Surveys 23, 1 (March 1991), 91-124.
  6. Cusack, E., "Inheritance in Object-Oriented Z," Proceedings of ECOOP '91, 5th European Conference on Object-Oriented Programming, Springer-Verlag LNCS 512, Berlin, 1991, pp. 167-179.
  7. Dahi, O.-J., "Object-Oriented Specification," in (Shri87], 1987, pp. 561-576.
  8. Dahl, O.-J., "Object-Orientation and Formal Techniques (Extended Abstract)," in Proceedings of VDM "90, VDM and Z -Formal Methods in Software Devel- opment, eds. D. Bjorner, C. A. R. Hoare, and H. Langmaack, Springer-Verlag LNCS 428, Berlin, 1990, pp. 1-11.
  9. Geha881 Gehani, N. H. and Roome, W. D., "Concurrent C++: Concurrent Programming with Class(es)," Software -Practice and Ezperience 18, 12 (December 1988), 1157-1177.
  10. Goguen, J. E. and Meseguer, J., "Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics., Technical Report, SRI In- ternational, Menlo Park, CA, 1987.
  11. Kafura, D. G. and Lee, K. H., "ACT++: Building a Concurrent C++ with Actors," Journal of Object-Oriented Programming 3, 1 (May 1990).
  12. Kim, W. and Lochovsky, F. H., eds., Object-Oriented Concepts, Databases, and Applications, Addison-Wesley, Reading, MA, 1989.
  13. Lano, K., "Z++, An Object-Orientated Extension to Z," Proceedings of the Fifth Annual Z User Meeting, 1991, pp. 151-172.
  14. Lano, K. and Haughton, H., "Reasoning and Refinement in Object-Oriented Specification Languages," Proceedings of ECOOP '92, 6th European Conference on Object-Oriented Programming, Springer-Verlag LNCS 615, Berlin, 1992, pp. 79-97. 1-18
  15. Nelson, M. L., "Concurrency & Object-Oriented Programming," Proceedings of OOPSLA '91, the 1991 Conference on Object-Oriented Programming, Systems, Languages, and Architectures, 1991, pp. 63-72.
  16. Nierstrasz, 0. M. and Papathomas, M., "Viewing Objects as Patterns of Com- municating Agents," Proceedings of OOPSLA/ECOOP '90, the 1990 Confer- ence on Object-Oriented Programming, Systems, Languages, and Architectures, and European Conference on Object-Oriented Programming, 1990, pp. 38-43.
  17. Peyton Jones, S., The Implementation of Functional Programming Languages, Prentice-Hall International, Englewood Cliffs, NJ, 1987.
  18. Saake, G., Jungclaus, R., and Ehrich, H.-D., "Object-Oriented Specification and Stepwise Refinement," Open Distributed Processing, eds. J. de Meer, V. Heymer, and R. Roth, North-Holland, Amsterdam, 1992, pp. 99-121.
  19. Shriver, B. and Wegner, P., eds., Research Directions in Object-Oriented Pro- gramming, MIT Press, Cambridge, MA, 1987.
  20. Stroustrup, B., The C++ Programming Language, Addison-Wesley, Reading, MA, 1986.
  21. Tokoro, M., Nierstrasz, 0., and Wegner, P., eds., Object-Based Concurrent Computing, Springer-Verlag, Berlin, 1991.
  22. Toml89J Tomlinson, C. and Scheeval, M., "Concurrent Object-Oriented Programming Languages," in [Kim89], pp. 79-124.
  23. Wegner, P., "The Object-Oriented Classification," in [Shri87], pp. 479-560.
  24. White, D. A., "The Knowledge-Based Software Assistant: A Program Summa- ry," Technical Report, Rome Laboratory, Griffiss Air Force Base, NY, 1991. [Whys90J Whysall, P. J. and McDermid, J. A., "An Approach to Object-Oriented Speci- fication Using Z," Proceedings of the Fourth Annual Z User Meeting, 1990, pp. 193-215.
  25. Yonezawa, A. and Tokoro, M., eds., Object-Oriented Concurrent Programming, MIT Press, Cambridge, MA, 1987.
  26. Zima, H. and Chapman, B., Supercompilers for Parallel and Vector Computers, Addison-Wesley, Reading, MA, 1990.
  27. Bibliography Andriole, S. J. Handbook of Decision Support Systems. Blue Ridge Summit, PA: Tab Books, Inc., 1989.
  28. Andriole, S. J., H. H. Black, G. W. Hopple, and J. R. Thompson. "Intelligent Aids for Tacti- cal Planning," IEEE Transactions on Systems, Man, and Cybernetics, 1986, 16(6), 854- 864.
  29. Andriole, S. J., L. S. Ehrhart & P. H. Aiken. "Group Decision Support System Pro. types for Army Theater Planning & Counter-Terrorism Crisis Management," in Stej,*en J. Andriole (Ed.) Advanced Technologies for Command and Control Systems Engineering. Fairfax, VA: AFCEA International Press, 1990.
  30. Bodker, Susan. Through the Interface: A Human Activity Approach to User Interface De- sign. Hillsdale, NJ: Lawrence Erlbaum, 1991.
  31. Coakley, T. P. Command and Control for War and Peace. Washington, D.C.: National De- fense University Press, 1989.
  32. Curtice, Robert M. Strategic Value Analysis: A Modern Approach to Systems and Data Planning. Englewood Cliffs, NJ: Prentice-Hall, 1987.
  33. Cutaia, Al. Technology Projection Modeling of Future Computer Systems. Englewood Cliffs, NJ: Prentice-Hall, 1990.
  34. Ehrhart, L. S. Tasks, Models & Methods: System-Level Evaluation of Human-Computer In- teraction (HCI) for Command & Control Decision Support. (R&D Interim Technical Re- port #MISE-3-1-3. Rome Laboratory/C 3 AA, Contract #F30602-92C-0119). Fairfax, VA: C3I Center, George Mason University, 1 March 1993.
  35. Gaver, William W., Randall B. Smith and Tim O'Shea. "Effective Sounds in Complex Sys- tems: The ARKola Simulation," Proceedings ofACM SIG-CHI '91, New York: ACM, 1991, 85-90.
  36. Joint Chiefs of Staff. Joint Warfare of the US Armed Forces. (Joint Pub 1). Washington, DC: Joint Chiefs of Staff, 11 November 1991.
  37. Kahan, J. P., D. R. Worley & C. Stasz. Understanding Commanders' Information Needs. Santa Monica, CA: RAND Corporation, June 1989.
  38. Nelson, Lt. Gen. M. A. "Combat Requirements for C 2 " Plenary Address, 1993 BRG Sympo- sium on Command and Control Research, June 28-29, 1993, National Defense Univer- sity, Washington, D.C.
  39. USAF HQ ACC. Air Force Concept for Theater C 4 I. Langley AFB, VA: USAF Headquar- ters ACC, Director of Requirements, September 1993.
  40. Woods, D. D. "Visual Momentum: A Concept to Improve the Cognitive Coupling of Person and Computer." International Journal of Man-Machine Studies, 1984, 21, 229-244.
  41. "Cronus User's Reference Manual", BBN Systems and Technologies, 1991.
  42. "Joint Directors of Laboratories (JDL) Tri-Service Distributed Technology Experiment", Maintenance Manual, 30 Sep 1992.
  43. A.M. Newton et al, "1991 DISE Summary Report", RL-TR-92-302 In-House Report, Rome Laboratory, Griffiss Air Force Base, NY, Nov 1992.
  44. N.H. MacDougall, Simulating Computer Systems. The MIT Press,1987. [51 Salma Abu Ayyash, Francis Reichmeyer, Salim Hariri, Kamal Jabbour, "Distributed Computing on FDDI-Based Network", Proceedings of the 35th Midwest Symposium on Circuits and Systems, Washington DC, August 9-12, 1992, pp. 1197-1200. 4-15
  45. J. Bierman, Square-Root Factorization, Prentice Hall, Englewood Cliffs, New Jersey.
  46. R. Kumar,"Multi-element array signal reconstruction with adaptive least-squares algorithms", International Journal f Adaptive Control and Signal Processing, Vol 6, pp.561-588,1 December 1992.
  47. O.L. Frost,"An algorithm for linearly constrained adaptive' array processing", Proc. IEEE, Vol 60, pp.926-935, August- 1972.
  48. B. Widrow and S.D. Stearns, Adaptive Signal Processing, Prentice Hall, Englewood Cliffs, New Jersey, 1985.
  49. R. Kumar,"State inverse and decorrelated state stochastic approximations", Automatica, Vol 16 ,pp.295-311.
  50. R. Kumar,"Almost sure convergence of adaptive identification, prediction and control algorithms", Proc. 20th IEEE Conf. on Decision and Control, San Diego, pp.1241- 46., December 1981
  51. S. Haykin, Adaptive Filter Theory, Prentice Hall, Englewood Cliffs, New Jersey ,1986. 5-21 References
  52. Bacchus. F.. et al.. "Against conditionalization", Synthese. v. 80. pp. 475-506. 1990.
  53. Barbara. D.. et al.. "The management of probabilistic data'. IEEE Trans. on KDE. v. 4. pp. 487- 502. 1992.
  54. Bishop. Y. et al.. Discrete Multivariate Analysis. MIT Press. 1975.
  55. Boddy. M. and T. Dean. "Solving time-dependent planning problems'. Int. J. Conf on Artifidal Intelligence. Morgan Kaufmann. pp. 979-984, 1989.
  56. Cavallo. R. and G. KOir. "Reconstructability analysis of multi-dimensional relations'. Int. J. of Gen. Systems. v. 5. pp. 143-171. 1979.
  57. Cavallo. R. and M. Pittarelli, "The theory of probabilistic databases". Proc. 13th Int. Conf Very Large Databases. Morgan Kaufmann. pp. 71-81. 1987.
  58. Fagin. R.. "Degrees of acyclicity for hypergraphs and relational database schemes'. J. of the ACM. v. 30. pp. 514-550. 1983.
  59. Fertig. K. and J. Breese. "Interval influence diagrams'. In: M. Henrion et al.. Eds.. Uncertainty in Artificial Intelligence. v. 5. North-Holland. 1990. 6-17
  60. Fienberg. S. and P. Holland. "Simultaneous estimation of multinomial cell probabilities'. J. Am. Stat. Assoc.. v. 68. pp. 683-691. 1973.
  61. Frisch. A. and P. Haddawy. "Anytime deduction for probabilistic logic'. Artificial Intelligence. to appear.
  62. Heckerman. D. and A. Mamdani, Eds. Proc. of the 9th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann. 1993.
  63. Jaynes. E. T.. "On the rationale of maximum-entropy methods'. Proc. of the IEEE. v. 70. pp. 939-952. 1982.
  64. Jeffrey. R. C.. The Logic of Decision. 2nd Ed.. Univ. of Chicago Press. 1983.
  65. Katsuno. H. and A. Mendelzon. "On the difference between updating a knowledge base and revis- ing itV. In: P. Gardenfors. Ed.. Belief Revision. Cambridge University Press. 1992.
  66. Keller. A. and M. Winslett-Wilkins. "On the use of an extended relational model to handle chang- ing incomplete information". IEEE Trans. on Software Eng.. v. 11. pp. 620-633. 1985.
  67. Klir. G. and B. Parviz. "General reconstruction characteristics of probabilistic and possibilistic systems'. Int. J. Gen. Systems. v. 25. pp. 367-397. 1986.
  68. Kyburg. H. E., Jr. and M. Pittarelli. "Set-based Bayesianism'. TR 407, Computer Science Dept.. Univ. of Rochester. 1992.
  69. Lauritzen, S. and D. Spiegelhalter, "Local computations with probabilities on graphical structures and their application to expert systems'. J. Royal Statistical Soc.. ser. B. v. 50. pp. 157-224. 1988. (With discussion.)
  70. Lemmer. J., Algorithms for Incompletely Specified Distributions in a Generalized Graph Model for Medical Diagnosis. Ph.D. dissertation. Univ. of Maryland. 1976.
  71. Lemmer. J.. "Generalized Bayesian updating of incompletely specified distributions". Large Scale Systems. v. 5. pp. 51-68. 1983.
  72. Levi. I.. The Enterprise of Knowledge. MIT Press. 1980.
  73. Lewis, P. M., "Approximating probability distributions to reduce storage requirements'. Informa- tion and Control. v. 2. pp. 214-225. 1959.
  74. May. S. and W. Harper. "Toward an optimization procedure for applying minimum change princi- ples in probability kinematics'. In W. Harper and C. Hooker. Eds.. Foundations of Probability Theory. Statistical Inference, and Statistical Theories of Science, Reidel, 1976.
  75. Pearl, J.. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann. 1988.
  76. Pittarelli. M.. "Probabilistic databases for decision analysis'. lot. J. Intelligent Systems. v. 5. pp. 209-236. 1990.
  77. Pittarelli. M.. "Reconstructability analysis using probability intervals'. Int. J. of Gen. Systems, v. 16. pp. 215-233, 1990.
  78. Pittarelli, M.. "A note on probability estimation using reconstructability analysis'. Int. J. Gen. Systems. v. 18. pp. 11-21. 1990.
  79. Pittarelli. M.. "Decisions with probabilities over finite product spaces'. IEEE Trans. SMC. v. 21. pp. 1238-1242. 1991. 6-18
  80. Pittarelli. M.. 'Probabilistic databases and decision problems: results and a conjecture'. Kyber- netika. v. 29. pp. 149-165. 1993.
  81. Pittarelli. M.. *An algebra for probabilistic databases'. IEEE Trans. KDE. to appear.
  82. Seidenfeld. T., "Entropy and uncertainty'. Philosophy of Science. v. 53. pp. 467-491. 1986.
  83. UlIman. J.. Principles of Database and Knowledge-Base Systems. v. 1. Computer Science Press. 1988.
  84. Van Frassen. B.. "A problem for relative information minimizers in probability kinematics'. Brit. J. Phil. Sci. v. 32. pp. 375-379. 1981.
  85. Van Frassen. B.. et al.. 'A problem for relative information minimizers, continued". Brit. J. Phil. Sd., v. 37. pp. 453-475. 1986.
  86. Williams. P.. 'Bayesian conditionalization and the principle of minimum information'. Brit. J. Phil. Sci., v. 31, pp. 131-144, 1980. References
  87. See, for example, Phenomenological Obser'aions on Electromigration, R.W. Thomas and D.W. Calabrese. 21st Annual Proceedings IRPS, p. 1. (1983). and the numerous micrographs obtained in association with this work.
  88. Numerical Recipes, W.H. Press, B.P. Flannery, S.A. Teukolsky and W.T. Vetterling, Cambridge University Press.
  89. Interatomic Interactions in the Effective Medium Theory, K.W. Jacobsen, J.K. Norskov and M.J. Puska, Phys. Rev. B35, 7423 (1987).
  90. Monte Carlo Calculation of the Thermal Erpansion Coefficient of Al, P. Stoltze, K.W. Jacobsen and J.K. Norskov, Phys. Rev. B36, 5035 (1987).
  91. Disordering and Melting of Aluminum Surfaces, P. Stoltze, J.K. Norskov and U. Landman, Phys. Rev. Lett. 61 440 (1988).
  92. The Effective-medium Theory Beyond the Nearest-neighbor Interaction, H. Hikkinen and M. Manninen, J. Phys.: Condens. Matter 1 9765 (1989).
  93. Melting of Copper Clusters, S. Valkealahti and M. Manninen, Computational Materials Science, 1, 123 (1993).
  94. Canonical Dynamics: Equilibrium Phase-space Distributions, William G. Hoover, Phys. Rev. A31 1695 (1985).
  95. A Molecular Dynamics Simulation of Electromigration, H.F. Helbig, T. Bartelt, L.H. Walsh and J.V. Beasock Submitted to MRS Fall Meeting, Boston MA, 29 Nov. -3 Dec., 1993. 8-11 Estimating The NUmber Of Defects Under Inperfect Environmental Stress Screen Lc\cls Lifang Hsu Associate Professor Department of Mathematics Le Moyne College Syracuse, NY 13214 Final Report for: Summer Faculty Research Program Rome Laboratory Sponsored by: Air Force Office of Scientific Research Boiling Air Force Base, Washington, D.C. August 1993
  96. Alam, K.(1979). Estimation of Multinomial Probabilities. The Annals of Statistics. Vol. 7. No. 2, 282-283.
  97. Barlow, R. E., Bazovsky, 1. and Wechsler, S.(1990). Classical & Bayes Approaches to Environmental Stress Screening (ESS): A comparison. 1990 Proceedings Annual Reliability and Maintainability Symposium, 81-84.
  98. Dorfman, R. (1943). The Detection of Defective Members of Large Populations. Ann. Math. Stat. 14, 436-440.
  99. Freeman, H. (1963). Introduction to Statistical Inference. Addison-Wesley Publishing CompanyInc.,Reading, Mass.
  100. Johnson, B. (1971). On the Admissible for Certain Fixed Sample Binomial Problems. Ann. Math. Statist 42, 1579-1587.
  101. Mil-HDBK-344 (USAF) (1993). Revised Military Handbook: Environmental Stress Screening (ESS) of Electronic Equipment.
  102. Mil-HDBK-217 (USAF) (1991). Reliability Prediction of Electronic Equipment.
  103. Sobel, M. and Elashoff, R. M. (1975) Group Testing With A New Goal, Estimation. Biometrika 63, 181-193.
  104. 9-17 References
  105. C. W. Eichelberger, et al., "Wafer Scale Integration Technology Demonstration, Final Report," Contract No. F29601-86-C-0020, WL-TR-89-56, November 1989.
  106. J. P. Rohrbaugh, "Conducted Interference on Measurement Results for a General Electric Soft Part Analogous Module (SPAM)," 1993 AFOSR Summer Research Extension Program, Contract No. F49620-90-C-0076, July 1993
  107. "The TTL Data Book, Volume 2," Texas Instruments, Dallas, Texas, 1985. 11-16
  108. "Supplement to ITL Data Book, Volume 3," Texas Instruments, Dallas, Texas, 1984.
  109. "74S 138 and 74S373 Integrated Circuit Schematics," Facsimile from S. Spencer, Texas Instruments, Midland, Texas, to R. Levin, Georgia Tech Research Institute, Atlanta, Georgia, June 1993.
  110. PSPIC , Version 5.3, MicroSim Corporation, Irvine, California, January 1993.
  111. LIBRA, Version 3.5, EESof Corporation, Westlake Village, CA.
  112. J. P. Rohrbaugh, R. H. Pursely, "X-Band T/R Module Conducted Interference Simulation and Measurements," 1992 AFOSR Summer Research Extension Program, June 1993.
  113. S. A. Mass, Nonlinear Microwave Circuits, Artech House, Norwood, MA, 1988.
  114. Appendix. Comments on Harmonic Balance Simulations, REFERENCES
  115. G. Mourou, W. H. Knox, and S. Williamson, "High-Power Picosecond Switching in Bulk Semiconductors", in Picosecond Optoelectronic Devices, pp. 219-248, ed. by C. H. Lee, Academic Press, Inc. (1984).
  116. D. H. Auston, "Picosecond Photoconductors: Physical Properties and Applications", in "High- Power Picosecond Switching in Bulk Semiconductors", in Picosecond Optoelectronic Devices. pp. 73-117, ed. by C. H. Lee, Academic Press, Inc. (1984).
  117. J.M. Proud and S. L. Norman, "High-Frequency Waveform Generation Using Optoelectronics Switching in Silicon", IEEE Transactions on Microwave Theory and Techniques, Vol. MTT- 26, No. 3, 137 (1978).
  118. B. Thaxter, and R. Bell, "Photonically Activated Stored Energy Device Arrays for Microwave",SummerTopicalMeetingonOpticalMillimeter-Wavelnteractions:Measurement, Generation, Transmission, and Control, LEOS Meeting, July (1991).
  119. B. B. Hu, J. T. Darrow, X.-C. Zhang, and D. H. Auston, "Optically Steerable Photoconducting Antennas", Appl. Phys. Lett. 56, (10), 886 (1990).
  120. X.-C. Zhang, and D. H. Auston, "Optoelectronic Measurement of Semiconductor Surfaces and Interfaces with Femtosecond Optics", J. Appl. Phys. 71, (1), 326 (1992).
  121. D. H. Auston, and X.-C. Zhang, "Large-Aperture Photoconducting Antennas", OSA Proceedings on Picosecond Electronics and Optoelectronics, Vol. 9, (1991), eds. Gerhard Soilner and Jagdeep Shah.
  122. D. H. Auston, "Impulse Response of Photoconductors in Transmission Lines", J. of Quantum Electronics, Vol. QE-19, No. 4, 639 (1983). 12-11
  123. and Andrew P. Anselmol, Doctoral Candidate Department of Mechanical Engineering Columbia University, New York, NY 10027 Final Report for: Summer Research Program Rome Laboratory, Hanscom AFB, MA 01731 Sponsored by: Air Force Office of Scientific Research Boiling Air Force Base, Washington, D.C. September 1993
  124. J. P. Farges, J. Crystal Growth, 59, 665-668 (1982).
  125. J. P. Farges, 2nd NATO Workshop on Materials Aspects of lnP, 1, 9.1-6 (1983).
  126. G. A. Antypass, 2nd NATO Workshop on Material Aspects of lnP, 1, 8.1-9 (1983).
  127. S. B. Hyder and C. J. Holloway, Jr., J. Electron, Mater., 12, 575-585 (1983).
  128. Y. Sasaki, J. Nakagawa and K. Kurata, 46th Aut. Meet., Jpn. Soc. Appl. Phys. (1985).
  129. S. B. Hyder and G. A. Antypass, 3rd NATO Workshop on Material Aspects of Indium Phosphide, 1 (1986).
  130. D. J. Dowling, R. A. Brunton, D. A. E. Crouch, A. J. Thompson and J. E. Wardill, J. Crystal Growth, 87, 37-41 (1988).
  131. D. F. Bliss, R. M. Hilton and J. A. Adamski, 4th Int. Conf. on Indium Phosphide and Related Materials, 262-265 (1992).
  132. T. Inada, T. Fujii, M. Eguchi and T. Fukuda, J. Crystal Growth, 82, 561-565 (1987).
  133. T. Inada, T. Fujii, M. Eguchi and T. Fukuda, Appl. Phys. Lett., 50, 86-88 (1987).
  134. K. Kohiro, K. Kainosho, H. Shimakura, T. Fukui and 0. Oda, 4th Int. Conf. on Indium Phosphide and Related Materials, B.5, 35-38 (1992).
  135. S. Bachowski, D. F. Bliss, B. Ahem, R. M. Hilton, J. Adamski and D. J. Carlson, 2nd Int. Conf. on Indium Phosphide and Related Materials, 30-34 (1990).
  136. D. F. Bliss, J. A. Adamski, W. M. Higgins, V. Prasad and F. X. Zach, Int. Conf. on Indium Phosphide and Related Materials, Paris (1993).
  137. V. Prasad, Thermal Characterization of In-situ Synthesis for LEC/MLEK Growth of InP Single Crystals, Final Report for Summer Research Program 1992, AFOSR.
  138. V. Prasad, D. F. Bliss and J. A. Adamski, J. Crystal Growth (submitted).
  139. A. Anselmo, V. Prasad, J. Koziol and K. P. Gupta, J. Crystal Growth, 131, 247-264 (1993).
  140. A. Anselmo, V. Prasad, J. Koziol and K. P. Gupta, J. Crystal Growth, in press (1993).
  141. S. V. Patankar, Numerical Heat Transfer and Fluid Flow, Hemisphere Publ. (1980). REFERENCES
  142. I. C. W. Eichelberger, et al., "Wafer Scale Integration Technology Demonstration, Final Report," Contract No. F29601-86-C-0020, WL-TR-89-56, November 1989.
  143. R. I. Levin, "Conducted Interference Simulation Results for a General Electric Soft Part Analogous Module (SPAM)" The threat profile given in Figure 6 does not considered classified sources, lightning, electro-static discharge, electronic warfare transmitters, nuclear electromagnetic pulses or high power microwave weapons. Consideration of the above sources could dramatically increase the vulnerability levels and required filtering, limiting and shielding. 14-14
  144. J. K. Daher, J. C. Santamaria, R. M. Herkert, and J. M. Goodroe, "Built-In Test Techniques for EMI Test Applications, Final Technical Report," Contract No. F30602- 87-C-0061, RADC-TR-90-310, December 1990.
  145. J. K. Daher, J. P. Rohrbaugh, and J. G. Hotchkiss, "EMI Test Methodology for High Speed, High Density IC's, Final Technical Report," Contract No. F30602-85-C-0088, RADC-TR-86-223, February 1987.
  146. H. W. Denny, J. K. Daher, and J. P. Rohrbaugh, "Integrated Circuit Technology Assessment (ICTS) Project, Final Technical Report: Definition Phase," for AFEWC/SAX, San Antonio, Texas 78243, under Contract No. F41621-83-C-5015, prepared by the Georgia Tech Research Institute on GTRI Project A-3657, April 1984.
  147. J. P. Rohrbaugh, B. R. Farris, and P. C. Alford, "EM Performance Monitor," for Rome Laboratory, Griffiss AFB, NY 13441-5700, under Contract No. F30602-89-C-0144, on GTRI Project A-8426, October 1990. 14-15
  148. P.R. Smith, D.H. Auston, and M.C. Nuss, IEEE J. Quantum Electron., 24, 255(1988).
  149. A.P. DeFonzo, M.Jarwala and C. Lutz, Appl. Phys. Lett., 50, 1155, (1987).
  150. Ch. Fattinger and D. Grischkowsky, Appl. Phys. Lett., 53, 1480 (1988).
  151. Y. Pastol, G. Arjavalingam, J.-M. Halbout and G.V. Kopcsay, Electron. Lett., 24, 1318 (1988).
  152. B.B Hu, J.T. Darrow, X.-C. Zhang, D.H. Auston and P.R. Smith, Appl. Phys. Lett., 56, 886 (1990).
  153. D.H. Auston, and M.C. Nuss,IEEE J. Quantum Electron., 24, 184 (1988).
  154. B.B. Hu, X.-C. Zhang, D.H. Auston and P.R. Smith, Appl. Phys. Lett., 56,506 (1990).
  155. X.-C. Zhang, Y. Jin, K. Yang and L.J. Schowalter, Phys. Rev. Lett. 69, 2303 (1992).
  156. T. Yajima and N. Takeuchi, Japanese Journal of Applied Physics, 10, 907 (1971).
  157. R.Y. Shen, "The Principles of Nonlinear Optics," John Wiley & Sons Inc., New York, (1984).
  158. X.-C. Zhang, X.F. Ma, Y. Jin, T.-M. Lu, E. P. Boden, P. D. Phelps, K. R. Stewart and C. P. Yakymyshyn, Appl. Phys. Lett., 61, 3080 (1992);
  159. X.-C. Zhang, Y. Jin, and X.F. Ma, Appl. Phys. Lett., 61, 2764 (1992).
  160. X.-C. Zhang, Y. Jin, X.F. Ma, K. Ware, A. Rice, D. Bliss, J. Larken, and M. Alexander, Submitted to Appl. phys. Lett., (1993).
  161. A. Rice, Y. Jin, X.F. Ma, X.-C. Zhang, D. Bliss, J. Larken, and M. Alexander, to be submitted to.
  162. F.G. Parsons and R.K. Chang, Optics Communications, 3, 176 (1971). 15-10 References: BBN et aL 1993. Software Requirements Specification for the Natural language Understanding Shell. BBN Systems and Technologies, Cambridge: MA.
  163. Boar, B. 1984. Application Prototypes, Wiley-Interscience.
  164. Boehm, B.W., T. E. Gray, and T. Seewaldt, 1984. "Prototyping Versus Specifying: A Multiproject Experiment," MEE Transactions on Software Engineering, Vol 10(3).
  165. Cieslak, R. et aL 1989. "The Programmable Network Prototyping System", Computer, Vol 22(5). 16-14
  166. Dey, P. and Hayashi, Y. 1990. "A multiprocessing model of natural language processing," Theoretical Linguistics, 16, 11-23.
  167. Luqi. 1989. "Software Evolution through Rapid Prototyping", Computer. Vol 22(5).
  168. Maldovan, D. et al. 1992. " Parallel Processing applied to Al", Computer. Vol.25(5).
  169. Morell, L. 1990. "A theory of fault-based testing." IEEE transactions on Software Engineering, 844-857.
  170. MUC-3. 1991. Third Message Understanding Conference Proceedings.
  171. MUC-4. 1992. Fourth Message Understanding Conference Proceedings.
  172. Pressman, R. S. 1992. Software Engineering, McGraw-Hill.
  173. Sterling, IMD, Inc. 1993. Generic Intelligence Processor (GIP): Software Design Document Weischedel, Ralph, et al 1992. "BBN PLUM: MUC-4 Test Results and Analysis," Technical Report, BBN Systems and Technologies. Cambridge: MA.
  174. Weischedel, R.M. et al. 1993. Coping with Ambiguity and Unknown words through probabilistic Models," Computational Linguistics, Vol.19(2). 16-15 REFERENCES
  175. Rnanthapadmanabha, T. and 6. Fant. (1982). Calculation of true glottal flow and Its components. Speech Communication. L 167-184.
  176. Atal, B. (1972). RutomatIc speech recognition based on pitch contours. Journalof the A1coustical Society of Americ&,a.L 1687-1697.
  177. Rlku. P. D' U. Lamne. ( 1989). R new glottal LPC method for voice coding and inuerse flttering. IEEE International Symposium on Circuits and Systems, vol. 3, 1931 - 1834.
  178. Bickley, C. 0 K. Stevens. (1986). Effects of vocal-tract constriction on the glottal source: Emperimental and modelling studies. Journal of Phonetics. Jj, 373-382.
  179. Briesman, N., C. Thorpe V. R. Bates. (1987). Nontactile estimation of glottal excitation characteristics of voiced speech. IEE Proceedings. J.JL 887-8 13.
  180. Carrell, T. (1984). Contributions of fundamental frequency, formant spacing and glottal waueform to talker Id~entification. Speech Research Lab Progress Report 5, Indiana Universitg, Bloomington.
  181. Childers, 0. C C. Lee. (199 1). Uocal quality factors: Analysis, synthesis and perception. Jgurn21 of the Acoustical Society of America. ft 5 2394-2410.
  182. Childers, 0., J1. Mott D' B. Moore. (1988). AutomatIc parameterization of vocal cord motion from ultra high speed films. EProc,. fICSL L 65-68.
  183. Cranen, 8. and L. Bayes. (1985). Aerodynamic aspects of voicing: Glottal pulse skewing revisited. ICASSP, Proc. of the IEEE Int'l Conf. on RSSP, 1085-1988
  184. Curtis, T. (1974). Inter speaker versus I ntra speaker uariability of glottal pulse shapes. Journal of the Acoustical So~cletij of America. n 462.
  185. Fant, 6. (1985). The uoice-source theory and acoustic modeling. In 1. Tltze &' A. Scherer, eds., ljocal Fold Physiology: Riornechanics. Acoustics r' Phonatory Contirol The Denver Center For the Performing Arts, Denver, Co., 453-464.
  186. Gelsler, C. 0., V' S. Sl~kes. (199 1). Responses of flower-spontaneous-rateu auditory nerve fibers to speech syllables presented In noise. 11: Glottal-pulse periodiclties. Journal of the RAcustical Society of Americ2. UL 3140-3148.
  187. Hamlet, S. (1971). Location of slope discontinuities In glottal pulse shapes during vocal fry. Journal of the Acoustical Society of America. IL 1561-1562. 17-14
  188. Holmes, J. ( 973). The influence of glottal waueform on the naturalness of speech from a parallel formant synthesizer. IEEE Transactions on Audio and Electroacoustics. RU-21. 298-385.
  189. Isaksson, R. & M. MIlInert. (1989). Inuerse glottal filtering using a parameterized Input model. Signal Processing JJ, 435-445.
  190. Klatt, 0. (1987) Review of text-to-speech conversion for English. Journal of the Acoustical Societu of America. 82. 747-793.
  191. Klatt, 0. 0 L. Klatt. (1998). Rnalysis, synthesis, and perception of uoice quality uarlations among female and male talkers. Journal of the Rcoustical Societu of flmer8a. 11829-857.
  192. Marto-', J. (1965). Studies of the uoice source. Speech Transmission Lab, Royal l1 ite of Technology, Stockholm, Quarterly Progress Status Report 1, 4-9.
  193. Matausek, M. C U. Batalou. (1989). A new approach to the determination of the glottal waueform. IEEE Transactions on Acoustics. Speech. and Signal Processing. RSSP-28, 616-622.
  194. Milenkouic, P. (1986). Glottal Inuerse filtering by Joint estimation of an RR system with a linear input model. IEEE Transactions on Acoustics. Speech and Signal Procesing, RSSP-34.28-42.
  195. Milenkouic, P. (1993). Uoice source model for continuous control of pitch period. Journal of the Acoustical Socletu of America. 2 1987-1995.
  196. Miller, M. and M. Sachs. (1984). Representation of voice pitch in discharge patterns of auditory-nerue fibers. Hearing Research. Jj4 257-279.
  197. Miller, R. (1959). Nature of the vocal chord waue. Journal of the Acoustical Societu ofmericLL .1. 566-677.
  198. Monsen, R. 0 M. Engebretson. (1977). Study of variations in the male and female glottal wave. Journal of the Acoustical Societu of America. 5i, 981-993.
  199. Ricart, R., J. Cupples V L. Fenstermacher. 1993.
  200. Rosenberg, R. (1979). Effect of glottal pulse shape on the quality of natural uowels. Journal of the Acoustical Societu of Rmerica. 49. 583-599.
  201. Rothenberg, M. 1977. Measurement of airflow in speech. Journal of Sneech and Hearing Research. 29, 155-176.
  202. Rothenberg, (1985). Source-Tract Acoustic Interaction in Breathy Uoice. In I. Titze V R. Scherer, eds., Vocal Fold Phusiologu: Riomechanics. Acoustics ' Phonator- Control. The Denver Center For the Performing Arts, Denuer, Co., 155-165. 17-15
  203. Schoentgen, J. (1999). Non-linear signal representation and its application to the modeling of the glottal waueform. Sneech Communicationi , 189-281.
  204. Scordills, M. and J. Gowdy. (1998). Effects of the vocal tract shape on the spectral tilt of the glottal pulse waueform. Proceedings of the IEEE. Session 2E2, 86-89.
  205. Sondhi, M. 1975. Measurement of the glottal waveform. Journal of the Acoustical Societu of America. 5L 228-232.
  206. Strube, J. ( 974). Determination of the Instant of glottal closure from the speech wave. Journal of the Acoustical Spcietu of Rmertca 5j 1625-1629.
  207. Wolf, Jared. (1972). Efficient acoustic parameters for speaker recognition. journal of the Rcoustlcal Socletu of America. IL. 2044-2956.
  208. Vegnanaragana, B., J. Naik, D D. Childers. (1984). Uoice Simulation: Factors Affecting Quality and Naturaliness. Tenth international Conference on Computational Linguistics, Stanford, California. 17-16
  209. Digitizing the Future, Third Edition. Defense Mapping Agency, Fairfax. Va.
  210. Draft Software Design Document for Auto Source Update: Part I. Prepared for Rome Laboratory Intelligence and Reconnaissance (IRRP) by Grumman Data Systems Corporation, 7 August 1992.
  211. Draft System/Segment Specification for Auto Source Update. Prepared for Rome Laboratory Intelligence and Reconnaissance (IRRP) by Grumman Data Systems Corporation, 9 January 1992.
  212. Musavi, M.T., Kalantri, K., Ahmed, W., & Chan, K.H. (1993). A minimum error neural network (MNN), Neural Networks, Vol. 6, 397-407.
  213. Sweeney, W.P., & Musavi, M.T. (1993). Probabilistic Neural Networks as Chromosome Classifier. submitted to Cytometry.
  214. Musavi, M.T., Chan, K.H., Hummels, D.M., Kalantri, K., & Wahid, A. (1992). A probabilistic model for evaluation of neural network classifiers. Pattern Recognition, Vol. 25, No. 10, 1241-1251.
  215. Musavi, M.T., Kalantri, K., & Ahmed, W. (1992). Improving the Performance of Probabilistic Neural Networks. Proc. of Int. Joint Conf. on Neural Networks (UCNN), Vol. I, pp. 595-600, Baltimore, MD, June 7-11.
  216. Specht, D.F. (1967). Generation of polynomial discriminant functions for pattern recognition. IEEE Trans. on Electronic Computer, vol. EC-16, 308-319.
  217. Specht, D.F. (1990a). Probabilistic neural networks. Neural Networks, vol. 3, 109-118.
  218. Specht, D.F. (1990b). Probabilistic neural networks and the polynomial adaline as complementary techniques for classification. IEEE Trans. on Neural Networks, vol. 1, no. 1, 111-121.
  219. Maloney, P.S. (1988). An application of probabilistic neural networks to a hull-to-emitter correlation problem. Washington: 6-th Annual Intelligence Community AI Symposium.
  220. Maloney, P.S., & Specht, D.F. (1989). The use of probabilistic neural networks to improve solution times for hull-to-emitter correlation problems. San Diego: International Joint conference on Neural Networks, I, 289-294.
  221. Washburne, T.P., Okamura, M.M., Specht, D.F., & Fisher, W.A. (1991). The Lockheed probabilistic neural network processor. Seattle: International joint conference on Neural Networks, I, 513-518.
  222. 18-17 34.9637 ,-80.0499 34.9638 ,-80.0471 34.9634 ,-80.045 34.9633 ,-80.0431 34.9631 ,-80.0413 34.963 ,-80.0398 34.963 ,-80.0384 34.9631 ,-80.037 34.9631 ,-80.0356 34.9632 ,-80.0342 34.9636 ,-80.0326 34.9634 ,-80.0314 34.9634 ,-80.0304 34.9636 ,-80.0294 34.9639 ,-80.0282 34.9638 ,-80.0275 34.9634 ,-80.0264 34.9636 ,-80.0254 34.9636 ,-80.0237 34.9636 ,-80.022 34.9633 ,-80.0202 34.9632 ,-80.0184 34.9631 ,-80.0163 34.9634 ,-80.015 34.9631 ,-80.0136 34.963 ,-80.0067 34.963 ,-79.9996 34.9626 ,-79.9933 34.9627 ,-79.9885 34.9627 ,-79.9861 34.9622 ,-79.9847 34.9623 ,-79.9828 34.9622 ,-79.9803 34.962 ,-79.9755 34.9624 ,-79.969 34.9624 ,-79.9645 34.9624 ,-79.9609 34.9629 ,-79.9602 34.9626 ,-79.9567 34.9627 ,-79.9548 34.9625 ,-79.9531 34.9622 ,-79.9518 34.9619 ,-79.9506 34.962 ,-79.9502 REFERENCES (1i Toughlian, E.N. and Zmuda, H., "A Photonic Variable RF Delay Line for Phased Array Antennas", J. Liqhtwave Technol., vol. 8, no. 12, pp.1824- 1828, 1990.
  223. Toughlian, E.N., Zmuda, H., and Kornreich, P., "A Deformable Mirror- Based Optical Beamforming System for Phased Array Antennas", IEEE Photon. Technol. Lgtt., vol. 2, no. 6, pp. 444-446, 1990.
  224. Zmuda, H. and Toughlian, E.N., "Variable Photonic Delay Line for Phased Array Antennas and RF/Microwave Signal Processing", RL-TR-91-120, Final Technical Report, June 1991.
  225. Zmuda, H. and Toughlian, E.N., "Adaptive Microwave Signal Processing: A Photonic Solution", Microwave Journal, vol. 35, no. 2, 1992.
  226. Sumberg, David A., "An Integrated Photonic Delay Line for Phased Array Antenna Applications", RL-TR-93-54, Final Technical Report, May 1993.
  227. 161 Baldwin, Kevin C., "Computer Aided Design and Simulation of an Integrated Photonic Delay Line System for Phased Array Antenna and Other Microwave Signal Processing Applications", Thesis for degree of Master of Science in Electrical Engineering, Rochester Institute of Technology, August 1993.
  228. Monsay, Evelyn H., "Photonic Delay Line for H.Lgh-Frequency Radar Systems", Final Report, Air Force Office of Scientific Research Summer Faculty Research Program, August 1992.
  229. Monsay, Evelyn H. and Caccuitto, Michael, "Photonic Delay Line for High- Frequency Phased Array Systems", PSAA-III Symposium on Photonic Systems for Antenna Applications Proceedings, January 1993.
  230. VanderLugt, Anthony, Optical Signal Processing, John Wiley & Sons, Inc., New York, N.Y., 1992, pgs. 374-383. 23-13 References
  231. Kohler, R. L. Jr., Linderman, R. W., "4.8 Gigaflop Wafer Scale Vector Processor for Fire Control Applications", AIAA 1991 Fire Control Symposium Digest of Papers.
  232. Linderman, R. W., Kohler, R. L., "Designing a Wafer-Scale Vector Processor Using VHDL", GOMAC 1991 Digest of Papers, pp 65 - 68.
  233. Lall, P., Bhagath, S., "An Overview of Multichip Modules", Solid State Technology, September 1993 pp 65 -76. 24-10 DETECTOR DRIVEN Q-SWITCHED LASERS Paul D. Swanson, M.A. Parker, S.I. Libby, J.S. Kimmet
  234. C. Harder, K.Y. Lau, A. Yariv, "Bistability and Pulsations in Semiconductor Lasers with Inhomogeneous Current Injection', IEEE J. Quant. Electr. QE-18, 1351 (1982)
  235. W.J. Grande, C.L. Tang, "Semiconductor laser logic gate suitable for monolithic integration*, Appl. Phys. Lett., Vol. 51, p.1780, Nov. 1987
  236. P.D. Swanson, "Characteristics of Semiconductor Optical Waveguides Fabricated by Impurity Induced Layer Disordering', Ph.D. thesis, University of Illinois, Urbana-Champaign, 1989
  237. K.P. Jackson, C. Harder, P. Buchmann, and K. Datwyler, "High-Speed Characterization of a Monolithically Integrated GaAs-AlGaAs Quantum- well Laser-Detector'. IEEE Photon. Technol. Lett. ,Vol .2, p832, 1990
  238. C.M. Herzinger, P.D. Swanson, K.T. Tang, T.M. Cockerill, L.M. Miller, M.E. Givens, T.A. DeTemple, J.J. Coleman, and J.P. Leburton, "Electroabsorption properties of a single GaAs quantum well", Phys. Rev. B, Vol. 44, Dec. 1991, p. 1 3 4 7 8 . 25-14
  239. C.F. Lin, "A New Technique for Monitoring Etched Den :n e Fabrication of Ridge-Waveguide Lasers", M.S. Thesis, •ornelJ University, May 1989.
  240. W.J. Grande, J.E. Johnson, and C.L. Tang, "Characterization of e:zh rate and anisotropy in the temperature-controlled chemically assisted ion beam etching of GaAs", J. Vac. Sci. Technol. B, Vol. 8, p. 1:75, Sept/Oct 1990 REFERENCES [Chorafas 93] Chorafas, Dimitris, Steinmann, Heinrich, "Object-Oriented Databases", ISBN 0-13-491804-5, PTR Prentice-Hall 1993.
  241. Dobransky, Mary, "Prototyping a Modeling and Simulation Information Network", Air Force Summer Research Program Report, Air Force Office of Scientific Research, August 1993.
  242. Kehoe, B., ed., "Zen and the Art of the Internet: A Beginner's Guide to the Internet", Anonymous FTP, pub/zen, ftp.cs.widener.edu, 1992. [Marine 93] Marine, April, Kirkpatrick, Susan, Neou, Vivian, Ward, Carol, "INTERNET: Getting Started", ISBN 0-13-327933, PTR Prentice-Hall, 1993. (Smouts 91] Smouts, Michel, "Packet Switching Evolution from Narrowband to Broadband ISDN", ISBN 0-89006-542-X, Artech House, 1991.
  243. Spetka, Scott, "A Decomposition Algorithm for Distributed Hash Join Query Processing", 2nd International Workshop on Research Issues on Data Engineering: Transaction and Query Processing (RIDE-TQP), Phoenix, Arizona, February 1992. 26-20