Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

Space construction and utility distribution

Technology advancement to effect an orderly development program leading to construction of space platforms was defined, in a program that utilized a viable platform and service module concept with concise OSS/OAST mission and payload models. Consideration was given to concepts for alternate platform servicing of the payloads described in the model. Using the baseline configuration, issues pertinent to platform development as well as orbit emplacement and operation and on orbit construction methodology were analyzed. These analyses provided the following data: (1) payload definitions and installation options; (2) identified structural and subsystems options; (3) developed integrated platform system concepts; and (4) identified technology deficiencies and recommended technology development timelines

Effects of network topology on the OpenAnswer’s Bayesian model of peer assessment

The paper investigates if and how the topology of the peer assessment network can affect the performance of the Bayesian model adopted in Ope nAnswer. Performance is evaluated in terms of the comparison of predicted grades with actual teacher’s grades. The global network is built by interconnecting smaller subnetworks, one for each student, where intra subnetwork nodes represent student's characteristics, and peer assessment assignments make up inter subnetwork connections and determine evidence propagation. A possible subset of teacher graded answers is dynamically determined by suitable selec tion and stop rules. The research questions addressed are: RQ1) “does the topology (diameter) of the network negatively influence the precision of predicted grades?”̀ in the affirmative case, RQ2) “are we able to reduce the negative effects of high diameter networks through an appropriate choice of the subset of students to be corrected by the teacher?” We show that RQ1) OpenAnswer is less effective on higher diameter topologies, RQ2) this can be avoided if the subset of corrected students is chosen considering the network topology

Space assembly fixtures and aids

Concepts and requirements for assembly fixtures and aids necessary for the assembly and maintenance of spare platforms were studied. Emphasis was placed on erectable and deployable type structures with the shuttle orbiter as the assembly base. Both single and multiple orbiter flight cases for the platform assembly were considered. Applicable space platform assembly studies were reviewed to provide a data base for establishing the assembly fixture and aids design requirements, assembly constraints, and the development of representative design concepts. Conclusions indicated that fixture requirements will vary with platform size. Larger platforms will require translation relative to the orbiter RMS working volume. The installation of platform payloads and subsystems (e.g., utility distribution) must also be considered in the specification of assembly fixtures and aids

The development and neural basis of referential gaze perception

Infants are sensitive to the referential information conveyed by others’ eye gaze, which could be one of the developmental foundations of theory of mind. To investigate the neural correlates of gaze–object relations, we recorded ERPs from adults and 9-month-old infants while they watched scenes containing gaze shifts either towards or away from the location of a preceding object. In adults, object-incongruent gaze shifts elicited enhanced ERP amplitudes over the occipito-temporal area (N330). In infants, a similar posterior ERP component (N290) was greater for object-incongruent gaze shifts, which suggests that by the age of 9 months infants encode referential information of gaze in a similar way to adults. In addition, in infants we observed an early frontal ERP component (anterior N200), which showed higher amplitude in response to the perception of object-congruent gaze shifts. This component may reflect fast-track processing of socially relevant information, such as the detection of communicative or informative situations, and could form a developmental foundation for attention sharing, social learning and theory of mind

Sensitivity of double resonance alignment magnetometers

We present an experimental study of the intrinsic magnetometric sensitivity of an optical/rf-frequency double resonance magnetometer in which linearly polarized laser light is used in the optical pumping and detection processes. We show that a semi-empirical model of the magnetometer can be used to describe the magnetic resonance spectra. Then, we present an efficient method to predict the optimum operating point of the magnetometer, i.e., the light power and rf Rabi frequency providing maximum magnetometric sensitivity. Finally, we apply the method to investigate the evolution of the optimum operating point with temperature. The method is very efficient to determine relaxation rates and thus allowed us to determine the three collisional disalignment cross sections for the components of the alignment tensor. Both first and second harmonic signals from the magnetometer are considered and compared

Hints of the existence of Axion-Like-Particles from the gamma-ray spectra of cosmological sources

Axion Like Particles (ALPs) are predicted to couple with photons in the presence of magnetic fields. This effect may lead to a significant change in the observed spectra of gamma-ray sources such as AGNs. Here we carry out a detailed study that for the first time simultaneously considers in the same framework both the photon/axion mixing that takes place in the gamma-ray source and that one expected to occur in the intergalactic magnetic fields. An efficient photon/axion mixing in the source always means an attenuation in the photon flux, whereas the mixing in the intergalactic medium may result in a decrement and/or enhancement of the photon flux, depending on the distance of the source and the energy considered. Interestingly, we find that decreasing the value of the intergalactic magnetic field strength, which decreases the probability for photon/axion mixing, could result in an increase of the expected photon flux at Earth if the source is far enough. We also find a 30% attenuation in the intensity spectrum of distant sources, which occurs at an energy that only depends on the properties of the ALPs and the intensity of the intergalactic magnetic field, and thus independent of the AGN source being observed. Moreover, we show that this mechanism can easily explain recent puzzles in the spectra of distant gamma-ray sources... [ABRIDGED] The consequences that come from this work are testable with the current generation of gamma-ray instruments, namely Fermi (formerly known as GLAST) and imaging atmospheric Cherenkov telescopes like CANGAROO, HESS, MAGIC and VERITAS.Comment: 16 pages, 7 figures. Replaced to match the published version in Phys. Rev. D. Minor changes with respect to v

Mechanical coupling in flashing ratchets

We consider the transport of rigid objects with internal structure in a flashing ratchet potential by investigating the overdamped behavior of a rod-like chain of evenly spaced point particles. In 1D, analytical arguments show that the velocity can reverse direction multiple times in response to changing the size of the chain or the temperature of the heat bath. The physical reason is that the effective potential experienced by the mechanically coupled objects can have a different symmetry than that of individual objects. All analytical predictions are confirmed by Brownian dynamics simulations. These results may provide a route to simple, coarse-grained models of molecular motor transport that incorporate an object's size and rotational degrees of freedom into the mechanism of transport.Comment: 9 pages, 10 figure