Plane waves with negative phase velocity in Faraday chiral mediums

The propagation of plane waves in a Faraday chiral medium is investigated. Conditions for the phase velocity to be directed opposite to the direction of power flow are derived for propagation in an arbitrary direction; simplified conditions which apply to propagation parallel to the distinguished axis are also established. These negative phase-velocity conditions are explored numerically using a representative Faraday chiral medium, arising from the homogenization of an isotropic chiral medium and a magnetically biased ferrite. It is demonstrated that the phase velocity may be directed opposite to power flow, provided that the gyrotropic parameter of the ferrite component medium is sufficiently large compared with the corresponding nongyrotropic permeability parameters.Comment: accepted for publication in Phys. Rev.

Polarization--universal rejection filtering by ambichiral structures made of indefinite dielectric--magnetic materials

An ambichiral structure comprising sheets of an anisotropic dielectric material rejects normally incident plane waves of one circular polarization (CP) state but not of the other CP state, in its fundamental Bragg regime. However, if the same structure is made of an dielectric--magnetic material with indefinite permittivity and permeability dyadics, it may function as a polarization--universal rejection filter because two of the four planewave components of the electromagnetic field phasors in each sheet are of the positive--phase--velocity type and two are of the negative--phase--velocity type.Comment: Cleaned citations in the tex

Depolarization regions of nonzero volume in bianisotropic homogenized composites

In conventional approaches to the homogenization of random particulate composites, the component phase particles are often treated mathematically as vanishingly small, point-like entities. The electromagnetic responses of these component phase particles are provided by depolarization dyadics which derive from the singularity of the corresponding dyadic Green functions. Through neglecting the spatial extent of the depolarization region, important information may be lost, particularly relating to coherent scattering losses. We present an extension to the strong-property-fluctuation theory in which depolarization regions of nonzero volume and ellipsoidal geometry are accommodated. Therein, both the size and spatial distribution of the component phase particles are taken into account. The analysis is developed within the most general linear setting of bianisotropic homogenized composite mediums (HCMs). Numerical studies of the constitutive parameters are presented for representative examples of HCM; both Lorentz-reciprocal and Lorentz-nonreciprocal HCMs are considered. These studies reveal that estimates of the HCM constitutive parameters in relation to volume fraction, particle eccentricity, particle orientation and correlation length are all significantly influenced by the size of the component phase particles

The complexity of asynchronous model based testing

This is the post-print version of the final paper published in Theoretical Computer Science. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2012 Elsevier B.V.In model based testing (MBT), testing is based on a model MM that typically is expressed using a state-based language such as an input output transition system (IOTS). Most approaches to MBT assume that communications between the system under test (SUT) and its environment are synchronous. However, many systems interact with their environment through asynchronous channels and the presence of such channels changes the nature of testing. In this paper we investigate the situation in which the SUT interacts with its environment through asynchronous channels and the problems of producing test cases to reach a state, execute a transition, or to distinguish two states. In addition, we investigate the Oracle Problem. All four problems are explored for both FIFO and non-FIFO channels. It is known that the Oracle Problem can be solved in polynomial time for FIFO channels but we also show that the three test case generation problems can also be solved in polynomial time in the case where the IOTS is observable but the general test generation problems are EXPTIME-hard. For non-FIFO channels we prove that all of the test case generation problems are EXPTIME-hard and the Oracle Problem in NP-hard, even if we restrict attention to deterministic IOTSs

Model-Based Security Testing

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.Comment: In Proceedings MBT 2012, arXiv:1202.582

Dynamic polarizability of rotating particles in electrorheological fluids

A rotating particle in electrorheological (ER) fluid leads to a displacement of its polarization charges on the surface which relax towards the external applied field ${\bf E}_0$, resulting in a steady-state polarization at an angle with respect to ${\bf E}_0$. This dynamic effect has shown to affect the ER fluids properties dramatically. In this paper, we develop a dynamic effective medium theory (EMT) for a system containing rotating particles of finite volume fraction. This is a generalization of established EMT to account for the interactions between many rotating particles. While the theory is valid for three dimensions, the results in a special two dimensional configuration show that the system exhibits an off-diagonal polarization response, in addition to a diagonal polarization response, which resembles the classic Hall effect. The diagonal response monotonically decreases with an increasing rotational speed, whereas the off-diagonal response exhibits a maximum at a reduced rotational angular velocity $\omega_0$ comparing to the case of isolated rotating particles. This implies a way of measurement on the interacting relaxation time. The dependencies of the diagonal and off-diagonal responses on various factors, such as $\omega_0$, the volume fraction, and the dielectric contrast, are discussed.Comment: 6 pages, 4 figures, accepted to J. Phys. Chem.

Inclusive and multiplicity dependent production of electrons from heavy-flavour hadron decays in pp and p-Pb collisions

Measurements of the production of electrons from heavy-flavour hadron decays in pp collisions at root s = 13 TeV at midrapidity with the ALICE detector are presented down to a transverse momentum (p(T)) of 0.2 GeV/c and up to p(T) = 35 GeV/c, which is the largest momentum range probed for inclusive electron measurements in ALICE. In p-Pb collisions, the production cross section and the nuclear modification factor of electrons from heavy-flavour hadron decays are measured in the p(T) range 0.5 < p(T) < 26 GeV/c at root s(NN) = 8.16 TeV. The nuclear modification factor is found to be consistent with unity within the statistical and systematic uncertainties. In both collision systems, first measurements of the yields of electrons from heavy-flavour hadron decays in different multiplicity intervals normalised to the multiplicity-integrated yield (self-normalised yield) at midrapidity are reported as a function of the self-normalised charged-particle multiplicity estimated at midrapidity. The self-normalised yields in pp and p-Pb collisions grow faster than linear with the self-normalised multiplicity. A strong p(T) dependence is observed in pp collisions, where the yield of high-p(T) electrons increases faster as a function of multiplicity than the one of low-p(T) electrons. The measurement in p-Pb collisions shows no p(T) dependence within uncertainties. The self-normalised yields in pp and p-Pb collisions are compared with measurements of other heavy-flavour, light-flavour, and strange particles, and with Monte Carlo simulations

Measurement of the non-prompt D-meson fraction as a function of multiplicity in proton-proton collisions at s \sqrt{s} = 13 TeV

The fractions of non-prompt (i.e. originating from beauty-hadron decays) D0 and D+ mesons with respect to the inclusive yield are measured as a function of the charged-particle multiplicity in proton-proton collisions at a centre-of-mass energy of √s = 13 TeV with the ALICE detector at the LHC. The results are reported in intervals of transverse momentum (pT) and integrated in the range 1 < pT < 24 GeV/c. The fraction of non-prompt D0 and D+ mesons is found to increase slightly as a function of pT in all the measured multiplicity intervals, while no significant dependence on the charged- particle multiplicity is observed. In order to investigate the production and hadronisation mechanisms of charm and beauty quarks, the results are compared to PYTHIA 8 as well as EPOS 3 and EPOS 4 Monte Carlo simulations, and to calculations based on the colour glass condensate including three-pomeron fusion

Measurement of the Lifetime and Λ Separation Energy of _{Λ}^{3}H

The most precise measurements to date of the _{Λ}^{3}H lifetime τ and Λ separation energy B_{Λ} are obtained using the data sample of Pb-Pb collisions at sqrt[s_{NN}]=5.02  TeV collected by ALICE at the LHC. The _{Λ}^{3}H is reconstructed via its charged two-body mesonic decay channel (_{Λ}^{3}H→^{3}He+π^{-} and the charge-conjugate process). The measured values τ=[253±11(stat)±6(syst)]  ps and B_{Λ}=[102±63(stat)±67(syst)]  keV are compatible with predictions from effective field theories and confirm that the _{Λ}^{3}H structure is consistent with a weakly bound system