Search NASA⌕ Search

SEARCH · Search NASA

Results for “Topic Modeling”

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 145 records · Page 8

Design and application of electromechanical actuators for deep space missions

During the period 8/16/92 through 2/15/93, work has been focused on three major topics: (1) screw modeling and testing; (2) motor selection; and (3) health monitoring and fault diagnosis. Detailed theoretical analysis has been performed to specify a full dynamic model for the roller screw. A test stand has been designed for model parameter estimation and screw testing. In addition, the test stand is expected to be used to perform a study on transverse screw loading.

Haskew, Tim A.↗

Finite element model and identification procedure

Viewgraphs on finite element model and identification procedure are presented. Topics covered include: interferometer finite element model; testbed mode shapes; finite element model update; identification procedure; shaker locations; data analysis; modal frequency and damping comparison; computational procedure; fit comparison; residue analysis; typical residues; identification/FEM residual comparison; and pathlength control using isolation mounts.

How, Jonathan P.↗

Path planning control

Viewgraphs on path planning control are presented. Topics covered include: model based path planning; sensor based path planning; hybrid path planning; proximity sensor array; and applications for fuzzy logic.

Mcroberts, Malcolm↗

Studies in turbulence

Various papers on turbulence are presented. Individual topics addressed include: modeling the dissipation rate in rotating turbulent flows, mapping closures for turbulent mixing and reaction, understanding turbulence in vortex dynamics, models for the structure and dynamics of near-wall turbulence, complexity of turbulence near a wall, proper orthogonal decomposition, propagating structures in wall-bounded turbulence flows. Also discussed are: constitutive relation in compressible turbulence, compressible turbulence and shock waves, direct simulation of compressible turbulence in a shear flow, structural genesis in wall-bounded turbulence flows, vortex lattice structure of turbulent shear slows, etiology of shear layer vortices, trilinear coordinates in fluid mechanics.

Gatski, Thomas B.↗

Workshop on the Analysis of Interplanetary Dust Particles

Great progress has been made in the analysis of interplanetary dust particles (IDP's) over the past few years. This workshop provided a forum for the discussion of the following topics: observation and modeling of dust in the solar system, mineralogy and petrography of IDP's, processing of IDP's in the solar system and terrestrial atmosphere, comparison of IDP's to meteorites and micrometeorites, composition of IDP's, classification, and collection of IDP's.

Zolensky, Michael E.↗

Integrated System Health Management: Foundational Concepts, Approach, and Implementation.

Implementation of integrated system health management (ISHM) capability is fundamentally linked to the management of data, information, and knowledge (DIaK) with the purposeful objective of determining the health of a system. It is akin to having a team of experts who are all individually and collectively observing and analyzing a complex system, and communicating effectively with each other in order to arrive to an accurate and reliable assessment of its health. We present concepts, procedures, and a specific approach as a foundation for implementing a credible ISHM capability. The capability stresses integration of DIaK from all elements of a system. The intent is also to make possible implementation of on-board ISHM capability, in contrast to a remote capability. The information presented is the result of many years of research, development, and maturation of technologies, and of prototype implementations in operational systems (rocket engine test facilities). The paper will address the following topics: 1. ISHM Model of a system 2. Detection of anomaly indicators. 3. Determination and confirmation of anomalies. 4. Diagnostic of causes and determination of effects. 5. Consistency checking cycle. 6. Management of health information 7. User Interfaces 8. Example implementation ISHM has been defined from many perspectives. We define it as a capability that might be achieved by various approaches. We describe a specific approach that has been matured throughout many years of development, and pilot implementations. ISHM is a capability that is achieved by integrating data, information, and knowledge (DIaK) that might be distributed throughout the system elements (which inherently implies capability to manage DIaK associated with distributed sub-systems). DIaK must be available to any element of a system at the right time and in accordance with a meaningful context. ISHM Functional Capability Level (FCL) is measured by how well a system performs the following functions: (1) detect anomalies, (2) diagnose causes, (3) predict future anomalies/failures, and (4) provide the user with an integrated awareness about the condition of every element in the system and guide user decisions.

Figueroa, Fernando↗

Ares I-X Launch Vehicle Modal Test Measurements and Data Quality Assessments

The Ares I-X modal test program consisted of three modal tests conducted at the Vehicle Assembly Building at NASA s Kennedy Space Center. The first test was performed on the 71-foot 53,000-pound top segment of the Ares I-X launch vehicle known as Super Stack 5 and the second test was performed on the 66-foot 146,000- pound middle segment known as Super Stack 1. For these tests, two 250 lb-peak electro-dynamic shakers were used to excite bending and shell modes with the test articles resting on the floor. The third modal test was performed on the 327-foot 1,800,000-pound Ares I-X launch vehicle mounted to the Mobile Launcher Platform. The excitation for this test consisted of four 1000+ lb-peak hydraulic shakers arranged to excite the vehicle s cantilevered bending modes. Because the frequencies of interest for these modal tests ranged from 0.02 to 30 Hz, high sensitivity capacitive accelerometers were used. Excitation techniques included impact, burst random, pure random, and force controlled sine sweep. This paper provides the test details for the companion papers covering the Ares I-X finite element model calibration process. Topics to be discussed include test setups, procedures, measurements, data quality assessments, and consistency of modal parameter estimates.

Templeton, Justin D.↗

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↗

IT Research Services: Powerful Tools to Track a Fast Moving Industry

Research services change and evolve over time, sometimes suddenly, in their focus, topics, formats, service model, etc. You have to check in often. Some offer products that you can customize to your environment, others not so much. You will find a variation in customer management practices (e.g., when and how they share information) ...can sometimes be annoying. Assess your needs carefully. Each research service has a very different service model. Explore ways to share or lower the cost. Someone out there may share the expense when that is an option. Make sure you read the small print. It can work for you as well as against you. When in doubt, ask your Vendor's POC. Set up Research Service "gurus or SME's." Not to violate the copyright agreement of course, just have someone who knows what's there. After you subscribe, reassess.Get the most out of your investment. Some early enthusiasts will fade, and there will be others who don't know it's there and can use it.

Hunter, Paul↗

Executable Architecture Research at Old Dominion University

Executable Architectures allow the evaluation of system architectures not only regarding their static, but also their dynamic behavior. However, the systems engineering community do not agree on a common formal specification of executable architectures. To close this gap and identify necessary elements of an executable architecture, a modeling language, and a modeling formalism is topic of ongoing PhD research. In addition, systems are generally defined and applied in an operational context to provide capabilities and enable missions. To maximize the benefits of executable architectures, a second PhD effort introduces the idea of creating an executable context in addition to the executable architecture. The results move the validation of architectures from the current information domain into the knowledge domain and improve the reliability of such validation efforts. The paper presents research and results of both doctoral research efforts and puts them into a common context of state-of-the-art of systems engineering methods supporting more agility.

Tolk, Andreas↗

Modeling and analysis tools

The topics covered are presented in viewgraph form and include the following: the effect of the Mars environment on systems; the design of models and modeling tools; space environment interaction information dissemination; tools used in the development and validation of models; Space Exploration Initiative planning; and systems integration.

Jongeward, Gary↗

Near field interaction of microwave signals with a bounded plasma plume

The objective was to study the effect of the arcjet thruster plume on the performance of an onboard satellite reflector antenna. A project summary is presented along with sections on plasma and electromagnetic modeling. The plasma modeling section includes the following topics: wave propagation; plasma analysis; plume electron density model; and the proposed experimental program. The section on electromagnetic modeling includes new developments in ray modeling and the validation of three dimensional ray results.

Ling, Hao↗

Sea ice-atmospheric interaction: Application of multispectral satellite data in polar surface energy flux estimates

This is the third annual report on: Sea Ice-Atmosphere Interaction - Application of Multispectral Satellite Data in Polar Surface Energy Flux Estimates. The main emphasis during the past year was on: radiative flux estimates from satellite data; intercomparison of satellite and ground-based cloud amounts; radiative cloud forcing; calibration of the Advanced Very High Resolution Radiometer (AVHRR) visible channels and comparison of two satellite derived albedo data sets; and on flux modeling for leads. Major topics covered are arctic clouds and radiation; snow and ice albedo, and leads and modeling.

Steffen, Konrad↗

A comparative review of radiation aerosol models

Aerosol characteristics to be introduced into a set of models within a framework of a Standard Radiation Atmosphere (SRA) are reviewed, and a reconciliation of the Toon and Pollack (TP) global model with the SRA models is attempted. Among the topics discussed are physical and radiative characteristics, radiation aerosol models, albedo for single scattering, and phase function and spectral variation of extinction. Size distribution models are also covered, inclusive the Junge power law, and the modified gamma-, log normal-, and zold-distribution. Recommendations include modifying the SRA profile VI to resemble the Elterman profile modified in the TP model, improving discontinuity at the tropopause level for all SRA models, and retaining the same log-normal size distribution for all SRA components.

Lenoble, J.↗

Modeling and Simulation at NASA

This slide presentation is composed of two topics. The first reviews the use of modeling and simulation (M&S) particularly as it relates to the Constellation program and discrete event simulation (DES). DES is defined as a process and system analysis, through time-based and resource constrained probabilistic simulation models, that provide insight into operation system performance. The DES shows that the cycles for a launch from manufacturing and assembly to launch and recovery is about 45 days and that approximately 4 launches per year are practicable. The second topic reviews a NASA Standard for Modeling and Simulation. The Columbia Accident Investigation Board made some recommendations related to models and simulations. Some of the ideas inherent in the new standard are the documentation of M&S activities, an assessment of the credibility, and reporting to decision makers, which should include the analysis of the results, a statement as to the uncertainty in the results,and the credibility of the results. There is also discussion about verification and validation (V&V) of models. There is also discussion about the different types of models and simulation.

Steele, Martin J.↗

Upgrades, Current Capabilities and Near-Term Plans of the NASA ARC Mars Climate

We describe and review recent upgrades to the ARC Mars climate modeling framework, in particular, with regards to physical parameterizations (i.e., testing, implementation, modularization and documentation); the current climate modeling capabilities; selected research topics regarding current/past climates; and then, our near-term plans related to the NASA ARC Mars general circulation modeling (GCM) project.

Hollingsworth, J. L.↗