11,570 research outputs found
Financial Structure: An International Persepective
macroeconomics, financial structure
Velocity field distributions due to ideal line vortices
We evaluate numerically the velocity field distributions produced by a
bounded, two-dimensional fluid model consisting of a collection of parallel
ideal line vortices. We sample at many spatial points inside a rigid circular
boundary. We focus on ``nearest neighbor'' contributions that result from
vortices that fall (randomly) very close to the spatial points where the
velocity is being sampled. We confirm that these events lead to a non-Gaussian
high-velocity ``tail'' on an otherwise Gaussian distribution function for the
Eulerian velocity field. We also investigate the behavior of distributions that
do not have equilibrium mean-field probability distributions that are uniform
inside the circle, but instead correspond to both higher and lower mean-field
energies than those associated with the uniform vorticity distribution. We find
substantial differences between these and the uniform case.Comment: 21 pages, 9 figures. To be published in Physical Review E
(http://pre.aps.org/) in May 200
Development of a prototype automatic controller for liquid cooling garment inlet temperature
The development of a computer control of a liquid cooled garment (LCG) inlet temperature is descirbed. An adaptive model of the LCG is used to predict the heat-removal rates for various inlet temperatures. An experimental system that contains a microcomputer was constructed. The LCG inlet and outlet temperatures and the heat exchanger outlet temperature form the inputs to the computer. The adaptive model prediction method of control is successful during tests where the inlet temperature is automatically chosen by the computer. It is concluded that the program can be implemented in a microprocessor of a size that is practical for a life support back-pack
Viscous, resistive MHD stability computed by spectral techniques
Expansions in Chebyshev polynomials are used to study the linear stability of one dimensional magnetohydrodynamic (MHD) quasi-equilibria, in the presence of finite resistivity and viscosity. The method is modeled on the one used by Orszag in accurate computation of solutions of the Orr-Sommerfeld equation. Two Reynolds like numbers involving Alfven speeds, length scales, kinematic viscosity, and magnetic diffusivity govern the stability boundaries, which are determined by the geometric mean of the two Reynolds like numbers. Marginal stability curves, growth rates versus Reynolds like numbers, and growth rates versus parallel wave numbers are exhibited. A numerical result which appears general is that instability was found to be associated with inflection points in the current profile, though no general analytical proof has emerged. It is possible that nonlinear subcritical three dimensional instabilities may exist, similar to those in Poiseuille and Couette flow
Bearing tester data compilation, analysis and reporting and bearing math modeling, volume 1
Thermal and mechanical models of high speed angular contact ball bearings operating in LOX and LN2 were developed and verified with limited test data in an effort to further understand the parameters that determine or effect the SSME turbopump bearing operational characteristics and service life. The SHABERTH bearing analysis program which was adapted to evaluate shaft bearing systems in cryogenics is not capable of accommodating varying thermal properties and two phase flow. A bearing model with this capability was developed using the SINDA thermal analyzer. Iteration between the SHABERTH and the SINDA models enable the establishment of preliminary bounds for stable operation in LN2. These limits were established in terms of fluid flow, fluid inlet temperature, and axial load for a shaft speed of 30,000 RPM
Haplotype analysis of the PPARgamma Pro12Ala and C1431T variants reveals opposing associations with body weight.
BACKGROUND: Variation at the PPARG locus may influence susceptibility to type 2 diabetes and related traits. The Pro12Ala polymorphism may modulate receptor activity and is associated with protection from type 2 diabetes. However, there have been inconsistent reports of its association with obesity. The silent C1431T polymorphism has not been as extensively studied, but the rare T allele has also been inconsistently linked to increases in weight. Both rare alleles are in linkage disequilibrium and the independent associations of these two polymorphisms have not been addressed. RESULTS: We have genotyped a large population with type 2 diabetes (n = 1107), two populations of non-diabetics from Glasgow (n = 186) and Dundee (n = 254) and also a healthy group undergoing physical training (n = 148) and investigated the association of genotype with body mass index. This analysis has demonstrated that the Ala12 and T1431 alleles are present together in approximately 70% of the carriers. By considering the other 30% of individuals with haplotypes that only carry one of these polymorphisms, we have demonstrated that the Ala12 allele is consistently associated with a lower BMI, whilst the T1431 allele is consistently associated with higher BMI. CONCLUSION: This study has therefore revealed an opposing interaction of these polymorphisms, which may help to explain previous inconsistencies in the association of PPARG polymorphisms and body weight
Active Sampling-based Binary Verification of Dynamical Systems
Nonlinear, adaptive, or otherwise complex control techniques are increasingly
relied upon to ensure the safety of systems operating in uncertain
environments. However, the nonlinearity of the resulting closed-loop system
complicates verification that the system does in fact satisfy those
requirements at all possible operating conditions. While analytical proof-based
techniques and finite abstractions can be used to provably verify the
closed-loop system's response at different operating conditions, they often
produce conservative approximations due to restrictive assumptions and are
difficult to construct in many applications. In contrast, popular statistical
verification techniques relax the restrictions and instead rely upon
simulations to construct statistical or probabilistic guarantees. This work
presents a data-driven statistical verification procedure that instead
constructs statistical learning models from simulated training data to separate
the set of possible perturbations into "safe" and "unsafe" subsets. Binary
evaluations of closed-loop system requirement satisfaction at various
realizations of the uncertainties are obtained through temporal logic
robustness metrics, which are then used to construct predictive models of
requirement satisfaction over the full set of possible uncertainties. As the
accuracy of these predictive statistical models is inherently coupled to the
quality of the training data, an active learning algorithm selects additional
sample points in order to maximize the expected change in the data-driven model
and thus, indirectly, minimize the prediction error. Various case studies
demonstrate the closed-loop verification procedure and highlight improvements
in prediction error over both existing analytical and statistical verification
techniques.Comment: 23 page
- …