Search NASA⌕ Search

SEARCH · Search NASA

Results for “EXISTENCE THEOREM”

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
NASA NTRS1972

Biased estimation for dynamic systems.

Optimization and regulation of static and dynamic systems require good estimates of the states of the system model and the parameters of the model in the presence of input and measurement noise. A biased estimator is proposed as an alternative to the familiar best linear unbiased estimator. Depending on the value of a constant, this biased estimator can be made unbiased and is then identical to the best linear unbiased estimator, thus permitting additional freedom of choice in design and application. The sum of squared errors of this bs tmator can be less than the best linear unbiased case. An existence theorem is established and various properties are discussed.

Chang, J. W.↗
NASA NTRS1976

Some existence and sufficient conditions of optimality

The role of the existence and sufficiency conditions in the field of optimal control was briefly described. The existence theorems are discussed for general nonlinear systems. However, the sufficiency conditions pertain to "nearly" linear systems with integral convex costs. Moreover, a brief discussion of linear systems with multiple-cost functions is presented.

Assefi, T.↗
NASA NTRS1975

Advances in data compression

A rigorous real-variables treatment of general data compression and encoding problems, centered on formulation and proof of relevant existence theorems and a unified formulation of source coding (both noiseless and with a fidelity criterion) in inaccurately or incompletely specified statistical environments. Difficulties in modeling of sources with unknown or imperfectly known statistical descriptions are analyzed and source codes (SC) are classified (variable-rate noiseless SC, fixed-rate noiseless SC) and analyzed, along with types of code sequences (weighted-universal, maximin-universal, strongly or weakly minimax-universal). Universal coding on video data, variable-rate coding with distortion, and distortion-rate functions are discussed. Design strategies for universal coding algorithms are suggested, but the article is not oriented to specific methods of synthesizing data compression systems.

Davisson, L. D.↗
NASA NTRS1987

The existence and stability of steady circulations in a conditionally symmetrically unstable basic flow

The existence of steady, nonlinear circulations in a flow susceptible to conditionally symmetric instability is studied, treating the latent heating as an energy source which is implicitly related to the motion field. The viscous nonlinear circulations of symmetrical instability are briefly discussed, and an existence theorem for steady, nonlinear symmetric circulations with bounded rates of latent heat release is given. The uniqueness and stability of these circulations are discussed, and some physical interpretations are given.

Xu, Qin↗
NASA NTRS1990

Preliminary drop-tower experiments on liquid-interface geometry in partially filled containers at zero gravity

Plexiglass containers with rounded trapezoidal cross sections were designed and built to test the validity of Concus and Finn's existence theorem (1974, 1983) for a bounded free liquid surface at zero gravity. Experiments were carried out at the NASA Lewis two-second drop tower. Dyed ethanol-water solutions and three immiscible liquid pairs, with one liquid dyed, were tested. High-speed movies were used to record the liquid motion. Liquid rose to the top of the smaller end of the containers when the contact angle was small enough, in agreement with the theory. Liquid interface motion demonstrated a strong dependence on physical properties, including surface roughness and contamination.

Smedley, G.↗
NASA NTRS2020

Disruptive Technologies and Their Putative Impacts Upon Society and Aerospace- Entering The Virtual Age

Developments in technology over the recent decades have been extraordinary. They include the IT, bio, nano, and now quantum and energetics technology arenas and their many combinatorial interactions and impacts. In the main, these are at the frontiers of the small and in a combinational, synergistic feeding frenzy with each other. They fall under the broad category of Disruptive Technologies and have greatly altered society. The outlook for the runout of these and other technology developments augers mid-term to later alterations in components of the human existence theorem, including the requirement to work for our living and our physiological makeup and longevity (Ref 1). The IT revolution began in the 1950s with the development of solid-state electronics. The biologics revolution began later in the 1960s and 1970s with DNA and genomics, and the nano revolution in the 1990s with self-forming nano systems and carbon nanotubes. Quantum technology is now developing rapidly, aided by enabling nano systems, and the energetics revolution is providing ever more efficient and less expensive renewable energy sources. The IT revolution has produced improvements of an astounding eleven orders of magnitude in computing speed since the late 1950s. As we shift from silicon to biological, optical, nano, molecular, and atomic computing, improvements of some 4 orders of magnitude are evidently possible from either optical or DNA computing [Refs 2and 3], then there are combinatorials. Then there is quantum computing, under development worldwide for an increasing number of applications and proffering phenomenal capabilities. The current fastest computers are considerably beyond human brain speed. Machine intelligence is developing well after decades of inadequate machine capability, now no longer the case, and a detour into expert systems. Researchers in machine intelligence are now pursuing deep learning approaches using neural nets, which are proving to be extremely useful. Some believe the frontier of potential human-level machine intelligence may be found in biomimetics and brain-emulation approaches. There is even a possibility of “emergence”—i.e., when the machine intelligence is complex enough that it “wakes up,” as when human intelligence emerged via evolution during the million-plus years of the hunter-gatherer epoch [ Ref 4]. In fact, some posit that human intelligence can be improved upon and is only a cul-de-sac of what is conceivable. The IT revolution has produced massive changes in human society and economics—from the Internet, enabling the rapid expansion of knowledgeability (and even what is knowable), to an increasingly pervasive trend of “tele-everything.” The extraordinary compilation, storage, and availability of truly massive amounts of information could, when combined with AI and under the mantra of “big data,” greatly improve many of our technical and commercial processes and their content including elucidating new heuristic governing laws.

Dennis M. Bushnell↗
DOE OSTI2025

Four no-go theorems on the existence of spin and orbital angular momentum of massless bosons

The past decades have seen substantial interest in the so-called orbital angular momentum (OAM) of light, driven largely by its diverse range of applications. However, there are fundamental theoretical issues with decomposing the angular momentum of massless particles, such as photons, into spin (SAM) and orbital angular momentum parts. While the angular momentum of massive particles has a natural splitting into the Wigner SAM and OAM, there are numerous proposed splittings for photons and no consensus about which is correct. Moreover, it has been shown that most of the proposed SAM and OAM operators do not satisfy the defining commutation relations of angular momentum operators and are thus not legitimate splittings. Here, we prove that it is generally impossible to split the total angular momentum operator of massless bosons, such as photons and gravitons, into spin and orbital parts. We prove two further generalizations of this result, showing that there are no SAM-OAM splittings even if (1) the SAM operator generates non-internal symmetries or (2) if one allows the SAM and OAM operators to generate non-SO(3) symmetries.

Chern numbers↗
NASA NTRS2003

Hiproofs

We introduce a hierarchical notion of formal proof, useful in the implementation of theorem provers, which we call highproofs. Two alternative definitions are given, motivated by existing notations used in theorem proving research. We define transformations between these two forms of hiproof, develop notions of underlying proof, and give a suitable definition of refinement in order to model incremental proof development. We show that our transformations preserve both underlying proofs and refinement. The relationship of our theory to existing theorem proving systems is discussed, as is its future extension.

Denney, Ewen↗