Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “OPERATIONAL 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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

An operator calculus for surface and volume modeling

The mathematical techniques which form the foundation for most of the surface and volume modeling techniques used in practice are briefly described. An outline of what may be termed an operator calculus for the approximation and interpolation of functions of more than one independent variable is presented. By considering the linear operators associated with bivariate and multivariate interpolation/approximation schemes, it is shown how they can be compounded by operator multiplication and Boolean addition to obtain a distributive lattice of approximation operators. It is then demonstrated via specific examples how this operator calculus leads to practical techniques for sculptured surface and volume modeling.

Gordon, W. J.↗
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 NTRS1969

Representation theory of Sp/4/ and SO/5/

Five dimensional rotations and representation of isomorphic spinor groups by boson operators calculus, expanding Gelfand states in Weyl patterns

Holman, W. J., III↗
NASA NTRS1974

Subsonic and supersonic indicial aerodynamics and aerodynamic transfer function for complex configurations

A general theory for indicial-potential-compressible aerodynamics around complex configurations is presented. The motion is assumed to consist of constant subsonic or supersonic speed (steady state) and small perturbations around the steady state. Using the finite-element method to discretize the space problem, a set of differential-difference equations in time relating the potential to its normal derivative on the surface of the body was obtained. The aerodynamics transfer function was derived by using standard method of operational calculus.

Morino, L.↗
NASA NTRS2018

Symmetric Equations on the Surface of a Sphere as Used by Model GISS:IB

Standard vector calculus formulas of Cartesian three space are projected onto the surface of a sphere. This produces symmetric equations with three nonindependent horizontal velocity components. Each orthogonal axis has a velocity component that rotates around its axis (eastward velocity rotates around the north–south axis) and a specific angular momentum component that is the product of the velocity component multiplied by the cosine of axis’ latitude. Angular momentum components align with the fixed axes and simplify several formulas, whereas the rotating velocity components are not orthogonal and vary with location. Three symmetric coordinates allow vector resolution and calculus operations continuously over the whole spherical surface, which is not possible with only two coordinates. The symmetric equations are applied to one-layer shallow water models on cubed-sphere and icosahedral grids, the latter being computationally simple and applicable to an ocean domain. Model results are presented for three different initial conditions and five different resolutions.

Icosahedral grid↗
NASA NTRS1964

Useful operator in plasma kinetic theory.

Operator used in derivation of plasma kinetic equation, expressing integral of pair correlation function for stable and unstable cases via Fourier transform

PLASMA DYNAMICS↗
NASA NTRS2012

Explanation Capabilities for Behavior-Based Robot Control

A recent study that evaluated issues associated with remote interaction with an autonomous vehicle within the framework of grounding found that missing contextual information led to uncertainty in the interpretation of collected data, and so introduced errors into the command logic of the vehicle. As the vehicles became more autonomous through the activation of additional capabilities, more errors were made. This is an inefficient use of the platform, since the behavior of remotely located autonomous vehicles didn't coincide with the "mental models" of human operators. One of the conclusions of the study was that there should be a way for the autonomous vehicles to describe what action they choose and why. Robotic agents with enough self-awareness to dynamically adjust the information conveyed back to the Operations Center based on a detail level component analysis of requests could provide this description capability. One way to accomplish this is to map the behavior base of the robot into a formal mathematical framework called a cost-calculus. A cost-calculus uses composition operators to build up sequences of behaviors that can then be compared to what is observed using well-known inference mechanisms.

Huntsberger, Terrance L.↗
NASA NTRS2002

A Logical Process Calculus

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

Cleaveland, Rance↗