Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “integral calculus”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Improving modular bootstrap bounds with integrality

We propose methods that efficiently impose integrality — i.e., the condition that the coefficients of characters in the partition function must be integers — into numerical modular bootstrap. We demonstrate the method with a number of examples where it can be used to strengthen modular bootstrap results. First, we show that, with a mild extra assumption, imposing integrality improves the bound on the maximal allowed gap in dimensions of operators in theories with a U(1) c symmetry at c = 3, and reduces it to the value saturated by the SU(4) 1 WZW model point of c = 3 Narain lattices moduli space. Second, we show that our method can be used to eliminate all but a discrete set of points saturating the bound from previous Virasoro modular bootstrap results. Finally, when central charge is close to 1, we can slightly improve the upper bound on the scaling dimension gap.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1972

Design of automata theory of cubical complexes with applications to diagnosis and algorithmic description

The following problems are considered: (1) methods for development of logic design together with algorithms, so that it is possible to compute a test for any failure in the logic design, if such a test exists, and developing algorithms and heuristics for the purpose of minimizing the computation for tests; and (2) a method of design of logic for ultra LSI (large scale integration). It was discovered that the so-called quantum calculus can be extended to render it possible: (1) to describe the functional behavior of a mechanism component by component, and (2) to compute tests for failures, in the mechanism, using the diagnosis algorithm. The development of an algorithm for the multioutput two-level minimization problem is presented and the program MIN 360 was written for this algorithm. The program has options of mode (exact minimum or various approximations), cost function, cost bound, etc., providing flexibility.

Roth, J. P.↗
NASA NTRS1975

The geometric approach to sets of ordinary differential equations and Hamiltonian dynamics

The calculus of differential forms is used to discuss the local integration theory of a general set of autonomous first order ordinary differential equations. Geometrically, such a set is a vector field V in the space of dependent variables. Integration consists of seeking associated geometric structures invariant along V: scalar fields, forms, vectors, and integrals over subspaces. It is shown that to any field V can be associated a Hamiltonian structure of forms if, when dealing with an odd number of dependent variables, an arbitrary equation of constraint is also added. Families of integral invariants are an immediate consequence. Poisson brackets are isomorphic to Lie products of associated CT-generating vector fields. Hamilton's variational principle follows from the fact that the maximal regular integral manifolds of a closed set of forms must include the characteristics of the set.

Estabrook, F. B.↗
NASA NTRS1975

Fixed-range optimum trajectories for short-haul aircraft

An algorithm, based on the energy-state method, is derived for calculating optimum trajectories with a range constraint. The basis of the algorithm is the assumption that optimum trajectories consist of, at most, three segments: an increasing energy segment (climb); a constant energy segment (cruise); and a decreasing energy segment (descent). This assumption allows energy to be used as the independent variable in the increasing and decreasing energy segments, thereby eliminating the integration of a separate adjoint differential equation and simplifying the calculus of variations problem to one requiring only pointwise extremization of algebraic functions. The algorithm is used to compute minimum fuel, minimum time, and minimum direct-operating-cost trajectories, with range as a parameter, for an in-service CTOL aircraft and for an advanced STOL aircraft. For the CTOL aircraft and the minimum-fuel performance function, the optimum controls, consisting of air-speed and engine power setting, are continuous functions of the energy in both climb and descent as well as near the maximum or cruise energy. This is also true for the STOL aircraft except in the descent where at one energy level a nearly constant energy dive segment occurs, yielding a discontinuity in the airspeed at that energy. The reason for this segment appears to be the relatively high fuel flow at idle power of the engines used by this STOL aircraft. Use of a simplified trajectory which eliminates the dive increases the fuel consumption of the total descent trajectory by about 10 percent and the time to fly the descent by about 19 percent compared to the optimum.

Erzberger, H.↗
NASA NTRS1971

Estimation in nonlinear systems with transport delay.

The problem of estimation of state in nonlinear dynamical systems containing time delays is studied. The plant is specified by a set of nonlinear differential-difference equations. Observations are a nonlinear function of current and/or delayed states. Both contain additive disturbances. The criterion used for the optimal estimates is the integral of the weighted squared error. Using the theory of the calculus of variations, equations are developed for the estimation. They are first expressed in the form of a split boundary value problem, which is then converted to an initial value problem for on-line estimation. The result yields a sequential estimation scheme in which filtered and smoothed estimates are computed in a sequential manner. The applicability of the procedure is demonstrated by a practical example.

Stoller, R. L.↗
NASA NTRS1998

Intitialization, Conceptualization, and Application in the Generalized Fractional Calculus

This paper provides a formalized basis for initialization in the fractional calculus. The intent is to make the fractional calculus readily accessible to engineering and the sciences. A modified set of definitions for the fractional calculus is provided which formally include the effects of initialization. Conceptualizations of fractional derivatives and integrals are shown. Physical examples of the basic elements from electronics are presented along with examples from dynamics, material science, viscoelasticity, filtering, instrumentation, and electrochemistry to indicate the broad application of the theory and to demonstrate the use of the mathematics. The fundamental criteria for a generalized calculus established by Ross (1974) are shown to hold for the generalized fractional calculus under appropriate conditions. A new generalized form for the Laplace transform of the generalized differintegral is derived. The concept of a variable structure (order) differintegral is presented along with initial efforts toward meaningful definitions.

Lorenzo, Carl F.↗
NASA NTRS1992

Sufficient conditions for a local minimum of the Bolza problem with a scalar terminal point constraint

Sufficient conditions for a weak relative minimum for a form of the Bolza problem of variational calculus are derived. Testing of the second-order conditions requires the backward integration of fewer matrix elements than in the case of most previously published sets of conditions. The derivation is felt to be more complete and straightforward than previous derivations. The variational problem considered is relatively simple, with just a scalar constraint to implicitly or explicitly determine the final time, in order to avoid the complexities associated with controllability considerations. Sufficient conditions for a local minimum for more general optimal control problems can be approached by building upon the derivation and results presented here.

Wood, Lincoln J.↗
NASA NTRS1999

Generalized Functions for the Fractional Calculus

Previous papers have used two important functions for the solution of fractional order differential equations, the Mittag-Leffler functionE(sub q)[at(exp q)](1903a, 1903b, 1905), and the F-function F(sub q)[a,t] of Hartley & Lorenzo (1998). These functions provided direct solution and important understanding for the fundamental linear fractional order differential equation and for the related initial value problem (Hartley and Lorenzo, 1999). This paper examines related functions and their Laplace transforms. Presented for consideration are two generalized functions, the R-function and the G-function, useful in analysis and as a basis for computation in the fractional calculus. The R-function is unique in that it contains all of the derivatives and integrals of the F-function. The R-function also returns itself on qth order differ-integration. An example application of the R-function is provided. A further generalization of the R-function, called the G-function brings in the effects of repeated and partially repeated fractional poles.

Lorenzo, Carl F.↗
NASA NTRS2003

Algorithms for the Fractional Calculus: A Selection of Numerical Methods

Many recently developed models in areas like viscoelasticity, electrochemistry, diffusion processes, etc. are formulated in terms of derivatives (and integrals) of fractional (non-integer) order. In this paper we present a collection of numerical algorithms for the solution of the various problems arising in this context. We believe that this will give the engineer the necessary tools required to work with fractional models in an efficient way.

Diethelm, K.↗
NASA NTRS2003

Mapping Process to Pattern in the Landscape Change of the Amazonian Frontier

Changes in land use and land cover are dynamic processes reflecting a sequence of decisions made by individual land managers. In developing economies, these decisions may be embedded in the evolution of individual households, as is often the case in indigenous areas and agricultural frontiers. One goal of the present article is to address the land use and land-cover decisions of colonist farmers in the Amazon Basin as a function, in part, of household characteristics. Another goal is to generalize the issue of tropical deforestation into a broader discussion on forest dynamics. The extent of secondary forest in tropical areas has been well documented in South America and Africa. Agricultural-plot abandonment often occurs in tandem with primary forest clearance and as part of the same decision-making calculus. Consequently, tropical deforestation and forest succession are not independent processes in the landscape. This article presents a framework that integrates them into a model of forest dynamics at household level, and in so doing provides an account of the spatial pattern of deforestation that has been observed in the Amazon's colonization frontiers.

Walker, Robert↗
NASA NTRS1995

New approaches to optimization in aerospace conceptual design

Aerospace design can be viewed as an optimization process, but conceptual studies are rarely performed using formal search algorithms. Three issues that restrict the success of automatic search are identified in this work. New approaches are introduced to address the integration of analyses and optimizers, to avoid the need for accurate gradient information and a smooth search space (required for calculus-based optimization), and to remove the restrictions imposed by fixed complexity problem formulations. (1) Optimization should be performed in a flexible environment. A quasi-procedural architecture is used to conveniently link analysis modules and automatically coordinate their execution. It efficiently controls a large-scale design tasks. (2) Genetic algorithms provide a search method for discontinuous or noisy domains. The utility of genetic optimization is demonstrated here, but parameter encodings and constraint-handling schemes must be carefully chosen to avoid premature convergence to suboptimal designs. The relationship between genetic and calculus-based methods is explored. (3) A variable-complexity genetic algorithm is created to permit flexible parameterization, so that the level of description can change during optimization. This new optimizer automatically discovers novel designs in structural and aerodynamic tasks.

Gage, Peter J.↗
NASA NTRS1987

Polarization effects on hard target calibration of lidar systems

The theory of hard target calibration of lidar backscatter data, including laboratory measurements of the pertinent target reflectance parameters, is extended to include the effects of polarization of the transmitted and received laser radiation. The bidirectional reflectance-distribution function model of reflectance is expanded to a 4 x 4 matrix allowing Mueller matrix and Stokes vector calculus to be employed. Target reflectance parameters for calibration of lidar backscatter data are derived for various lidar system polarization configurations from integrating sphere and monostatic reflectometer measurements. It is found that correct modeling of polarization effects is mandatory for accurate calibration of hard target reflectance parameters and, therefore, for accurate calibration of lidar backscatter data.

Kavaya, Michael J.↗
NASA NTRS1979

Development of Boolean calculus and its application

Formal procedures for synthesis of asynchronous sequential system using commercially available edge-sensitive flip-flops are developed. Boolean differential is defined. The exact number of compatible integrals of a Boolean differential were calculated.

Tapia, M. A.↗
NASA NTRS2018

Addendum to "Impressed Sources and Fields in the Volume-Integral-Equation Formulation of Electromagnetic Scattering by a Finite Object: A Tutorial"

Our recent tutorial referred to in the title has summarized a general theoretical formalism of electromagnetic scattering by an arbitrary finite object in the presence of arbitrarily distributed impressed currents. This addendum builds on the tutorial to provide a streamlined discussion of specific far-field limits and the corresponding reciprocity relations by introducing appropriate far-field operators and linear maps and deriving the reciprocity relations through the pseudo adjoint of these maps. We thereby extend the compact operator calculus used previously to consider the fields and sources near or inside the scattering object.

Impressed Sources↗
NASA NTRS1994

(abstract) Optimal Low Thrust Trajectories Using Differential Inclusion Concepts

Low thrust propulsion systems typically have their greatest benefit for high energy missions or missions with large post-launch maneuver requirements. Missions which have been examined include main belt asteroid rendezvous, comet rendezvous, outer planet and Mercury orbiters, Pluto flyby, and solar probe missions. Low thrust mission design software used to determine these trajectories is based on two distinct formulations of the optimal control problem: the indirect and direct methods. The traditional approach (indirect) is to use the calculus of variations to obtain first order necessary conditions on the states and costates. In contrast, direct methods are conceptually different in that no explicit integration takes place. A direct method based on differential inclusion concepts has been developed and successfully used to compute low thrust trajectories. This new approach removes explicit control dependence from the problem thereby reducing the dimension of the parameter space for the nonlinear programming problem. Also when compared to other direct methods, fewer nonlinear constraints are required to represent the dynamics of the problem.

low↗
NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗