Search NASA⌕ Search

SEARCH · Search NASA

Results for “Partition functions”

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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

Modular Certification

Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely "precertified" and used in several different contexts within a single airplane, or across many different airplanes. In this report, we examine the issues in modular certification of software components and propose an approach based on assume-guarantee reasoning. We extend the method from verification to certification by considering behavior in the presence of failures. This exposes the need for partitioning, and separation of assumptions and guarantees into normal and abnormal cases. We then identify three classes of property that must be verified within this framework: safe function, true guarantees, and controlled failure. We identify a particular assume-guarantee proof rule (due to McMillan) that is appropriate to the applications considered, and formally verify its soundness in PVS.

Rushby, John↗
NASA NTRS1971

Thermodynamics of rock forming crystalline solutions

Analysis of phase diagrams and cation distributions within crystalline solutions as means of obtaining thermodynamic data on rock forming crystalline solutions is discussed along with some aspects of partitioning of elements in coexisting phases. Crystalline solutions, components in a silicate mineral, and chemical potentials of these components were defined. Examples were given for calculating thermodynamic mixing functions in the CaW04-SrW04, olivine-chloride solution, and orthopyroxene systems.

Saxena, S. K.↗
NASA NTRS1975

Failure detection by pilots during automatic landing: Models and experiments

A model of the pilot as a monitor of instrument failures during automatic landing is proposed. The failure detection model consists of two stages: a linear estimator (Kalman Filter) and a decision mechanism which is based on sequential analysis. The filter equations are derived from a simplified version of the linearized dynamics of the airplane and the control loop. The perceptual observation noise is modelled to include the effects of the partition of attention among the several instruments. The final result is a simple model consisting of a high pass filter to produce the observation residuals, and a decision function which is a pure integration of the residuals minus a bias term. The dynamics of a Boeing 707 were used to simulate the fully coupled final approach in a fixed base simulator which also included failures in the airspeed, glideslope, and localizer indicators. Subjects monitored the approaches and detected the failures; their performance was compared with the predictions of the model with good agreement between the experimental data and the model.

Gai, E. G.↗
NASA NTRS1991

A combined vector potential-scalar potential method for FE computation of 3D magnetic fields in electrical devices with iron cores

A method of combined use of magnetic vector potential based finite-element (FE) formulations and magnetic scalar potential (MSP) based formulations for computation of three-dimensional magnetostatic fields is introduced. In this method, the curl-component of the magnetic field intensity is computed by a reduced magnetic vector potential. This field intensity forms the basic of a forcing function for a global magnetic scalar potential solution over the entire volume of the region. This method allows one to include iron portions sandwiched in between conductors within partitioned current-carrying subregions. The method is most suited for large-scale global-type 3-D magnetostatic field computations in electrical devices, and in particular rotating electric machinery.

Wang, R.↗
NASA NTRS1997

Membrane-Based Functions in the Origin of Cellular Life

If peptides consist of nonpolar residues only, they become inserted into the nonpolar phase. As demonstrated by the example of the leucine undecamer, such peptides fold into an a-helix as they partition into the nonpolar medium. The folding proceeds through an intermediate, called the 310-helix, which remains in equilibrium with the a-helix. This process represents a simple, protobiologically relevant example of environmentally-mediated self-organization of biological molecules. Once in the nonpolar environment, the peptides can readily change their orientation with respect to the interface from parallel to perpendicular, especially in response to local electric fields. The ability of nonpolar peptides to modify both the structure and orientation with changing external conditions may have provided a simple mechanism of transmitting signals from the environment to the interior of a protocell.

Wilson, Michael↗
NASA NTRS2001

Inorganic Chlorine Partitioning in the Summer Lower Stratosphere: Modeled and Measured [ClONO2/HCl] During POLARIS

We examine inorganic chlorine (Cly) partitioning in the summer lower stratosphere using in situ ER-2 aircraft observations made during the Photochemistry of Ozone Loss in the Arctic Region in Summer (POLARIS) campaign. New steady state and numerical models estimate [ClONO2]/[HCl] using currently accepted photochemistry. These models are tightly constrained by observations with OH (parameterized as a function of solar zenith angle) substituting for modeled HO2 chemistry. We find that inorganic chlorine photochemistry alone overestimates observed [ClONO2]/[HCl] by approximately 55-60% at mid and high latitudes. On the basis of POLARIS studies of the inorganic chlorine budget, [ClO]/[ClONO2], and an intercomparison with balloon observations, the most direct explanation for the model-measurement discrepancy in Cly partitioning is an error in the reactions, rate constants, and measured species concentrations linking HCl and ClO (simulated [ClO]/[HCl] too high) in combination with a possible systematic error in the ER-2 ClONO2 measurement (too low). The high precision of our simulation (+/-15% 1-sigma for [ClONO2]/[HCl], which is compared with observations) increases confidence in the observations, photolysis calculations, and laboratory rate constants. These results, along with other findings, should lead to improvements in both the accuracy and precision of stratospheric photochemical models.

Voss, P. B.↗
NASA NTRS1993

An alternative representation of the ice canopy for calculating microwave brightness temperatures over a thunderstorm

Passive microwave brightness temperatures (TBs) at 92 and 183 GHz from an aircraft thunderstorm overflight are compared with values calculated from radar-derived hydrometeor profiles and a modified proximity sounding. Two methods for modeling particles in the ice canopy are contrasted. The first is a 'traditional' approach employing Marshall-Palmer ice spheres. The second, or 'alternative', method partitions 20 percent of the ice water content into a Marshall-Palmer component for graupel and hail, and 80 percent into a modified gamma spherical particle size distribution function representing ice crystals. Results from the alternative approach are superior to those from the traditional method in the anvil and mature convective core. In the decaying convective region, the traditional approach yields better agreement with observed magnitudes. Neither method, however, matches the geometry of the observed TB depression associated with the decaying convective core. This is likely due to the presence of graupel, which is not detected as a special signature in radar reflectivity, but does diminish TBs through scattering. Brightness temperatures at the relatively high microwave frequencies considered are shown to be very sensitive to the ice-particle size distribution.

Muller, Bradley M.↗
NASA NTRS1994

Computer code for controller partitioning with IFPC application: A user's manual

A user's manual for the computer code for partitioning a centralized controller into decentralized subcontrollers with applicability to Integrated Flight/Propulsion Control (IFPC) is presented. Partitioning of a centralized controller into two subcontrollers is described and the algorithm on which the code is based is discussed. The algorithm uses parameter optimization of a cost function which is described. The major data structures and functions are described. Specific instructions are given. The user is led through an example of an IFCP application.

Schmidt, Phillip H.↗
NASA NTRS1987

A parallel algorithm for channel routing on a hypercube

A new parallel simulated annealing algorithm for channel routing on a P processor hypercube is presented. The basic idea used is to partition a set of tracks equally among processors in the hypercube. In parallel, P/2 pairs of processors perform displacements and exchanges of nets between tracks, compute the changes in cost functions, and accept moves using a parallel annealing criteria. Through the use of a unique distributed data structure, it is possible to minimize message traffic and add versatility and efficiency in a parallel routing tool. The algorithm has been implemented and is being tested on some of the popular channel problems from the literature.

Brouwer, Randall↗
NASA NTRS1991

Biophysical information in asymmetric and symmetric diurnal bidirectional canopy reflectance

The authors present a theory for partitioning the information content in diurnal bidirectional reflectance measurements in order to detect differences potentially related to biophysical variables. The theory, which divides the canopy reflectance into asymmetric and symmetric functions of solar azimuth angle, attributes asymmetric variation to diurnal changes in the canopy biphysical properties. The symmetric function is attributed to the effects of sunlight interacting with a hypothetical average canopy which would display the average diurnal properties of the actual canopy. The authors analyzed radiometer data collected diurnally in the Thematic Mapper wavelength bands from two walnut canopies that received differing irrigation treatments. The reflectance of the canopies varied with sun and view angles and across seven bands in the visible, near-infrared, and middle infrared wavelength regions. Although one of the canopies was permanently water stressed and the other was stressed in mid-afternoon each day, no water stress signature was unambiguously evident in the reflectance data.

Vanderbilt, Vern C.↗
NASA NTRS1994

Correlations in cosmic density fields

A method is proposed to place constraints on the functional form of the high-order correlation functions zeta(sub n) that arise in cosmic density fields at large scales. This technique is based on a mass-in-cell statistic and a difference of mass in partitions of a cell. The relationship between these measures is sensitive to the formal structure of the zeta(sub n) as well as their amplitudes. This relationship is quantified in several theoretical models of structure, based on the hierarchical clustering paradigm. The results lead to a test for specific types of hierarchical clustering that is sensitive to correlations of all orders. The method is applied to examples of simulated large-scaled structure dominated by cold dark matter. In the preliminary study, the hierarchical paradigm appears to be a realistic approximation over a broad range of the scales. Furthermore, there is evidence that graphs of low-order vertices are dominant. On the basis of simulated data a phenomological model is specified that gives a good representation of clustering from linear scales to the strongly clustered regime (zeta(sub 2) approximately 500).

Bromley, B. C.↗
NASA NTRS1993

Hydrogen partitioning and transport in titanium aluminides

This report gives the final summary of the research work perfomed from March 1, 1990 to August 28, 1993. Brief descriptions of the research findings are given on the surface variation of Ti-14Al-21Nb as a function of temperature under ultrahigh vacuum conditions; titanium aluminides: surface composition effects as a function of temperature; Auger electron intensity variation in oxygen-charged silver; and segregation of sulfur on a titanium surface studied by Auger electron spectroscopy. Each description details one or more of the attached corresponding figures. Published journal documents are provided as appendices to give further detail.

Han, Kwang S.↗
NASA NTRS1991

Compile-time estimation of communication costs in multicomputers

An important problem facing numerous research projects on parallelizing compilers for distributed memory machines is that of automatically determining a suitable data partitioning scheme for a program. Any strategy for automatic data partitioning needs a mechanism for estimating the performance of a program under a given partitioning scheme, the most crucial part of which involves determining the communication costs incurred by the program. A methodology is described for estimating the communication costs at compile-time as functions of the numbers of processors over which various arrays are distributed. A strategy is described along with its theoretical basis, for making program transformations that expose opportunities for combining of messages, leading to considerable savings in the communication costs. For certain loops with regular dependences, the compiler can detect the possibility of pipelining, and thus estimate communication costs more accurately than it could otherwise. These results are of great significance to any parallelization system supporting numeric applications on multicomputers. In particular, they lay down a framework for effective synthesis of communication on multicomputers from sequential program references.

Gupta, Manish↗
NASA NTRS1978

Synthetic atmospheric transmittance spectra near 15 and 4.3 microns

Synthetic monochromatic atmospheric transmittance spectra are presented for infrared intervals in the vicinity of the 15 and 4.3 microns CO2 bands. The intervals are nominally 20 kaysers in width, and the spectra partition the intervals 560, 780 kayser and 2180, 2400 kayser, respectively. The spectra are for a vertical atmospheric path. A given spectrum is presented at that pressure for which the mean weighting function is a maximum. In order to indicate the molecular origin of the features in a given spectrum, separate spectra are also presented for those species which make center line contributions to the absorption over the interval. The transmittance model for the calculations is described. In addition to the representation of spectral features for intervals which comprise these two CO2 bands, the spectra afford a utility in the design of high precision satellite temperature radiometers.

Susskind, J.↗
NASA NTRS1985

Progress on Experimental Impact Studies

Experimental impact studies were undertaken. Ejecta velocity distributions and related results from regolith targets were studied. The velocity distributions, energy partitioning, and related properties from 14 impacts at speeds 5 to 2321 m/s in vacuo into regolith-like fine powders were derived. Data are analyzed on: velocity and mass distributions as a function of azimuth around the crater during oblique impacts catastrophic disruption of spherical targets of variable strength, and catastrophic disruption of irregular-shaped natural rock targets and artificial granular aggregate targets.

Hartmann, W. K.↗
NASA NTRS1986

Simulation model for plant growth in controlled environment systems

The role of the mathematical model is to relate the individual processes to environmental conditions and the behavior of the whole plant. Using the controlled-environment facilities of the phytotron at North Carolina State University for experimentation at the whole-plant level and methods for handling complex models, researchers developed a plant growth model to describe the relationships between hierarchial levels of the crop production system. The fundamental processes that are considered are: (1) interception of photosynthetically active radiation by leaves, (2) absorption of photosynthetically active radiation, (3) photosynthetic transformation of absorbed radiation into chemical energy of carbon bonding in solube carbohydrates in the leaves, (4) translocation between carbohydrate pools in leaves, stems, and roots, (5) flow of energy from carbohydrate pools for respiration, (6) flow from carbohydrate pools for growth, and (7) aging of tissues. These processes are described at the level of organ structure and of elementary function processes. The driving variables of incident photosynthetically active radiation and ambient temperature as inputs pertain to characterization at the whole-plant level. The output of the model is accumulated dry matter partitioned among leaves, stems, and roots; thus, the elementary processes clearly operate under the constraints of the plant structure which is itself the output of the model.

Raper, C. D., Jr.↗
NASA NTRS1992

Static assignment of complex stochastic tasks using stochastic majorization

We consider the problem of statically assigning many tasks to a (smaller) system of homogeneous processors, where a task's structure is modeled as a branching process, and all tasks are assumed to have identical behavior. We show how the theory of majorization can be used to obtain a partial order among possible task assignments. Our results show that if the vector of numbers of tasks assigned to each processor under one mapping is majorized by that of another mapping, then the former mapping is better than the latter with respect to a large number of objective functions. In particular, we show how measurements of finishing time, resource utilization, and reliability are all captured by the theory. We also show how the theory may be applied to the problem of partitioning a pool of processors for distribution among parallelizable tasks.

Nicol, David↗
NASA NTRS1993

Integrated flight/propulsion control - Subsystem specifications for performance

A procedure is presented for calculating multiple subsystem specifications given a number of performance requirements on the integrated system. This procedure applies to problems where the control design must be performed in a partitioned manner. It is based on a structured singular value analysis, and generates specifications as magnitude bounds on subsystem uncertainties. The performance requirements should be provided in the form of bounds on transfer functions of the integrated system. This form allows the expression of model following, command tracking, and disturbance rejection requirements. The procedure is demonstrated on a STOVL aircraft design.

Neighbors, W. K.↗