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

A tool for modeling concurrent real-time computation

Real-time computation is a significant area of research in general, and in AI in particular. The complexity of practical real-time problems demands use of knowledge-based problem solving techniques while satisfying real-time performance constraints. Since the demands of a complex real-time problem cannot be predicted (owing to the dynamic nature of the environment) powerful dynamic resource control techniques are needed to monitor and control the performance. A real-time computation model for a real-time tool, an implementation of the QP-Net simulator on a Symbolics machine, and an implementation on a Butterfly multiprocessor machine are briefly described.

Sharma, D. D.↗

A Data-Driven Solution for Performance Improvement

Marketed as the "Software of the Future," Optimal Engineering Systems P.I. EXPERT(TM) technology offers statistical process control and optimization techniques that are critical to businesses looking to restructure or accelerate operations in order to gain a competitive edge. Kennedy Space Center granted Optimal Engineering Systems the funding and aid necessary to develop a prototype of the process monitoring and improvement software. Completion of this prototype demonstrated that it was possible to integrate traditional statistical quality assurance tools with robust optimization techniques in a user- friendly format that is visually compelling. Using an expert system knowledge base, the software allows the user to determine objectives, capture constraints and out-of-control processes, predict results, and compute optimal process settings.

Source record↗

Effect of Sulfur Concentration and PH Conditions on Akaganeite Formation: Understanding Akaganeite Formation Conditions in Yellowknife Bay, Gale Crater, Mars

The Chemistry and Mineralogy Instrument (CHEMIN) on board the Mars Science Laboratory (MSL) Curiosity Rover identified minor amounts of akaganeite (beta-FeOOH) at Yellowknife Bay, Mars. There is also evidence for akaganeite at other localities on Mars from the Compact Reconnaissance Imaging Spectrometer for Mars (CRISM). Akaganeite is an iron(III) hydroxide with a hollandite- like structure and Cl in its tunnels. Terrestrial akaganeite usually forms in Cl-rich environments under acidic, oxidizing conditions. Previous studies of akaganeite have revealed that akaganeite formation is affected by the presence of sulfate (hereafter denoted as S. The prediction of circumneutral pH coupled with the detection of S at Yellowknife Bay dictate that work is needed to determine how S and pH together affect akaganeite formation. The goal of this work is to study how changes in both S concentration and pH influence akaganeite precipitation. Akaganeite formation was investigated at S/Cl molar ratios of 0, 0.017, 0.083, 0.17 and 0.33 at pH 1.5, 2, and 4. Results are anticipated to provide combined S concentration and pH constraints on akaganeite formation in Yellowknife Bay and elsewhere on Mars. Knowledge of solution pH and S concentrations can be utilized in understanding microbial habitability potential on the Martian surface.

Fox, A.↗

Embedding physics domain knowledge into a Bayesian network enables layer-by-layer process innovation for photovoltaics

Process optimization of photovoltaic devices is a time-intensive, trial-and-error endeavor, which lacks full transparency of the underlying physics and relies on user-imposed constraints that may or may not lead to a global optimum. Herein, we demonstrate that embedding physics domain knowledge into a Bayesian network enables an optimization approach for gallium arsenide (GaAs) solar cells that identifies the root cause(s) of underperformance with layer-by-layer resolution and reveals alternative optimal process windows beyond traditional black-box optimization. Our Bayesian network approach links a key GaAs process variable (growth temperature) to material descriptors (bulk and interface properties, e.g., bulk lifetime, doping, and surface recombination) and device performance parameters (e.g., cell efficiency). For this purpose, we combine a Bayesian inference framework with a neural network surrogate device-physics model that is 100× faster than numerical solvers. With the trained surrogate model and only a small number of experimental samples, our approach reduces significantly the time-consuming intervention and characterization required by the experimentalist. As a demonstration of our method, in only five metal organic chemical vapor depositions, we identify a superior growth temperature profile for the window, bulk, and back surface field layer of a GaAs solar cell, without any secondary measurements, and demonstrate a 6.5% relative AM1.5G efficiency improvement above traditional grid search methods.

14 SOLAR ENERGY↗

On Anomaly Detection for Transactive Energy Systems with Competitive Market

Two anomaly-detection criteria are proposed for transactive energy systems with competitive markets. Participants of transactive energy systems seek an optimal power allocation through hybrid economic-control methods to facilitate the integration of various types of distributed energy resources to power distribution systems. In transactive energy systems, every participant is assumed to be a rational entity, and consumers have diminishing marginal utility and suppliers have increasing marginal cost. With the first proposed anomaly-detection criterion, the monotonicity of marginal cost and marginal utility are examined. The impact of line flow constraints is also taken into consideration. Then, the second anomaly-detection criterion is proposed for TESs with marginal cost and marginal utility which change faster than a certain rate. The second criterion is more accurate than the first one for TES with marginal cost and marginal utility which change faster than a certain rate, but it requires the knowledge of that rate. Neither criteria requires more data than those necessary to find the optimal power allocation and the market-clear price in a transactive energy system. Therefore, the proposed criteria do not disclose any more data than necessary. As the monotonicity of marginal cost and marginal utility in a TES with competitive markets results in convex objective functions in an optimization problem and strongly convex ones when marginal cost and marginal utility changes faster than a certain rate, the two detection criteria are also applicable to anomaly detection of general convex optimization problems. Simulations are carried out to show the efficacy of the proposed criteria to detect anomalies caused by cyberattacks.

Wang, Peng↗

Host and nonhost bacteria support bacteriophage dissemination along mycelia and abiotic dispersal networks

Abstract Bacteriophages play a crucial role in shaping bacterial communities, yet the mechanisms by which nonmotile bacteriophages interact with their hosts remain poorly understood. This knowledge gap is especially pronounced in structured environments like soil, where spatial constraints and air-filled zones hinder aqueous diffusion. In soil, hyphae of filamentous microorganisms form a network of ‘fungal highways’ (FHs) that facilitate the dispersal of other microorganisms. We propose that FHs also promote bacteriophage dissemination. Viral particles can diffuse in liquid films surrounding hyphae or be transported by infectable (host) or uninfectable (nonhost) bacterial carriers coexisting on FH networks. To test this, two bacteriophages that infect Pseudomonas putida DSM291 (host) but not KT2440 (nonhost) were used. In the absence of carriers, bacteriophages showed limited diffusion on 3D-printed abiotic networks, but diffusion was significantly improved in Pythium ultimum-formed FHs when the number of connecting hyphae exceeded 20. Transport by both host and nonhost carriers enhanced bacteriophage dissemination. Host carriers were five times more effective in transporting bacteriophages, particularly in FHs with over 30 connecting hyphae. This study enhances our understanding of bacteriophage dissemination in nonsaturated environments like soils, highlighting the importance of biotic networks and bacterial hosts in facilitating this process.

Périat, Claire (ORCID:000000020825625X)↗

Resolution enhancement of multichannel microwave imagery from the Nimbus-7 SMMR for maritime rainfall analysis

A restoration of the 37, 21, 18, 10.7, and 6.6 GHz satellite imagery from the scanning multichannel microwave radiometer (SMMR) aboard Nimbus-7 to 22.2 km resolution is attempted using a deconvolution method based upon nonlinear programming. The images are deconvolved with and without the aid of prescribed constraints, which force the processed image to abide by partial a priori knowledge of the high-resolution result. The restored microwave imagery may be utilized to examined the distribution of precipitating liquid water in marine rain systems.

Olson, W. S.↗

Resolution enhancement of multichannel microwave imagery from the Nimbus-7 SMMR for maritime rainfall analysis

A restoration of the 37, 21, 18, 10.7, and 6.6 GHz satellite imagery from the scanning multichannel microwave radiometer (SMMR) aboard Nimbus-7 to 22.2 km resolution is attempted using a deconvolution method based upon nonlinear programming. The images are deconvolved with and without the aid of prescribed constraints, which force the processed image to abide by partial a priori knowledge of the high-resolution result. The restored microwave imagery may be utilized to examine the distribution of precipitating liquid water in marine rain systems.

Olson, William S.↗

Using a constraint on the parallel velocity when determining electric fields with EISCAT

A method is proposed to determine the perpendicular components of the ion velocity vector (and hence the perpendicular electric field) from EISCAT tristatic measurements, in which one introduces an additional constraint on the parallel velocity, in order to take account of our knowledge that the parallel velocity of ions is small. This procedure removes some artificial features introduced when the tristatic geometry becomes too unfavorable. It is particularly well suited for the southernmost or northernmost positions of the tristatic measurements performed by meridian scan experiments (CP3 mode).

Caudal, G.↗

Spacecraft command verification: The AI solution

Recently, a knowledge-based approach was used to develop a system called the Command Constraint Checker (CCC) for TRW. CCC was created to automate the process of verifying spacecraft command sequences. To check command files by hand for timing and sequencing errors is a time-consuming and error-prone task. Conventional software solutions were rejected when it was estimated that it would require 36 man-months to build an automated tool to check constraints by conventional methods. Using rule-based representation to model the various timing and sequencing constraints of the spacecraft, CCC was developed and tested in only three months. By applying artificial intelligence techniques, CCC designers were able to demonstrate the viability of AI as a tool to transform difficult problems into easily managed tasks. The design considerations used in developing CCC are discussed and the potential impact of this system on future satellite programs is examined.

Fesq, Lorraine M.↗

A study of navigation in virtual space

In the physical world, man has developed efficient methods for navigation and orientation. These methods are dependent on the high-fidelity stimuli presented by the environment. When placed in a virtual world which cannot offer stimuli of the same quality due to computing constraints and immature technology, tasks requiring the maintenance of position and orientation knowledge become laborious. In this paper, we present a representative set of techniques based on principles of navigation derived from real world analogs including human and avian navigation behavior and cartography. A preliminary classification of virtual worlds is presented based on the size of the world, the density of objects in the world, and the level of activity taking place in the world. We also summarize an informal study we performed to determine how the tools influenced the subjects' navigation strategies and behavior. We conclude that principles extracted from real world navigation aids such as maps can be seen to apply in virtual environments.

Darken, Rudy↗

Deuterium Fractionation in Analogs of Interstellar Ices: Laboratory Measurements

A question of key interest in the field of Astrobiology is the extent to which organic compounds made in space may play a role in the origin of life in planetary systems. In general, the best proof that at least some interstellar materials survive incorporation into forming stellar/planetary systems is their identification in extraterrestrial samples through detection of the isotopic anomalies they may carry. In the case of organic compounds, the chief isotopic anomalies that might be expected are the enrichment of D and 15N. and such enrichments are seen in primitive extraterrestrial materials, for example, in the organics in carbonaceous chondrites and interplanetary dust particles. In my talk I will review the various astrochemical processes by which deuterium can become enriched in organic compounds and will discuss some recent laboratory experiments that examine one of these processes in particular. name]y the UV photolysis of interstellar ices. Finally, I will review the current state of our knowledge of D enrichments in primitive solar system materials and discuss the constraints these data place on the relative importance of the various possible interstellar D enrichment processes.

Sandford, Scott A.↗

Mock Catalogs for the Extragalactic X-ray Sky: Simulating AGN Surveys with ATHENA and with the AXIS Probe

We present a series of new, publicly available mock catalogs of X-ray selected active galactic nuclei (AGNs), nonactive galaxies, and clusters of galaxies. These mocks are based on up-to-date observational results on the demographic of extragalactic X-ray sources and their extrapolations. They reach fluxes below 10-20 erg cm-2 s-1 in the 0.5–2 keV band, that is, more than an order of magnitude below the predicted limits of future deep fields, and they therefore represent an important tool for simulating extragalactic X-ray surveys with both current and future telescopes. We used our mocks to perform a set of end-to-end simulations of X-ray surveys with the forthcoming ATHENA mission and with the AXIS probe, a subarcsecond resolution X-ray mission concept proposed to the Astro 2020 Decadal Survey. We find that these proposed, next generation surveys may transform our knowledge of the deep X-ray Universe. As an example, in a total observing time of 15 Ms, AXIS would detect ~225 000 AGNs and ~50 000 nonactive galaxies, reaching a flux limit of f0:5-2 ~ 5 x 10-19 erg cm-2 s-1 in the 0.5–2 keV band, with an improvement of over an order of magnitude with respect to surveys with current X-ray facilities. Consequently, 90% of these sources would be detected for the first time in the X-rays. Furthermore, we show that deep and wide X-ray surveys with instruments such as AXIS and ATHENA are expected to detect ~20 000 z > 3 AGNs and ~250 sources at redshift z > 6, thus opening a new window of knowledge on the evolution of AGNs over cosmic time and putting strong constraints on the predictions of theoretical models of black hole seed accretion in the early universe.

X-ray galaxies↗

Integrity Constraint Monitoring in Software Development: Proposed Architectures

In the development of complex software systems, designers are required to obtain from many sources and manage vast amounts of knowledge of the system being built and communicate this information to personnel with a variety of backgrounds. Knowledge concerning the properties of the system, including the structure of, relationships between and limitations of the data objects in the system, becomes increasingly more vital as the complexity of the system and the number of knowledge sources increases. Ensuring that violations of these properties do not occur becomes steadily more challenging. One approach toward managing the enforcement or system properties, called context monitoring, uses a centralized repository of integrity constraints and a constraint satisfiability mechanism for dynamic verification of property enforcement during program execution. The focus of this paper is to describe possible software architectures that define a mechanism for dynamically checking the satisfiability of a set of constraints on a program. The next section describes the context monitoring approach in general. Section 3 gives an overview of the work currently being done toward the addition of an integrity constraint satisfiability mechanism to a high-level program language, SequenceL, and demonstrates how this model is being examined to develop a general software architecture. Section 4 describes possible architectures for a general constraint satisfiability mechanism, as well as an alternative approach that, uses embedded database queries in lieu of an external monitor. The paper concludes with a brief summary outlining the, current state of the research and future work.

Fernandez, Francisco G.↗

Empirical results on scheduling and dynamic backtracking

At the Honeywell Technology Center (HTC), we have been working on a scheduling problem related to commercial avionics. This application is large, complex, and hard to solve. To be a little more concrete: 'large' means almost 20,000 activities, 'complex' means several activity types, periodic behavior, and assorted types of temporal constraints, and 'hard to solve' means that we have been unable to eliminate backtracking through the use of search heuristics. At this point, we can generate solutions, where solutions exist, or report failure and sometimes why the system failed. To the best of our knowledge, this is among the largest and most complex scheduling problems to have been solved as a constraint satisfaction problem, at least that has appeared in the published literature. This abstract is a preliminary report on what we have done and how. In the next section, we present our approach to treating scheduling as a constraint satisfaction problem. The following sections present the application in more detail and describe how we solve scheduling problems in the application domain. The implemented system makes use of Ginsberg's Dynamic Backtracking algorithm, with some minor extensions to improve its utility for scheduling. We describe those extensions and the performance of the resulting system. The paper concludes with some general remarks, open questions and plans for future work.

Boddy, Mark S.↗

DIAMS revisited: Taming the variety of knowledge in fault diagnosis expert systems

The DIAMS program, initiated in 1986, led to the development of a prototype expert system, DIAMS-1 dedicated to the Telecom 1 Attitude and Orbit Control System, and to a near-operational system, DIAMS-2, covering a whole satellite (the Telecom 2 platform and its interfaces with the payload), which was installed in the Satellite Control Center in 1993. The refinement of the knowledge representation and reasoning is now being studied, focusing on the introduction of appropriate handling of incompleteness, uncertainty and time, and keeping in mind operational constraints. For the latest generation of the tool, DIAMS-3, a new architecture has been proposed, that enables the cooperative exploitation of various models and knowledge representations. On the same baseline, new solutions enabling higher integration of diagnostic systems in the operational environment and cooperation with other knowledge intensive systems such as data analysis, planning or procedure management tools have been introduced.

Haziza, M.↗

Data-Driven Chance-Constrained Design of Voltage Droop Control for Distribution Networks: Preprint

This paper addresses the design of local control methods for voltage control in distribution networks with high level of distributed energy resources (DERs). The designed control methods adapt the active and reactive power output of distributed energy resources proportional to the deviation of the local measured voltage magnitudes from a reference voltage, which is referred to as droop control. Thus, the design focuses on determining the droop characteristics which satisfy network-wide voltage magnitude constraints. The uncertainty and variability of DERs renders the design of optimal droop controls very challenging. Hence, this paper proposes chance constraints to limit the risk from intermittent DERs, by designing droop control coefficients that guarantee the satisfaction of network operational constraints with a specific probability. In addition, the proposed approach relies entirely on historical data rather than assuming knowledge of the probability distributions that characterize the uncertainty of DERs. The efficacy of the proposed method is demonstrated on a 37-bus distribution feeder.

chance-constrained optimization↗

Faster Exo-Earth Yield for HabEx and LUVOIR via Extreme Precision Radial Velocity Prior Knowledge

The HabEx and LUVOIR mission concepts reported science yields for mission scenarios in which the instruments must search for potentially habitable planets, determine their orbits, and, if worthwhile, invest the integration time for a spectral characterization. We evaluate the impact of prior knowledge of planet existence and orbital parameters on yield for four mission concept architectures: HabEx 4m telescope with hybrid starshade and coronagraph, HabEx4m telescope with starshade only, HabEx 4m telescope with coronagraph only, and LUVOIR B8m telescope with coronagraph only. We use perfect prior knowledge to establish an upperbound on yield and use partial prior knowledge from a potential future extreme precision radial velocity (EPRV) instrument with3cm∕ssensitivity. We detail a modeling framework that per-forms dynamically responsive observation scheduling with realistic mission constraints. We evaluate exo-Earth yields against three metrics of spectral characterization for the four mission architectures and three levels of prior knowledge (none, partial, and perfect). The EPRV pro-vided prior knowledge increases yields by∼30%and accelerates by a factor of 3 to 6 the time to achieve half of the yield of the mission. Prior knowledge makes all the mission architectures more nimble and powerful, and most especially starshade-based architectures. With prior knowledge, a small telescope with a starshade can achieve comparable yield to a larger telescope with a coronagraph.

Rhonda Morgan↗