SEARCH · Search NASA

Results for “Formal 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.

SourceResearch connectionFrom yearThrough year

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

At least 631 records · Page 35

All sources NASA NTRS DOE OSTI

DOE OSTI2022

Analysis of Bose-Einstein condensation times for self-interacting scalar dark matter

We investigate the condensation time of self-interacting axionlike particles in a gravitational well, extending the prior work which showed that the Wigner formalism is a good analytic approach to describe a condensing scalar field. In the present work, we use this formalism to affirm that $\phi$4 self-interactions will take longer than necessary to support the time scales associated with structure formation, making gravity a necessary part of the process to bring axion dark matter into a solitonic form. Here we show that when the axions’ virial velocity is taken into account, the time scale associated with self-interactions will scale as λ2. This is consistent with recent numerical estimates, and it confirms that the Wigner formalism described in prior work is a helpful analytic framework to check computational work for potential numerical artifacts.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2022

Extraction of the higher-twist parton distribution $e(x)$ from CLAS data

We present the first point-by-point extraction of a twist-3 PDF. The scalar PDF, e(x), is accessed through the analysis of the data for the sin φR-moment of the beam-spin asymmetry for dihadron production in semi-inclusive DIS off proton target at CLAS and CLAS12. The dihadron formalism allows for use of collinear framework, hence calling for a minimal set of approximations and hypotheses. The extracted PDF e(x) carries insights into the physics of the largely-unexplored quark-gluon correlations, and its first Mellin moment is related to the marginally known scalar charge of the nucleon. We show that the proton flavor combination of the scalar PDF is nonzero at more than 74% probability.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2025

Revisiting the assignment of atomic charges in metal oxides based on core-level x-ray photoelectron spectra: The case of Ti in SrTiO3(001)

We demonstrate that assigning formal charges to transition metal (TM) cations based on core-level (CL) x-ray photoemission binding energies in oxides leads to physically inconsistent pictures of electronic structure. O 2p–TM 3d hybridization is well known to result in significant covalency in TM–O bonds, thereby reducing TM cation charges from their fully ionic values. However, the ionic bonding model remains the working paradigm for assigning TM CL features, and the resulting cation charges are often taken to be representative of the material under study. Here, we show that a more physically meaningful way to assign charges is to extract information about charge distributions utilizing Dirac–Hartree–Fock theory to calculate CL spectra from first principles and then use the resulting wave functions to determine charges based on orbital occupancies. TM cation charges can also be determined using density functional theory and Bader population analysis. We illustrate these two methods using the Ti 2p spectrum for SrTiO3(001) and show that the agreement between them is excellent. Significantly, the resulting Ti charge is considerably lower than the formal charge. The high degree of similarity between the Ti 2p spectrum for SrTiO3 and those for the rutile and anatase polymorphs of TiO2 suggests that the charge densities surrounding Ti in the latter materials are similar to that in SrTiO3. Taking a broader perspective, oxides containing other first-row transition metals also exhibit covalent character, leading to TM cation charges lower than the analogous fully ionic values in these materials as well.

Chambers, Scott A. (ORCID:000000025415043X)↗

DOE OSTI2025

Decoding Antenna Behavior in Metal—Organic Frameworks

Metal–organic frameworks (MOFs) define a solid-state platform for developing artificial photosystems. Efficient anisotropic exciton migrations in these frameworks entail “antenna behavior” that can power up the distal interior reaction centers (RC), driving charge separation between donor-acceptor pairs. Reminiscent of the natural light-harvesting complex, such processes can achieve high quantum yield by exploiting the vast interior surface of the porous crystallites. It is important to understand the optimum positioning of the RC site relative to the anisotropic exciton migration path within these frameworks. The efficiency of such antenna behavior is probed here through Stern–Volmer (SV) type analysis with a series of node-anchored redox quenchers, ferrocene-carboxylate, ferrocene acetate, and dinitrobenzoate. Decoding various intrinsic processes, this work constructs a revised SV formalism in solid assembly that hosts ultrafast anisotropic exciton migration to account for the intrinsic exciton hopping rate from the extrinsic electron transfer rate, and the dimension of effective quenching. In conclusion, this transformative understanding can be applied to other relevant solid-state assemblies.

Saha, Bapan [Southern Illinois University, Carbond↗

DOE OSTI2025

Molecular Design of Al(II) Intermediates for Small Molecule Activation

Promoting societally important small molecule activation processes with earth-abundant metals is foundational for a sustainable chemistry future. In this context, mapping new reaction pathways that would enable abundant main-group elements to mimic the behaviors of d- and f-block elements is facilitated by exploring unusual oxidation states. The most abundant metal on earth, aluminum, has been well studied in the Lewis acidic +III and Lewis basic +I oxidation states but rarely in the potentially biphilic +II oxidation state until recently, when a renaissance of Al(II) chemistry emerged from a range of research groups. In this Perspective, we review the chemistry of mononuclear Al radicals, including both Al-centered radicals (i.e., Al(II) compounds) and redox non-innocent systems (i.e., formally Al(II) species that are physically Al(III) with ligand-centered radicals), with an emphasis on small molecule reactivity. We also provide a meta-analysis of the Al(II) literature to summarize how different design strategies (e.g., redox non-innocence, strained coordination geometries) have been shown to impart biphilic character to Al radicals and tune their behavior, thus allowing Al radicals to mimic the chemistry of certain d- and f-block metal ions such as Ti(III) and Sm(II). We expect these molecular design concepts to inform future Al(II) studies as the chemistry of this unusual oxidation state of Al continues to grow.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS1981

Geodesy by radio interferometry - Intercontinental distance determinations with subdecimeter precision

Analysis of very-long-baseline interferometer (VLBI) observations yielded estimates of the distances between three radio telescopes in the United States and one in Sweden, with formal standard errors of a few centimeters: Westford, Massachusetts-Onsala, Sweden: 5,599,714.66 + or - 0.03 m; Green Bank, West Virginia-Onsala, Sweden: 6,319,317.75 + or - 0.03 m; and Owens Valley, California-Onsala, Sweden: 7,914,131.19 + or - 0.04 m, where the earth-fixed reference points are defined in each case with respect to the axes of the telescopes. The actual standard errors are difficult to estimate reliably but are probably not greater than twice the formal errors.

Herring, T. A.↗

NASA NTRS1985

Optimization methods applied to the aerodynamic design of helicopter rotor blades

This paper describes a formal optimization procedure for helicopter rotor blade designs which minimizes hover horsepower while assuring satisfactory forward flight performance. The approach is to couple hover and forward flight analysis programs with a general purpose optimization procedure. The resulting optimization system provides a systematic evaluation of the rotor blade design variables and their interaction, thus reducing the time and cost of designing advanced rotor blades. The paper discusses the basis for and details of the overall procedure, describes the generation of advanced blade designs for representative Army helicopters, and compares designs and design effort with those from the conventional approach which is based on parametric studies and extensive cross-plots.

Walsh, J. L.↗

NASA NTRS1987

Optimization methods applied to the aerodynamic design of helicopter rotor blades

Described is a formal optimization procedure for helicopter rotor blade design which minimizes hover horsepower while assuring satisfactory forward flight performance. The approach is to couple hover and forward flight analysis programs with a general-purpose optimization procedure. The resulting optimization system provides a systematic evaluation of the rotor blade design variables and their interaction, thus reducing the time and cost of designing advanced rotor blades. The paper discusses the basis for and details of the overall procedure, describes the generation of advanced blade designs for representative Army helicopters, and compares design and design effort with those from the conventional approach which is based on parametric studies and extensive cross-plots.

Walsh, Joanne L.↗

NASA NTRS1986

Simple methods of exploiting the underlying structure of rule-based systems

Much recent work in the field of expert systems research has aimed at exploiting the underlying structures of the rule base for reasons of analysis. Such techniques as Petri-nets and GAGs have been proposed as representational structures that will allow complete analysis. Much has been made of proving isomorphisms between the rule bases and the mechanisms, and in examining the theoretical power of this analysis. In this paper we describe some early work in a new system which has much simpler (and thus, one hopes, more easily achieved) aims and less formality. The technique being examined is a very simple one: OPS5 programs are analyzed in a purely syntactic way and a FSA description is generated. In this paper we describe the technique and some user interface tools which exploit this structure.

Hendler, James↗

NASA NTRS1991

Experiences at Langley Research Center in the application of optimization techniques to helicopter airframes for vibration reduction

A NASA/industry rotorcraft structural dynamics program known as Design Analysis Methods for VIBrationS (DAMVIBS) was initiated at Langley Research Center in 1984 with the objective of establishing the technology base needed by the industry for developing an advanced finite-element-based vibrations design analysis capability for airframe structures. As a part of the in-house activities contributing to that program, a study was undertaken to investigate the use of formal, nonlinear programming-based, numerical optimization techniques for airframe vibrations design work. Considerable progress has been made in connection with that study since its inception in 1985. This paper presents a unified summary of the experiences and results of that study. The formulation and solution of airframe optimization problems are discussed. Particular attention is given to describing the implementation of a new computational procedure based on MSC/NASTRAN and CONstrained function MINimization (CONMIN) in a computer program system called DYNOPT for the optimization of airframes subject to strength, frequency, dynamic response, and fatigue constraints. The results from the application of the DYNOPT program to the Bell AH-1G helicopter are presented and discussed.

Murthy, T. Sreekanta↗

NASA NTRS1991

Experiences at Langley Research Center in the application of optimization techniques to helicopter airframes for vibration reduction

Sreekanta Murthy, T.↗

NASA NTRS2001

The Statistical Consulting Center for Astronomy (SCCA)

The process by which raw astronomical data acquisition is transformed into scientifically meaningful results and interpretation typically involves many statistical steps. Traditional astronomy limits itself to a narrow range of old and familiar statistical methods: means and standard deviations; least-squares methods like chi(sup 2) minimization; and simple nonparametric procedures such as the Kolmogorov-Smirnov tests. These tools are often inadequate for the complex problems and datasets under investigations, and recent years have witnessed an increased usage of maximum-likelihood, survival analysis, multivariate analysis, wavelet and advanced time-series methods. The Statistical Consulting Center for Astronomy (SCCA) assisted astronomers with the use of sophisticated tools, and to match these tools with specific problems. The SCCA operated with two professors of statistics and a professor of astronomy working together. Questions were received by e-mail, and were discussed in detail with the questioner. Summaries of those questions and answers leading to new approaches were posted on the Web (www.state.psu.edu/ mga/SCCA). In addition to serving individual astronomers, the SCCA established a Web site for general use that provides hypertext links to selected on-line public-domain statistical software and services. The StatCodes site (www.astro.psu.edu/statcodes) provides over 200 links in the areas of: Bayesian statistics; censored and truncated data; correlation and regression, density estimation and smoothing, general statistics packages and information; image analysis; interactive Web tools; multivariate analysis; multivariate clustering and classification; nonparametric analysis; software written by astronomers; spatial statistics; statistical distributions; time series analysis; and visualization tools. StatCodes has received a remarkable high and constant hit rate of 250 hits/week (over 10,000/year) since its inception in mid-1997. It is of interest to scientists both within and outside of astronomy. The most popular sections are multivariate techniques, image analysis, and time series analysis. Hundreds of copies of the ASURV, SLOPES and CENS-TAU codes developed by SCCA scientists were also downloaded from the StatCodes site. In addition to formal SCCA duties, SCCA scientists continued a variety of related activities in astrostatistics, including refereeing of statistically oriented papers submitted to the Astrophysical Journal, talks in meetings including Feigelson's talk to science journalists entitled "The reemergence of astrostatistics" at the American Association for the Advancement of Science meeting, and published papers of astrostatistical content.

Akritas, Michael↗

NASA NTRS2005

Nature and Variability of Coronal Streamers and their Relationship to the Slow Speed Wind

NASA Grant NAG5-12781 is a study on the "Nature and Variability of Coronal Streamers and their Relationship to the Slow Speed Wind." The two main goals of this study are to identify: 1) Where in the streamer structure does the solar wind originate, and 2) What coronal conditions are responsible for the variability of the slow speed wind. To answer the first question, we examined the mostly closed magnetic field regions in streamer cores to search for evidence of outflow. Preliminary results from the OVI Doppler dimming ratios indicates that most of the flow originates from the edges of coronal streamers but this idea should be confirmed by a comparison of the coronal plasma properties with in situ solar wind data. To answer the second question, the work performed thus far suggests that solar minimum streamers have larger perpendicular velocity distributions than do solar maximum streamers. If it can be shown that solar minimum streamers also produce higher solar wind speeds then this would suggest that streamers and coronal holes have similar solar wind acceleration mechanisms. The key to both questions lie in the analysis of the in situ solar wind data sets. This work was not able to be completed during the period of performance and therefore the grant was formally extended for an additional year at no cost to NASA. We hope to have final results and a publication by the end of the calendar year 2004. The SAO personnel involved in the research are Leonard Strachan (PI), Mari Paz Miralles, Alexander Panasyuk, and a Southern University student Michael Baham.

Strachan, Leonard↗

NASA NTRS1992

Design and Analysis Techniques for Concurrent Blackboard Systems

Blackboard systems are a natural progression of knowledge-based systems into a more powerful problem solving technique. They provide a way for several highly specialized knowledge sources to cooperate to solve large, complex problems. Blackboard systems incorporate the concepts developed by rule-based and expert systems programmers and include the ability to add conventionally coded knowledge sources. The small and specialized knowledge sources are easier to develop and test, and can be hosted on hardware specifically suited to the task that they are solving. The Formal Model for Blackboard Systems was developed to provide a consistent method for describing a blackboard system. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the Formal Model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. My research has shown that the level of independence and specialization of the knowledge sources directly affects the performance of blackboard systems. Using the design, simulation, and analysis tools, I developed a concurrent object-oriented blackboard system that is faster, more efficient, and more powerful than existing systems. The use of the design and analysis tools provided the highly specialized and independent knowledge sources required for my concurrent blackboard system to achieve its design goals.

Mcmanus, John William↗

NASA NTRS2011

Man-Machine Integration Design and Analysis System (MIDAS) v5: Augmentations, Motivations, and Directions for Aeronautics Applications

As automation and advanced technologies are introduced into transport systems ranging from the Next Generation Air Transportation System termed NextGen, to the advanced surface transportation systems as exemplified by the Intelligent Transportations Systems, to future systems designed for space exploration, there is an increased need to validly predict how the future systems will be vulnerable to error given the demands imposed by the assistive technologies. One formalized approach to study the impact of assistive technologies on the human operator in a safe and non-obtrusive manner is through the use of human performance models (HPMs). HPMs play an integral role when complex human-system designs are proposed, developed, and tested. One HPM tool termed the Man-machine Integration Design and Analysis System (MIDAS) is a NASA Ames Research Center HPM software tool that has been applied to predict human-system performance in various domains since 1986. MIDAS is a dynamic, integrated HPM and simulation environment that facilitates the design, visualization, and computational evaluation of complex man-machine system concepts in simulated operational environments. The paper will discuss a range of aviation specific applications including an approach used to model human error for NASA s Aviation Safety Program, and what-if analyses to evaluate flight deck technologies for NextGen operations. This chapter will culminate by raising two challenges for the field of predictive HPMs for complex human-system designs that evaluate assistive technologies: that of (1) model transparency and (2) model validation.

Gore, Brian F.↗

NASA NTRSDate not supplied

Standards Roadmapping for Mission Assurance in Commercial Spaceflight

This paper explores the application of established roadmapping approaches in standards planning and roadmap development to support mission assurance objectives. Mission assurance requires proactive planning across multiple domains including technical, schedule, cost, organizational, and policy. The intersection of these domains happens at the enterprise level, and enterprise systems engineering processes can systematically guide mission assurance activities, including development of standards roadmaps. Standards planning and development is a critical contributor to an effective mission assurance strategy, although standards are often developed and adopted reactively. Technology and standards planning is a key Enterprise Process Management activity, as identified by the Systems Engineering Body of Knowledge, and technology and standards roadmaps are strategic tools used to enable that process. Technology roadmapping has proven effective in guiding enterprise architecture and concept design, and standards planning supports enterprise requirements definition and management. However, there are limited methodologies to guide such standards planning activities. The application of technology roadmapping principles to standards planning formalizes the process and establishes a repeatable framework for standards development and integration. The framework development described in this paper fills a methodological gap by adapting proven roadmapping techniques to standards planning. Through a comparison of roadmapping methodologies and a case study analysis, this approach outlines a systematic process for anticipating and planning standards needs. In the case of developing a standards integration roadmap for NASA’s Office of Safety and Mission Assurance (OSMA), technology roadmapping principles were adapted to develop a roadmap framework to allow NASA and OSMA to define an agency-wide standards integration plan for commercial and industry safety and mission assurance standards. The outcome highlights key adaptations required for roadmapping in a standards context and describes the process steps to formalize a standards planning activity. The roadmapping framework adapted for standards development and integration enables more strategic, forward-looking standards planning and allows for better alignment between evolving capabilities and mission assurance requirements. Beyond its application to mission assurance, this methodology can be transferred to other domains requiring standards development, providing a systematic approach that integrates systems engineering principles into policy strategy and decision-making processes.

Enterprise Systems Engineering↗

NASA NTRS1993

Tools reference manual for a Requirements Specification Language (RSL), version 2.0

This report describes a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages, such as SADT (Structured Analysis and Design Technique), PSL (Problem Statement Language), and RMF (Requirements Modeling Framework). While languages such as these have useful features for structuring a specification, they generally lack formality. To overcome the deficiencies of informal requirements languages, RSL has constructs for formal mathematical specification. These constructs are similar to those found in formal specification languages such as EHDM (Enhanced Hierarchical Development Methodology), Larch, and OBJ3.

Fisher, Gene L.↗

NASA NTRS1995

Catalog of solar wind events identified from observations by ISTP spacecraft

The ISTP Science Planning and Operations Facility (SPOF), in collaboration with ISTP investigators, is developing a catalog of solar wind events and features. The catalog is primarily based on plasma and magnetic field observations from the WIND and IMP-8 spacecraft. Interplanetary events that may trigger magnetospheric activity are included as well as features of interest for using the solar wind as a plasma laboratory. Catalog coverage begins on September 8, 1992, the start of ISTP science data collection. The catalog is based on Key Parameter data sets (preliminary summary data at approximately 1 min time resolution produced quickly for survey purposes) and as such has limited citability in formal scientific work. Its primary intent is to serve as a reference for identifying candidate periods for further study, such as may be the focus of coordinated data analysis efforts during ISTP and/or IACG Science Campaigns. To facilitate access by members of the ISTP and wider space physics communities, the catalog will be available on the World Wide Web. The contents of the catalog will be described, and samples of catalog information will be presented.

Peredo, M.↗