Search NASA⌕ Search

SEARCH · Search NASA

Results for “Constraint Checking”

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.

224 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

The SAX Italian scientific satellite. The on-board implemented automation as a support to the ground control capability

This paper presents the capabilities implemented in the SAX system for an efficient operations management during its in-flight mission. SAX is an Italian scientific satellite for x-ray astronomy whose major mission objectives impose quite tight constraints on the implementation of both the space and ground segment. The most relevant mission characteristics require an operative lifetime of two years, performing scientific observations both in contact and in noncontact periods, with a low equatorial orbit supported by one ground station, so that only a few minutes of communications are available each orbit. This operational scenario determines the need to have a satellite capable of performing the scheduled mission automatically and reacting autonomously to contingency situations. The implementation approach of the on-board operations management, through which the necessary automation and autonomy are achieved, follows a hierarchical structure. This has been achieved adopting a distributed avionic architecture. Nine different on-board computers, in fact, constitute the on-board data management system. Each of them performs the local control and monitors its own functions while the system level control is performed at a higher level by the data handling applications software. The SAX on-board architecture provides the ground operators with different options of intervention by three classes of telecommands. The management of the scientific operations will be scheduled by the operation control center via dedicated operating plans. The SAX satellite flight mode is presently being integrated at Alenia Spazio premises in Turin for a launch scheduled for the end of 1995. Once in orbit, the SAX satellite will be subject to intensive check-out activities in order to verify the required mission performances. An overview of the envisaged procedure and of the necessary on-ground activities is therefore depicted as well.

Martelli, Andrea↗
NASA NTRS2005

Monitoring the Intrinsic Absorption Complex Toward RX J1230.8+115

There is a very prominent intrinsic absorption complex in the spectrum of the quasar RX J1230.8+115. It was diagnosed as intrinsic due to partial covering of the quasar by the absorber, which can only happen for material very near to the quasar. Measuring a variability timescale for the absorption would allow us to place a more stringent constraint on the distance of the absorber from the central engine. Furthermore, understanding the variability and covering factors in different transitions can help to identify if it is due to changes in the ionizing source or transverse motion of the absorber. The OVI doublet is covered in the FUSE wavelength range. Unfortunately, our initial target, RX J1230.8+0115 could not be observed due to the failure of the first reaction wheel. We determined that another target, H 1821+643, could be observed and would satisfy similar science goals, understanding intrinsic narrow absorption line systems. Our specific goal for that target was to search for Ne VI11 absorption from the associated absorber. This observation was attempted, but the counts in the Sic channel, where the absorption was expected to lie, were too low to satisfy our science goal. This was, at least in part, due to a misalignment of the SiC mirrors. Because of this problem, more time was awarded. However, even the extra time was too little. It appears that the quasar may be too faint to properly align all the mirrors. So with disappointment, I report that we were not able to accomplish our science goals for this program. The funds were used to support my work with a graduate student, Jie Ding, to evaluate possible replacement targets once we learned that Rx J1230.8+115 would not be observable. We considered the intrinsic NAL candidates that we could find through a partial coverage analysis of doublets in the STIS E140M and E230M quasar spectra taken from the HST archive. We then checked the flux in the FUSE wavelength range, and in most cases of interest it was found to be too low to satisfy our S/N requirement in the exposure time we had been awarded. We decided that H1821+643 was the best choice for this project, even though the associated absorber we would be studying might in fact originate in the cluster with the quasar and not in intrinsic gas. Part of the appeal of the target, was in fact the opportunity to consider this issue. Please do not hesitate to contact me if more detail is needed for this report. I found it difficult to write a satisfying report under the circumstance and am uncertain if I've provided the proper level of information.

Charlton, Jane↗
NASA NTRS2006

Time Relevance of Convective Weather Forecast for Air Traffic Automation

The Federal Aviation Administration (FAA) is handling nearly 120,000 flights a day through its Air Traffic Management (ATM) system and air traffic congestion is expected to increse substantially over the next 20 years. Weather-induced impacts to throughput and efficiency are the leading cause of flight delays accounting for 70% of all delays with convective weather accounting for 60% of all weather related delays. To support the Next Generation Air Traffic System goal of operating at 3X current capacity in the NAS, ATC decision support tools are being developed to create advisories to assist controllers in all weather constraints. Initial development of these decision support tools did not integrate information regarding weather constraints such as thunderstorms and relied on an additional system to provide that information. Future Decision Support Tools should move towards an integrated system where weather constraints are factored into the advisory of a Decision Support Tool (DST). Several groups such at NASA-Ames, Lincoln Laboratories, and MITRE are integrating convective weather data with DSTs. A survey of current convective weather forecast and observation data show they span a wide range of temporal and spatial resolutions. Short range convective observations can be obtained every 5 mins with longer range forecasts out to several days updated every 6 hrs. Today, the short range forecasts of less than 2 hours have a temporal resolution of 5 mins. Beyond 2 hours, forecasts have much lower temporal. resolution of typically 1 hour. Spatial resolutions vary from 1km for short range to 40km for longer range forecasts. Improving the accuracy of long range convective forecasts is a major challenge. A report published by the National Research Council states improvements for convective forecasts for the 2 to 6 hour time frame will only be achieved for a limited set of convective phenomena in the next 5 to 10 years. Improved longer range forecasts will be probabilistic as opposed to the deterministic shorter range forecasts. Despite the known low level of confidence with respect to long range convective forecasts, these data are still useful to a DST routing algorithm. It is better to develop an aircraft route using the best information available than no information. The temporally coarse long range forecast data needs to be interpolated to be useful to a DST. A DST uses aircraft trajectory predictions that need to be evaluated for impacts by convective storms. Each time-step of a trajectory prediction n&s to be checked against weather data. For the case of coarse temporal data, there needs to be a method fill in weather data where there is none. Simply using the coarse weather data without any interpolation can result in DST routes that are impacted by regions of strong convection. Increasing the temporal resolution of these data can be achieved but result in a large dataset that may prove to be an operational challenge in transmission and loading by a DST. Currently, it takes about 7mins retrieve a 7mb RUC2 forecast file from NOAA at NASA-Ames Research Center. A prototype NCWF6 1 hour forecast is about 3mb in size. A Six hour NCWFG forecast with a 1hr forecast time-step will be about l8mb (6 x 3mb). A 6 hour NCWF6 forecast with a l5min forecast time-step will be about 7mb (24 x 3mb). Based on the time it takes to retrieve a 7mb RUC2 forecast, it will take approximately 70mins to retrieve a 6 hour NCWF forecast with 15min time steps. Until those issues are addressed, there is a need to develop an algorithm that interpolates between these temporally coarse long range forecasts. This paper describes a method of how to use low temporal resolution probabilistic weather forecasts in a DST. The beginning of this paper is a description of some convective weather forecast and observation products followed by an example of how weather data are used by a DST. The subsequent sections will describe probabilistic forecasts followed by a descrtion of a method to use low temporal resolution probabilistic weather forecasts by providing a relevance value to these data outside of their valid times.

Chan, William N.↗
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗
NASA NTRS2000

Photochemical Modeling of CH3 Abundances in the Outer Solar System

Recent measurements of methyl radicals (CH3) in the upper atmospheres of Saturn and Neptune by the Infrared Space Observatory (ISO) provide new constraints to photochemical models of hydrocarbon chemistry in the outer solar system. The derived column abundances of CH3 on Saturn above 10 mbar and Neptune above the 0.2 mbar pressure level are (2.5 - 6.0) x 10(exp 13) / sq cm and (0.7 - 2.8) x 10(exp 13) / sq cm, respectively. We use the updated Caltech/Jet Propulsion Laboratory photochemical model, which incorporates hydrocarbon photochemistry, vertical molecular and bulk atmospheric eddy diffusion, and realistic radiative transfer modeling, to study the CH3 abundances in the upper atmosphere of the giant planets and Titan. We identify the key reactions that control the concentrations of CH3 in the model, such as the three-body recombination reaction, CH3 + CH3 + M yields C2H6 + M. We evaluate and extrapolate the three-body rate constant of this reaction to the low-temperature limit (1.8 x 10(exp -16) T(sup -3.75) e(sup -300/T), T < 300 K) and compare methyl radical abundances in five atmospheres: Jupiter, Saturn, Uranus, Neptune, and Titan. The sensitivity of our models to the rate coefficients for the reactions H + CH3 + M yields CH4 + M, H + C2H3 yields C2H2 + H2, (sup 1)CH2 + H2 yields CH3 + H, and H + C2H5 yields 2CH3, the branching ratios of CH4 photolysis, vertical mixing in the five atmospheres, and Lyman alpha photon enhancement at the orbit of Neptune have all been tested. The results of our model CH3 abundances for both Saturn (5.1 x 10(exp 13) / sq cm) and Neptune (2.2 x 10(exp 13) / sq cm) show good agreement with ISO Short Wavelength Spectrometer measurements. Using the same chemical reaction set, our calculations also successfully generate vertical profiles of stable hydrocarbons consistent with Voyager and ground-based measurements in these outer solar system atmospheres. Predictions of CH3 column concentrations (for p <= 0.2 mbar) in the atmospheres of Jupiter (3.3 x 10(exp 13) /sq cm), Uranus (2.5 x 10(exp 12) / sq cm), and Titan (1.9 x 10(exp 15) / sq cm) may be checked by future observations.

Lee, Anthony Y. T.↗
NASA NTRS2016

Modeling a Miniaturized Scanning Electron Microscope Focusing Column - Lessons Learned in Electron Optics Simulation

This presentation discusses work done to assess the design of a focusing column in a miniaturized Scanning Electron Microscope (SEM) developed at the NASA Marshall Space Flight Center (MSFC) for use in-situ on the Moon-in particular for mineralogical analysis. The MSFC beam column design uses purely electrostatic fields for focusing, because of the severe constraints on mass and electrical power consumption imposed by the goals of lunar exploration and of spaceflight in general. The resolution of an SEM ultimately depends on the size of the focused spot of the scanning beam probe, for which the stated goal here is a diameter of 10 nanometers. Optical aberrations are the main challenge to this performance goal, because they blur the ideal geometrical optical image of the electron source, effectively widening the ideal spot size of the beam probe. In the present work the optical aberrations of the mini SEM focusing column were assessed using direct tracing of non-paraxial rays, as opposed to mathematical estimates of aberrations based on paraxial ray-traces. The geometrical ray-tracing employed here is completely analogous to ray-tracing as conventionally understood in the realm of photon optics, with the major difference being that in electron optics the lens is simply a smoothly varying electric field in vacuum, formed by precisely machined electrodes. Ray-tracing in this context, therefore, relies upon a model of the electrostatic field inside the focusing column to provide the mathematical description of the "lens" being traced. This work relied fundamentally on the boundary element method (BEM) for this electric field model. In carrying out this research the authors discovered that higher accuracy in the field model was essential if aberrations were to be reliably assessed using direct ray-tracing. This led to some work in testing alternative techniques for modeling the electrostatic field. Ultimately, the necessary accuracy was attained using a BEM/Fourier series hybrid approach. The presentation will give background remarks about the MSFC mini Lunar SEM concept and electron optics modeling, followed by a description of the alternate field modeling techniques that were tried, along with their incorporation into a ray-trace simulation. Next, the validation of this simulation against commercially available software will be discussed using an example lens as a test case. Then, the efficacy of aberration assessment using direct ray-tracing will be demonstrated, using this same validation case. The discussion will include practical error checks of the field solution. Finally, the ray-trace assessment of the MSFC mini Lunar SEM concept will be shown and discussed. The authors believe this presentation will be of general interest to practitioners of modeling and simulation, as well as those with a general optics background. Because electron optics and photon optics share many basic concepts (e.g., lenses, images, aberrations, etc.), the appeal of this presentation need not be restricted to just those interested in charged particle optics.

Modeling Miniaturizing Scanning↗
NASA NTRS2007

Evaluation of Hands-Free Devices for the Display of Maintenance Procedures

Over the past year, NASA's focus has turned to crewed long duration and exploration missions. On these journeys, crewmembers will be required to execute thousands of procedures to maintain life support systems, check out space suits, conduct science experiments, and perform medical exams. To support the many complex tasks crewmembers undertake in microgravity, NASA is interested in providing crewmembers a hands-free work environment to promote more efficient operations. The overarching objective is to allow crewmembers to use both of their hands for tasks related to their mission, versus holding a paper manual or interacting with a display. The use of advanced, hands-free tools will undoubtedly make the crewmembers task easier, but they can also add to overall task complexity if not properly designed. A leading candidate technology for supporting a hands-free environment is the Head-Mounted Display (HMD). A more recent technology (e-book reader) that could be easily temp-stowed near the work area is also a potential hands-free solution. Previous work at NASA involved the evaluation of several commercially available HMDs for visual quality, comfort, and fit, as well as suitability for use in microgravity. Based on results from this work, three HMDs were selected for further evaluation (along with an e-book reader), using International Space Station (ISS)-like maintenance procedures. Two evaluations were conducted in the Space Station Mockup and Trainer Facility (SSMTF) located at the NASA Johnson Space Center (building 9). The SSMTF is a full scale, medium fidelity replica of the pressurized portions of the ISS. It supports crew training such as ingress and egress, habitability, and emergency procedures. In each of the two evaluations, the participants performed two maintenance procedures. One maintenance procedure involved inspecting air filters in a life support system and replacing them with a clean filter if one were found to be contaminated. The second maintenance procedure focused on working in a confined space; specifically, pulling down a rack to inspect wiring configurations, and rewiring in a different pattern. The maintenance procedures were selected to assess mobility, tool use, and access to multiple document sources during task performance. That is, the participant had to move from rack to rack, use a wrench, a camera, etc., replace components, and refer to diagrams to complete tasks. A constraint was imposed that the ISS-like format of the procedures was to be retained, and not modified or optimized for the electronic device ("plug and play" approach). This was based on future plans to test with real procedures on ISS.

Ronald B Hoffman↗
NASA NTRS2012

Combining Ratio Estimation for Low Density Parity Check (LDPC) Coding

The Low Density Parity Check (LDPC) Code decoding algorithm make use of a scaled receive signal derived from maximizing the log-likelihood ratio of the received signal. The scaling factor (often called the combining ratio) in an AWGN channel is a ratio between signal amplitude and noise variance. Accurately estimating this ratio has shown as much as 0.6 dB decoding performance gain. This presentation briefly describes three methods for estimating the combining ratio: a Pilot-Guided estimation method, a Blind estimation method, and a Simulation-Based Look-Up table. The Pilot Guided Estimation method has shown that the maximum likelihood estimates of signal amplitude is the mean inner product of the received sequence and the known sequence, the attached synchronization marker (ASM) , and signal variance is the difference of the mean of the squared received sequence and the square of the signal amplitude. This method has the advantage of simplicity at the expense of latency since several frames worth of ASMs. The Blind estimation method s maximum likelihood estimator is the average of the product of the received signal with the hyperbolic tangent of the product combining ratio and the received signal. The root of this equation can be determined by an iterative binary search between 0 and 1 after normalizing the received sequence. This method has the benefit of requiring one frame of data to estimate the combining ratio which is good for faster changing channels compared to the previous method, however it is computationally expensive. The final method uses a look-up table based on prior simulated results to determine signal amplitude and noise variance. In this method the received mean signal strength is controlled to a constant soft decision value. The magnitude of the deviation is averaged over a predetermined number of samples. This value is referenced in a look up table to determine the combining ratio that prior simulation associated with the average magnitude of the deviation. This method is more complicated than the Pilot-Guided Method due to the gain control circuitry, but does not have the real-time computation complexity of the Blind Estimation method. Each of these methods can be used to provide an accurate estimation of the combining ratio, and the final selection of the estimation method depends on other design constraints.

Mahmoud, Saad↗