14,440 research outputs found
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
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
Submission to the Home Affairs Committee inquiry into leadership and standards in the police. (Written evidence.)
A change in temperature modulates defence to yellow (stripe) rust in wheat line UC1041 independently of resistance gene Yr36
Background Rust diseases are of major importance in wheat production worldwide. With the constant evolution of new rust strains and their adaptation to higher temperatures, consistent and durable disease resistance is a key challenge. Environmental conditions affect resistance gene performance, but the basis for this is poorly understood. Results Here we show that a change in day temperature affects wheat resistance to Puccinia striiformis f. sp tritici (Pst), the causal agent of yellow (or stripe) rust. Using adult plants of near-isogenic lines UC1041 +/- Yr36, there was no significant difference between Pst percentage uredia coverage in plants grown at day temperatures of 18°C or 25°C in adult UC1041 + Yr36 plants. However, when plants were transferred to the lower day temperature at the time of Pst inoculation, infection increased up to two fold. Interestingly, this response was independent of Yr36, which has previously been reported as a temperature-responsive resistance gene as Pst development in adult UC1041 -Yr36 plants was similarly affected by the plants experiencing a temperature reduction. In addition, UC1041 -Yr36 plants grown at the lower temperature then transferred to the higher temperature were effectively resistant and a temperature change in either direction was shown to affect Pst development up to 8 days prior to inoculation. Results for seedlings were similar, but more variable compared to adult plants. Enhanced resistance to Pst was observed in seedlings of UC1041 and the cultivar Shamrock when transferred to the higher temperature. Resistance was not affected in seedlings of cultivar Solstice by a temperature change in either direction. Conclusions Yr36 is effective at 18°C, refining the lower range of temperature at which resistance against Pst is conferred compared to previous studies. Results reveal previously uncharacterised defence temperature sensitivity in the UC1041 background which is caused by a change in temperature and independently of Yr36. This novel phenotype is present in some cultivars but absent in others, suggesting that Pst defence may be more stable in some cultivars than others when plants are exposed to varying temperatures
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
Geomagnetic activity forcing of the Northern Annular Mode via the stratosphere
We consider various aspects of the link between solar-modulated geomagnetic activity and the Northern Annular Mode (NAM). Our results indicate that the geomagnetic forcing of atmospheric circulation in the Northern Hemisphere is temporally and seasonally restricted, modulated by the Quasi-Biennial Oscillation (QBO), and reliant on stratosphere-troposphere coupling. When the data are restricted to January values after 1965, for years in which the January QBO is eastwards, the correlation coefficient between the geomagnetic AA index and the NAM is 0.85. These results can account for many of the enigmatic features of Northern Hemisphere circulation.<br><br> <b>Key words.</b> Meterology and atmospheric dynamics (general circulation, climatology
Modelling the Northeast Atlantic circulation : implications for the spring invasion of shelf regions by Calanus finmarchicus
The appearance in spring of the copepod Calanus finmarchicus in continental shelf waters of the northeastern Atlantic has been hypothesized to be mainly attributable to invasion from across the continental slope rather than in situ overwintering. This paper describes the application of a hydrodynamic circulation model and a particle-tracking model to Northeast Atlantic waters in order to assess the influence of the flow field and ascent migration parameters on the spring invasion of C. finmarchicus. For hydrodynamic modelling, the Hamburg Shelf-Ocean Model (HAMSOM) was applied to the North Atlantic and Nordic Seas and forced with daily mean atmospheric data. Simulated flow fields from HAMSOM serve as forcing functions for a particle-tracking model of the same region. The robustness of the simulated shelf invasion in three target boxes of the Northeast Atlantic Shelf was assessed by means of a sensitivity analysis with respect to variations in four key migration parameters: overwintering depth, ascent rate, ascent timing, and depth during residence in upper layers. The invasion of the northern North Sea and Norwegian Shelf waters is more sensitive to ascent migration parameters than invasion of the Faroese Shelf. The main reason for enhanced sensitivity of the North Sea invasion is the time and space-dependent flow structure in the Faroe-Shetland Channel. Dense aggregations of overwintering C. finmarchicus are found in the Channel, but because of the complex flow field only a proportion of the overwintering stock has the capacity to reach the North Sea
On the geometry of closed G2-structure
We give an answer to a question posed recently by R.Bryant, namely we show
that a compact 7-dimensional manifold equipped with a G2-structure with closed
fundamental form is Einstein if and only if the Riemannian holonomy of the
induced metric is contained in G2. This could be considered to be a G2 analogue
of the Goldberg conjecture in almost Kahler geometry. The result was
generalized by R.L.Bryant to closed G2-structures with too tightly pinched
Ricci tensor. We extend it in another direction proving that a compact
G2-manifold with closed fundamental form and divergence-free Weyl tensor is a
G2-manifold with parallel fundamental form. We introduce a second symmetric
Ricci-type tensor and show that Einstein conditions applied to the two Ricci
tensors on a closed G2-structure again imply that the induced metric has
holonomy group contained in G2.Comment: 14 pages, the Einstein condition in the assumptions of the Main
theorem is generalized to the assumption that the Weyl tensor is
divergence-free, clarity improved, typos correcte
- …