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

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

Skolem-type difference sets for cycle systems

Cyclic m-cycle systems of order v are constructed for all m greater than or equal to 3, and all v = 1(mod 2m). This result has been settled previously by several authors. In this paper, we provide a different solution, as a consequence of a more general result, which handles all cases using similar methods and which also allows us to prove necessary and sufficient conditions for the existence of a cyclic m-cycle system of K-v - F for all m greater than or equal to 3, and all v = 2(mod 2m)

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

Defying jet-gas alignment in two radio galaxies at z~2 with extended light profiles: Similarities to brightest cluster galaxies

We report the detection of extended warm ionized gas in two powerful high-redshift radio galaxies, NVSS J210626-314003 at z=2.10 and TXS 2353-003 at z=1.49, that does not appear to be associated with the radio jets. This is contrary to what would be expected from the alignment effect, a characteristic feature of distant, powerful radio galaxies at z> 0.6. The gas also has smaller velocity gradients and line widths than most other high-z radio galaxies with similar data. Both galaxies are part of a systematic study of 50 high-redshift radio galaxies with SINFONI, and are the only two that are characterized by the presence of high surface-brightness gas not associated with the jet axis and by the absence of such gas aligned with the jet. Both galaxies are spatially resolved with ISAAC broadband imaging covering the rest-frame R band, and have extended wings that cannot be attributed to line contamination. We argue that the gas and stellar properties of these galaxies are more akin to gas-rich brightest cluster galaxies in cool-core clusters than the general population of high-redshift radio galaxies at z>2. In support of this interpretation, one of our sources, TXS 2353-003, for which we have H\alpha\ narrowband imaging, is associated with an overdensity of candidate H\alpha\ emitters by a factor of 8 relative to the field at z=1.5. We discuss possible scenarios of the evolutionary state of these galaxies and the nature of their emission line gas within the context of cyclical AGN feedback.Comment: A&A in pres

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

Modified Debye-Huckel Electron Shielding and Penetration Factor

Screened potential, modified by non standard electron cloud distributions responsible for the shielding effect on fusion of reacting nuclei in astrophysical plasmas, is derived. The case of clouds with depleted tails in space coordinates is discussed. The modified screened potential is obtained both from statistical mechanics arguments based on fluctuations of the inverse of the Debye-Huckel radius and from the solution of a Bernoulli equation used in generalized statistical mechanics. Plots and tables useful in evaluating penetration probability at any energy are provided.Comment: 9 pages, 3 figures, 3 table

A natural Finsler--Laplace operator

We give a new definition of a Laplace operator for Finsler metric as an average with regard to an angle measure of the second directional derivatives. This definition uses a dynamical approach due to Foulon that does not require the use of connections nor local coordinates. We show using 1-parameter families of Katok--Ziller metrics that this Finsler--Laplace operator admits explicit representations and computations of spectral data.Comment: 25 pages, v2: minor modifications, changed the introductio