Quality control criteria for acceptance testing of cross-wire welds

Visual inspection criteria assure the metallurgical integrity of spot welds joining nickel leads and nickel ribbon in a 90 degree cross-wire configuration

Constructing compact 8-manifolds with holonomy Spin(7) from Calabi-Yau orbifolds

Compact Riemannian 7- and 8-manifolds with holonomy G(2) arid Spin(7) were first constructed by the author in 1994-5, by resolving orbifolds T-7/Gamma and T-8/Gamma. This paper describes a new construction of compact 8-manifolds with holonomy Spin(7). We start with a Calabi-Yau 4-orbifold Y with isolated singularities of a special kind. We divide by an antiholomorphic involution a of Y to get a real 8-orbifold Z = Y/. Then we resolve tire singularities of Z to get a compact 8-manifold M, which has metrics with holonomy Spin(7). Manifolds constructed in this way typically have large fourth Betti number b(4)(M).</sigma

Radio-controlled, sound-operated switch

Switch presently provides remote control switching, by radio signals, or pollution sampling devices. Can be used for remote weather station interrogation, firing of pyrotechnics, control of dangerous equipment, or control of device in location where it is impractical to run metallic conductors because of time limitations, distance, or terrain

Shedding Light on the Matter of Abell 781

The galaxy cluster Abell 781 West has been viewed as a challenge to weak gravitational lensing mass calibration, as Cook and dell'Antonio (2012) found that the weak lensing signal-to-noise in three independent sets of observations was consistently lower than expected from mass models based on X-ray and dynamical measurements. We correct some errors in statistical inference in Cook and dell'Antonio (2012) and show that their own results agree well with the dynamical mass and exhibit at most 2.2--2.9$\sigma$ low compared to the X-ray mass, similar to the tension between the dynamical and X-ray masses. Replacing their simple magnitude cut with weights based on source photometric redshifts eliminates the tension between lensing and X-ray masses; in this case the weak lensing mass estimate is actually higher than, but still in agreement with, the dynamical estimate. A comparison of lensing analyses with and without photometric redshifts shows that a 1--2$\sigma$ chance alignment of low-redshift sources lowers the signal-to-noise observed by all previous studies which used magnitude cuts rather than photometric redshifts. The fluctuation is unexceptional, but appeared to be highly significant in Cook and dell'Antonio (2012) due to the errors in statistical interpretation.Comment: 7 pages, submitted to MNRA

Modeling and Validation of Temperature and Concentration for Rapid Freeze Prototyping

Rapid Freeze Prototyping is a solid freeform fabrication process that uses water as the main build material in a cold environment to create three-dimensional parts. A eutectic sugar-water solution (C6H12O6 – H2O) has been used as a sacrificial material in order to create complex 3D parts with features such as overhangs. A study of the interaction of the build and support materials is presented in this paper. The temperature of both materials during deposition and subsequent cooling is modeled using a semi-empirical model and a theoretical model. A concentration model is used to predict the concentration in the fabricated parts around the interface of the two materials with predicted temperatures as input. Experiments are conducted to validate both the temperature and concentration models.Mechanical Engineerin

Study on Incorporating Support Material in Rapid Freeze Prototyping

Rapid Freeze Prototyping (RFP) is a rapid prototyping method that uses water freezing into ice to make three-dimensional parts. Each layer of a geometry is deposited and allowed to freeze before the next layer is added. Using a support material in RFP is a relatively new addition to the process. Validating the successful use of a support material in conjunction with the main build material of water is presented in this paper. The support material selected for use is a eutectic sugar solution. The selection criteria, properties, and characteristics of the support material are discussed. Of particular interest is the diffusion between the support and main build material, which must be minimized to an acceptable level for producing good quality, reproducible, complex parts.Mechanical Engineerin

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data

Development of a takeoff performance monitoring system

The development and testing of a real-time takeoff performance monitoring system is discussed. The algorithm is madeup of two segments: a pretakeoff segment and a real-time segment. One-time inputs of ambient conditions and airplane configuration information are used in the pretakeoff segment to generate schedule performance data for that takeoff. The real-time segment uses the scheduled performance data generated in the pretakeoff segment, runway length data, and measured parameters to monitor the performance of the airplane throughout the takeoff roll. Airplane and engine performance deficiencies are detected and annunciated. An important feature of this algorithm is the one-time estimation of the runway rolling friction coefficient. The algorithm was tested using a six degree of freedom airplane model in a computer simulation. Results from a series of sensitivity analysis are also included

Calibrated Sub-Bundles in Non-Compact Manifolds of Special Holonomy

This paper is a continuation of math.DG/0408005. We first construct special Lagrangian submanifolds of the Ricci-flat Stenzel metric (of holonomy SU(n)) on the cotangent bundle of S^n by looking at the conormal bundle of appropriate submanifolds of S^n. We find that the condition for the conormal bundle to be special Lagrangian is the same as that discovered by Harvey-Lawson for submanifolds in R^n in their pioneering paper. We also construct calibrated submanifolds in complete metrics with special holonomy G_2 and Spin(7) discovered by Bryant and Salamon on the total spaces of appropriate bundles over self-dual Einstein four manifolds. The submanifolds are constructed as certain subbundles over immersed surfaces. We show that this construction requires the surface to be minimal in the associative and Cayley cases, and to be (properly oriented) real isotropic in the coassociative case. We also make some remarks about using these constructions as a possible local model for the intersection of compact calibrated submanifolds in a compact manifold with special holonomy.Comment: 20 pages; for Revised Version: Minor cosmetic changes, some paragraphs rewritten for improved clarit