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

The Impact of Dispersal Powers on Congregating Youth

Purpose: To present research which evaluated the impact of Dispersal Orders in an English town. Design/Methodology/Approach: The study used a mixed method design to, qualitatively, explore the impact of the intervention on young people and, quantitatively, the impact on recorded crime/anti-social behaviour. Findings: The use of Dispersal Orders in the town being studied highlighted a number of issues detrimental to young people. Powers appeared to be used to control the congregating rather than anti-social behaviour of young people and their use could increase young peoples’ feelings of vulnerability. Practical Implications: The findings suggest that Dispersal Orders (and the newer Public Spaces Protection Orders) may be ineffective if they are used without the focus of a specific anti-social behaviour issue. Social Implications: The findings suggest that the use of Dispersal Orders to deal with non anti-social behaviour issues are likely to alienate young people and have the potential to inadvertently place them at further risk. They also suggest that the Public Spaces Protection Order could very well exacerbate the substantial issues which have been identified in the present research. Originality/Value: This research is original and suggests that the negative findings of earlier pieces of research into Dispersal Orders can be replicated in very different geographical environments and in areas with low levels of general deprivation where no substantial anti-social behaviour issues were identified. Furthermore, it uses original data to contextualise contemporary developments in anti-social behaviour, namely the introduction of Public Spaces Protection Order

PHYCOERYTHROCYANINS FROM Westiellopsis prolifica AND Nostoc rivulare: CHARACTERIZATION OF THE PHYCOVIOLOBILIN CHROMOPHORE IN BOTH STATES

Phycoerythrocyanin or fractions enriched in it have been isolated from the filamentous cyanobacteria, Westiellopsis prolifica ARM 365 and Nostoc rivulare ARM 212. Both show the photoreversible photochromism (difference maxima at 503 and 570 nm) characteristic of this pigment, which is related to the phycoviolobilin chromophore on the α-subunit. Native phycoerythrocyanin and its β-subunit show little if any reversible photochemistry in the 600–620 nm region, where the phycocyanobilin chromophores absorb maximally. Instead the phycocyanobilin chromophores are bleached irreversibly. At the same time, the data show that reversible photochemistry is a useful analytical tool to detect phycoerythrocyanin in cyanobacterial extracts. Fluorescence measurements indicate that: (i) the 510 nm absorbing isomer of the violobilin chromophore has only little fluorescence; and (ii) the energy transfer from the violobilin chromophores to the cyanin chromophores is efficient only in the 570 nm form

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

Numerical Linked-Cluster Approach to Quantum Lattice Models

We present a novel algorithm that allows one to obtain temperature dependent properties of quantum lattice models in the thermodynamic limit from exact diagonalization of small clusters. Our Numerical Linked Cluster (NLC) approach provides a systematic framework to assess finite-size effects and is valid for any quantum lattice model. Unlike high temperature expansions (HTE), which have a finite radius of convergence in inverse temperature, these calculations are accurate at all temperatures provided the range of correlations is finite. We illustrate the power of our approach studying spin models on {\it kagom\'e}, triangular, and square lattices.Comment: 4 pages, 5 figures, published versio

Two universal results for Wilson loops at strong coupling

We present results for Wilson loops in strongly coupled gauge theories. The loops may be taken around an arbitrarily shaped contour and in any field theory with a dual IIB geometry of the form M x S^5. No assumptions about supersymmetry are made. The first result uses D5 branes to show how the loop in any antisymmetric representation is computed in terms of the loop in the fundamental representation. The second result uses D3 branes to observe that each loop defines a rich sequence of operators associated with minimal surfaces in S^5. The action of these configurations are all computable. Both results have features suggesting a connection with integrability.Comment: 1+12 pages. LaTeX. No figure

Negative thermal expansion in the plateau state of a magnetically-frustrated spinel

We report on negative thermal expansion (NTE) in the high-field, half-magnetization plateau phase of the frustrated magnetic insulator CdCr2O4. Using dilatometry, we precisely map the phase diagram at fields of up to 30T, and identify a strong NTE associated with the collinear half-magnetization plateau for B > 27T. The resulting phase diagram is compared with a microscopic theory for spin-lattice coupling, and the origin of the NTE is identified as a large negative change in magnetization with temperature, coming from a nearly-localised band of spin excitations in the plateau phase. These results provide useful guidelines for the discovery of new NTE materials.Comment: 6 pages, 2 figure

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