8,673 research outputs found

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

    Get PDF
    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

    Get PDF
    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

    Big Ramsey degrees and divisibility in classes of ultrametric spaces

    Full text link
    Given a countable set S of positive reals, we study finite-dimensional Ramsey-theoretic properties of the countable ultrametric Urysohn space with distances in S.Comment: 12 page

    Post-depositional weathering of cave sediments in Berry Cave, Pulaski County, Missouri

    Get PDF
    Berry Cave is a vadose system, and is classified as a branchwork cave with superposed anastomotic mazes. The cave is situated in the non-glaciated karst region of Roubidoux Creek in Pulaski County, south-central Missouri. Two types of sediment deposits have been identified in the cave: an allogenic fine clay fill preserved in a stream cut canyon and an autogenic/allogenic loam comprising a debris flow. The surface soil above the cave is silt loam, and is the source for the sediments o f the debris flow in Berry Cave. Three episodes o f geomorphic development have been determined to be related to sediment deposition within Berry Cave. The first is the deposition of fine clay units in the cave. These units may have been deposited as slackwater deposits. Next is the erosion of the clay fill units resulting in the formation o f a stream cut canyon in the cave sediments, which was associated with the cave’s transition(s) from vadose flow to phreatic. Finally is the deposition of the debris flow sediments that is related to the present day vadose flow through the cave system. This model of cave sedimentation, though simplified, provides the best understanding of the timing and effects of post-depositional alterations of sediments in Berry Cave. Although the present literature suggests that the weathering o f cave sediments is limited or absent in many cave systems, it is important to recognize that weathering does occur to cave sediments. The sediments in Berry Cave were affected by post-depositional weathering processes throughout the geomorphic evolution of the cave system. These post depositional alterations include: enrichment, melanization, illuviation of clay minerals, iron translocation, and braunification, rubifaction, and ferrugination. The postdepositional processes that affected the clay fill sediments are presently inactive, because there is not sufficient water available to alter these sediments. Conversely the processes affecting the debris flow are active

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

    Get PDF
    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

    Graphical Encoding of a Spatial Logic for the pi-Calculus

    Get PDF
    This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

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

    Get PDF
    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

    Variable pitch propellers

    Get PDF
    It is proposed in this report to explain the Gloster Hele-Shaw Beacham variable pitch propeller

    Process algebra modelling styles for biomolecular processes

    Get PDF
    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
    corecore