Search NASA⌕ Search

SEARCH · Search NASA

Results for “PROCEEDING”

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 163 records · Page 9

Proceedings of Minnowbrook Workshops I to VI

This DVD collection includes the complete proceedings of Minnowbrook Workshops I through VI. Titles include Minnowbrook I - 1993 Workshop on End-Stage Boundary Layer Transition (NASA/CP-2007-214667, CASI ID 20070038942), Minnowbrook II - 1997 Workshop on Boundary Layer Transition in Turbomachines (NASA/CP-1998-206958, CASI ID 19980206205), Minnowbrook III - 2000 Workshop on Boundary Layer Transition and Unsteady Aspects of Turbomachinery Flow (NASA/CP-2001-210888, CASI ID 20020067662), Minnowbrook IV - 2003 Workshop on Transition and Unsteady Aspects of Turbomachinery Flows (NASA TM-2004-212913, CASI ID 20040121174), Minnowbrook V - 2006 Workshop on Unsteady Flows in Turbomachinery (NASA/CP-2006-214484, CASI ID 20070024781), and Minnowbrook VI - 2009 Workshop on Flow Physics and Control for Internal and External Aerodynamics (NASA/CP-2010-216112, CASI ID 20100018557).

John E. Lagraff↗

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Ewen, Denney, W.↗

Proceedings of the International Meteorological Satellite Workshop

International Meteorological Satellite Workshop, November 13-22, 1961, presented the results of the meteorological satellite program of the United States and the possibilities for the future, so that-- the weather services of other nations may acquire a working knowledge of meteorological satellite data for assistance in their future analysis programs both in research and in daily synoptic application and guidance in their national observational support efforts; the world meteorological community may become more familiar with the TIROS program.; and the present activity may be put in proper perspective relative to future operational programs.

SATELLITE↗

Protection Against Radiation Hazards in Space, Book I Proceedings of the Symposium at Gatlinburg, Tenn., Nov. 5-7, 1962

BOOK 1: Radiation Environment in Space Effects of Space Radiation on Radiosensitive Objects Biological Effects of Space Radiation BOOK 2 : Shielding Against Space Radiations The realization in recent years that outer space is traversed by high-energy radiations has caused man to reevaluate the feasibility of manned or even instrumented exploration outside our atmosphere. Fortunately, it is possible to determine the nature and intensities of these radiations and to produce similar radiations on earth by means of accelerators. Thus we can learn how to attenuate them and to design capsules which afford protection against them. Of course this protection carries a weight penalty so that there is a premium on optimizing the shield design. Many groups in the United States are engaged in research to this end, and it was the purpose of this symposium to bring these groups together so that they could exchange information. To make the meeting more comprehensive, sessions on the nature of the radiations and their effects on people and things were included. However, the major part of the meeting was devoted to discussions on shielding research, comprising theoretical calculations and experiments carried out mainly with high-energy accelerators. The symposium committee feels that the aims of the symposium were met and that progress in space research program was greatly accelerated thereby.

RADIATION SHIELDING↗

Proceedings of the Symposium on the Protection Against Radiation Hazards in Space

Shielding Against Space Radiations The realization in recent years that outer space is traversed by high-energy radiations has caused man to reevaluate the feasibility of manned or even instrumented exploration outside our atmosphere. Fortunately, it is possible to determine the nature and intensities of these radiations and to produce similar radiations on earth by means of accelerators. Thus we can learn how to attenuate them and to design capsules which afford protection against them. Of course this protection carries a weight penalty so that there is a premium on optimizing the shield design. Many groups in the United States are engaged in research to this end, and it was the purpose of this symposium to bring these groups together so that they could exchange information. To make the meeting more comprehensive, sessions on the nature of the radiations and their effects on people and things were included. However, the major part of the meeting was devoted to discussions on shielding research, comprising theoretical calculations and experiments carried out mainly with high-energy accelerators. The symposium committee feels that the aims of the symposium were met and that progress in space research program was greatly accelerated thereby.

SECONDARY EMISSION↗

Proceedings of the Nimbus Program Review

The Nimbus program review was conducted at the George Washington Motor Lodge and at General Electric Missiles and Space Division, Valley Forge, Pennsylvania, on November 14, 15, and 16, 1962. The purpose of the review was twofold: first, to present to top management of the Goddard Space Flight Center (GSFC), National Aeronautics and Space Administration (NASA) Headquarters, other NASA elements, Joint Meteorological Satellite Advisory Committee (_MSAC), Weather Bureau, subsystem contractors, and others, a clear picture of the Nimbus program, its organization, its past accomplishments, current status, and remaining work, emphasizing the continuing need and opportunity for major contributions by the industrial community; second, to bring together project and contractor technical personnel responsible for the planning, execution, and support of the integration and test of the spacecraft to be initiated at General Electric shortly. This book is a compilation of the papers presented during the review and also contains a list of those attending.

SYSTEMS ANALYSIS↗