Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “type theory”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1982

Application of the line-spring model to a cylindrical shell containing a circumferential or axial part-through crack

The line-spring model developed by Rice and Levy (1972) is used to obtain an approximate solution for a cylindrical shell containing a part-through surface crack. A Reissner type theory is used to account for the effects of the transverse shear deformations, and the stress intensity factor at the deepest penetration point of the crack is tabulated for bending and membrane loading by varying three-dimensionless length parameters of the problem formed from the shell radius, the shell thickness, the crack length, and the crack depth. The upper bounds of the stress intensity factors are provided, and qualitatively the line-spring model gives the expected results in comparison with elasticity solutions.

Delale, F.↗
NASA NTRS1984

Simple theoretical models for composite rotor blades

The development of theoretical rotor blade structural models for designs based upon composite construction is discussed. Care was exercised to include a member of nonclassical effects that previous experience indicated would be potentially important to account for. A model, representative of the size of a main rotor blade, is analyzed in order to assess the importance of various influences. The findings of this model study suggest that for the slenderness and closed cell construction considered, the refinements are of little importance and a classical type theory is adequate. The potential of elastic tailoring is dramatically demonstrated, so the generality of arbitrary ply layup in the cell wall is needed to exploit this opportunity.

Valisetty, R. R.↗
NASA NTRS1987

Thermochemical erosion

A quasi-steady multidimensional Stefan problem is treated by means of similarity, asymptotic methods, and numerical analysis. The continuous wearing away of a solid 'erodee' is effected by gradual consumption of a solid 'eroder'. In the process under study, the erodee melts and the (liquid) melt diffuses to the eroder, where an exothermic, indefinitely rapid, diffusion-controlled surface reaction occurs. The products of reaction convey some of the chemically-generated heat to the surface of the erodee, so that further melting may occur, and the process may proceed. The analysis seeks to estimate the quasi-steady rates of consumption of the erodee and eroder, for the (convenient) self-similar case of confocal parabolas defining the boundaries of the melt layer. The analysis is simplified by observing that the flow is of lubrication-theory type: creeping, primarily unidirectional motion owing to the thinness of the melt layer between the erodee and eroder, with diffusion of heat and mass predominantly perpendicular to the principal motion. The analysis is completed by consideration of the force balance on the eroder.

Butler, Gerald↗
NASA NTRS1990

Charged polymers in high dimensions

A Monte Carlo study of charged polymers with either homogeneously distributed frozen charges or with mobile charges has been performed in four and five space dimensions. The results are consistent with the renormalization-group predictions and contradict the predictions of Flory-type theory. Introduction of charge mobility does not modify the behavior of the polymers.

Kantor, Yacov↗
NASA NTRS1998

Analysis of Curved Sandwich Panels Subjected to Combined Temperature Gradient and Mechanical Loads

The results of a detailed study of the nonlinear response of curved sandwich panels with composite face sheets and subjected to a temperature gradient through-the-thickness combined with mechanical loadings are presented. The analysis is based on a first-order shear-deformation Sanders-Budiansky type theory with the effects of large displacements, moderate rotations, transverse shear deformation and laminated anisotropic material behavior included. A mixed formulation is used with the fundamental unknowns consisting of the generalized displacements and the stress resultants of the panel. The nonlinear displacements, strain energy, principal strains, transverse shear stresses, transverse shear strain energy density, and their hierarchical sensitivity coefficients are evaluated. The hierarchical sensitivity coefficients measure the sensitivity of the nonlinear response to variations in the panel parameters, the effective properties of the face sheet layers and the core, and the micromechanical parameters. Numerical results are presented for cylindrical panels subjected to combined pressure loading, edge shortening or extension, edge shear and a temperature gradient through the thickness. The results show the effects of variations in the loading and the panel aspect ratio, on the nonlinear response and its sensitivity to changes in the various panel, effective layer and micromechanical parameters.

Noor, Ahmed K.↗
NASA NTRS2004

The 90 deg Acoustic Spectrum of a High Speed Air Jet

Tam and Auriault successfully predicted the acoustic spectrum at 90deg to the axis of a high speed air jet by using an acoustic equation derived from ad hoc kinetic theory-type arguments. The present paper shows that similar predictions can be obtained by using a rigorous acoustic analogy approach together with actual measurements of the relevant acoustic source correlations. This puts the result on a firmer basis and enables its extension to new situations and to the prediction of sound at other observation angles.

Goldstein, Marvin E.↗
DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

The S-matrix of 2D type 0B string theory. Part II. D-instanton effects

We study the effect of D-instantons on closed string scattering amplitudes in the two-dimensional type 0B string theory from the worldsheet perspective. We find that the contribution from a pair of D-instanton and anti-D-instanton to the closed string reflection amplitude, with a suitable contour prescription for the integration over the D-instanton moduli space, agrees with the corresponding leading non-perturbative corrections in the proposed dual matrix quantum mechanics. This analysis is further extended to thermal observables defined at finite temperature. The infrared divergence in charged processes is understood through the measure factor for charged D-instantons, and can be treated with spacetime dimensional regularization.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Normalization of ZZ instanton amplitudes in type 0B minimal superstring theory

Abstract We study ZZ instanton corrections in the (2,4k)$$ \mathcal{N} $$ N = 1 minimal superstring theory with the type 0B GSO projection, which becomes the type 0B$$ \mathcal{N} $$ N = 1 super-JT gravity in thek→ ∞ limit. Each member of the (2,4k) family of theories has two phases distinguished by the sign of the Liouville bulk cosmological constant. The worldsheet method for computing the one-loop normalization constant multiplying the instanton corrections gives an ill-defined answer in both phases. We fix these divergences using insights from string field theory and find finite, unambiguous results. Each member of the (2,4k) family of theories is dual to a double-scaled one-matrix integral, where the double-scaling limit can be obtained starting either from a unitary matrix integral with a leading one-cut saddle point, or from a hermitian matrix integral with a leading two-cut saddle point. The matrix integral exhibits a gap-closing transition, which is the same as the double-scaled Gross-Witten-Wadia transition whenk= 1. We also compute instanton corrections in the double-scaled matrix integral for allkand in both phases, and find perfect agreement with the string theory results.

Physics↗
NASA NTRS1997

In situ wave phenomena in the upstream and downstream regions of interplanetary shocks: Implications for type 2 burst theories

The results are presented of in situ waves observed by the Ulyssess unified radio and plasma wave experiment (URAP) in the upstream and downstream regions of a large number of interplanetary shocks. The Langmuir waves which are the most essential ingredients for the type 2 radio emission are observed only in the upstream regions of a limited number of shocks. On the other hand, the ion-acoustic-like waves (0.5 to 5 kHz) are observed near most of the interplanetary shocks. Implications of observations made for the electron acceleration mechanisms at the collisionless shocks and for type 2 burst theories are presented.

Thejappa, G.↗
NASA NTRS1976

On the theory of the type III burst exciter

In situ satellite observations of type III burst exciters at 1 AU show that the beam does not evolve into a plateau in velocity space, contrary to the prediction of quasilinear theory. The observations can be explained by a theory that includes mode coupling effects due to excitation of the parametric oscillating two-stream instability and its saturation by anomalous resistivity. The time evolution of the beam velocity distribution is included in the analysis.

Smith, R. A.↗
NASA NTRS1979

A theory of solar type 3 radio bursts

Energetic electrons propagating through the interplanetary medium are shown to excite the one dimensional oscillating two stream instability (OTSI). The OTSI is in turn stabilized by anomalous resistivity which completes the transfer of long wavelength Langmuir waves to short wavelengths, out of resonance with the electrons. The theory explains the small energy losses suffered by the electrons in propagating to 1 AU, the predominance of second harmonic radiation, and the observed correlation between radio and electron fluxes.

Goldstein, M. L.↗
DOE OSTI2020

Near conformal perturbation theory in SYK type models

We present a systematic procedure to extract the dynamics of the low energy soft mode in SYK type models with a single energy scale J and emergent reparametrization symmetry in the IR. This is given in the framework of the perturbative scheme of arXiv:1608.07567 based on a specific (off-shell) breaking of conformal invariance in the UV, adjusted to yield the exact large-N saddle point. While this breaking term formally vanishes on-shell, it has a non-trivial effect on correlation functions and the effective action. In particular, it leads to the Schwarzian action with a specific coupling to bi-local matter. The method is applied to the evaluation of O(1) corrections to the correlation function of bi-locals. As a byproduct we confirm precise agreement with the explicit, symmetry breaking procedure. We provide a verification in the large q limit (Liouville theory), where the correlators can be calculated exactly at all length scales. In this case, our scheme illuminates how the enhanced O(J) and the subleading O(1) contributions originate from the Schwarzian dynamics of the soft mode and its interaction with h = 2 (bi-local) matter.

1/N expansion↗
NASA NTRS2013

A Leonard-Sanders-Budiansky-Koiter-Type Nonlinear Shell Theory with a Hierarchy of Transverse-Shearing Deformations

A detailed exposition on a refined nonlinear shell theory suitable for nonlinear buckling analyses of laminated-composite shell structures is presented. This shell theory includes the classical nonlinear shell theory attributed to Leonard, Sanders, Koiter, and Budiansky as an explicit proper subset. This approach is used in order to leverage the exisiting experience base and to make the theory attractive to industry. In addition, the formalism of general tensors is avoided in order to expose the details needed to fully understand and use the theory. The shell theory is based on "small" strains and "moderate" rotations, and no shell-thinness approximations are used. As a result, the strain-displacement relations are exact within the presumptions of "small" strains and "moderate" rotations. The effects of transverse-shearing deformations are included in the theory by using analyst-defined functions to describe the through-the-thickness distributions of transverse-shearing strains. Constitutive equations for laminated-composite shells are derived without using any shell-thinness approximations, and simplified forms and special cases are presented.

Nemeth, Michael P.↗
DOE OSTI2022

The quantum $\mathrm{UV}$-$\mathrm{IR}$ map for line defects in $$ \mathfrak{gl} $$(3)-type class $\mathcal{S}$ theories

We consider the quantum UV-IR map for line defects in class S theories of $\mathfrak{gl}$(3)-type. This map computes the protected spin character which counts framed BPS states with spin for the bulk-defect system. We give a geometric method of computing this map motivated by the physics of five-dimensional $\mathcal{N}$ = 2 supersymmetric Yang-Mills theory, and compute it explicitly in various examples. As a spin-off we propose a new way of computing a certain specialization of the HOMFLY polynomial for links in $\mathbb{R}^3$, as a sum over BPS webs attached to the link.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1993

Clumpy Langmuir waves in type III radio sources - Comparison of stochastic-growth theory with observations

Detailed comparisons are made between the Langmuir-wave properties predicted by the recently developed stochastic-growth theory of type III sources and those observed by the plasma wave experiment on ISEE 3, after correcting for the main instrumental and selection effects. Analysis of the observed field-strength distribution confirms the theoretically predicted form and implies that wave growth fluctuates both spatially and temporally in sign and magnitude, leading to an extremely clumpy distribution of fields. A cutoff in the field-strength distribution is seen at a few mV/m, corresponding to saturation via nonlinear effects. Analysis of the size distribution of Langmuir clumps yields results in accord with those obtained in earlier work and with the size distribution of ambient density fluctuations in the solar wind. This confirms that the inhomogeneities in the Langmuir growth rate are determined by the density fluctuations and that these fluctuations persist during type III events.

Robinson, P. A.↗