Behavior of a vibrating wire near the liquid3He-vacuum interface and in a saturated3He-4He mixture

In this paper we describe the effect of the vicinity of a liquid³He-vacuum interface on the behavior of a vibrating wire viscometer. It was found that in the fluid near the liquid interface the quality factor is lower than in the bulk liquid. We further report on the observation of a doubling of the resonance peak of the wire in a saturated³He-⁴He mixture. The frequencies and amplitudes of the two peaks strongly depend on the distance between the phase boundary and the vibrating wire; the temperature and the velocity of the phase boundary have no significant influence on the peak frequencies. The observed peak doubling is attributed to the coupling of the vibrating wire with a standing second-sound wave in the dilute phase where the volume of the dilute phase can be regarded as a resonating cavity for second sound.     

Predictive equation for acquisition of hepatitis B in hospital workers in a general hospital

A cross-sectional study was performed to obtain risk factors for hepatitis B disease, HBsAg carriers and immunised personnel, among 2470 workers in a general hospital in Madrid, Spain. The data obtained were analyzed with multiple logistic regression to obtain beta coefficients for variables. The results of the analysis show that being a nurse or being regularly exposed to blood are the most important risk factors for hepatitis B acquisition. The length of time working at the same job activity was also a risk factor. The resulting beta coefficients allow the construction for a hepatitis non-immunised, HBsAg carrier and immunised HBV status, which can select subjects for a hepatitis B vaccination program.     

TPS分散型控制系统在骤冷风空调装置中的应用

主要介绍了Honeywell公司TPS系统在直纺涤纶长丝用骤冷风空调装置中的应用。重点说明了该系统的硬件配置和一些复杂控制回路的实施和组态。     

Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

Influence diagnostics in multiple discriminant analysis

Various influence diagnostics in Multiple Discriminant Analysis can be found in the literature. Almost all of them are based on the overall probability of misclassification. Two case-deletion diagnostics which evaluate the effect of the omission on the linear functions which determine Fisher’s Linear Discriminant Rule are proposed in this paper. Both measures are based on the L ₂-norm: The first diagnostic is calculated from the data set and the second diagnostic is calculated in the minimum hypercube which covers it.