A taxonomy of asymmetric requirements aspects

The early aspects community has received increasing attention among researchers and practitioners, and has grown a set of meaningful terminology and concepts in recent years, including the notion of requirements aspects. Aspects at the requirements level present stakeholder concerns that crosscut the problem domain, with the potential for a broad impact on questions of scoping, prioritization, and architectural design. Although many existing requirements engineering approaches advocate and advertise an integral support of early aspects analysis, one challenge is that the notion of a requirements aspect is not yet well established to efficaciously serve the community. Instead of defining the term once and for all in a normally arduous and unproductive conceptual unification stage, we present a preliminary taxonomy based on the literature survey to show the different features of an asymmetric requirements aspect. Existing approaches that handle requirements aspects are compared and classified according to the proposed taxonomy. In addition,we study crosscutting security requirements to exemplify the taxonomy's use, substantiate its value, and explore its future directions

Bose-Einstein Condensation with Entangled Order Parameter

We propose a practically accessible non-mean-field ground state of Bose-Einstein condensation (BEC), which occurs in an interspecies two-particle entangled state, and is thus described by an entangled order parameter. A suitably defined entanglement entropy is used as the characterization of the non-mean-field nature, and is found to persist in a wide parameter regime. The interspecies entanglement leads to novel interference terms in the dynamical equations governing the single particle orbital wavefunctions. Experimental feasibility and several methods of probe are discussed. We urge the study of multi-channel scattering between different species of atoms.Comment: V1: 5 pages, 4 figures. Accepted by Phys. Rev. Lett.; V2: A couple of very minor typos corrected, publishe

Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking

Collision avoidance is an essential safety requirement for unmanned surface vehicles (USVs). Normally, its practical verification is non-trivial, due to the stochastic behaviours of both the USVs and the intruders. This paper presents the probabilistic timed automata (PTAs) based formalism for three collision avoidance behaviours of USVs in uncertain dynamic environments, which are associated with the crossing situation in COLREGs. Steering right, acceleration, and deceleration are considered potential evasive manoeuvres. The state-of-the-art prism model checker is applied to analyse the underlying models. This work provides a framework and practical application of the probabilistic model checking for decision making in collision avoidance for USVs

Dilute magnetic semiconductor and half metal behaviors in 3d transition-metal doped black and blue phosphorenes: a first-principles study

We present first-principles density-functional calculations for the structural, electronic, and magnetic properties of substitutional 3d transition metal (TM) impurities in two-dimensional black and blue phosphorenes. We find that the magnetic properties of such substitutional impurities can be understood in terms of a simple model based on the Hund's rule. The TM-doped black phosphorenes with Ti, V, Cr, Mn, Fe and Ni impurities show dilute magnetic semiconductor (DMS) properties while those with Sc and Co impurities show nonmagnetic properties. On the other hand, the TM-doped blue phosphorenes with V, Cr, Mn and Fe impurities show DMS properties, those with Ti and Ni impurities show half-metal properties, whereas Sc and Co doped systems show nonmagnetic properties. We identify two different regimes depending on the occupation of the hybridized electronic states of TM and phosphorous atoms: (i) bonding states are completely empty or filled for Sc- and Co-doped black and blue phosphorenes, leading to non-magnetic; (ii) non-bonding d states are partially occupied for Ti-, V-, Cr-, Mn-, Fe- and Ni-doped black and blue phosphorenes, giving rise to large and localized spin moments. These results provide a new route for the potential applications of dilute magnetic semiconductor and half-metal in spintronic devices by employing black and blue phosphorenes.Comment: 9 pages, 7 figure