State of polarization changes: Classification and measurement

We propose a standardization procedure that provides a convenient, quantitative and reproducible laboratory-based method for measuring the state of polarization (SOP) fluctuations produced by polarization varying devices. This method is based on the SOP distributions generated by commercial polarization scramblers. We show that these devices generate distributions of the maximum change of the SOP (in a given sample time) that follow Rayleigh statistics, which scale linearly with scrambling frequency and the sample time. We use this procedure to measure the SOP fluctuations in a short length of coiled fiber subject to mechanical perturbations.     

Measurements and analysis of transmitted spectra from LOTUS fission-suppressed hybrid blanket driven by D-T neutrons

The neutron spectra transmitted across a fission-suppressed hybrid blanket and its components, driven by a low intensity 14 MeV Haefely neutron generator, were measured with a 2×2 NE213 detector at LOTUS facility. These experiments have been analyzed with 2D and 3D codes DOT3.5 and MCNP, respectively. The spectral integrals between 15 to 1 MeV show good agreement among the 2D, the 3D, and the NE213 for 15 cm lead, 18 cm beryllium, and 25 cm graphite slabs. However, there are large discrepancies for 6.2 cm stainless steel and 15 cm lithium carbonate slabs. The assemblies involving two or more of these slabs reflect these tendencies. We observe also considerable disagreement over pointwise spectra for a number of assemblies.Work done while on visiting assignment to Institut de Génie Atomique, E.P.F.L.     

Total Least Squares Fitting of k-Spheres in n-D Euclidean Space Using an (n+2)-D Isometric Representation

We fit k-spheres optimally to n-D point data, in a geometrically total least squares sense. A specific practical instance is the optimal fitting of 2D-circles to a 3D point set. Among the optimal fitting methods for 2D-circles based on 2D (!) point data compared in Al-Sharadqah and Chernov (Electron. J. Stat. 3:886–911, 2009), there is one with an algebraic form that permits its extension to optimally fitting k-spheres in n-D. We embed this ‘Pratt 2D circle fit’ into the framework of conformal geometric algebra (CGA), and doing so naturally enables the generalization. The procedure involves a representation of the points in n-D as vectors in an (n+2)-D space with attractive metric properties. The hypersphere fit then becomes an eigenproblem of a specific symmetric linear operator determined by the data. The eigenvectors of this operator form an orthonormal basis representing perpendicular hyperspheres. The intersection of these are the optimal k-spheres; in CGA the intersection is a straightforward outer product of vectors. The resulting optimal fitting procedure can easily be implemented using a standard linear algebra package; we show this for the 3D case of fitting spheres, circles and point pairs. The fits are optimal (in the sense of achieving the KCR lower bound on the variance). We use the framework to show how the hyperaccurate fit hypersphere of Al-Sharadqah and Chernov (Electron. J. Stat. 3:886–911, 2009) is a minor rescaling of the Pratt fit hypersphere.     

Foam fractionation of spent sulphite liquor: Part I: Separation of surfactants

The surface activity of spent sulphite liquor (SSL) and the separation of surface active components by foam fractionation were studied. The maximum activity (lowest surface tension) of SSL was observed at a high pH. The surface tension was found to be 42 mN/m and 38 mN/m at acidic and basic pH values, respectively, and also a maximum foaminess (Σ) of 7 min was observed at pH 10. Foam fractionation reduced the surfactant concentration by 90% at an optimum pH of 10. The surfactants were concentrated in the collapsed foam as shown by the fact that the critical micelle concentrations of the unfractionated SSL and foam were 70% (v/v) and 10% (v/v), respectively. The removed surfactants were concentrated in 20% of the original liquid volume.     

Cryptanalyzing an image encryption algorithm based on scrambling and Veginère cipher

Recently, an image encryption algorithm based on scrambling and Veginère cipher has been proposed. However, it was soon cryptanalyzed by Zhang et al. using a method composed of both chosen-plaintext attack and differential attacks. This paper briefly reviews the two attack approaches proposed by Zhang et al. and outlines their mathematical interpretations. Based on these approaches, we present an improved chosen-plaintext attack to further reduce the number of chosen-plaintexts required, which is proved to be optimal. Moreover, it is found that an elaborately designed known-plaintext attack can efficiently compromise the image cipher under study. This finding is confirmed by both mathematical analysis and numerical simulations. The cryptanalyzing techniques developed in this paper provide some insights for designing secure and efficient multimedia ciphers.     

A review of vision-based systems for soccer video analysis

This paper presents a survey of soccer video analysis systems for different applications: video summarization, provision of augmented information, high-level analysis. Computer vision techniques have been adapted to be applicable in the challenging soccer context. Different semantic levels of interpretation are required according to the complexity of the corresponding applications. For each application area we analyze the computer vision methodologies, their strengths and weaknesses and we investigate whether these approaches can be applied to extensive and real time soccer video analysis.     

Formal methods for security in the Xenon hypervisor

This paper reports on the Xenon project’s use of formal methods. Xenon is a higher-assurance secure hypervisor based on re-engineering the Xen open-source hypervisor. The Xenon project used formal specifications both for assurance and as guides for security re-engineering. We formally modelled the fundamental definition of security, the hypercall interface behaviour, and the internal modular design. We used three formalisms: CSP, Z, and Circus for this work. Circus is a combination of Standard Z, CSP with its semantics given in Hoare and He’s unifying theories of programming. Circus is suited for both event-based and state-based modelling. Here, we report our experiences to date with using these formalisms for assurance.     

Mechanising a formal model of flash memory

We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified file store system based on flash memory. The project was proposed by Joshi and Holzmann as a contribution to the Grand Challenge in Verified Software, and involves constructing a highly assured flash file store for use in space-flight missions. The model is at a level of abstraction that captures the internal architecture of NAND flash devices. In this paper, we focus on mechanising the state model and its initialisation operation, where most of the conceptual complexity resides.     

On the relationship between subjective and objective measures of fatigue

Objective: Objective and subjective methods have been used in the past to assess workplace fatigue, but little is known about correlations between them. We examine correlations between subjective and objective measures, including measures collected in a workplace scenario. Methods: 15 young and 17 older participants were assessed before and after work with four types of fatigue measure: objective physical (posturography), objective mental (psychomotor vigilance task), subjective physical and mental (self-assessment), objective and subjective realistic (oculomotor behaviour, observer-rated facial expression, typing performance). Results: Pre- and post-test scores were analysed with an ANOVA, significant differences were submitted to a factor analysis. It yielded three factors: one representing posturography, the second self-rated mental and physical fatigue and the third observer-rated facial expression. Conclusions: Results advocate the existence of three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue.

Practitioner Summary: This study analyses correlations between different subjective and objective fatigue markers to better understand the complex nature of workplace fatigue. Measurements were conducted directly at the workplace. Results reveal that fatigue comprises three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue.