RIACS FY2002 Annual Report
Total Page:16
File Type:pdf, Size:1020Kb
Research Institute for Advanced Computer Science NASA Ames Research Center RIACS FY2002 Annual Report Barry M. Leiner RIACS Technical Report AR-02 November 2002 RIACS FY2002 Annual Report October 2001 through September 2002 THIS PAGE IS INTENTIONALLY LEFT BLANK Research Institute for Advanced Computer Science ANNUAL REPORT October 2001 through September 2002 Cooperative Agreement: NCC 2-1006 Submitted to: Contracting Office Technical Monitor: Anthony R. Gross Associate Director for Programs Information Sciences & Technology Directorate NASA Ames Research Center Mail Stop 200-6 Submitted by: Research Institute for Advanced Computer Science (RIACS) Operated by: Universities Space Research Association (USRA) RIACS Principal Investigator: Dr. Barry M. Leiner Director Dr. Barry M. Leiner Any opinions, findings, and Conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Aeronautics and Space Administration. This report is available online at http://www.riacs.edu/trs/ RIACS FY2002 Annual Report October 2001 throughSeptember 2002 THIS PAGE IS INTENTIONALLY LEFT BLANK RIACS FY2002 Annual Report October 2001 through September 2002 TABLE OF CONTENTS I* INTRODUCTION AND OVERVIEW .............................................................. 1 I.A. Summary of FY2002 Activity ........................................................................................ 1 I.B. Bio/IT Fusion Area Overview ........................................................................................ 3 I.C. Autonomous Systems Area Overview ........................................................................... 3 I.D. Software Engineering Area Overview ........................................................................... 6 II. RIACS PROJECTS DURING FY2002 .............................................................. 9 II.A. Automated Reasoning for Autonomous Systems .......................................................... 9 ILA.I. Automated Software Engineering ..................................................................................... 9 ILA.2. Frameworks for Distributed Computing ......................................................................... 19 II.A.3. Automated Software Synthesis ........................................................................................ 22 II.A.4. Bayesian Inference and Image Analysis ......................................................................... 29 II.A.5. Spatial Statistics and Forecasting .................................................................................. 32 II.A.6. Model-Based Autonomy .................................................................................................. 34 II.A. 7. Autonomous Systems for Spacecraft ............................................................................... 39 II.A.8. Visual Odometry and Target Tracking ........................................................................... 46 II.A.9. Machine Learning and Knowledge Discovery ................................................................ 47 II.B. Human-Centered Computing ....................................................................................... 57 ll.B.l. Work Practice Analysis ................................................................................................... 57 ll.B. 2. Research in Advanced Language Interfaces and Speech Technology ............................ 65 1LB.3. Information Structures Middleware ................................................................................ 74 II.B.4. Information Integration Issues in Aviation Data Integration ......................................... 75 II.B.5. Information Management Requirements Study ............................................................... 77 II.C. High Performance Computing and Networking .......................................................... 80 11.C.1. High-performance Networldng and Applications Project .............................................. 80 II.C.2. Network System Support ................................................................................................. 83 11.C.3. Engineering for Complex Systems .................................................................................. 84 II.D. Applications of Information Technology ..................................................................... 87 ll.D. 1. NASA Astrobiology Institute ........................................................................................... 87 1I.D.2. Bioinformatics Infrastructure in Support of Biological Research .................................. 92 1I.D.3. Advanced Visualization and Collaborative Virtual Environments for Medical and Scientific Imaging ........................................................................................................... 94 ll.D. 4. Astrobiology, Fundamental Biology and Bio-Info-Nano Strategic Planning ................ 97 11.D.5. Integrated HumanRobotics Exploration & Astrobiology .............................................. 98 ll.D. 6. Information Systems Technology and Program Management in Support of Life Science Enterprise ...................................................................................................................... 100 1I.D. 7. Earth Science Technology Office Support .................................................................... 103 1I.D.8. Integrated Thermal Protection ...................................................................................... 104 II.D.9. Multi-institutional Collaboration on Research, Development, and Demonstrations for Natural Hazards Impact Reductions ............................................................................. 106 ll.D. 10. AeroSpace ExtraNet Data Sharing ............................................................................... 108 I1.D.11. Computational Technology Applied to Human Circulatory System ............................. 112 ll.D. 12. Development and Enhancement of Plasma Simulation Codes for Semiconductor Processing and Space Propulsion Applications ........................................................... 114 11.D. 13. Technical Leadership Recruiting .................................................................................. 116 -i- RIACS FY2002 Annual Report October 2001 through September 2002 II.E. Visiting Students and Scientists ................................................................................. 119 II.E.1. Summer Student Research Program ............................................................................. 119 II.E.2. Visiting Scientists' Research Project Descriptions ...................................................... 129 II.F. Inventions ................................................................................................................... 143 III. SEMINARS ,WORKSHOPS AND TECHNICAL REPORTS ................... 144 III.A. RIACS Seminars ........................................................................................................ 144 III.B. RIACS-Supported Workshops ................................................................................... 179 III.C. RIACS Technical Reports .......................................................................................... 181 IV. RIACS STAFF ................................................................................................. 187 IV.A. Management Staff ...................................................................................................... 188 IV.B. Administrative and Support Staff .............................................................................. 188 IV.C. Scientific Staff ........................................................................................................... 189 IV.D. Visiting Scientists and Consultants ............................................................................ 193 IV.E. Visiting Students ........................................................................................................ 196 IV.F. Science Council ......................................................................................................... 198 LIST OF FIGURES AND TABLES Figure 1: Software Engineering Activities ..................................................................................... 6 Figure 2: Mobile Agents Architecture ......................................................................................... 61 Figure 3: MER Mission Operations Work System ...................................................................... 63 Figure 4: RIACS Staff. ............................................................................................................... 187 Table 1: Enterprise Impact of Scientific Data Understanding ..................................................... 49 Table 2: Enterprise Impact of Forecasting and Understanding Time-Based Data ....................... 51 Table 3: Enterprise Impact of Forecasting and Understanding Time-Based Data (cont.) ........... 52 Table 4: Enterprise Impact of Machine Learning for Optimization ............................................. 54 Table 5: Types of Activities Based on Regularity and Scheduling .............................................. 59 Table 6: Brahms Source Code of the Replacementurinereceptable Activity .............................. 60 Table 7: Brahms Representation of Urine Collection Procedure ................................................. 60 Table 8: Invention