Parametric study of advanced multistage axial-flow compressors

Axial flow compressor study to increase pressure ratio and reduce overall lengt

Using Probability to Reason about Soft Deadlines

Soft deadlines are significant in systems in which a bound on the response time is important, but the failure to meet the response time is not a disaster. Soft deadlines occur, for example, in telephony and switching networks. We investigate how to put probabilistic bounds on the time-complexity of a concurrent logic program by combining (on-line) profiling with an (off-line) probabilistic complexity analysis. The profiling collects information on the likelihood of case selection and the analysis uses this information to infer the probability of an agent terminating within k steps. Although the approach does not reason about synchronization, we believe that its simplicity and good (essentially quadratic) complexity mean that it is a promising first step in reasoning about soft deadlines

Complexing additives to reduce the immiscible phase formed in the hybrid ZnBr2 flow battery

The zinc-bromine redox flow battery (RFB) is one of a very few commercially viable RFB energy storage system capable of integration with intermittent renewable energy sources to deliver improved energy management. However, due to the volatility of the electrogenerated bromine and potential for its crossover from positive to negative electrolytes, this system requires the use of quaternary ammonium complexes (N-methyl-N-ethylpyrrolidinium, (MEP)) to capture this bromine. This produces an immiscible phase with the Br2 which requires a complex network of pipes, pumps and automated controls to ensure access to the electroactive material during discharge. In this work, the use of novel quaternary ammonium complexes to capture the electrogenerated bromine but to keep it in the aqueous phase is examined. Three compounds, 1-(carboxymethyl) pyridine-1-ium, 1-(2-carboxymethyl)-1-methylmorpholin-1-ium and 1-(2-carboxymethyl)-1-methylpyrrolidin-1-ium, were found to successfully reduce the volume of the immiscible phase formed on complexing with the polybromide (Brx-) whilst displaying similar enthalpy of vaporisation values as that of MEP. Electrochemical analysis also revealed that these compounds did not impact on the electrode kinetics of the Br-/Brx- reaction indicating that the resulting surface film formed with these compounds behaved as a chemically modified electrode, in contrast to the surface film formed with MEP

CHIANTI - An atomic database for emission lines. XI. EUV emission lines of Fe VII, Fe VIII and Fe IX observed by Hinode/EIS

A detailed study of emission lines from Fe VII, Fe VIII and Fe IX observed by the EUV Imaging Spectrometer on board the Hinode satellite is presented. Spectra in the ranges 170-212 A and 246-292 A show strongly enhanced lines from the upper solar transition region (temperatures 5.4 <= log T <= 5.9) allowing a number of new line identifications to be made. Comparisons of Fe VII lines with predictions from a new atomic model reveal new plasma diagnostics, however there are a number of disagreements between theory and observation for emission line ratios insensitive to density and temperature, suggesting improved atomic data are required. Line ratios for Fe VIII also show discrepancies with theory, with the strong 185.21 and 186.60 lines under-estimated by 60-80 % compared to lines between 192 and 198 A. A newly-identified multiplet between 253.9 and 255.8 A offers excellent temperature diagnostic opportunities relative to the lines between 185-198 A, however the atomic model under-estimates the strength of these lines by factors 3-6. Two new line identifications are made for Fe IX at wavelengths 176.959 A and 177.594 A, while seven other lines between 186 and 200 A are suggested to be due to Fe IX but for which transition identifications can not be made. The new atomic data for Fe VII and Fe IX are demonstrated to significantly modify models for the response function of the TRACE 195 A imaging channel, affecting temperature determinations from this channel. The data will also affect the response functions for other solar EUV imaging instruments such as SOHO/EIT, STEREO/EUVI and the upcoming AIA instrument on the Solar Dynamics Observatory.Comment: 51 pages, submitted to Ap

Analysis of a Multimedia Stream using Stochastic Process Algebra

It is now well recognised that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non-functional requirements on the system. In this paper we investigate how stochastic process algebra can be used in order to determine the quality of service properties of distributed multimedia systems. We use a simple multimedia stream as our basic example. We describe it in the Stochastic Process Algebra PEPA and then we analyse whether the stream satisfies a set of quality of service parameters: throughput, end-to-end latency, jitter and error rates

Formalisation and Implementation of the XACML Access Control Mechanism

We propose a formal account of XACML, an OASIS standard adhering to the Policy Based Access Control model for the specifica- tion and enforcement of access control policies. To clarify all ambiguous and intricate aspects of XACML, we provide it with a more manageable alternative syntax and with a solid semantic ground. This lays the basis for developing tools and methodologies which allow software engineers to easily and precisely regulate access to resources using policies. To demonstrate feasibility and effectiveness of our approach, we provide a software tool, supporting the specification and evaluation of policies and access requests, whose implementation fully relies on our formal development