Search NASA⌕ Search

SEARCH · Search NASA

Results for “NASA Program Data Analysis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 613 records · Page 34

Helicopter roll control effectiveness criteria program summary

A study of helicopter roll control effectiveness is summarized for the purpose of defining military helicopter handling qualities requirements. The study is based on an analysis of pilot-in-the-loop task performance of several basic maneuvers. This is extended by a series of piloted simulations using the NASA Ames Vertical Motion Simulator and selected flight data. The main results cover roll control power and short-term response characteristics. In general the handling qualities requirements recommended are set in conjunction with desired levels of flight task and maneuver response which can be directly observed in actual flight. An important aspect of this, however, is that vehicle handling qualities need to be set with regard to some quantitative aspect of mission performance. Specific examples of how this can be accomplished include a lateral unmask/remask maneuver in the presence of a threat and an air tracking maneuver which recognizes the kill probability enhancement connected with decreasing the range to the target. Conclusions and recommendations address not only the handling qualities recommendations, but also the general use of flight simulators and the dependence of mission performance on handling qualities.

Heffley, Robert K.↗

Quiet High-Speed Fan

A calibration of the acoustic and aerodynamic prediction methods was performed and a baseline fan definition was established and evaluated to support the quiet high speed fan program. A computational fluid dynamic analysis of the NASA QF-12 Fan rotor, using the DAWES flow simulation program was performed to demonstrate and verify the causes of the relatively poor aerodynamic performance observed during the fan test. In addition, the rotor flowfield characteristics were qualitatively compared to the acoustic measurements to identify the key acoustic characteristics of the flow. The V072 turbofan source noise prediction code was used to generate noise predictions for the TFE731-60 fan at three operating conditions and compared to experimental data. V072 results were also used in the Acoustic Radiation Code to generate far field noise for the TFE731-60 nacelle at three speed points for the blade passage tone. A full 3-D viscous flow simulation of the current production TFE731-60 fan rotor was performed with the DAWES flow analysis program. The DAWES analysis was used to estimate the onset of multiple pure tone noise, based on predictions of inlet shock position as a function of the rotor tip speed. Finally, the TFE731-60 fan rotor wake structure predicted by the DAWES program was used to define a redesigned stator with the leading edge configured to minimize the acoustic effects of rotor wake / stator interaction, without appreciably degrading performance.

Lieber, Lysbeth↗

Assessing the Completeness of Occupational Exposure Data in the Lifetime Surveillance of Astronaut Health

INTRODUCTION: Longitudinal analysis on how spaceflight affects human health requires significant amounts of data. Missing data, especially if missing in a non-random fashion, could be a significant challenge to the success and validity of ongoing occupational surveillance and research. Astronaut occupational health data have been collected since 1959 in various formats and as part of several flight programs. As a result of changing methodologies over this span, epidemiologists in the NASA Lifetime Surveillance of Astronaut Health (LSAH) project regularly compile data sets with important exposure or outcome data missing. METHODS: NASA medical records of astronauts participating in voluntary annual LSAH examinations were reviewed and compiled to develop Individual Exposure Profiles (IEP) for each astronaut. These data were supplemented by an interview. If the interview yielded medically relevant information absent from the medical record, that information was considered an update. The IEPs were analyzed to identify trends regarding the characteristics of astronauts who provided updates and what kinds of information were consistently being updated. RESULTS: To date, 190 astronauts have participated in the IEP project. Medical information was updated for 119 individuals during these interviews. The astronauts' likelihood of updating their record upon interview was not significantly related to their spaceflight experience, era of active spaceflight, or duration of longest spaceflight. The most commonly updated categories of medical information were issues encountered during spaceflights, including CO2 symptoms, vision changes, back pain, headaches, and space motion sickness. DISCUSSION: The most commonly updated categories correspond to areas where LSAH has ongoing analysis efforts and therefore do not appear to have been reported at random. This presentation will address identification of missing astronaut health data and trends, forward work identified by the IEP project and how this information may be used for future LSAH data gap analyses.

Sieker, Jeremy↗

Elevation Change of the Southern Greenland Ice Sheet from Satellite Radar Altimeter Data

Long-term changes in the thickness of the polar ice sheets are important indicators of climate change. Understanding the contributions to the global water mass balance from the accumulation or ablation of grounded ice in Greenland and Antarctica is considered crucial for determining the source of the about 2 mm/yr sea-level rise in the last century. Though the Antarctic ice sheet is much larger than its northern counterpart, the Greenland ice sheet is more likely to undergo dramatic changes in response to a warming trend. This can be attributed to the warmer Greenland climate, as well as a potential for amplification of a global warming trend in the polar regions of the Northern Hemisphere. In collaboration with Drs. Curt Davis and Craig Kluever of the University of Missouri, we are using data from satellite radar altimeters to measure changes in the elevation of the Southern Greenland ice sheet from 1978 to the present. Difficulties with systematic altimeter measurement errors, particularly in intersatellite comparisons, beset earlier studies of the Greenland ice sheet thickness. We use altimeter data collected contemporaneously over the global ocean to establish a reference for correcting ice-sheet data. In addition, the waveform data from the ice-sheet radar returns are reprocessed to better determine the range from the satellite to the ice surface. At JPL, we are focusing our efforts principally on the reduction of orbit errors and range biases in the measurement systems on the various altimeter missions. Our approach emphasizes global characterization and reduction of the long-period orbit errors and range biases using altimeter data from NASA's Ocean Pathfinder program. Along-track sea-height residuals are sequentially filtered and backwards smoothed, and the radial orbit errors are modeled as sinusoids with a wavelength equal to one revolution of the satellite. The amplitudes of the sinusoids are treated as exponentially-correlated noise processes with a time-constant of six days. Measurement errors (e.g., altimeter range bias) are simultaneously recovered as constant parameters. The corrections derived from the global ocean analysis are then applied over the Greenland ice sheet. The orbit error and measurement bias corrections for different missions are developed in a single framework to enable robust linkage of ice-sheet measurements from 1978 to the present. In 1998, we completed our re-evaluation of the 1978 Seasat and 1985-1989 Geosat Exact Repeat Mission data. The estimates of ice thickness over Southern Greenland (south of 72N and above 2000 m) from 1978 to 1988 show large regional variations (+/-18 cm/yr), but yield an overall rate of +1.5 +/- 0.5 cm/yr (one standard error). Accounting for systematic errors, the estimate may not be significantly different from the null growth rate. The average elevation change from 1978 to 1988 is too small to assess whether the Greenland ice sheet is undergoing a long-term change.

Haines, Bruce J.↗

Proposed Optical Network for the National Geodetic Satellite Program

The Ohio State University has been requested by the National Aeronautics and Space Administration to conduct a multi-year study and analysis of data from satellites launched specifically for geodetic purposes and from other satellites useful in geodetic studies. The program includes analysis of positions derived from photographic observations of both reflecting and emitting satellites, from range observations and from any other suitable but similar types of data. The final result is supposed to be a geocentric-geodetic datum for the whole earth with connections to all major datums and NASA supported stations.

TRACKING STATION↗

Application of higher harmonic blade feathering for helicopter vibration reduction

Higher harmonic blade feathering for helicopter vibration reduction is considered. Recent wind tunnel tests confirmed the effectiveness of higher harmonic control in reducing articulated rotor vibratory hub loads. Several predictive analyses developed in support of the NASA program were shown to be capable of calculating single harmonic control inputs required to minimize a single 4P hub response. In addition, a multiple-input, multiple-output harmonic control predictive analysis was developed. All techniques developed thus far obtain a solution by extracting empirical transfer functions from sampled data. Algorithm data sampling and processing requirements are minimal to encourage adaptive control system application of such techniques in a flight environment.

Powers, R. W.↗

Use of EOS Data in AWIPS for Weather Forecasting

Operational weather forecasting relies heavily on real time data and modeling products for forecast preparation and dissemination of significant weather information to the public. The synthesis of this information (observations and model products) by the meteorologist is facilitated by a decision support system to display and integrate the information in a useful fashion. For the NWS this system is called Advanced Weather Interactive Processing System (AWIPS). Over the last few years NASA has launched a series of new Earth Observation Satellites (EOS) for climate monitoring that include several instruments that provide high-resolution measurements of atmospheric and surface features important for weather forecasting and analysis. The key to the utilization of these unique new measurements by the NWS is the real time integration of the EOS data into the AWIPS system. This is currently being done in the Huntsville and Birmingham NWS Forecast Offices under the NASA Short-term Prediction Research and Transition (SPORT) Program. This paper describes the use of near real time MODIS and AIRS data in AWIPS to improve the detection of clouds, moisture variations, atmospheric stability, and thermal signatures that can lead to significant weather development. The paper and the conference presentation will focus on several examples where MODIS and AIRS data have made a positive impact on forecast accuracy. The results of an assessment of the utility of these products for weather forecast improvement made at the Huntsville NWS Forecast Office will be presented.

Jedlovec, Gary J.↗

Worldwide Spacecraft Crew Hatch History

The JSC Flight Safety Office has developed this compilation of historical information on spacecraft crew hatches to assist the Safety Tech Authority in the evaluation and analysis of worldwide spacecraft crew hatch design and performance. The document is prepared by SAIC s Gary Johnson, former NASA JSC S&MA Associate Director for Technical. Mr. Johnson s previous experience brings expert knowledge to assess the relevancy of data presented. He has experience with six (6) of the NASA spacecraft programs that are covered in this document: Apollo; Skylab; Apollo Soyuz Test Project (ASTP), Space Shuttle, ISS and the Shuttle/Mir Program. Mr. Johnson is also intimately familiar with the JSC Design and Procedures Standard, JPR 8080.5, having been one of its original developers. The observations and findings are presented first by country and organized within each country section by program in chronological order of emergence. A host of reference sources used to augment the personal observations and comments of the author are named within the text and/or listed in the reference section of this document. Careful attention to the selection and inclusion of photos, drawings and diagrams is used to give visual association and clarity to the topic areas examined.

Johnson, Gary↗

Flight Test Methodology for NASA Advanced Inlet Liner on 737MAX-7 Test Bed (Quiet Technology Demonstrator 3)

This paper describes the acoustic flight test results of an advanced nacelle inlet acoustic liner concept designed by NASA Langley, in a campaign called Quiet Technology Demonstrator 3 (QTD3). NASA has been developing multiple acoustic liner concepts to benefit acoustics with multiple-degrees of freedom (MDOF) honeycomb cavities, and lower the excrescence drag. Acoustic and drag performance were assessed at a lab-scale, flow duct level in 2016. Limitations of the lab-scale rig left open-ended questions regarding the in-flight acoustic performance. This led to a joint project to acquire acoustic flyover data with this new liner technology built into full scale inlet hardware containing the NASA MDOF Low Drag Liner. Boeing saw an opportunity to collect the acoustic flyover data on the 737 MAX-7 between certification tests at no impact to the overall program schedule, and successfully executed within the allotted time. The flight test methodology and the test configurations are detailed and the acoustic analysis is summarized in this paper. After the tone and broadband deltas associated with the inlet hardware were separated and evaluated, the result was a significant decrease in cumulative EPNL (Effective Perceived Noise Level).

Wong, Jackie W.↗

Simulation of Mission Phases

This position with the Simulation and Graphics Branch (ER7) at Johnson Space Center (JSC) provided an introduction to vehicle hardware, mission planning, and simulation design. ER7 supports engineering analysis and flight crew training by providing high-fidelity, real-time graphical simulations in the Systems Engineering Simulator (SES) lab. The primary project assigned by NASA mentor and SES lab manager, Meghan Daley, was to develop a graphical simulation of the rendezvous, proximity operations, and docking (RPOD) phases of flight. The simulation is to include a generic crew/cargo transportation vehicle and a target object in low-Earth orbit (LEO). Various capsule, winged, and lifting body vehicles as well as historical RPOD methods were evaluated during the project analysis phase. JSC core mission to support the International Space Station (ISS), Commercial Crew Program (CCP), and Human Space Flight (HSF) influenced the project specifications. The simulation is characterized as a 30 meter +V Bar and/or -R Bar approach to the target object's docking station. The ISS was selected as the target object and the international Low Impact Docking System (iLIDS) was selected as the docking mechanism. The location of the target object's docking station corresponds with the RPOD methods identified. The simulation design focuses on Guidance, Navigation, and Control (GNC) system architecture models with station keeping and telemetry data processing capabilities. The optical and inertial sensors, reaction control system thrusters, and the docking mechanism selected were based on CCP vehicle manufacturer's current and proposed technologies. A significant amount of independent study and tutorial completion was required for this project. Multiple primary source materials were accessed using the NASA Technical Report Server (NTRS) and reference textbooks were borrowed from the JSC Main Library and International Space Station Library. The Trick Simulation Environment and User Training Materials version 2013.0 release was used to complete the Trick tutorial. Multiple network privilege and repository permission requests were required in order to access previous simulation models. The project was also an introduction to computer programming and the Linux operating system. Basic C++ and Python syntax was used during the completion of the Trick tutorial. Trick's engineering analysis and Monte Carlo simulation capabilities were observed and basic space mission planning procedures were applied in the conceptual design phase. Multiple professional development opportunities were completed in addition to project duties during this internship through the System for Administration, Training, and Education Resources for NASA (SATERN). Topics include: JSC Risk Management Workshop, CCP Risk Management, Basic Radiation Safety Training, X-Ray Radiation Safety, Basic Laser Safety, JSC Export Control, ISS RISE Ambassador, Basic SharePoint 2013, Space Nutrition and Biochemistry, and JSC Personal Protective Equipment. Additionally, this internship afforded the opportunity for formal project presentation and public speaking practice. This was my first experience at a NASA center. After completing this internship I have a much clearer understanding of certain aspects of the agency's processes and procedures, as well as a deeper appreciation from spaceflight simulation design and testing. I will continue to improve my technical skills so that I may have another opportunity to return to NASA and Johnson Space Center.

Carlstrom, Nicholas Mercury↗

Overview of NASA’s Science Mission Directorate Small Satellites Programs and Advances in Transformative Science Measurements with Small Satellites

Small satellites have become an accepted platform for enabling high-quality science measurements and observations. NASA missions have leveraged advances in sensor miniaturization, technology innovations, and new small satellite mission architectures to support high spatial and temporal measurements, continuity measurements, and constellations in response to science objectives described in NASA’s Decadal Surveys. Across six divisions of the Science Mission Directorate (SMD), over 12 years, SMD has funded 88 CubeSat/ SmallSat Missions and 59 Studies to date. Currently, SMD has 53 small spacecraft science missions (87spacecraft) in implementation or formulation. This paper provides the background of efforts to promote the implementation of small satellites within NASA as a balanced portfolio for the agency’s science, technology, and exploration goals. We include analysis of SmallSat awards and trends funded by SMD through Research Opportunities in Space and Earth Sciences (ROSES), Small Innovative Missions for Planetary Exploration (SIMPLEx), and Small Explorer (SMEX) and Medium Explorer (MIDEX) calls over the last 12years. The data source of this assessment is a subset of the NASA SmallSat Coordination Group Database, a collection of all known funded NASA SmallSat and CubeSat missions and studies. This paper also provides an overview of small satellite programs and selected missions from SMD’s divisions: Astrophysics, Heliophysics, Earth Science, and Planetary Science, and describes SMD’s efforts in fostering an incremental and continuous path to achieve high-priority science through transformative science measurements. This paper recognizes the latest observations and trends of the NASA CubeSat / SmallSat Science missions with masses ranging between 1kg to 500kg.

Small Satellites, SMD SmallSat, CubeSat,↗

A Case for Developing a Ground Based Replication of the Earth, Moon and Mars Spaceflight Infrastructure

When the systems are developed and in place to provide the services needed to operate en route and on the Lunar and Martian surfaces, an Earth based replication will need to be in place for the safety and protection of mission success. The replication will entail all aspects of the flight configuration end to end but will not include any closed loop systems. This would replicate the infrastructure from Lunar and Martian robots, manned surface excursions, through man and unmanned terrestrial bases, through the various types of communication systems and technologies, manned and un-manned space vehicles (large and small), to Earth based systems and control centers. An Earth based replicated infrastructure will enable checkout and test of new technologies, hardware, software updates and upgrades and procedures without putting humans and missions at risk. Analysis of events, what ifs and trouble resolution could be played out on the ground to remove as much risk as possible from any type of proposed change to flight operational systems. With adequate detail, it is possible that failures could be predicted with a high probability and action taken to eliminate failures. A major factor in any mission to the Moon and to Mars is the complexity of systems, interfaces, processes, their limitations, associated risks and the factor of the unknown including the development by many contractors and NASA centers. The need to be able to introduce new technologies over the life of the program requires an end to end test bed to analyze and evaluate these technologies and what will happen when they are introduced into the flight system. The ability to analyze system behaviors end to end under varying conditions would enhance safety e.g. fault tolerances. This analysis along with the ability to mine data from the development environment (e.g. test data), flight ops and modeling/simulations data would provide a level of information not currently available to operations and astronauts. In this paper we will analyze the beginnings of such a replication and what it could do in terms of reducing risk in the near term for development. We will analyze the Space Shuttle Main Engine (SSME) test lab which has to a large extent accomplished this replication for the SSME and has been highly successful in analyzing hardware and software problems and changes. The cost of replicating the flight system as proposed here could be very high if attempted as an afterthought. We will describe the initial steps for the development of a replication of this infrastructure starting with the communication infrastructure. The Constellation of Labs (CofL) under the Command, Control, Communication and Information (C3I) project for the NASA Exploration Initiative will provide the initial foundation upon which to base this replication. Simply put, there is very little margin for error in high latency situations e.g. en-route to/from Mars or in an autonomous process on the Lunar far side. Any thought out approach to reduce risk and increase safety needs to be accomplished end to end with the actual systems configuration.

Bradford, Robert N.↗

Thermal/Pyrolysis Gas Flow Analysis of Carbon Phenolic Material

Provided in this study are predicted in-depth temperature and pyrolysis gas pressure distributions for carbon phenolic materials that are externally heated with a laser source. Governing equations, numerical techniques and comparisons to measured temperature data are also presented. Surface thermochemical conditions were determined using the Aerotherm Chemical Equilibrium (ACE) program. Surface heating simulation used facility calibrated radiative and convective flux levels. Temperatures and pyrolysis gas pressures are predicted using an upgraded form of the SINDA/CMA program that was developed by NASA during the Solid Propulsion Integrity Program (SPIP). Multispecie mass balance, tracking of condensable vapors, high heat rate kinetics, real gas compressibility and reduced mixture viscosity's have been added to the algorithm. In general, surface and in-depth temperature comparisons are very good. Specie partial pressures calculations show that a saturated water-vapor mixture is the main contributor to peak in-depth total pressure. Further, for most of the cases studied, the water-vapor mixture is driven near the critical point and is believed to significantly increase the local heat capacity of the composite material. This phenomenon if not accounted for in analysis models may lead to an over prediction in temperature response in charring regions of the material.

Clayton, J. Louie↗

The Pascal Mars Scout Mission

Pascal is a Mars Climate Network Mission that is being developed for NASA's Mars Scout Program. The mission would establish a network of 18 science weather stations distributed across the entire surface of Mars that operates for 3-10 Mars years (5.6- 18.8 Earth years). Pascal's instrument suite combines entry data from accelerometers and descent cameras, with landed data from pressure, opacity, temperature, wind speed, and water vapor to create a detailed global picture of Martian climate and weather. A panoramic landed camera system acquires images every 30 Sols to monitor changes in the landing environment due to winds. Analysis of data from the science stations, taken as often as once every 15 minutes, will provide a depth of understanding that will vastly increase our knowledge of Mars, and significantly impact site selection for future NASA missions. Pascal is the first mission ever to sample - in situ - the full global diversity of Mars and provide a continuous long-term presence on its surface.

Haberle, R. M.↗

Correlation of Full-Scale Isolated Proprotor Performance and Loads

A full-scale isolated proprotor test is currently being conducted in the USAF National Full-Scale Aerodynamics Complex (NFAC) 40- by 80-Foot Wind Tunnel at NASA Ames. The test article is a 3-bladed research rotor derived from the right-hand rotor of the AW609; this rotor was manufactured by Bell Helicopter under contract to NASA. In this paper, this research rotor is referred to as "699". The test, nearly completed, is an integral part of the initial checkout test of the newly developed Tiltrotor Test Rig (TTR), whose purpose is to test advanced, full-scale proprotors in the NFAC. Figure 1 shows the TTR/699 installed in the 40- by 80-Foot test section. The TTR rotor axis is horizontal and the rig rotates in yaw on the wind tunnel turntable for conversion (transition) and helicopter mode testing. To date, a substantial amount of wind tunnel test data has already been acquired. The completed operational conditions include hover, airplane mode (cruise, wind tunnel airspeed V=61 to 267 knots), and the helicopter and conversion conditions (with a comprehensive sweep of the TTR yaw angle ranging, to date, from 90-deg yaw helicopter mode to 30-deg yaw conversion mode, at varying airspeeds). This 699 proprotor performance and loads correlation study uses these newly acquired wind tunnel test data. This paper represents the third analytical study, coming after two earlier analytical studies on the TTR/699; that is, a 2018 paper on pre-test predictions of 699 performance and loads, Ref. 1, and an upcoming January 2019 paper on aeroelastic stability analysis of the TTR/699 installed in the 40- by 80-Foot Wind Tunnel, Ref. 2. Reference 8 will present an overview of the entire TTR/699 test program. For completeness, Ref. 3 addresses the development and initial testing of the TTR. Background information on the TTR effort at NASA Ames can be found at the Aeromechanics website: https://rotorcraft.arc.nasa.gov/Research/Facilities/ttr.html. To the authors' knowledge, the full-scale results presented in this paper are the first of their kind. A literature survey brought up several existing correlation studies, but these were either based on small-scale test data (for example, the studies performed by the University of Maryland) or full-scale aircraft flight test data (for example, flight tests conducted by Bell Helicopter). Separately, the 2009 NASA study involving the JVX rotor is relevant (see Ref.4). The JVX is closely similar to the 699 in size and aerodynamics, and is accordingly a good reference for performance calculations. In Ref. 1 (as mentioned above), pre-test reality checks of the current analytical model were made by comparing JVX and 699 predictions in hover and forward flight (airplane mode).

Isolated Proprotor Performance↗

Advanced space program studies. Overall executive summary

NASA and DoD requirements and planning data were used in multidiscipline advanced planning investigations of space operations and associated elements (including man), identification of potential low cost approaches, vehicle design, cost synthesis techniques, technology forecasting and opportunities for DoD technology transfer, and the development near-, mid-, and far-term space initiatives and development plans with emphasis on domestic and military commonality. An overview of objectives and results are presented for the following studies: advanced space planning and conceptual analysis, shuttle users, technology assessment and new opportunities, standardization and program practice, integrated STS operations planning, solid spinning upper stage, and integrated planning support functions.

Wolfe, M. G.↗

Visualizing Geospatial Data through ESRI Story Maps for Earth Science Education: Lessons Learned from My NASA Data

For 20 years My NASA Data (MND) has curated NASA Earth science data and provided the data to educators in engaging learner-centered resources. MND has recently featured story maps as an innovative way to engage students in NASA Earth data. A story map is a cloud-based lesson that engages the learner in interactive geospatial maps using NASA data, and other multimedia content, text, and tasks that can be seamlessly incorporated in classroom instruction. This immersive technology eliminates the need for the user to move among tricky interfaces to access and visualize Earth science data, and no special software is required to be downloaded. Each story map integrates data from different NASA satellite missions, retrieved from Distributed Active Archive Centers (DAACs). Story maps also employ data analysis tools, such as time series options and swipe tools that allow learners to view and analyze relationships between scientific variables. MND has produced 25 story map lesson plans on the topics of air quality, the urban heat island effect, Earth’s energy budget, phytoplankton distribution, hurricane formation, solar eclipses, ocean circulation patterns, sea ice extent, and volcanic eruptions. Nine of them are extended story maps and written in the 5E format, which is internationally recognized as best practice based on how children learn science. Each story map resource is developed by the MND team featuring a GIS programming specialist, a lead scientist, and educational specialist/s to ensure the context, content, and methods are scientifically and educationally sound. The MND story maps are written for middle and high school science teachers and students as they connect with the Earth Systems Science phenomena featured in the Next Generation Science Standards. Each story map includes supporting resources for smooth integration in the classroom. During Fiscal Year 2023, The My NASA Data website received over 100,000 story map engagements during. These metrics highlight the interest in story maps as an Earth Science educational resource.

Desiray Wilson↗

AutoBayes Program Synthesis System System Internals

This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.

Statistical Algorithms↗