Application-Layer Connector Synthesis

International audienceThe heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous e orts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be speci cally coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described e orts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. Within the Connect project, by considering our past experience on automatic coordinator synthesis as a baseline, we propose a formal theory of mediators and a related method for automatically eliciting a way for the protocols to interoperate. The solution we propose is the automated synthesis of emerging mediating connectors (i.e., mediators for short)

A Theory of Mediators for Eternal Connectors

International audienceOn the fly synthesis of mediators is a revolutionary approach to the seamless networking of today's and future digital systems that increasingly need be connected. The resulting emergent mediators (or Connectors) adapt the interaction protocols run by the connected systems to let them communicate. However, although the mediator concept has been studied and used quite extensively to cope with many heterogeneity dimensions, a remaining key challenge is to support on-the-fly synthesis of mediators. Towards this end, this paper introduces a theory of mediators for the ubiquitous networking environment. The proposed formal model: (i) precisely characterizes the problem of interoperability between networked systems, and (ii) paves the way for automated reasoning about protocol matching (interoperability) and related mediator synthesis

Observations of Accreting Pulsars

We summarize five years of continuous monitoring of accretion-powered pulsars with the Burst and Transient Source Experiment (BATSE) on the Compton Gamma Ray Observatory. Our 20-70 keV observations have determined or refined the orbital parameters of 13 binaries, discovered 5 new transient accreting pulsars, measured the pulsed flux history during outbursts of 12 transients (GRO J1744-28, 4U 0115+634, GRO J1750-27, GS 0834-430, 2S 1417-624, GRO J1948+32, EXO 2030+375, GRO J1008-57, A 0535+26, GRO J2058+42, 4U 1145-619 and A 1118-616), and also measured the accretion torque history of during outbursts of 6 of those transients whose orbital parameters were also known. We have also continuously measured the pulsed flux and spin frequency for eight persistently accreting pulsars (Her X-1, Cen X-3, Vela X-1, OAO 1657-415, GX 301-2, 4U 1626-67, 4U 1538-52, and GX 1+4). Because of their continuity and uniformity over a long baseline, BATSE observations have provided new insights into the long-term behavior of accreting magnetic stars. We have found that all accreting pulsars show stochastic variations in their spin frequencies and luminosities, including those displaying secular spin-up or spin-down on long time scales, blurring the conventional distinction between disk-fed and wind-fed binaries. Pulsed flux and accretion torque are strongly correlated in outbursts of transient accreting pulsars, but uncorrelated, or even anticorrelated, in persistent sources.Comment: LaTeX, psfig, 90 pages, 42 figures. To appear in Dec. 1997 ApJS, Vol 113, #

Hard Spectra of X-Ray Pulsars from INTEGRAL Data

We present spectra for 34 accretion-powered X-ray and one millisecond pulsars that were within the field of view of the INTEGRAL observatory over two years (December 2002 - January 2005) of its in-orbit operation and that were detected by its instruments at a statistically significant level (> 8 sigma in the energy range 18--60 keV). There are seven recently discovered objects of this class among the pulsars studied: 2RXP J130159.6-635806, IGR/AX J16320-4751, IGR J16358-4726, AX J163904-4642, IGR J16465-4507, SAX/IGR J18027-2017 and AX J1841.0-0535. We have also obtained hard X-ray (> 20 keV) spectra for the accretion-powered pulsars A 0114+650, RX J0146.9+6121, AX J1820.5-1434, AX J1841.0-0535 and the millisecond pulsar XTE J1807-294 for the first time. We analyze the evolution of spectral parameters as a function of the intensity of the sources and compare these with the results of previous studies.Comment: 33 pages, 2 figures Astronomy Letters, 31, pp. 729 (2005

Development of the self-modulation instability of a relativistic proton bunch in plasma

Self-modulation is a beam–plasma instability that is useful to drive large-amplitude wakefields with bunches much longer than the plasma skin depth. We present experimental results showing that, when increasing the ratio between the initial transverse size of the bunch and the plasma skin depth, the instability occurs later along the bunch, or not at all, over a fixed plasma length because the amplitude of the initial wakefields decreases. We show cases for which self-modulation does not develop, and we introduce a simple model discussing the conditions for which it would not occur after any plasma length. Changing bunch size and plasma electron density also changes the growth rate of the instability. We discuss the impact of these results on the design of a particle accelerator based on the self-modulation instability seeded by a relativistic ionization front, such as the future upgrade of the Advanced WAKefield Experiment

Simulation and experimental study of proton bunch self-modulation in plasma with linear density gradients

We present numerical simulations and experimental results of the self-modulation of a long proton bunch in a plasma with linear density gradients along the beam path. Simulation results agree with the experimental results reported [F. Braunmller, T. Nechaeva et al. (AWAKE Collaboration), Phys. Rev. Lett. 125, 264801 (2020)PRLTAO0031-900710.1103/PhysRevLett.125.264801]: with negative gradients, the charge of the modulated bunch is lower than with positive gradients. In addition, the bunch modulation frequency varies with gradient. Simulation results show that dephasing of the wakefields with respect to the relativistic protons along the plasma is the main cause for the loss of charge. The study of the modulation frequency reveals details about the evolution of the self-modulation process along the plasma. In particular for negative gradients, the modulation frequency across time-resolved images of the bunch indicates the position along the plasma where protons leave the wakefields. Simulations and experimental results are in excellent agreement

SDSS-III: Massive Spectroscopic Surveys of the Distant Universe, the Milky Way Galaxy, and Extra-Solar Planetary Systems

Building on the legacy of the Sloan Digital Sky Survey (SDSS-I and II), SDSS-III is a program of four spectroscopic surveys on three scientific themes: dark energy and cosmological parameters, the history and structure of the Milky Way, and the population of giant planets around other stars. In keeping with SDSS tradition, SDSS-III will provide regular public releases of all its data, beginning with SDSS DR8 (which occurred in Jan 2011). This paper presents an overview of the four SDSS-III surveys. BOSS will measure redshifts of 1.5 million massive galaxies and Lya forest spectra of 150,000 quasars, using the BAO feature of large scale structure to obtain percent-level determinations of the distance scale and Hubble expansion rate at z<0.7 and at z~2.5. SEGUE-2, which is now completed, measured medium-resolution (R=1800) optical spectra of 118,000 stars in a variety of target categories, probing chemical evolution, stellar kinematics and substructure, and the mass profile of the dark matter halo from the solar neighborhood to distances of 100 kpc. APOGEE will obtain high-resolution (R~30,000), high signal-to-noise (S/N>100 per resolution element), H-band (1.51-1.70 micron) spectra of 10^5 evolved, late-type stars, measuring separate abundances for ~15 elements per star and creating the first high-precision spectroscopic survey of all Galactic stellar populations (bulge, bar, disks, halo) with a uniform set of stellar tracers and spectral diagnostics. MARVELS will monitor radial velocities of more than 8000 FGK stars with the sensitivity and cadence (10-40 m/s, ~24 visits per star) needed to detect giant planets with periods up to two years, providing an unprecedented data set for understanding the formation and dynamical evolution of giant planet systems. (Abridged)Comment: Revised to version published in The Astronomical Journa

Personal control decreases narcissistic but increases non-narcissistic in-group positivity

Objective: We examined the effects of control motivation on in-group positivity. Past research suggests that people compensate for low personal control by increasing support for social ingroups. We predicted that the effect of personal control on in-group positivity would depend on the type of in-group positivity. Low personal control should increase compensatory, narcissistic in-group positivity, while high personal control should increase secure, non-narcissistic in-group positivity. Method: These hypotheses were tested in a cross-sectional survey (Study 1, n= 1083,54% female, Mage= 47.68), two experiments (Study 2, n= 105, 50% female, Mage = 32.05; Study 3, n=154, 40% female, Mage= 29.93) and a longitudinal survey (Study 4, n= 398, 51% female,Mage= 32.05). Results: In all studies personal control was negatively associated with narcissistic in-group positivity but positively associated with non-narcissistic in-group positivity. The longitudinal survey additionally showed that the positive relationship between personal controland non-narcissistic in-group positivity was reciprocal. Moreover, both types of in-group positivity differentially mediated between personal control and out-group attitudes:narcissistic in-group positivity predicted negative attitudes and non-narcissistic positivity predicted positive attitudes. Conclusions: These findings highlight the role of individual motivation in fostering different types of in-group positivity and intergroup outcomes

Simulation and experimental study of proton bunch self-modulation in plasma with linear density gradients

We present numerical simulations and experimental results of the self-modulation of a long proton bunch in a plasma with linear density gradients along the beam path. Simulation results agree with the experimental results reported [F. Braunmller, T. Nechaeva et al. (AWAKE Collaboration), Phys. Rev. Lett. 125, 264801 (2020)]: with negative gradients, the charge of the modulated bunch is lower than with positive gradients. In addition, the bunch modulation frequency varies with gradient. Simulation results show that dephasing of the wakefields with respect to the relativistic protons along the plasma is the main cause for the loss of charge. The study of the modulation frequency reveals details about the evolution of the self-modulation process along the plasma. In particular for negative gradients, the modulation frequency across time-resolved images of the bunch indicates the position along the plasma where protons leave the wakefields. Simulations and experimental results are in excellent agreement