Modeling the Cognitive Task Load and Performance of Naval Operators

Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as foundation of three operator support functions: adaptive task allocation, cognitive aids and resource feedback. This paper presents the construction of such a model as a Bayesian network with probability relationships between CTL and performance. The network is trained and tested with two datasets: operator performance with an adaptive user interface in a lab-setting and operator performance on a high-tech sailing ship. The “Naïve Bayesian network ” tuned out to be the best choice, providing performance estimations with 86 % and 74 % accuracy for respectively the lab and ship data. Overall, the resulting model nicely generalizes over the two datasets. It will be used to estimate operator performance under momentary CTL-conditions, and to set the thresholds of the load-mitigation strategies for the three support functions

Ranking Templates for Linear Loops

We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parametrized, well-founded relations such that an assignment to the parameters gives rise to a ranking function. This approach generalizes existing methods and enables us to use templates for many different ranking functions with affine-linear components. We discuss templates for multiphase, piecewise, and lexicographic ranking functions. Because these ranking templates require both strict and non-strict inequalities, we use Motzkin's Transposition Theorem instead of Farkas Lemma to transform the generated $\exists\forall$-constraint into an $\exists$-constraint.Comment: TACAS 201

Low energy collective excitations in a superfluid trapped Fermi gas

We study low energy collective excitations in a trapped superfluid Fermi gas, that describe slow variations of the phase of the superfluid order parameter. Well below the critical temperature the corresponding eigenfrequencies turn out to be of the order of the trap frequency, and these modes manifest themselves as the eigenmodes of the density fluctuations of the gas sample. The latter could provide an experimental evidence of the presence of the superfluid phase.Comment: 5 pages, REVTeX, referencies correcte

Laser cooling of a trapped two-component Fermi gas

The collective Raman cooling of a trapped two-component Fermi gas is analyzed. We develop the quantum master equation that describes the collisions and the laser cooling, in the festina lente regime, where the heating due to photon reabsorption can be neglected. The numerical results based on Monte Carlo simulations show, that three-dimensional temperatures of the order of 0.008 T_F can be achieved. We analyze the heating related to the background losses, and conclude that our laser-cooling scheme can maintain the temperature of the gas without significant additional losses. Finally we derive an analytic expression for the temperature of a trapped Fermi gas heated by background collisions, that agrees very well with the data obtained from the numerical simulation.Comment: 5 pages, 3 figure

Comparison of the Oxidation State of Fe in Comet 81P/Wild 2 and Chondritic-Porous Interplanetary Dust Particles

The fragile structure of chondritic-porous interplanetary dust particles (CP- IDPs) and their minimal parent-body alteration have led researchers to believe these particles originate in comets rather than asteroids where aqueous and thermal alteration have occurred. The solar elemental abundances and atmospheric entry speed of CP-IDPs also suggest a cometary origin. With the return of the Stardust samples from Jupiter-family comet 81P/Wild 2, this hypothesis can be tested. We have measured the Fe oxidation state of 15 CP-IDPs and 194 Stardust fragments using a synchrotron-based x-ray microprobe. We analyzed ~300 nanograms of Wild 2 material - three orders of magnitude more material than other analyses comparing Wild 2 and CP-IDPs. The Fe oxidation state of these two samples of material are >2{\sigma} different: the CP-IDPs are more oxidized than the Wild 2 grains. We conclude that comet Wild 2 contains material that formed at a lower oxygen fugacity than the parent body, or parent bodies, of CP-IDPs. If all Jupiter-family comets are similar, they do not appear to be consistent with the origin of CP-IDPs. However, comets that formed from a different mix of nebular material and are more oxidized than Wild 2 could be the source of CP-IDPs.Comment: Earth and Planetary Science Letters, in pres

Optical response of superfluid state in dilute atomic Fermi-Dirac gases

We theoretically study the propagation of light in a Fermi-Dirac gas in the presence of a superfluid state. BCS pairing between atoms in different hyperfine levels may significantly increase the optical linewidth and line shift of a quantum degenerate Fermi-Dirac gas and introduce a local-field correction that, under certain conditions, dramatically dominates over the Lorentz-Lorenz shift. These optical properties could possibly unambiguously sign the presence of the superfluid state and determine the value of the BCS order parameter.Comment: 5 pages, 2 figure

Laser Cooling of Trapped Fermi Gases deeply below the Fermi Temperature

We study the collective Raman cooling of a polarized trapped Fermi gas in the Festina Lente regime, when the heating effects associated with photon reabsorptions are suppressed. We predict that by adjusting the spontaneous Raman emission rates and using appropriately designed anharmonic traps, temperatures of the order of 2.7% of the Fermi temperature can be achieved in 3D.Comment: 4 pages, 3 figures; final versio

Characterizing top gated bilayer graphene interaction with its environment by Raman spectroscopy

In this work we study the behavior of the optical phonon modes in bilayer graphene devices by applying top gate voltage, using Raman scattering. We observe the splitting of the Raman G band as we tune the Fermi level of the sample, which is explained in terms of mixing of the Raman (Eg) and infrared (Eu) phonon modes, due to different doping in the two layers. We theoretically analyze our data in terms of the bilayer graphene phonon self-energy which includes non-homogeneous charge carrier doping between the graphene layers. We show that the comparison between the experiment and theoretical model not only gives information about the total charge concentration in the bilayer graphene device, but also allows to separately quantify the amount of unintentional charge coming from the top and the bottom of the system, and therefore to characterize the interaction of bilayer graphene with its surrounding environment

In-situ velocity imaging of ultracold atoms using slow--light

The optical response of a moving medium suitably driven into a slow-light propagation regime strongly depends on its velocity. This effect can be used to devise a novel scheme for imaging ultraslow velocity fields. The scheme turns out to be particularly amenable to study in-situ the dynamics of collective and topological excitations of a trapped Bose-Einstein condensate. We illustrate the advantages of using slow-light imaging specifically for sloshing oscillations and bent vortices in a stirred condensate