Finite-rate water condensation in combustion-heated wind tunnels

A quasi-one-dimensional method for computing finite rate nucleation and droplet growth of water in a supersonic expansion of combustion products is presented. Sample computations are included for the Langley 8 foot High Temperature Tunnel, but the method can also be applied to other combustion heated wind tunnels. The sample results indicate that the free stream static pressure can be in the range of 25 to 60 percent greater than that computed for isentropic nozzle flow without water condensation. The method provides a tool for examining the effects of water condensation on static state properties and velocity of the supersonic stream in combustion heated wind tunnels

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

Electron Self Energy for Higher Excited S Levels

A nonperturbative numerical evaluation of the one-photon electron self energy for the 3S and 4S states with charge numbers Z=1 to 5 is described. The numerical results are in agreement with known terms in the expansion of the self energy in powers of Zalpha.Comment: 3 pages, RevTeX, to appear in Phys. Rev.

Evaluation of insulation materials and composites for use in a nuclear radiation environment, phase 2

The nuclear heating of the propellant in all of the four baseline RNS configurations studied was much lower than that of the nuclear flight module configuration with the 5000-MW NERVA analyzed previously. Although the nuclear heating has been reduced, the effect of nuclear heating on the propellant as well as the effect of nuclear heating on internal structures such as antivortex baffles, screens, and sump components cannot be neglected. In addition, it was found that the present analytical precedures were not able to predict boundary layer initiation and breakoff points with the accuracy necessary to predict propellant thermodynamic nonequilibrium (stratification) and/or mixing

Considerations for a design and operations knowledge support system for Space Station Freedom

Engineering and operations of modern engineered systems depend critically upon detailed design and operations knowledge that is accurate and authoritative. A design and operations knowledge support system (DOKSS) is a modern computer-based information system providing knowledge about the creation, evolution, and growth of an engineered system. The purpose of a DOKSS is to provide convenient and effective access to this multifaceted information. The complexity of Space Station Freedom's (SSF's) systems, elements, interfaces, and organizations makes convenient access to design knowledge especially important, when compared to simpler systems. The life cycle length, being 30 or more years, adds a new dimension to space operations, maintenance, and evolution. Provided here is a review and discussion of design knowledge support systems to be delivered and operated as a critical part of the engineered system. A concept of a DOKSS for Space Station Freedom (SSF) is presented. This is followed by a detailed discussion of a DOKSS for the Lyndon B. Johnson Space Center and Work Package-2 portions of SSF

African-American Veterinary Students at Kansas State University (1910-1950)

Kansas State University was one of the most important veterinary colleges to educate African-American veterinarians before Tuskegee Institute (now University) established a veterinary college in 1945. Twenty-two African-American veterinary graduates may not seem like a very large number. However, during a period when becoming a veterinarian was almost never considered a possibility by the African-American community, Kansas State provided an important beacon of hope. Biographical information about several graduates is provided

Optical modeling of agricultural fields and rough-textured rock and mineral surfaces

Review was made of past models for describing the reflectance and/or emittance properties of agricultural/forestry and geological targets in an effort to select the best theoretical models. An extension of the six parameter Allen-Gayle-Richardson model was chosen as the agricultural plant canopy model. The model is used to predict the bidirectional reflectance of a field crop from known laboratory spectra of crop components and approximate plant geometry. The selected geological model is based on Mie theory and radiative transfer equations, and will assess the effect of textural variations of the spectral emittance of natural rock surfaces

't Hooft Expansion of 1/2 BPS Wilson Loop

We revisit the 't Hooft expansion of 1/2 BPS circular Wilson loop in N=4 SYM studied by Drukker and Gross in hep-th/0010274. We find an interesting recursion relation which relates different number of holes on the worldsheet. We also argue that we can turn on the string coupling by applying a certain integral transformation to the planar result.Comment: 21 pages; v2: minor correction

Centaur Propellant Thermal Conditioning Study

A wicking investigation revealed that passive thermal conditioning was feasible and provided considerable weight advantage over active systems using throttled vent fluid in a Centaur D-1s launch vehicle. Experimental wicking correlations were obtained using empirical revisions to the analytical flow model. Thermal subcoolers were evaluated parametrically as a function of tank pressure and NPSP. Results showed that the RL10 category I engine was the best candidate for boost pump replacement and the option showing the lowest weight penalty employed passively cooled acquisition devices, thermal subcoolers, dry ducts between burns and pumping of subcooler coolant back into the tank. A mixing correlation was identified for sizing the thermodynamic vent system mixer. Worst case mixing requirements were determined by surveying Centaur D-1T, D-1S, IUS, and space tug vehicles. Vent system sizing was based upon worst case requirements. Thermodynamic vent system/mixer weights were determined for each vehicle