356 research outputs found

    Parametric study of advanced multistage axial-flow compressors

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

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

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

    Checking and Enforcing Security through Opacity in Healthcare Applications

    Full text link
    The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforcement of opacity. Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system. Furthermore, we develop an efficient, Symbolic Observation Graph (SOG)-based algorithm for enforcing opacity

    Verification in Staged Tile Self-Assembly

    Full text link
    We prove the unique assembly and unique shape verification problems, benchmark measures of self-assembly model power, are coNPNP\mathrm{coNP}^{\mathrm{NP}}-hard and contained in PSPACE\mathrm{PSPACE} (and in Π2sP\mathrm{\Pi}^\mathrm{P}_{2s} for staged systems with ss stages). En route, we prove that unique shape verification problem in the 2HAM is coNPNP\mathrm{coNP}^{\mathrm{NP}}-complete.Comment: An abstract version will appear in the proceedings of UCNC 201

    Properties of a Polar Coronal Hole During the Solar Minimum in 2007

    Get PDF
    We report measurements of a polar coronal hole during the recent solar minimum using the Extreme Ultraviolet Imaging Spectrometer on Hinode. Five observations are analyzed that span the polar coronal hole from the central meridian to the boundary with the quiet-Sun corona. We study the observations above the solar limb in the height range of 1.03-1.20 R ☉. The electron temperature T e and emission measure (EM) are found using a geometric mean emission measure method. The EM derived from the elements Fe, Si, S, and Al are compared in order to measure relative coronal-to-photospheric abundance enhancement factors. We also studied the ion temperature T i and the non-thermal velocity v nt using the line profiles. All these measurements are compared to polar coronal hole observations from the previous (1996-1997) solar minimum and to model predictions for relative abundances. There are many similarities in the physical properties of the polar coronal holes between the two minima at these low heights. We find that the electron density, T e, and T i are comparable in both minima. T e shows a comparable gradient with height. Both minima show a decreasing T i with increasing charge-to-mass ratio q/M. A previously observed upturn of T i for ions above q/M>0.25 was not found here. We also compared relative coronal-to-photospheric elemental abundance enhancement factors for a number of elements. These ratios were ~1 for both the low first ionization potential (FIP) elements Si and Al and the marginally high FIP element S relative to the low FIP element Fe, as is expected based on earlier observations and models for a polar coronal hole. These results are consistent with no FIP effect in a polar coronal hole

    Sphinx measurements of the 2009 solar minimum x-ray emission

    Get PDF
    The SphinX X-ray spectrophotometer on the CORONAS-PHOTON spacecraft measured soft X-ray emission in the 1-15 keV energy range during the deep solar minimum of 2009 with a sensitivity much greater than GOES. Several intervals are identified when the X-ray flux was exceptionally low, and the flux and solar X-ray luminosity are estimated. Spectral fits to the emission at these times give temperatures of 1.7-1.9 MK and emission measures between 4 x 10^47 cm^-3 and 1.1 x 10^48 cm^-3. Comparing SphinX emission with that from the Hinode X-ray Telescope, we deduce that most of the emission is from general coronal structures rather than confined features like bright points. For one of 27 intervals of exceptionally low activity identified in the SphinX data, the Sun's X-ray luminosity in an energy range roughly extrapolated to that of ROSAT (0.1-2.4 keV) was less than most nearby K and M dwarfs.Comment: Astrophysical Journal, in press. 14 pp, 3 figure

    A Hierarchy of Scheduler Classes for Stochastic Automata

    Get PDF
    Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distinguish most classes even in this basic setting. Verification and strategy synthesis methods thus face a tradeoff between powerful and efficient classes. Using lightweight scheduler sampling, we explore this tradeoff and demonstrate the concept of a useful approximative verification technique for stochastic automata

    Emission lines of Fe XI in the 257--407 A wavelength region observed in solar spectra from EIS/Hinode and SERTS

    Full text link
    Theoretical emission-line ratios involving Fe XI transitions in the 257-407 A wavelength range are derived using fully relativistic calculations of radiative rates and electron impact excitation cross sections. These are subsequently compared with both long wavelength channel Extreme-Ultraviolet Imaging Spectrometer (EIS) spectra from the Hinode satellite (covering 245-291 A), and first-order observations (235-449 A) obtained by the Solar Extreme-ultraviolet Research Telescope and Spectrograph (SERTS). The 266.39, 266.60 and 276.36 A lines of Fe XI are detected in two EIS spectra, confirming earlier identifications of these features, and 276.36 A is found to provide an electron density diagnostic when ratioed against the 257.55 A transition. Agreement between theory and observation is found to be generally good for the SERTS data sets, with discrepancies normally being due to known line blends, while the 257.55 A feature is detected for the first time in SERTS spectra. The most useful Fe XI electron density diagnostic is found to be the 308.54/352.67 intensity ratio, which varies by a factor of 8.4 between N_e = 10^8 and 10^11 cm^-3, while showing little temperature sensitivity. However, the 349.04/352.67 ratio potentially provides a superior diagnostic, as it involves lines which are closer in wavelength, and varies by a factor of 14.7 between N_e = 10^8 and 10^11 cm^-3. Unfortunately, the 349.04 A line is relatively weak, and also blended with the second-order Fe X 174.52 A feature, unless the first-order instrument response is enhanced.Comment: 9 pages, 5 figures, 13 tables; MNRAS in pres
    • …
    corecore