Search NASA⌕ Search

SEARCH · Search NASA

Results for “successive linear programming”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Model checking

Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

Dill, David L.↗
DOE OSTI2023

Development of Instrumented Advanced Test Reactor Irradiation Capsule Experiment for In-situ Thermal Conductivity Measurements of High-Density Fuels

Idaho National Laboratory (INL) is developing a first-of-a-kind leadout instrumented capsule experiment design to enable in-situ measurement capabilities in the Advanced Test Reactor (ATR) core. The Ceramic Advanced Thermal Evolution Research (CRATER) experiment supports the aLEU program objective to accelerate fuel performance irradiation testing for identifying alternative high-assay, low enriched uranium (HALEU) fuel systems. CRATER is a fueled, instrumented capsule experiment to measure in-situ temperature and thermal conductivity of ceramic fuels. Two ceramic fuel types will be used, uranium mono-nitride (UN) and uranium mono-carbide (UC), with a third metallic fuel used for comparison (UMo). The three fuel specimens will use a stainless-steel cladding. Programmatic objectives include linear heat generation rates (LHGR) of 210 ± 25 Watts per cm. and an inner clad temperature of 300-450 °C. The evolution of fuel thermal conductivity during irradiation has never been successfully measured in-situ for these systems and this experiment is designed to use advances in measurement sciences to characterize how thermal transport properties evolve while in reactor. Neutronic simulations of the experiment and its surrounding reactor environment were conducted using the Monte Carlo N-Particle Transport code (MCNP) and result in optimized fuel enrichment to meet target linear heat generation rates (LHGRs) influencing fuel temperatures, and fuel burnup requirements. Fabrication research and development (R&D) efforts are underway to produce annular right cylinder UC and UN pellets using carbothermic reduction and nitridation (or hydride-dehydride-nitride) synthesis methods, followed double-action die cold isostatic pressing.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2020

Installation and Commissioning of the GLUEX DIRC

The GlueX experiment takes place in experimental Hall D at Jefferson Lab (JLab). With a linearly polarized photon beam of up to 12 GeV energy, GlueX is a dedicated experiment to search for hybrid mesons via photoproduction reactions. The low-intensity (Phase I) of GlueX was recently completed; the high-intensity (Phase II) started in 2020 including an upgraded particle identification system, known as the DIRC (Detection of Internally Reflected Cherenkov light), utilizing components from the decommissioned BaBar experiment. The identification and separation of the kaon final states will significantly enhance the GlueX physics program, by adding the capability of accessing the strange quark flavor content of conventional (and potentially hybrid) mesons. Here, we report that the installation and commissioning of the DIRC detector has been successfully completed.

47 OTHER INSTRUMENTATION↗
NASA NTRS1991

HYMOSS signal processing for pushbroom spectral imaging

The objective of the Pushbroom Spectral Imaging Program was to develop on-focal plane electronics which compensate for detector array non-uniformities. The approach taken was to implement a simple two point calibration algorithm on focal plane which allows for offset and linear gain correction. The key on focal plane features which made this technique feasible was the use of a high quality transimpedance amplifier (TIA) and an analog-to-digital converter for each detector channel. Gain compensation is accomplished by varying the feedback capacitance of the integrate and dump TIA. Offset correction is performed by storing offsets in a special on focal plane offset register and digitally subtracting the offsets from the readout data during the multiplexing operation. A custom integrated circuit was designed, fabricated, and tested on this program which proved that nonuniformity compensated, analog-to-digital converting circuits may be used to read out infrared detectors. Irvine Sensors Corporation (ISC) successfully demonstrated the following innovative on-focal-plane functions that allow for correction of detector non-uniformities. Most of the circuit functions demonstrated on this program are finding their way onto future IC's because of their impact on reduced downstream processing, increased focal plane performance, simplified focal plane control, reduced number of dewar connections, as well as the noise immunity of a digital interface dewar. The potential commercial applications for this integrated circuit are primarily in imaging systems. These imaging systems may be used for: security monitoring systems, manufacturing process monitoring, robotics, and for spectral imaging when used in analytical instrumentation.

Ludwig, David E.↗
NASA NTRS2004

Program Monitoring with LTL in EAGLE

We briefly present a rule-based framework called EAGLE, shown to be capable of defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics (MTL), interval logics, forms of quantified temporal logics, and so on. In this paper we focus on a linear temporal logic (LTL) specialization of EAGLE. For an initial formula of size m, we establish upper bounds of O(m(sup 2)2(sup m)log m) and O(m(sup 4)2(sup 2m)log(sup 2) m) for the space and time complexity, respectively, of single step evaluation over an input trace. This bound is close to the lower bound O(2(sup square root m) for future-time LTL presented. EAGLE has been successfully used, in both LTL and metric LTL forms, to test a real-time controller of an experimental NASA planetary rover.

Barringer, Howard↗
NASA NTRS1976

Survey and development of finite elements for nonlinear structural analysis. Volume 2: Nonlinear shell finite elements

The development of two new shell finite elements for applications to large deflection problems is considered. The elements in question are doubly curved and of triangular and quadrilateral planform. They are restricted to small strains of elastic materials, and can accommodate large rotations. The elements described, which are based on relatively simple linear elements, make use of a new displacement function approach specifically designed for strongly nonlinear problems. The displacement function development for nonlinear applications is based on certain beam element formulations, and the strain-displacement equations are of a shallow shell type. Additional terms were included in these equations in an attempt to avoid the large errors characteristic of shallow shell elements in certain types of problems. An incremental nonlinear solution procedure specifically adopted to the element formulation was developed. The solution procedure is of combined incremental and total Lagrangian type, and uses a new updating scheme. A computer program was written to evaluate the developed formulations. This program can accommodate small element groups in arbitrary arrangements. Two simple programs were successfully solved. The results indicate that this new type of element has definite promise and should be a fruitful area for further research.

Source record↗
NASA NTRSDate not supplied

Onboard Navigation Error Analysis for Aerocapture at Uranus

Capturing into an orbit around Uranus using aerocapture allows one to design a mission with faster interplanetary trajectories and less propellant requirements. Such an aerocapture mission would rely on the onboard Guidance, Navigation, and Control (GNC) subsystems to successfully capture into an orbit around Uranus. Uncertainty in the state information and the noise in the sensor measurements induce navigation errors in the guidance and control subsystems, which can affect the overall performance of the aerocapture mission at Uranus. Understanding the effect of these navigation errors on mission performance is essential. To this end, this work considers different sensors with varying quality to understand their impact on the overall mission performance. In addition, this paper studies the impact of the uncertainty in the initial states used to initialize the onboard navigation filter and understands their effect on mission performance. This paper also shows the onboard navigation errors obtained from the Linear Covariance (LinCov) analysis and uses them for verification and validation (V&V) of the results from Program to Optimize and Simulate Trajectories-II (POST2).

Pardha Sai Chadalavada↗
NASA NTRSDate not supplied

Onboard Navigation Error Analysis for Aerocapture at Uranus

Capturing into an orbit around Uranus using aerocapture allows one to design a mission with faster interplanetary trajectories and less propellant requirements. Such an aerocapture mission would rely on the onboard Guidance, Navigation, and Control (GNC) subsystems to successfully capture into an orbit around Uranus. Uncertainty in the state information and the noise in the sensor measurements induce navigation errors in the guidance and control subsystems, which can affect the overall performance of the aerocapture mission at Uranus. Understanding the effect of these navigation errors on mission performance is essential. To this end, this work considers different sensors with varying quality to understand their impact on the overall mission performance. In addition, this paper studies the impact of the uncertainty in the initial states used to initialize the onboard navigation filter and understands their effect on mission performance. This paper also shows the onboard navigation errors obtained from the Linear Covariance (LinCov) analysis and uses them for verification and validation (V\&V) of the results from Program to Optimize and Simulate Trajectories-II (POST2).

Aerocapture↗
NASA NTRS1989

Determination of design and operation parameters for upper atmospheric research instrumentation to yield optimum resolution with deconvolution, appendix 4

The power spectrum for a stationary random process can be defined with the Wiener-Khintchine Theorem, which says that the power spectrum and the auto correlation function are a Fourier transform pair. To implement this theorem for signals that are discrete and of finite length we can use the Blackman-Tukey method. Blackman and Tukey (1958) show that a function w(tau), called a lag window, can be applied to the auto correlation estimates to obtain power spectrum estimates that are statistically stable. The Fourier transform of w(r) is called a spectral window. Typical choices for spectral windows show a distinct trade-off between the main lobe width and side lobe strength. A new idea for designing windows by taking linear combinations of the standard windows to produce hybrid windows was introduced by Smith (1985). We implement Smith's idea to obtain spectral windows with narrow main lobes and smaller (compared with typical windows) near side lobes. One of the main contributions of this thesis is that we show that Smith's problem is equivalent to a Quadratic Programming (QP) problem with linear equality and inequality constraints. A computer program was written to produce hybrid windows by setting up and solving the QP problem. We also developed and solved two variations of the original problem. The two variations involved changing the inequality constraints in both cases from non negativity on the combination coefficients to non negativity on the hybrid lag window itself. For the second variation, the window functions used to construct the hybrid window were changed to a frequency-variable set of truncated cosinusoids. A series of tests was run with the three computer programs to investigate the behavior of the hybrid spectral and lag windows. Emphasis was put on obtaining spectral windows with both relatively narrow main lobes and the lowest possible (for these algorithms) near side lobes. Some success was achieved for this goal. A 10 dB peak side lobe reduction over the rectangular spectral window without significant main lobe broadening was achieved. Also, average side lobe levels of -117 dB were reached at a cost of doubling the main lobe width (at the -3 dB point).

Ioup, George E.↗
NASA NTRS2017

GTOC9: Methods and Results from the Jet Propulsion Laboratory Team

The removal of 123 pieces of debris from the Sunsynchronous LEO environment is accomplished by a 10-spacecraft campaign wherein the spacecraft, flying in succession over an 8-yr period, rendezvous with a series of the debris objects, delivering a de-orbit package at each one before moving on to the next object by means of impulsive manoeuvres. This was the GTOC9 problem, as posed by the European Space Agency. The methods used by the Jet Propulsion Laboratory team are described, along with the winning solution found by the team. Methods include branch-and-bound searches that exploit the natural nodal drift to compute long chains of rendezvous with debris objects, beam searches for synthesising campaigns, ant colony optimisation, and a genetic algorithm. Databases of transfers between all bodies on a fine time grid are made, containing an easyto- compute yet accurate estimate of the transfer V . Lastly, a final non-linear programming optimisation is performed to ensure the trajectories meet all the constraints and are locally optimal in initial mass.

Sims, Jon↗
NASA NTRSDate not supplied

Space-based UV Spectropolarimetry for Chromospheric Magnetic Field Measurements

High-resolution observations with space-and ground-based telescopes, along with advanced numerical modeling, have highlighted the intricate coupling between the chromosphere, transition region, and corona, and the critical role the chromosphere plays in the mass and energy balance of the outer solar atmosphere. Despite these recent advances, a major impediment to better understanding the solar atmosphere is our lack of empirical knowledge regarding the direction and strength of the magnetic field in the upper chromosphere (Decadal Survey, 2012). Such measurements are crucial to address several major unresolved issues in solar physics: for example, to constrain the energy flux carried by the Alfvén waves propagating through the chromosphere, and to determine the height at which the plasma β = 1 transition occurs, which has important consequences for the braiding of magnetic fields, for propagation and mode conversion of waves and for non-linear force-free extrapolation methods that are key to determining what drives instabilities such as flares or coronal mass ejections. Probing the magnetic nature of the Sun’s atmosphere requires measurement of the Stokes I, Q, U and V profiles of relevant spectral lines (of which Q, U and V encode the magnetic field information). Many of the magnetically sensitive lines formed in the chromosphere and transition region are in the ultraviolet spectrum, necessitating observations above the absorbing terrestrial atmosphere. The Chromospheric Layer Spectro-Polarimeter (“CLASP2”) sounding rocket was flown successfully in April 2019, as a follow-on to the successful flight in September 2015 of the Chromospheric Lyman-Alpha Spectro-Polarimeter (“CLASP1”). In October of 2021, we re-flew the CLASP2 experiment with a modified observing program to further demonstrate the maturity of the UV spectropolarimetry techniques, and readiness for development into a satellite observatory. During the reflight, called “CLASP2.1”, the spectrograph slit was scanned across an active region plage to acquire a two-dimensional map of Stokes V/I, to demonstrate the ability of UV spectropolarimetry to yield chromospheric magnetic fields over a large area.

David E McKenzie↗
NASA NTRSDate not supplied

Flight Performance and Stability of Space Launch System Core Stage Thrust Vector Control

The Space Launch System (SLS) Core Stage (CS) Thrust Vector Control (TVC) system is comprised of eight mechanical feedback Shuttle heritage Type III TVC actuators and four RS-25 engines, each attached to a Shuttle heritage gimbal block/bearing. The Core Stage TVC shares vehicle control authority with the SLS 5-segment Solid Rocket Boosters (SRBs) during boost phase flight, and is the sole means of vehicle flight control during in exoatmospheric flight following SRB separation. TVC responses during Green Run Hot Fire (GRHF) testing revealed that the TVC did not meet its performance specifications. Step and frequency responses exhibited unexpected departures from prior laboratory data and modeled behavior. Post-test analysis determined that the characteristics of the structure and gimbal friction are significantly influenced by the thrust-loaded conditions, and the command avionics exhibited a small but important gain nonlinearity. Using the available test data, the design team augmented the flight control TVC models to bound the observed results and include the additional fidelity needed for vehicle flight control analysis so as to build sufficient rationale for flight certification. Prior to the Green Run tests, “simplex” linear models typically used for flight control analysis did not include gimbal friction and other nonlinearities owing to long-standing assumptions that these effects were negligible in the Shuttle Orbiter TVC system. Following the Green Run findings, simulation analysis of the flight dynamics in the time and frequency domain revealed the propensity for a flight control limit cycle oscillation (LCO) if friction and structural compliances fell near the edges of test-predicted bounds. While the “most probable” models did not predict an in-flight LCO, the SLS Program conservatively proceeded with a system-wide evaluation and ultimate acceptance of the possibility for a small amplitude, low-frequency TVC LCO in flight. A final validation of the extensive test and modeling effort occurred when the first flight of SLS successfully demonstrated the fully integrated performance of the vehicle’s TVC system This paper is the final installment in a seven-paper series surveying the design, engineering, test validation, and flight performance of the Core Stage Thrust Vector Control system. In this paper, the development of flight rationale in light of the TVC responses observed in Green Run is discussed, along with a review of the flight telemetry illustrating the correlation of the preflight predictions with the observed performance.

John H. Wall↗
NASA NTRS1989

Advances in photographic X-ray imaging for solar astronomy

The technique of obtaining quantitative data from high resolution soft X-ray photographic images produced by grazing incidence optics was successfully developed to a high degree during the Solar Research Sounding Rocket Program and the S-054 X-Ray Spectrographic Telescope Experiment Program on Skylab. Continued use of soft X-ray photographic imaging in sounding rocket flights of the High Resolution Solar Soft X-Ray Imaging Payload has provided opportunities to further develop these techniques. The developments discussed include: (1) The calibration and use of an inexpensive, commercially available microprocessor controlled drum type film processor for photometric film development; (2) The use of Kodak Technical Pan 2415 film and Kodak SO-253 High Speed Holographic film for improved resolution; and (3) The application of a technique described by Cook, Ewing, and Sutton for determining the film characteristics curves from density histograms of the flight film. Although the superior sensitivity, noise level, and linearity of microchannel plate and CCD detectors attracts the development efforts of many groups working in soft X-ray imaging, the high spatial resolution and dynamic range as well as the reliability and ease of application of photographic media assures the continued use of these techniques in solar X-ray astronomy observations.

Moses, J. Daniel↗
NASA NTRS1989

Advances in photographic X-ray imaging for solar astronomy

The technique of obtaining quantitative data from high resolution soft X-ray photographic images produced by grazing incidence optics was successfully developed to a high degree during the AS&E Solar Research Sounding Rocket Program and the S-054 X-Ray Spectrographic Telescope Experiment Program on Skylab. Continued use of soft X-Ray photographic imaging in sounding rocket flights of the AS&E High Resolution Solar Soft X-Ray Imaging Payload has provided opportunities to further develop these techniques. The developments discussed include: (1) the calibration and use of an inexpensive, commercially available microprocessor controlled drum type film processor for photometric film development, (2) the use of Kodak Technical Pan 2415 film and Kodak SO-253 High Speed Holographic film for improved resolution, and (3) the application of a technique described by Cook, Ewing, and Sutton (1988) for determining the film characteristics curves from density histograms of the flight film. Although the superior sensitivity, noise level, and linearity of microchannel plate and CCD detectors attracts the development efforts of many groups working in soft X-ray imaging, the high spatial resolution and dynamic range as well as the reliability and ease of application of photographic media assures the continued use of these techniques in solar X-ray astronomy observations.

Moses, D.↗
NASA NTRS2011

Pressure Testing of a Minimum Gauge PRSEUS Panel

Advanced aircraft configurations that have been developed to increase fuel efficiency require advanced, novel structural concepts capable of handling the unique load conditions that arise. One such concept is the Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) developed by the Boeing Company. The PRSEUS concept is being investigated by NASA s Environmentally Responsible Aviation (ERA) Program for use in a hybrid-wing body (HWB) aircraft. This paper summarizes the analysis and test of a PRSEUS panel subjected to internal pressure, the first such pressure test for this structural concept. The pressure panel used minimum gauge skin, with stringer and frame configurations consistent with previous PRSEUS tests. Analysis indicated that for the minimum gauge skin panel, the stringer locations exhibit fairly linear response, but the skin bays between the stringers exhibit nonlinear response. Excellent agreement was seen between nonlinear analysis and test results in the critical portion at the center of the panel. The pristine panel was capable of withstanding the required 18.4 psi pressure load condition without exhibiting any damage. The impacted panel was capable of withstanding a pressure load in excess of 28 psi before initial failure occurred at the center stringer, and the panel was capable of sustaining increased pressure load after the initial failure. This successful PRSEUS panel pressure panel test was a critical step in the building block approach for enabling the use of this advanced structural concept on future aircraft, such as the HWB.

Lovejoy, Andrew J.↗
DOE OSTI2023

Physics of the thermal quench in MST tokamak plasmas (Final Technical Report)

This project at the University of Wisconsin-Madison targeted measurements in tokamak plasmas in the Madison Symmetric Torus (MST) to help elucidate the physics of the tokamak disruption. We intended to focus on the thermal quench, during which energy is lost from the plasma in a very short time. Understanding and ultimately mitigating the thermal quench are among the highest priority research thrusts for ITER, a large international fusion experiment presently under construction. The measurements in MST exploited an advanced set of diagnostics for internal measurements with high time resolution, targeting linear and nonlinear magnetohydrodynamic (MHD) activity as well as the electron temperature and density profiles. We also exploited other features of the MST device, including very flexible power supplies for the toroidal magnetic field and toroidal plasma current that are capable of producing almost arbitrary waveforms. While the work funded by this project was purely experimental, we continued and expanded an existing collaboration with UW-Madison experts in nonlinear MHD computational modeling of tokamak plasmas. That modeling incorporated realistic, experimentally measured parameters. The results of the modeling were anticipated to deepen considerably our understanding of the experimental measurements, and in turn, the experimental measurements were anticipated to help validate the modeling results. The science of transients such as disruptions is one of the highest priority research areas in the U.S. and international fusion programs. The work carried out in this project was targeted to help advance the science of tokamak disruptions which will in turn contribute to the success of ITER.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS1999

Potential for Sonic Boom Reduction of the Boeing HSCT

The HSR sonic boom technology program includes a goal of reducing the objectionable aspects of sonic boom. Earlier HSCT sonic boom studies considered achieving significant sonic boom reduction by the use of arrow-wing planforms and detailed shaping of the airplane to produce shaped waveforms (non N-waves) at the ground. While these design efforts were largely successful, the added risk and cost of the airplanes were judged to be unacceptable. The objective of the current work is to explore smaller configuration refinements that could lead to reduced sonic boom impact, within design and operational constraints. A somewhat modest target of 10% reduction in sonic boom maximum overpressure was selected to minimize the effect on the configuration performance. This work was a joint NASA/Industry effort, utilizing the respective strengths of team members at Boeing, NASA Langley, and NASA Ames. The approach used was to first explore a wide range of modifications and airplane characteristics for their effects on sonic boom and drag, using classical Modified Linear Theory (MLT) methods. CFD methods were then used to verify promising, modifications and to analyze modifications for which the MLT methods were not appropriate. The tea m produced a list of configuration changes with their effects on sonic boom and, in some cases, an estimate of the drag penalty. The most promising modifications were applied to produce a boom-softened derivative of the baseline Boeing High Speed Civil Transport (HSCT) configuration. This boom-softened configuration was analyzed in detail for the reduce sonic boom impact and also for the effect of the configuration modifications on drag, weight, and overall performance relative to the baseline.

Haglund, George T.↗