Minimization and convexity in threshold logic.
Computer-implemented minimization techniques used to determine realizability of N-variable switching function with single threshold-element device
SEARCH · Engineering Papers
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.
Computer-implemented minimization techniques used to determine realizability of N-variable switching function with single threshold-element device
Explore the source record for details and available documents.
The Lagrange dual to a control problem is studied. The principal result based on the Hahn-Banach theorem proves that the dual problem has an optimal solution if there exists an interior point for the constraint set. A complementary slackness condition holds, if the primal problem has an optimal solution. A necessary and sufficient condition for the optimality of solutions to the primal and the dual problem is also presented.
Measurements have been made of the heat transfer through a turbulent boundary layer on a convexly curved isothermal wall and on a flat plate following the curved section. Data were taken for one free-stream velocity and two different ratios of boundary layer thickness to radius of curvature delta/R = 0.051 and delta/R = 0.077. Only small differences were observed in the distribution of heat transfer rates for the two boundary layer thicknesses tested, although differences were noted in the temperature distributions within the boundary layer
A method of determining spatial derivatives of flow quantities behind an expansion fan as a function of the curvature of the streamline behind the fan is developed. Taylor series expansions of flow quantities within the fan are used and boundary conditions satisfied to the first and second order so that the curvature of the characteristics in the fan may be determined. A system of linear equations for the spatial derivatives is then developed. An application of the method to shock coalescence including asymmetric effects is described.
Shape preserving approximations are constructed by interpolating the data with polynomial splines of arbitrary degree. A regularity condition is formulated on the data which insures the existence of such a shape preserving spline, an algorithm is presented for its construction, and the uniform norm of the error is bound which results when the algorithm is used to produce an approximation to a given f epsilon Ca,b.
Explore the source record for details and available documents.
Expert System shells are lacking in many areas of software engineering. Large rule based systems are not semantically comprehensible, difficult to debug, and impossible to modify or validate. Partitioning a set of rules found in CLIPS (C Language Integrated Production System) into groups of rules which reflect the underlying semantic subdomains of the problem, will address adequately the concerns stated above. Techniques are introduced to structure a CLIPS rule base into groups of rules that inherently have common semantic information. The concepts involved are imported from the field of A.I., Pattern Recognition, and Statistical Inference. Techniques focus on the areas of feature selection, classification, and a criteria of how 'good' the classification technique is, based on Bayesian Decision Theory. A variety of distance metrics are discussed for measuring the 'closeness' of CLIPS rules and various Nearest Neighbor classification algorithms are described based on the above metric.
Explore the source record for details and available documents.
Spectral mixture analysis, or unmixing, has proven to be a useful tool in the semi-quantitative interpretation of AVIRIS data. Using a linear mixing model and a set of hypothesized endmember spectra, unmixing seeks to estimate the fractional abundance patterns of the various materials occurring within the imaged area. However, the validity and accuracy of the unmixing rest heavily on the 'user-supplied' set of endmember spectra. Current methods for emdmember determination are the weak link in the unmixing chain.
Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) data were acquired during three consecutive growing seasons (26 September 1989, 22 March 1990, and 7 August 1990) over an area of the High Plains east of Greeley, Colorado (40 deg 20 min N and 104 deg 16 min W). A repeat visit to assess vegetation at its peak growth was flown on 6 June 1993. This region contains extensive eolian deposits in the form of stabilized dune complexes (small scale parabolic dunes superimposed on large scale longitudinal and parabolic dunes). Due to the dunes' large scale (2-10 km) and low relief (1-5 m), the scaling and morphological relationships that contribute to the evolution of this landscape are nearly impossible to understand without the use of remote sensing. Additionally, this area and regions similarly situated could be the first to experience the effects caused by global climate change. During the past 10,000 years there were at least four periods of extensive sand activity due to climate change, followed by periods of landscape stability, as shown in the stratigraphic record of this area.
This paper deals with determination of the best ellipsoidal model fitting the available limited experimental data. The problem is defined as that of finding the minimum volume ellipsoid containing all experimental data. A general transformation matrix for the rotation of N-dimensional coordinate system is first obtained by the Gramm-Schmidt orthogonalization procedure. The use of this matrix makes it possible to search in all possible directions to find an ellipsoid with a minimum volume. The general procedure is illustrated by examples in which the real data is utilized. An invariance property of the response with uncertain parameters of different physical nature is also discussed.
Simplified forms of the space-time discontinuous Galerkin (DG) and discontinuous Galerkin least-squares (DGLS) finite element method are developed and analyzed. The new formulations exploit simplifying properties of entropy endowed conservation law systems while retaining the favorable energy properties associated with symmetric variable formulations.
We will use VHF Lightning Mapping Array data to estimate NOx per flash and per unit channel length, including the vertical distribution of channel length. What s the best way to find channel length from VHF sources? This paper presents the rationale for the fractal method, which is closely related to the box-covering method.
Mission proposals that land on asteroids are becoming popular. However, in order to have a successful mission the spacecraft must reliably and softly land at the intended landing site. The problem under investigation is how to design a fuel-optimal powered descent trajectory that can be quickly computed on-board the spacecraft, without interaction from ground control. An optimal trajectory designed immediately prior to the descent burn has many advantages. These advantages include the ability to use the actual vehicle starting state as the initial condition in the trajectory design and the ease of updating the landing target site if the original landing site is no longer viable. For long trajectories, the trajectory can be updated periodically by a redesign of the optimal trajectory based on current vehicle conditions to improve the guidance performance. One of the key drivers for being completely autonomous is the infrequent and delayed communication between ground control and the vehicle. Challenges that arise from designing an asteroid powered descent trajectory include complicated nonlinear gravity fields, small rotating bodies and low thrust vehicles.
No abstract available
No abstract available
Precision landing is an anticipated technology for future interplanetary missions. Autonomous spacecraft Entry, Descent and Landing (EDL) on the surface of a planetary body with a degree of precision in the order of meters is highly challenging. In this paper, a successive convexification guidance algorithm is utilized to simulate autonomous precision landing sequences on Saturn’s moon Titan. Due to its unique geophysical features, studying the science of matter within Titan’s atmosphere and beneath its surface is one of NASA’s most important planetary science objectives. As part of the Space Exploration Technology Directorate, a parafoil is proposed for landing on Titan due to its cost effectiveness, ease of deployment, low mass compared to the prospective payload and capabilities of precise autonomous delivery. This paper focuses on path optimization and guidance law development for high-fidelity dynamics parafoil tuning in the dense and adverse wind atmosphere of Titan, defined as a nonlinear and nonconvex optimal control problem. The powerful successive convexification method is used to solve the problem accordingly. The algorithm is designed such that the converged solution adheres to the nonlinear dynamics and kinematics in accordance with the original formulation, while respecting the state and control constraints. The six-degree-of-freedom (6DoF) simulations results show that this robust method is suitable for autonomous interplanetary applications.