Performance of a J85-13 compressor with clean and distorted inlet flow

The results presented are of a series of experimental tests in which a J85-13 turbojet engine was subjected to both distorted and undistorted inlet total pressure conditions. A distinctive feature of the data base obtained is that it includes compressor interstage information not previously recorded for a J85-13 engine. Each of the eight compressor stages was instrumented to obtain the characteristics of the individual stages for undistorted inlet conditions, and these data are documented in the report along with the undistorted compressor overall performance. Also included in the report is the overall performance of the compressor exposed to 14 different distorted-inlet conditions - 10 circumferential patterns and 4 radial patterns. The distortion patterns were introduced using screens that spoiled from 8 to 50 percent of the compressor face area; the distortion screen density, or the area blocked by the screen wire per unit area of screen, varied from 26 to 69 percent

Embedding generic employability skills in an accounting degree: development and impediments

This paper explores and analyses the views of, and effects on, students of a project that integrated the development of employability skills within the small group classes of two compulsory courses in the first year of an accounting degree at a UK university. The project aimed to build, deliver and evaluate course materials designed to encourage the development of a broad range of employability skills: skills needed for life-long learning and a successful business career. By analysing students' opinions gathered from a series of focus groups spread throughout the year, three prominent skill areas of interest were identified: time management, modelling, and learning to learn. Further analysis highlighted the complex nature of skills development, and brought to light a range of impediments and barriers to both students' development of employability skills and their subject learning. The analysis suggests the need for accounting educators to see skills development as being an essential element of the path to providing a successful accounting education experience

Frequency response of an axial-flow compressor exposed to inlet pressure perturbations

Experimental results of a series of engine tests designed to obtain the stage dynamics of an eight-stage axial-flow compressor over the frequency range of 0.5 to 200 hertz are presented. The total pressure at the compressor face was varied by means of a secondary air jet system installed in the engine inlet and positioned to oppose the primary airflow. Total-pressure probes located at each compressor stage were used to obtain the frequency response of each compressor-stage total pressure to the average compressor-inlet total pressure. The engine operating conditions were chosen to illustrate the effects of changing the rotor speed, changing the exhaust nozzle area, and isolating the compressor discharge pressure perturbations from the fuel control and hence, the fuel flow

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

Process algebra modelling styles for biomolecular processes

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

Validity of the scaling functional approach for polymer interfaces as a variational theory

We discuss the soundness of the scaling functional (SF) approach proposed by Aubouy Guiselin and Raphael (Macromolecules 29, 7261 (1996)) to describe polymeric interfaces. In particular, we demonstrate that this approach is a variational theory. We emphasis the role of SF theory as an important link between ground-state theories suitable to describe adsorbed layers, and "classical" theories for polymer brushes.Comment: 8 pages, 1 figure, to be published in Phys. Rev.

BigraphER: rewriting and analysis engine for bigraphs

BigraphER is a suite of open-source tools providing an effi- cient implementation of rewriting, simulation, and visualisation for bigraphs, a universal formalism for modelling interacting systems that evolve in time and space and first introduced by Milner. BigraphER consists of an OCaml library that provides programming interfaces for the manipulation of bigraphs, their constituents and reaction rules, and a command-line tool capable of simulating Bigraphical Reactive Systems (BRSs) and computing their transition systems. Other features are native support for both bigraphs and bigraphs with sharing, stochastic reaction rules, rule priorities, instantiation maps, parameterised controls, predicate checking, graphical output and integration with the probabilistic model checker PRISM

Higher physical fitness levels are associated with less language decline in healthy ageing

Healthy ageing is associated with decline in cognitive abilities such as language. Aerobic fitness has been shown to ameliorate decline in some cognitive domains, but the potential benefits for language have not been examined. In a cross-sectional sample, we investigated the relationship between aerobic fitness and tip-of-the-tongue states. These are among the most frequent cognitive failures in healthy older adults and occur when a speaker knows a word but is unable to produce it. We found that healthy older adults indeed experience more tip-of-the-tongue states than young adults. Importantly, higher aerobic fitness levels decrease the probability of experiencing tip-of-the-tongue states in healthy older adults. Fitness-related differences in word finding abilities are observed over and above effects of age. This is the first demonstration of a link between aerobic fitness and language functioning in healthy older adults

An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions