Search NASA⌕ Search

SEARCH · Search NASA

Results for “Whither”

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.

12 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Whither CRM? Future directions in Crew Resource Management training in the cockpit and elsewhere

The past decade has shown worldwide adoption of human factors training in civil aviation, now known as Crew Resource Management (CRM). The shift in name from cockpit to crew reflects a growing trend to extend the training to other components of the aviation system including flight attendants, dispatchers, maintenance personnel, and Air Traffic Controllers. The paper reports findings and new directions in research into human factors.

Helmreich, Robert L.↗
NASA NTRS1996

Whither microbiology? Phylogenetic trees

The direct cloning and sequencing of genes from uncultured microorganisms in a hot spring suggests that the diversity of life on Earth may be far in excess of that estimated from culturable species.

NASA Discipline Exobiology↗
NASA NTRS2009

TLA+: Whence, Wherefore, and Whither

The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E.

Lamport, Leslie↗
NASA NTRS2016

The Transition from Thick to Thin Plate Wake Physics: Whither Vortex Shedding?

The near and very near wake of a flat plate with a circular trailing edge is investigated with data from direct numerical simulations. Computations were performed for six different combinations of the Reynolds numbers based on plate thickness (D) and boundary layer momentum thickness upstream of the trailing edge (theta). Unlike the case of the cylinder, these Reynolds numbers are independent parameters for the flat plate. The separating boundary layers are turbulent in all the cases investigated. One objective of the study is to understand the changes in the wake vortex shedding process as the plate thickness is reduced (increasing theta/D). The value of D varies by a factor of 16 and that of theta by approximately 5 in the computations. Vortex shedding is vigorous in the low theta/D cases with a substantial decrease in shedding intensity in the large theta/D cases. Other shedding characteristics are also significantly altered with increasing theta/D. A visualization of the shedding process in the different cases is provided and discussed. The basic shedding mechanism is explored in depth. The effect of changing theta/D on the time-averaged, near-wake velocity statistics is also discussed. A functional relationship between the shedding frequency and the Reynolds numbers mentioned above is obtained.

CFD↗
NASA NTRS1989

Discussion of the potential and limitations of direct and large-eddy simulations

The full text of the discussion paper presented at the Whither Turbulence Workshop on the potential and limitations of direct and large-eddy simulations is provided. Particular emphasis is placed on discussing the role of numerics and mathematical theory in direct simulations of both compressible and incompressible flows. A variety of unresolved issues with large-eddy simulations such as their implementation in high-order finite difference codes, problems with defiltering, and modifications to accommodate integrations to solid boundaries are elaborated on. These as well as other points are discussed in detail along with the authors' views concerning the prospects for future research.

Hussaini, M. Y.↗
NASA NTRS1989

Discussion of turbulence modelling: Past and future

The full text of a paper presented at the Whither Turbulence Workshop (Cornell University, March 22-24, 1989) on past and future trends in turbulence modeling is provided. It is argued that Reynolds stress models are likely to remain the preferred approach for technological applications for at least the next few decades. In general agreement with the Launder position paper, it is further argued that among the variety of Reynolds stress models in use, second-order closures constitute by far the most promising approach. However, some needed improvements in the specification of the turbulent length scale are emphasized. The central points of the paper are illustrated by examples from homogeneous turbulence.

Speziale, Charles G.↗
NASA NTRS2001

Non-Deterministic, Non-Traditional Methods (NDNTM)

The review effort identified research opportunities related to the use of nondeterministic, nontraditional methods to support aerospace design. The scope of the study was restricted to structural design rather than other areas such as control system design. Thus, the observations and conclusions are limited by that scope. The review identified a number of key results. The results include the potential for NASA/AF collaboration in the area of a design environment for advanced space access vehicles. The following key points set the context and delineate the key results. The Principal Investigator's (PI's) context for this study derived from participation as a Panel Member in the Air Force Scientific Advisory Board (AF/SAB) Summer Study Panel on 'Whither Hypersonics?' A key message from the Summer Study effort was a perceived need for a national program for a space access vehicle whose operating characteristics of cost, availability, deployability, and reliability most closely match the NASA 3rd Generation Reusable Launch Vehicle (RLV). The Panel urged the AF to make a significant joint commitment to such a program just as soon as the AF defined specific requirements for space access consistent with the AF Aerospace Vision 2020. The review brought home a concurrent need for a national vehicle design environment. Engineering design system technology is at a time point from which a revolution as significant as that brought about by the finite element method is possible, this one focusing on information integration on a scale that far surpasses current design environments. The study therefore fully supported the concept, if not some of the details of the Intelligent Synthesis Environment (ISE). It became abundantly clear during this study that the government (AF, NASA) and industry are not moving in the same direction in this regard, in fact each is moving in its own direction. NASA/ISE is not yet in an effective leadership position in this regard. However, NASA does have complementary software interoperability efforts that should be a part of any major ISE program. Software standards that assure interoperability of data systems and modeling representations are enabling for the proposed research advocated herein and should be a major element in the ISE initiative. The international standard for data interchange is known by the acronym 'STEP.' The NASA participation and lead for that effort is at the Goddard Space Flight Center. NASA/GRC is leading an effort to define CAD geometry standards through the Object Management Group (OMG). To enable the design environment so necessary to the above national vision for a unique space vehicle will require an integrating software environment with interoperability standards that allow the development and widespread deployment of tools and toolsets, rather than traditional "shrink-wrapped" software used by engineers today.

Cruse, Thomas A.↗
NASA NTRS2006

Critical Issues in the History of Spaceflight

At a May 1981 "Proseminar in Space History"held at the Smithsonian Institution's National Air and Space Museum (NASM) in Washington, DC, historians came together to consider the state of the discipline of space history. It was an historic occasion. The community of scholars interested in the history of spaceflight was not large; previously, well-meaning but untrained aficionados consumed with artifacts had dominated the field, to the exclusion of the larger context. At a fundamental level, this proseminar represented a "declaration of independence" for what might be called the "new aerospace history." In retrospect, it may be interpreted as marking the rise of space history as a recognizable subdiscipline within the field of U.S. history. Bringing together a diverse collection of scholars to review the state of the art in space history, this proseminar helped in a fundamental manner to define the field and to chart a course for future research. Its participants set about the task of charting a course for collecting, preserving, and disseminating the history of space exploration within a larger context of space policy and technology. In large measure, the course charted by the participants in this 1981 proseminar aided in advancing a very successful agenda of historical research, writing, and understanding of space history. Not every research project has yielded acceptable results, nor can it be expected to do so, but the sum of the effort since 1981 has been impressive. The opportunities for both the exploration of space and for recording its history have been significant. Both endeavors are noble and aimed at the enhancement of humanity. Whither the history of spaceflight? Only time will tell. But there has been an emergent "new aerospace history" of which space history is a central part that moves beyond an overriding concern for the details of the artifact to emphasize the broader role of the spacecraft. More importantly, it emphasizes the whole technological system, including not just the vehicle but also the other components that make up the aerospace climate, as an integral part of the human experience. It suggests that many unanswered questions spur the development of flight and that inquisitive individuals seek to know that which they do not understand.

Dick, Steven J.↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗