Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 1,243 records · Page 69

Validation on the Europa Clipper Mission in the Formulation Phase

The Europa Clipper mission will perform a detailed investigation of Europa’s environment and habitability by placing a spacecraft into a looping orbit around Jupiter and performing repeated close Europa flybys. The Europa Clipper Project Verification and Validation (V&V) team is responsible for verifying that the Project System is compliant with the science and engineering requirements levied on it and validating that it is capable of meeting the mission objectives. Europa Clipper has developed a V&V framework to ensure that mission capabilities are realized at a reasonable confidence level prior to launch. The V&V team will coordinate the validation activities defined by this framework throughout the project lifecycle as the spacecraft evolves from design to implementation and operations. Validation of space missions is typically grouped into three categories: 1) requirements validation, 2) model validation, and 3) system validation. System validation, along with verification activities, are often the primary focus of V&V programs and these efforts peak in the implementation phase. However, the increasing reliance of exploration missions on models and simulations, and the complexity of the Europa Clipper mission, have dictated attention to requirements and model validation in the formulation phase. This paper discusses the development of the Europa Clipper V&V framework with emphasis on the validation of models and simulations, and of requirements. Approaches include the adaptation of institutional guidelines, such as those in the NASA-STD-7009 document, to create a Project Model V&V Plan and the use of tools such as DOORS NG to plan model validation and derive requirement quality metrics.

Srivastava, Priyanka↗

Lunar Flight Study Series: Volume 7. Earth-Moon Transit Studies Based on Ephemeris Data and Using Best Available Computer Program: Principles for Reducing Earth-Moon Trajectory Analysis to Fundamentals - 2

This report presents an empirical investigation of earth-to-moon trajectories. The primary objective is to uncover relationships that result in the reduction of mission analysis or trajectory analysis problems to fundamentals. It is considered imperative that the results be accurate to the extent that any relationships that are uncovered are not brought about by simplifying or unrealistic assumptions. Consequently, the model used is as accurate as is presently available for use and the computations are performed under strict error controls. Procedures are reasonable from the engineering viewpoint. Some very helpful principles are uncovered. These may be briefly stated as follows: 1) Trajectories of constant flight time to the moon (in the 66 hour to 90 hour range), and arriving within a few minutes of the same time pass over a common point on the moon regardless of the arrival altitude and inclination, This common point of passage for such a family of trajectories is arbitrarily referred to as a VERTEX point; 2) These VERTEX points lie within a bounded region on the lunar surface as arrival time varies throughout the years, for a given flight time or flight time spread; 3) Increasing flight time results primarily in a longitude shift of the VERTEX point for a given arrival time; 4) Launch azimuth should be treated as a strong parameter regarding its influence on the vertex. Launch azimuth variations up to +/- 20 degrees about 90 degrees can shift the vertex as much as 3 degrees in latitude even when one is free to pick launch time, coast time, and S-IVB burn time appropriately with launch azimuth; and 5) The locus of periselenum, as arrival inclination takes on all possible values, is nearly circular about the vertex point for a given arrival altitude. A publication is now in preparation that applies these principles to much advantage in the solution of various trajectory analysis problems.

LUNAR FLIGHT↗

MR Imaging of Patients with Cardiac Implantable Electronic Devices (CIEDs): Implementing a Program and Optimizing CMR

Purpose of review: How to implement a program for MRI in patients with conditional and non-conditional (“legacy”) CIED. How to optimize safety and image quality in CMR? What the radiologists need to know: device programming, pre- and post-MRI CIED parameters. Recent findings: New Center for Medicare and Medicaid Services (CMS) guidelines have opened MRI to many patients with nonconditional devices. Newer pulse sequences for cardiac MRI (CMR) in device patients, including modified cine, late gadolinium enhancement and T1 mapping sequences, have resulted in improved image quality in device patients. We present several cases of CMR in device patients, including imaging of leadless pacemakers subcutaneous ICDs. Imaging pitfalls/artifacts in CMR interpretation are also presented. Summary: An organized institutional workflow with an established protocol involving proper patient screening, device programming, scan monitoring, and pre- and post-ICD interrogation minimizes risk in patients with conditional and non-conditional CIEDs. Although rare, significant changes in lead performance, power-on/reset, inappropriate pacing or ICD discharges and battery voltage depletion should be documented. High-quality scans with accurate scar characterization in CIED patients require the use of wideband sequences. CMS has recently acknowledged MRI as a reasonable test necessary for the diagnosis and treatment of beneficiaries with implanted CIEDs, improving the financial prospects and encouraging future developments.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

International cooperation and competition in space - A current perspective

International cooperative efforts undertaken by NASA are evaluated and consideration is given to the proposed space station. The Shuttle RMS and Spacelab were constructed through efforts of Canadian and European companies and the ESA. Landsat, with its widely dispersed technology and data, has encouraged international access to its capabilities and start-up of follow-on programs in other countries. Space station planning is proceeding with a view to worldwide utilization of space and to the commitment and resources other nations are willing to place in the station. It is conceded that administrative difficulties will arise if the space station is a completely international effort guided by NASA. Additionally, concern will be present for technology leaks, national security implications on the space station, and reasonably fulfilling the benefits expected by those who become partners in the construction and operation of the station.

Pedersen, K. S.↗

The International Halley Watch

The International Halley Watch (IHW) is a program designed to promote cooperation, standardization, and archival documentation in all phases of study of Comet Halley during its 1985-86 apparition. Discipline Specialists have been selected to create cooperative nets of ground-based observers encompassing seven different technical areas and to coordinate the observations and publication of results in each. The IHW will promote cooperation among ground-based and space studies of Comet Halley wherever reasonable and feasible. More specifically, the IHW will make ephemerides from the astrometric net available to any country flying a deep space mission. It will coordinate special Halley Watch Days with the arrival dates of space probes or periods of observation from earth orbit. And the IHW will provide a permanent archive in published form of all scientific observations of Comet Halley.

Rahe, J.↗

Deploying expert systems in Ada

As the Department of Defense Ada mandate begins to be enforced actively, interest in deploying expert systems in Ada has increased. A prototype Ada based expert system tool is introduced called ART/Ada. This prototype was built to support research into the language and operational issues of expert systems in Ada. ART/Ada allows applications of a conventional expert system tool called ART-IM (Automated Reasoning Tool for Information Management) to be deployed in various Ada environments with efficient use of time and space. ART-IM, a C-based expert system tool, is used to generate Ada source code which is compiled and linked with an Ada base inference engine to produce an Ada executable image. ART/Ada will be used to implement several prototype expert systems for the Space Station Freedom Program testbeds.

Lee, S. Daniel↗

Decision blocks: A tool for automating decision making in CLIPS

The human capability of making complex decision is one of the most fascinating facets of human intelligence, especially if vague, judgemental, default or uncertain knowledge is involved. Unfortunately, most existing rule based forward chaining languages are not very suitable to simulate this aspect of human intelligence, because of their lack of support for approximate reasoning techniques needed for this task, and due to the lack of specific constructs to facilitate the coding of frequently reoccurring decision block to provide better support for the design and implementation of rule based decision support systems. A language called BIRBAL, which is defined on the top of CLIPS, for the specification of decision blocks, is introduced. Empirical experiments involving the comparison of the length of CLIPS program with the corresponding BIRBAL program for three different applications are surveyed. The results of these experiments suggest that for decision making intensive applications, a CLIPS program tends to be about three times longer than the corresponding BIRBAL program.

Eick, Christoph F.↗

ICI optical data storage tape

Optical data storage tape is now a commercial reality. The world's first successful development of a digital optical tape system is complete. This is based on the Creo 1003 optical tape recorder with ICI 1012 write-once optical tape media. Several other optical tape drive development programs are underway, including one using the IBM 3480 style cartridge at LaserTape Systems. In order to understand the significance and potential of this step change in recording technology, it is useful to review the historical progress of optical storage. This has been slow to encroach on magnetic storage, and has not made any serious dent on the world's mountains of paper and microfilm. Some of the reasons for this are the long time needed for applications developers, systems integrators, and end users to take advantage of the potential storage capacity; access time and data transfer rate have traditionally been too slow for high-performance applications; and optical disk media has been expensive compared with magnetic tape. ICI's strategy in response to these concerns was to concentrate its efforts on flexible optical media; in particular optical tape. The manufacturing achievements, media characteristics, and media lifetime of optical media are discussed.

Mclean, Robert A.↗

Recent experiences with implementing a video based six degree of freedom measurement system for airplane models in a 20 foot diameter vertical spin tunnel

A model space positioning system (MSPS), a state-of-the-art, real-time tracking system to provide the test engineer with on line model pitch and spin rate information, is described. It is noted that the six-degree-of-freedom post processor program will require additional programming effort both in the automated tracking mode for high spin rates and in accuracy to meet the measurement objectives. An independent multicamera system intended to augment the MSPS is studied using laboratory calibration methods based on photogrammetry to characterize the losses in various recording options. Data acquired to Super VHS tape encoded with Vertical Interval Time Code and transcribed to video disk are considered to be a reasonable priced choice for post editing and processing video data.

Snow, Walter L.↗

Germany's five year space plan

Up to now microgravity combustion research has mainly been a powerful tool to apply on basic research items. The absence of thermal convection and thus the ability to experimentally verify simulations supposing buoyancy-free boundary conditions were ideally suited to improve knowledge about fundamental combustion processes. Beyond reasonable doubt the necessity to perform basic experiments will still be given in future in many disciplines. But the more scientists from more and more countries enter the field of microgravity combustion research and the more facilities are built for ground-based as well as suborbital and orbital research the more application-relevant items are requested to be investigated on. Thus the German microgravity combustion research program tries to enhance both fundamental as well technological aspects. The four projects described are utilizing on technologically advancing ground based facilities like drop tower drop shaft and parabolic aircrafts. Which items will be the German part of the European participation on the International Space-Station Alpha ISSA has not yet been decided.

Eigenbrod, Christian↗

Spectroscopic Determination of the Physical Conditions in Hot Optically Thin Sources

The Astrophysics Plasma Emission Code and Database (APEC/APED), developed in part under this grant, have been upgraded to Version 1.3.0 and are now beginning to find widespread applications to X-ray spectral data from Chandra and XMM-Newton. These models represent the best theoretical data currently available and are reasonably complete below about 30 A. We are making significant progress in improving the spectral models between 30 and 90 A, by the addition of HULLAC calculations and NIST wavelengths for L-shell ions of Ne, Mg, Si, S, Ar, and Ca. While the output models are now public, the code itself is not ready for public release. We have made significant progress toward this goal through programming improvements, including optimized error codes, a major (elusive) bug fix, and additions to our testing protocols. Secondarily, we are beginning to investigate limited uses of APEC for X-ray photoionized plasma, as for opacity modeling. Stellar coronae are being used to benchmark the atomic data in APED as part of the Emission Line Project. The models appear to be in good agreement with the observations for most of the strong lines; however, we have identified significant discrepancies in the 3s/3d line ratios not only for Fe XVII, but also for Fe XVIII and XIX. The careful analysis of these high quality X-ray spectra has also shown that there are serious problems with some of the analysis techniques in widespread use. There are several manifestations of the problem, but the main problem is that line-to-continuum ratios may be seriously mismeasured. We continue to collaborate widely with atomic physicists in order to find the best atomic data, and to solicit calculations and measurements that are needed.

Brickhouse, Nancy↗

Thirty-Seventh Annual Report of the National Advisory Committee for Aeronautics: Administrative Report Including Technical Report Nos. 1003 to 1958

In accordance with the act of Congress, approved March 3,1915 (U.S. C. title 50, sec. 151), which established the National Advisory Committee for Aeronautics the Committee submits its thirty-seventh annual report for the fiscal year 1951. The United States is engaged in expanding military aviation to levels never before reached except in the midst of a major war. In Korea, our military aircraft are engaged in combat with airplanes of an unfriendly nation evidently able to build military aircraft of increasing capabilities. In this environment, the NACA is responsible for conducting an adequate program of scientific research to open the way for the design of aircraft and missile of superior performance. Since World War II the pace of technical development has increased. Until then, improvement in aircraft performance as a result of the application of scientific research proceeded at what. now seems to be a relatively slow and orderly rate. Modest increases in speed, climb, range, or altitude were set as reasonable goals. Compressibility effects at high speeds were just beginning to be encountered and indicated a formidable barrier near the velocity of sound. This barrier has been found by research and experiment to be lees formidable than supposed, and we now see the possibility of radical gains in airplane performance that are of great military significance. Such gains are ak attainable by a potential enemy. The increased complexity of modern high performance

Source record↗

Low Activity Waste Glass Waste Form Data Package for Hanford's Integrated Disposal Facility Performance Assessment - 16480

A Direct Feed Low Activity Waste (DFLAW) flowsheet has been initiated to begin immobilization of Hanford tank wastes. In the DFLAW configuration, a pretreatment system will segregate the high level and the low activity wastes (LAW). The LAW will be immobilized in the Waste Treatment Plant (WTP) and disposed of in Hanford's Integrated Disposal Facility (IDF). To obtain authorization to dispose of wastes in the IDF, a Performance Assessment (PA) must be completed in accordance with DOE Order 435.1. The PA shall include calculations of potential doses to representative future members of the public and potential releases from the facility to provide a reasonable expectation that performance objectives will not be exceeded as a result of operation and closure of the facility. To support the development of the PA, data from ILAW glass testing are needed to model the long term release of contaminants over the compliance period and verify that impacts to groundwater quality will be within performance objective limits. Washington River Protection Solutions is conducting an ILAW glass testing program to produce the required data. This program is a combined effort involving National Laboratories with known expertise in glass waste form research. The work involves accelerated testing to develop parameters that can be used in computer simulations of glass corrosion and contaminant release in the IDF environment. The results of this work will be compiled in an ILAW glass waste form performance data package for the IDF PA. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

1s2 1S-1s np 1P transitions of the helium isoelectronic sequence members up to Z = 30

Radial integrals have been calculated under the one-electron hydrogenic model. Two different values of the effective charge parameter, one for the initial state and the other for the final state, are retained in these formulae. The model is able to reasonably reproduce the existing dipole oscillator strength values with little effort. The dipole oscillator strength values are given for many ions for the first time.

NASA Discipline Number 22-70↗

Reproducibility responsibilities in the HPC arena

Expecting bit-for-bit reproducibility in the HPC arena is not feasible because of the ever changing hardware and software. No user s application is an island; it lives in an HPC eco-system that changes over time. Old hardware stops working and even old software won t run on new hardware. Further, software libraries change over time either by changing the internals or even interfaces. So bit-for-bit reproducibility should not be expected. Rather a reasonable expectation is that results are reproducible within error bounds; or that the answers are close (which is its own debate.) To expect a researcher to reproduce their own results or the results of others within some error bounds, there must be enough information to recreate all the details of the experiment. This requires complete documentation of all phases of the researcher s workflow; from code to versioning to programming and runtime environments to publishing of data. This argument is the core statement of the Yale 2009 Declaration on Reproducible Research [1]. Although the HPC ecosystem is often outside the researchers control, the application code could be built almost identically and there is a chance for very similar results with just only round-off error differences. To achieve complete documentation at every step, the researcher, the computing center, and the funding agencies all have a role. In this thesis, the role of the researcher is expanded upon as compared to the Yale report and the role of the computing centers is described.

Fahey, Mark R↗

Consolidated Storage Facilities: Camel's Nose or Shared Burden? - 13112

The Blue Ribbon Commission (BRC) made a strong argument why the reformulated nuclear waste program should make prompt efforts to develop one or more consolidated storage facilities (CSFs), and recommended the amendment of NWPA Section 145(b) 2 (linking 'monitored retrievable storage' to repository development) as an essential means to that end. However, other than recommending that the siting of CSFs should be 'consent-based' and that spent nuclear fuel (SNF) at stranded sites should be first-in-line for removal, the Commission made few recommendations regarding how CSF development should proceed. Working with three other key Senators, Jeff Bingaman attempted in the 112. Congress to craft legislation (S. 3469) to put the BRC recommendations into legislative language. The key reason why the Nuclear Waste Administration Act of 2012 did not proceed was the inability of the four senators to agree on whether and how to amend NWPA Section 145(b). A brief review of efforts to site consolidated storage since the Nuclear Waste Policy Amendments Act of 1987 suggests a strong and consistent motivation to shift the burden to someone (anyone) else. This paper argues that modification of NWPA Section 145(b) should be accompanied by guidelines for regional development and operation of CSFs. After review of the BRC recommendations regarding CSFs, and the 'camel's nose' prospects if implementation is not accompanied by further guidelines, the paper outlines a proposal for implementation of CSFs on a regional basis, including priorities for removal from reactor sites and subsequently from CSFs to repositories. Rather than allowing repository siting to be prejudiced by the location of a single remote CSF, the regional approach limits transport for off-site acceptance and storage, increases the efficiency of removal operations, provides a useful basis for compensation to states and communities that accept CSFs, and gives states with shared circumstances a shared stake in storage and disposal in an integrated national program. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Polar Research with Unmanned Aircraft and Tethered Balloons

The Arctic is experiencing rapid climate change, with nearly double the rate of surface warming observed elsewhere on the planet. While various positive feedback mechanisms have been suggested, the reasons for Arctic amplification are not well understood, nor are the impacts to the global carbon cycle well quantified. Additionally, there are uncertainties associated with the complex interactions between Earth’s surface and the atmosphere. Elucidating the causes and consequences of Arctic warming is one of the many goals of the Climate and Environmental Sciences Division (CESD) of the U.S. Department of Energy’s (DOE) Biological and Environmental Research (BER) program, and is part of the larger CESD initiative to develop a robust predictive understanding of Earth’s climate system.

54 ENVIRONMENTAL SCIENCES↗

Stress generation in thermally grown oxide films

A three dimensional finite element analysis was conducted, using the ANSYS computer program, of the stress state in a thin oxide film thermally formed on a rectangular piece of NiCrAl alloy. The analytical results indicate a very high compressive stress in the lateral directions of the film (approximately 6200 MPa), and tensile stresses in the metal substrate that ranged from essentially zero to about 55 MPa. It was found further that the intensity of the analytically determined average stresses could be approximated reasonably well by the modification of an equation developed previously by Oxx for stresses induced into bodies by thermal gradients.

Kumnick, A. J.↗