LOX/LH2 propulsion system for launch vehicle upper stage, test results

The test results of small LOX/LH2 engines for two propulsion systems, a pump fed system and a pressure fed system are reported. The pump fed system has the advantages of higher performances and higher mass fraction. The pressure fed system has the advantages of higher reliability and relative simplicity. Adoption of these cryogenic propulsion systems for upper stage of launch vehicle increases the payload capability with low cost. The 1,000 kg thrust class engine was selected for this cryogenic stage. A thrust chamber assembly for the pressure fed propulsion system was tested. It is indicated that it has good performance to meet system requirements

Torsional oscillator experiment on superfluid 4He confined in a porous alumina nanopore array

26th International Conferenceon Low Temperature Physics (LT26

Measurement of the CP Violation Parameter sin(2phi_1) in B^0_d Meson Decays

We present a measurement of the Standard Model CP violation parameter sin(2phi_1) based on a 10.5 fb^{-1} data sample collected at the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric e+e- collider. One neutral B meson is reconstructed in the J/psi K_S, psi(2S) K_S, chi_{c1} K_S, eta_c K_S, J/psi K_L or J/psi pi^0 CP-eigenstate decay channel and the flavor of the accompanying B meson is identified from its charged particle decay products. From the asymmetry in the distribution of the time interval between the two B-meson decay points, we determine sin(2phi_1) = 0.58 +0.32-0.34 (stat) +0.09-0.10 (syst).Comment: LaTex, 13 pages, 3 figures, submitted to P.R.

In Vivo Diagnostic Imaging Using Micro-CT: Sequential and Comparative Evaluation of Rodent Models for Hepatic/Brain Ischemia and Stroke

BACKGROUND: There is an increasing need for animal disease models for pathophysiological research and efficient drug screening. However, one of the technical barriers to the effective use of the models is the difficulty of non-invasive and sequential monitoring of the same animals. Micro-CT is a powerful tool for serial diagnostic imaging of animal models. However, soft tissue contrast resolution, particularly in the brain, is insufficient for detailed analysis, unlike the current applications of CT in the clinical arena. We address the soft tissue contrast resolution issue in this report. METHODOLOGY: We performed contrast-enhanced CT (CECT) on mouse models of experimental cerebral infarction and hepatic ischemia. Pathological changes in each lesion were quantified for two weeks by measuring the lesion volume or the ratio of high attenuation area (%HAA), indicative of increased vascular permeability. We also compared brain images of stroke rats and ischemic mice acquired with micro-CT to those acquired with 11.7-T micro-MRI. Histopathological analysis was performed to confirm the diagnosis by CECT. PRINCIPAL FINDINGS: In the models of cerebral infarction, vascular permeability was increased from three days through one week after surgical initiation, which was also confirmed by Evans blue dye leakage. Measurement of volume and %HAA of the liver lesions demonstrated differences in the recovery process between mice with distinct genetic backgrounds. Comparison of CT and MR images acquired from the same stroke rats or ischemic mice indicated that accuracy of volumetric measurement, as well as spatial and contrast resolutions of CT images, was comparable to that obtained with MRI. The imaging results were also consistent with the histological data. CONCLUSIONS: This study demonstrates that the CECT scanning method is useful in rodents for both quantitative and qualitative evaluations of pathologic lesions in tissues/organs including the brain, and is also suitable for longitudinal observation of the same animals

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools