Diffuser/ejector system for a very high vacuum environment

Turbo jet engines are used to furnish the necessary high temperature, high volume, medium pressure gas to provide a high vacuum test environment at comparatively low cost for space engines at sea level. Moreover, the invention provides a unique way by use of the variable area ratio ejectors with a pair of meshing cones are used. The outer cone is arranged to translate fore and aft, and the inner cone is interchangeable with other cones having varying angles of taper

Integration and software for thermal test of heat rate sensors

A minicomputer controlled radiant test facility is described which was developed and calibrated in an effort to verify analytical thermal models of instrumentation islands installed aboard the space shuttle external tank to measure thermal flight parameters during ascent. Software was provided for the facility as well as for development tests on the SRB actuator tail stock. Additional testing was conducted with the test facility to determine the temperature and heat flux rate and loads required to effect a change of color in the ET tank external paint. This requirement resulted from the review of photographs taken of the ET at separation from the orbiter which showed that 75% of the external tank paint coating had not changed color from its original white color. The paint on the remaining 25% of the tank was either brown or black, indicating that it had degraded due to heating or that the spray on form insulation had receded in these areas. The operational capability of the facility as well as the various tests which were conducted and their results are discussed

A note on self-adjoint extensions of the Laplacian on weighted graphs

We study the uniqueness of self-adjoint and Markovian extensions of the Laplacian on weighted graphs. We first show that, for locally finite graphs and a certain family of metrics, completeness of the graph implies uniqueness of these extensions. Moreover, in the case when the graph is not metrically complete and the Cauchy boundary has finite capacity, we characterize the uniqueness of the Markovian extensions.Comment: 17 pages. The assumption of "finite jump size" found in Theorems 1 and 2 in the previous version has been replaced by a weaker condition concerning the newly introduced notion of a "combinatorial neighborhood" in Theorem 1 and has been removed altogether from Theorem 2. Some references added. Final version to appear in J. Funct. Ana

Surfactant mixtures at the oil–water interface

NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Colloid and Interface Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in JOURNAL OF COLLOID AND INTERFACE SCIENCE, VOL 398, (2013) DOI 10.1016/j.jcis.2013.01.06

New Results on Cutting Plane Proofs for Horn Constraint Systems

In this paper, we investigate properties of cutting plane based refutations for a class of integer programs called Horn constraint systems (HCS). Briefly, a system of linear inequalities A * x >= b is called a Horn constraint system, if each entry in A belongs to the set {0,1,-1} and furthermore there is at most one positive entry per row. Our focus is on deriving refutations i.e., proofs of unsatisfiability of such programs using cutting planes as a proof system. We also look at several properties of these refutations. Horn constraint systems can be considered as a more general form of propositional Horn formulas, i.e., CNF formulas with at most one positive literal per clause. Cutting plane calculus (CP) is a well-known calculus for deciding the unsatisfiability of propositional CNF formulas and integer programs. Usually, CP consists of a pair of inference rules. These are called the addition rule (ADD) and the division rule (DIV). In this paper, we show that cutting plane calculus is still complete for Horn constraints when every intermediate constraint is required to be Horn. We also investigate the lengths of cutting plane proofs for Horn constraint systems

Elastic properties of cubic crystals: Every's versus Blackman's diagram

Blackman's diagram of two dimensionless ratios of elastic constants is frequently used to correlate elastic properties of cubic crystals with interatomic bondings. Every's diagram of a different set of two dimensionless variables was used by us for classification of various properties of such crystals. We compare these two ways of characterization of elastic properties of cubic materials and consider the description of various groups of materials, e.g. simple metals, oxides, and alkali halides. With exception of intermediate valent compounds, the correlation coefficients for Every's diagrams of various groups of materials are greater than for Blackaman's diagrams, revealing the existence of a linear relationship between two dimensionless Every's variables. Alignment of elements and compounds along lines of constant Poisson's ratio $\nu(,\textbf{m})$, ($\textbf{m}$ arbitrary perpendicular to ) is observed. Division of the stability region in Blackman's diagram into region of complete auxetics, auxetics and non-auxetics is introduced. Correlations of a scaling and an acoustic anisotropy parameter are considered.Comment: 8 pages, 9 figures, presented on The Ninth International School on Theoretical Physics "Symmetry and Structural Properties of Condensed Matter", 5 - 12 September 2007, Myczkowce, Polan