Design analysis of levitation facility for space processing applications

Containerless processing facilities for the space laboratory and space shuttle are defined. Materials process examples representative of the most severe requirements for the facility in terms of electrical power, radio frequency equipment, and the use of an auxiliary electron beam heater were used to discuss matters having the greatest effect upon the space shuttle pallet payload interfaces and envelopes. Improved weight, volume, and efficiency estimates for the RF generating equipment were derived. Results are particularly significant because of the reduced requirements for heat rejection from electrical equipment, one of the principal envelope problems for shuttle pallet payloads. It is shown that although experiments on containerless melting of high temperature refractory materials make it desirable to consider the highest peak powers which can be made available on the pallet, total energy requirements are kept relatively low by the very fast processing times typical of containerless experiments and allows consideration of heat rejection capabilities lower than peak power demand if energy storage in system heat capacitances is considered. Batteries are considered to avoid a requirement for fuel cells capable of furnishing this brief peak power demand

Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

Bistability of Slow and Fast Traveling Waves in Fluid Mixtures

The appearence of a new type of fast nonlinear traveling wave states in binary fluid convection with increasing Soret effect is elucidated and the parameter range of their bistability with the common slower ones is evaluated numerically. The bifurcation behavior and the significantly different spatiotemporal properties of the different wave states - e.g. frequency, flow structure, and concentration distribution - are determined and related to each other and to a convenient measure of their nonlinearity. This allows to derive a limit for the applicability of small amplitude expansions. Additionally an universal scaling behavior of frequencies and mixing properties is found. PACS: 47.20.-k, 47.10.+g, 47.20.KyComment: 4 pages including 5 Postscript figure

Final State Interactions and CP Violation in KL→π+π−e+e−K_L \to \pi^+ \pi^- e^+ e^-

Using chiral perturbation theory we calculate the imaginary parts of the $K_L \rightarrow \pi^+ \pi^- e^+ e^-$ form factors that arise from $\pi \pi \rightarrow \pi^+ \pi^-$ and $\pi \pi \rightarrow \pi^+ \pi^- \gamma^*$ rescattering. We discuss their influence on CP violating variables in $K_L \rightarrow \pi^+ \pi^- e^+ e^-$.Comment: ; 12 pages, 2 figures, TeX format; uses epsf.tex, tables.tex, and phyzzx.te

Influence of the Soret effect on convection of binary fluids

Convection in horizontal layers of binary fluids heated from below and in particular the influence of the Soret effect on the bifurcation properties of extended stationary and traveling patterns that occur for negative Soret coupling is investigated theoretically. The fixed points corresponding to these two convection structures are determined for realistic boundary conditions with a many mode Galerkin scheme for temperature and concentration and an accurate one mode truncation of the velocity field. This solution procedure yields the stable and unstable solutions for all stationary and traveling patterns so that complete phase diagrams for the different convection types in typical binary liquid mixtures can easily be computed. Also the transition from weakly to strongly nonlinear states can be analyzed in detail. An investigation of the concentration current and of the relevance of its constituents shows the way for a simplification of the mode representation of temperature and concentration field as well as for an analytically manageable few mode description.Comment: 30 pages, 12 figure