Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Knowledge constraint”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Cool, Evolved Stars: Results, Challenges, and Promises for the Next Decade

Cool, evolved stars are the main source of chemical enrichment of the interstellar medium (ISM), and understanding their mass loss and structure offers a unique opportunity to study the cycle of matter in the Universe. Pulsation, convection, and other dynamic processes in cool evolved stars create an atmosphere where molecules and dust can form, including those necessary to the formation of life (e.g. Carbon-bearing molecules). Understanding the structure and composition of these stars is thus vital to several aspects of stellar astrophysics, ranging from ISM studies to modeling young galaxies and to exoplanet research. Recent modeling efforts and increasingly precise observations now reveal that our understanding of cool stars photospheric, chromospheric, and atmospheric structures is limited by inadequate knowledge of the dynamic and chemical processes at work. Here we outline promising scientific opportunities for the next decade that can provide essential constraints on stellar photospheres, chromospheres, and circumstellar envelopes (CSE), and tie together analyses of the spectra and interferometric and imaging observations of evolved stars. We identify and discuss the following main opportunities: (1) identify and model the physical processes that must be included in current 1D and 3D atmosphere models of cool, evolved stars; (2) refine our understanding of photospheric, chromospheric, and outer atmospheric regions of cool evolved stars, their properties and parameters, through high-resolution spectroscopic observations, and interferometric observations at high angular resolution; (3) include the neglected role of chromospheric activity in the mass loss process of red giant branch (RGB) and red super giant (RSG) stars and understand the role played by their magnetic fields; (4) identify the important shaping mechanisms for planetary nebulae (PNe) and their relation with the parent Asymptotic Giant Branch (AGB) stars.

Gioia Rau↗
NASA NTRSDate not supplied

High-Temperature MEMS Based Venus Seismometer

Seismology is the method of choice for studying a planet’s interior and assessing current tectonic activity. With a single strategically placed seismometer, or preferably a network of seismometers, a variety of key aspects of a planet can be evaluated. The level and nature of seismicity observed provides a gauge of current geologic, especially tectonic, activity. Where tectonic activity is and is not occurring illuminates what regions and geologic features on the planet are currently active, thus, constraining global geodynamics. Larger distal earthquakes can be used to determine major compositional and structural boundaries within a planet’s interior, providing major constraints on planet formation and interior evolution. Seismometers have been deployed successfully on the Moon and Mars. Only small subsets of the scientific knowledge that can be gained from seismology can be obtained from alternative scientific approaches, such as global gravity solutions or repeat-pass interferometry. By virtue of its similar size to Earth, Venus is likely to be highly seismically active (Fig. 1). Even at Earth-like levels of seismology, returning meaningful data would require observation over a period that is at least 2–3 orders of magnitude longer than the 1–2 h lifetime of previous Soviet landers. Clever insulation could extend the lifetime of standard electronics in a modern lander to perhaps 24 h. While active cooling of electronics for a Venusian lander is plausible, this approach would require considerable technological advancement and will likely come at a high monetary and mass cost. The high density of the Venusian atmosphere at the surface should mean that there is good coupling of seismic energy into the atmosphere, such that seismology using infrasound from a balloon platform is currently being explored, and observations of the upper levels of the atmosphere from orbit has also been proposed [3]. Besides losing all shear wave information with these two methods, calibrating and interpreting seismic information that has been distorted by, and convolved with, atmospheric phenomena will be challenging without existing seismology data collected through surface seismometers (optimally, simultaneous surface seismological observations would be made).

silicon carbide↗
NASA NTRS2017

Low-Thrust Trajectory Optimization with Simplified SQP Algorithm

The problem of low-thrust trajectory optimization in highly perturbed dynamics is a stressing case for many optimization tools. Highly nonlinear dynamics and continuous thrust are each, separately, non-trivial problems in the field of optimal control, and when combined, the problem is even more difficult. This paper de-scribes a fast, robust method to design a trajectory in the CRTBP (circular restricted three body problem), beginning with no or very little knowledge of the system. The approach is inspired by the SQP (sequential quadratic programming) algorithm, in which a general nonlinear programming problem is solved via a sequence of quadratic problems. A few key simplifications make the algorithm presented fast and robust to initial guess: a quadratic cost function, neglecting the line search step when the solution is known to be far away, judicious use of end-point constraints, and mesh refinement on multiple shooting with fixed-step integration.In comparison to the traditional approach of plugging the problem into a “black-box” NLP solver, the methods shown converge even when given no knowledge of the solution at all. It was found that the only piece of information that the user needs to provide is a rough guess for the time of flight, as the transfer time guess will dictate which set of local solutions the algorithm could converge on. This robustness to initial guess is a compelling feature, as three-body orbit transfers are challenging to design with intuition alone. Of course, if a high-quality initial guess is available, the methods shown are still valid.We have shown that endpoints can be efficiently constrained to lie on 3-body repeating orbits, and that time of flight can be optimized as well. When optimizing the endpoints, we must make a trade between converging quickly on sub-optimal endpoints or converging more slowly on end-points that are arbitrarily close to optimal. It is easy for the mission design engineer to adjust this trade based on the problem at hand.The biggest limitation to the algorithm at this point is that multi-revolution transfers (greater than 2 revolutions) do not work nearly as well. This restriction comes in because the relationship between node 1 and node N becomes increasingly nonlinear as the angular distance grows. Trans-fers with more than about 1.5 complete revolutions generally require the line search to improve convergence. Future work includes: Comparison of this algorithm with other established tools; improvements to how multiple-revolution transfers are handled; parallelization of the Jacobian computation; in-creased efficiency for the line search; and optimization of many more trajectories between a variety of 3-body orbits.

Parrish, Nathan L.↗
NASA NTRS1996

Constraints on Circumstellar Dust Grain Sizes from High Spatial Resolution Observations in the Thermal Infrared

We describe how high spatial resolution imaging of circumstellar dust at a wavelength of about 10 micron, combined with knowledge of the source spectral energy distribution, can yield useful information about the sizes of the individual dust grains responsible for the infrared emission. Much can be learned even when only upper limits to source size are available. In parallel with high-resolution single-telescope imaging that may resolve the more extended mid-infrared sources, we plan to apply these less direct techniques to interpretation of future observations from two-element optical interferometers, where quite general arguments may be made despite only crude imaging capability. Results to date indicate a tendency for circumstellar grain sizes to be rather large compared to the Mathis-Rumpl-Nordsieck size distribution traditionally thought to characterize dust in the general interstellar medium. This may mean that processing of grains after their initial formation and ejection from circumstellar atmospheres adjusts their size distribution to the ISM curve; further mid-infrared observations of grains in various environments would help to confirm this conjecture.

Bloemhof, E. E.↗
NASA NTRS1990

SURE (Science User Resource Expert): A science planning and scheduling assistant for a resource based environment

SURE (Science User Resource Expert) is one of three components that compose the SURPASS (Science User Resource Planning and Scheduling System). This system is a planning and scheduling tool which supports distributed planning and scheduling, based on resource allocation and optimization. Currently SURE is being used within the SURPASS by the UARS (Upper Atmospheric Research Satellite) SOLSTICE instrument to build a daily science plan and activity schedule and in a prototyping effort with NASA GSFC to demonstrate distributed planning and scheduling for the SOLSTICE II instrument on the EOS platform. For the SOLSTICE application the SURE utilizes a rule-based system. Development of a rule-based program using Ada CLIPS as opposed to using conventional programming, allows for capture of the science planning and scheduling heuristics in rules and provides flexibility in inserting or removing rules as the scientific objectives and mission constraints change. The SURE system's role as a component in the SURPASS, the purpose of the SURE planning and scheduling tool, the SURE knowledge base, and the software architecture of the SURE component are described.

Thalman, Nancy E.↗
NASA NTRS1991

A TOPEX/Poseidon study of oceanic effects on observations of the Earth's interior

The primary objective of our research program is the application of TOPEX/POSEIDON oceanic data to the study of various geophysical observations, thereby improving our knowledge of the Earth's interior. Observations of the Earth's solid tides, rotation, time-dependent gravity, and crustal deformation provide potentially useful constraints on properties of the solid Earth and its liquid core, but all these parameters are also sensitive to oceanic effects. Depending on the type of observation, those effects are usually either removed by modeling (often using particularly simple assumptions about the dynamics of the ocean) or ignored entirely. Useful oceanic data are rarely available. In many cases, the uncertainty in the oceanic correction is the main source of error in the geophysical interpretation of the results. We describe, below several of these geophysical observations, how their interpretation in terms of the Earth's interior is affected by the oceans, and how data from the TOPEX/POSEIDON mission can be used to improve this situation.

Wahr, John↗
NASA NTRS1994

Rationale for Isidis Planitia as a back-up landing site for the Mars Pathfinder mission

The present engineering constraints imposed on the Mars Pathfinder mission leave only three broad regions available for site selection: Amazonis, Chryse, and Isidis Planitia. Because of the knowledge gained by the Viking 1 mission, Chryse Planitia would make an ideal primary landing site. Geological characteristics of Isidis Planitia are discussed with a view to making it a back-up landing site.

Craddock, Robert A.↗
NASA NTRS2016

Deductive Evaluation: Formal Code Analysis With Low User Burden

We describe a framework for symbolically evaluating iterative C code using a deductive approach that automatically discovers and proves program properties. Although verification is not performed, the method can infer detailed program behavior. Software engineering work flows could be enhanced by this type of analysis. Floyd-Hoare verification principles are applied to synthesize loop invariants, using a library of iteration-specific deductive knowledge. When needed, theorem proving is interleaved with evaluation and performed on the fly. Evaluation results take the form of inferred expressions and type constraints for values of program variables. An implementation using PVS (Prototype Verification System) is presented along with results for sample C functions.

Di Vito, Ben. L↗
NASA NTRS2019

Primary Nanocrystalline Anhydrous Chondrule Mesostasis: Limited Evidence of Secondary Alteration in Most CR Chondrites

The chondrule regions generally regarded to be most susceptible to aqueous alteration are mesostasis and Fe-Ni metal nodules. In CMs, studies of mesostasis have successfully placed contraints into their asteroidal histories. Unlike CM mesostasis, only a few studies of CR mesostasis are currently available [e.g. 1-4]. Here we study the effects aqueous alteration can have on the texture, composition, and mineralogy of CR chondrule mesostasis from 9 Antarctic CR chondrites: EET 92062,5, EET 96259,13, GRA 95229,77, GRO 95577,61 LAP 02342,44, LAP 04516,4, LAP 04720,16 and MIL 07525,7 and MIL 090001,2, generously provided by the U.S. Antarctic Meteorite Collection. To our knowledge, this is the first detailed TEM and compositional study of differences between chondrule setting in CR mesostasis. Based on these data, we place constraints on the degree to which these CRs record aqueous alteration.

Abreu, N. M.↗
NASA NTRS1998

Fuzzy Versions of Epistemic and Deontic Logic

Epistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.

Ramasamy S Gounder↗
DOE OSTI2021

Benefits and Critical Knowledge Gaps in Determining the Role of Floating Photovoltaics in the Energy-Water-Food Nexus

Floating solar photovoltaic (FPV) systems have become an increasingly attractive application of photovoltaics (PV) because of land-use constraints, the cost of land and site preparation, and the perceived energy and environmental co-benefits. Despite the increasing interest in FPV systems, a robust validation of their suggested co-benefits and impacts on the nexus of energy, water, and food (EWF) systems is lacking. This information gap makes it challenging for decision makers to justify its adoption—potentially suppressing FPV deployment. To address this gap and to help de-risk this PV deployment opportunity, we (1) review the suggested co-benefits of FPV systems with a focus on the impacts that could alleviate pressures on EWF systems and (2) identify areas where further research is needed to reduce uncertainty around FPV system performance. Our review reveals that EWF nexus-relevant co-benefits, such as improved panel efficiency and reduced land usage, are corroborated in the literature, whereas others, such as water quality impacts, lack empirical evidence. Our findings indicate that further research is needed to quantify the water-related and broader economic, environmental, social, sustainability, justice, and resilience co-benefits and impacts of FPV systems.

14 SOLAR ENERGY↗
NASA NTRS1987

Research on knowledge representation, machine learning, and knowledge acquisition

Research in knowledge representation, machine learning, and knowledge acquisition performed at Knowledge Systems Lab. is summarized. The major goal of the research was to develop flexible, effective methods for representing the qualitative knowledge necessary for solving large problems that require symbolic reasoning as well as numerical computation. The research focused on integrating different representation methods to describe different kinds of knowledge more effectively than any one method can alone. In particular, emphasis was placed on representing and using spatial information about three dimensional objects and constraints on the arrangement of these objects in space. Another major theme is the development of robust machine learning programs that can be integrated with a variety of intelligent systems. To achieve this goal, learning methods were designed, implemented and experimented within several different problem solving environments.

Buchanan, Bruce G.↗
NASA NTRS2010

X-48B Phase 1 Flight Maneuver Database and ICP Airspace Constraint Analysis

The work preformed during the Summer 2010 by Peter Fast. The main tasks assigned were to update and improve the X-48 Flight Maneuver Database and conduct an Airspace Constraint Analysis for the Remotely Operated Aircraft Area used to flight test Unmanned Arial Vehicles. The final task was to develop and demonstrate a working knowledge of flight control theory.

Fast, Peter Alan↗
NASA NTRS2013

Translating MAPGEN to ASPEN for MER

This software translates MAPGEN (Europa and APGEN) domains to ASPEN, and the resulting domain can be used to perform planning for the Mars Exploration Rover (MER). In other words, this is a conversion of two distinct planning languages (both declarative and procedural) to a third (declarative) planning language in order to solve the problem of faithful translation from mixed-domain representations into the ASPEN Modeling Language. The MAPGEN planning system is an example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for MER tactical planning. The adaptation of the planning system (ASPEN) was investigated, and, with some translation, much of the procedural knowledge encoding is amenable to declarative knowledge encoding. The approach was to compose translators from the core languages used for adapting MAGPEN, which consists of Europa and APGEN. Europa is a constraint- based planner/scheduler where domains are encoded using a declarative model. APGEN is also constraint-based, in that it tracks constraints on resources and states and other variables. Domains are encoded in both constraints and code snippets that execute according to a forward sweep through the plan. Europa and APGEN communicate to each other using proxy activities in APGEN that represent constraints and/or tokens in Europa. The composition of a translator from Europa to ASPEN was fairly straightforward, as ASPEN is also a declarative planning system, and the specific uses of Europa for the MER domain matched ASPEN s native encoding fairly closely. On the other hand, translating from APGEN to ASPEN was considerably more involved. On the surface, the types of activities and resources one encodes in APGEN appear to match oneto- one to the activities, state variables, and resources in ASPEN. But, when looking into the definitions of how resources are profiled and activities are expanded, one sees code snippets that access various information available during planning for the moment in time being planned to decide at the time what the appropriate profile or expansion is. APGEN is actually a forward (in time) sweeping discrete event simulator, where the model is composed of code snippets that are artfully interleaved by the engine to produce a plan/schedule. To solve this problem, representative code is simulated as a declarative series of task expansions. Predominantly, three types of procedural models were translated: loops, if statements, and code blocks. Loops and if statements were handled using controlled task expansion, and code blocks were handled using constraint networks that maintained the generation of results based on what the order of execution would be for a procedural representation. One advantage with respect to performance for MAPGEN is the use of APGEN s GUI. This GUI is written in C++ and Motif, and performs very well for large plans.

Rabideau, Gregg R.↗
NASA NTRS2017

Development and Testing of a Novel Green Propellant Piston Tank

Analytical Mechanics Associates (AMA), in cooperation with NASA Marshall Space Flight Center's (MSFC's) Spacecraft Propulsion Systems Branch, developed and tested a novel propellant tank design that employs an internal piston pressurized with an inert gas to expel propellant to thrusters. During the course of this activity, AMA designed, oversaw fabrication, and delivered to MSFC for testing, a piston propellant tank sized for 3U or larger CubeSats. MSFC conducted liquid expulsion testing using ethylene glycol as a referee fluid to map the tank's performance at different pressures and piston positions. Following the expulsion test campaign, the tank is planned to be integrated into a propulsion system test bed for hot fire tests with a 100mN monopropellant thruster to evaluate the tank's influence on thruster performance when operated in a flight like manner. Described in this paper is a comprehensive summary of how the tanks were designed, built, and tested. The fundamental knowledge gained through the fabrication and testing of these tanks gives evidence that the piston tank design may be scalable to meet the requirements and constraints of other small satellites.

Diaz, C. E.↗
DOE OSTI2022

A machine learning pipeline for membrane segmentation of cryo-electron tomograms

We describe how to use several machine learning techniques organized in a learning pipeline to segment and identify cell membrane structures from cryo electron tomograms. These tomograms are difficult to analyze with traditional segmentation tools. The learning pipeline in our approach starts from supervised learning via a special convolutional neural network trained with simulated data. It continues with semi-supervised reinforcement learning and/or a region merging technique that tries to piece together disconnected components belonging to the same membrane structure. A parametric or non-parametric fitting procedure is then used to enhance the segmentation results and quantify uncertainties in the fitting. Domain knowledge is used in generating the training data for the neural network and in guiding the fitting procedure through the use of appropriately chosen priors and constraints. We demonstrate that the approach proposed here works well for extracting membrane surfaces in two real tomogram datasets.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1986

Sensitivity of the curve-to-growth technique utilized in rocket experiments to determine the line shape of solar He I resonance lines

The sensitivity of the curve-of-growth (COG) technique utilized in rocket measurements to determine the line profiles of the solar He I resonance emissions is theoretically examined with attention to the possibility of determining the line core shape using this technique. The line at 584.334 A is chosen as an illustration. Various possible source functions of the solar line have been assumed in the computation of the integrated transmitted intensity. A recent observational data set obtained by the present researchers is used as the constraint of the computation. It is confirmed that the COG technique can indeed provide a good measurement of the solar line width. However, to obtain detailed knowledge of the solar profile at line center and in the core region, (1) it is necessary to be able to carry out relative solar flux measurements with a 1-percent or better precision, and (2) it must be possible to measure the He gas pressure in the absorption cell to lower than 0.1 mtorr. While these numbers apply specifically to the present geometry, the results are readily scaled to other COG measurements using other experimental parameters.

Wu, C. Y. R.↗
NASA NTRS2012

Plug-in Plan Tool v3.0.3.1

The role of PLUTO (Plug-in Port UTilization Officer) and the growth of the International Space Station (ISS) have exceeded the capabilities of the current tool PiP (Plug-in Plan). Its users (crew and flight controllers) have expressed an interest in a new, easy-to-use tool with a higher level of interactivity and functionality that is not bound by the limitations of Excel. The PiP Tool assists crewmembers and ground controllers in making real-time decisions concerning the safety and compatibility of hardware plugged into the UOPs (Utility Outlet Panels) onboard the ISS. The PiP Tool also provides a reference to the current configuration of the hardware plugged in to the UOPs, and enables the PLUTO and crew to test Plug-in locations for constraint violations (such as cable connector mismatches or amp limit violations), to see the amps and volts for an end item, to see whether or not the end item uses 1553 data, and the cable length between the outlet and the end item. As new equipment is flown or returned, the database can be updated appropriately as needed. The current tool is a macroheavy Excel spreadsheet with its own database and reporting functionality. The new tool captures the capabilities of the original tool, ports them to new software, defines a new dataset, and compensates for ever-growing unique constraints associated with the Plug-in Plan. New constraints were designed into the tool, and updates to existing constraints were added to provide more flexibility and customizability. In addition, there is an option to associate a "Flag" with each device that will let the user know there is a unique constraint associated with it when they use it. This helps improve the safety and efficiency of real-time calls by limiting the amount of "corporate knowledge" overhead that has to be trained and learned through use. The tool helps save time by automating previous manual processes, such as calculating connector types and deciding which cables are required and in what order.

Andrea-Liner, Kathleen E.↗