A type system for components

In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations. In a previous paper, a solution to this problem was proposed by extending the object-oriented language ABS with a component model allowing the programmer to: i) perform up- dates on objects by means of communication ports and their rebinding; and ii) precisely specify when such updates can safely occur in an object by means of critical sections. However, improper rebind operations could still occur and lead to runtime errors. The present paper introduces a type system for this component model that extends the ABS type system with the notion of ports and a precise analysis that statically enforces that no object will attempt illegal rebinding

Influence of interstellar and atmospheric extinction on light curves of eclipsing binaries

Interstellar and atmospheric extinctions redden the observational photometric data and they should be handled rigorously. This paper simulates the effect of reddening for the modest case of two main sequence T1 = 6500K and T2 = 5500K components of a detached eclipsing binary system. It is shown that simply subtracting a constant from measured magnitudes (the approach often used in the field of eclipsing binaries) to account for reddening should be avoided. Simplified treatment of the reddening introduces systematics that reaches \~0.01mag for the simulated case, but can be as high as ~0.2mag for e.g. B8V--K4III systems. With rigorous treatment, it is possible to uniquely determine the color excess value E(B-V) from multi-color photometric light curves of eclipsing binaries.Comment: 6 pages, 9 figures, 1 table, Kopal's Binary Star Legacy conference contribution (Litomysl 2004), to be published by Kluwer A&S

Magnetic losses in Si-Fe alloys for avionic applications

This paper presents an experimental analysis of the rotational power losses of the magnetic materials of transformers, motors and actuators used in avionic environment. A large frequency range is investigated using a suitable experimental test frame developed to measure the power losses for a circular magnetization. The results about different silicon iron alloys with different textures and thickness are considered and compared

A Photometric Investigation of the GRB970228 Afterglow and the Associated Nebulosity

We carefully analyze the WFPC2 and STIS images of GRB970228. We measure magnitudes for the GRB970228 point source component in the WFPC2 images of $V=26.20^{+0.14}_{-0.13}$, $I_c=23.94^{+0.10}_{-0.09}$ and $V=26.52^{+0.16}_{-0.18}$, $I_c=24.31^{+0.15}_{-0.11}$ on March 26 and April 7, respectively; and $R_c=27.09^{+0.14}_{-0.14}$ on September 4 in the STIS image. For the extended component, we measure magnitudes of $R_c=25.48^{+0.22}_{-0.20}$ in the combined WFPC2 images and $R_c=25.54^{+0.33}_{-0.22}$ in the STIS image, which are consistent with no variation. This value is fainter than previously reported (Galama et al. 98) and modifies the previously assumed magnitudes for the optical transient when it faded to a level where the extended source component contribution was not negligible, alleviating the discrepancy to a power-law temporal behavior. We also measure a color of $V_{606}-I_{814}=-0.18^{+0.51}_{-0.61}$ for the extended source component. Taking into account the extinction measured in this field (Castander & Lamb 1998), this color implies that the extended source is most likely a galaxy with ongoing star formation.Comment: 21 pages, including 8 figures. Submitted to Ap

Unveiling the nature of IGR J16283-4838

Context. One of the most striking discoveries of the INTEGRAL observatory is the existence of a previously unknown population of X-ray sources in the inner arms of the Galaxy. The investigations of the optical/NIR counterparts of some of them have provided evidence that they are highly absorbed high mass X-ray binaries hosting supergiants. Aims. We aim to identify the optical/NIR counterpart of one of the newly discovered INTEGRAL sources, IGR J16283-4838, and determine the nature of this system. Methods. We present optical and NIR observations of the field of IGR J16283-4838, and use the astrometry and photometry of the sources within it to identify its counterpart. We obtain its NIR spectrum, and its optical/NIR spectral energy distribution by means of broadband photometry. We search for the intrinsic polarization of its light, and its short and long-term photometric variability. Results. We demonstrate that this source is a highly absorbed HMXB located beyond the Galactic center, and that it may be surrounded by a variable circumstellar medium.Comment: 6 pages, 5 figures, accepted for publication in Astronomy & Astrophysic

The Formal Language and Design Principles of Autonomous DNA Walker Circuits.

Simple computation can be performed using the interactions between single-stranded molecules of DNA. These interactions are typically toehold-mediated strand displacement reactions in a well-mixed solution. We demonstrate that a DNA circuit with tethered reactants is a distributed system and show how it can be described as a stochastic Petri net. The system can be verified by mapping the Petri net onto a continuous-time Markov chain, which can also be used to find an optimal design for the circuit. This theoretical machinery can be applied to create software that automatically designs a DNA circuit, linking an abstract propositional formula to a physical DNA computation system that is capable of evaluating it. We conclude by introducing example mechanisms that can implement such circuits experimentally and discuss their individual strengths and weaknesses

Unveiling the nature of three INTEGRAL sources through optical spectroscopy

The results of an optical spectroscopy campaign performed at the Astronomical Observatory of Bologna in Loiano (Italy) on three hard X-ray sources detected by INTEGRAL (IGR J17303-0601, IGR J18027-1455 and IGR J21247+5058) are presented. These data have allowed a determination of the nature for two of them, with IGR J17303-0601 being a low mass X-ray binary in the Galaxy and IGR J18027-1455 a background Type 1 Seyfert galaxy at redshift z = 0.035. IGR J21247+5058, instead, has a quite puzzling spectroscopic appearance, with a broad, redshifted H_alpha complex superimposed onto a `normal' F/G-type Galactic star continuum: these features, together with the spatially coincident extended radio emission, might suggest a chance alignment between a relatively nearby star and a background radio galaxy. These results underline the still non-negligible importance of smaller telescopes in modern astrophysics.Comment: 4 pages, 2 figures. Accepted for publication in A&A Letter

The Extinction Towards the GRB970228 Field

We determine the local galactic extinction towards the field of gamma-ray burst GRB970228 using a variety of methods. We develop a maximum likelihood method for measuring the extinction by comparing galaxy counts in the field of interest to those in a field of known extinction, and apply this method to the GRB970228 field. We also measure the extinction by comparing the observed stellar spectral energy distributions of stars in the GRB970228 field to the spectral energy distribution of library spectra of the same spectral type. Finally we estimate the extinction using the Balmer emission line ratios of a galaxy in the GRB970228 field, and the neutral hydrogen column density and amount of infrared dust emission toward this field. Combining the results of these methods, we find a best-fit galactic extinction in the optical of $A_V=1.19^{+0.10}_{-0.17}$, which implies a a substantial dimming and change of the spectral slope of the intrinsic GRB970228 afterglow.Comment: 22 pages, including 7 figures. Submitted to Ap

Measuring the properties of extragalactic dust and implications for the Hubble diagram

Scattering and absorption of light by a homogeneous distribution of intergalactic large dust grains has been proposed as an alternative, non-cosmological explanation for the faintness of Type Ia supernovae at z\s im 0.5. We investigate the differential extinction for high-redshift sources caused by extragalactic dust along the line of sight. Future observations of Type Ia supernovae up to $z\sim 2$, e.g. by the proposed SNAP satellite, will allow the measurement of the properties of dust over cosmological distances. We show that 1% {\em relative} spectrophotometric accuracy (or broadband photometry) in the wavelength interval 0.7--1.5 $\mu$m is required to measure the extinction caused by ``grey'' dust down to $\delta m=0.02$ magnitudes. We also argue that the presence of grey dust is not necessarily inconsistent with the recent measurement of the brightness of a supernova at $z=1.7$ (SN 1997ff), in the absence of accurate spectrophotometric information of the supernova.Comment: Accepted by A&

The Effect of Dust Extinction on the Observed Properties of Galaxies in the Near-Infrared

Galaxies behind the Milky Way suffer size reduction and dimming due to their obscuration by dust in the disk of our Galaxy. The degree of obscuration is wavelength dependent. It decreases towards longer wavelengths. Compared to the optical, the Near InfraRed (NIR) $K_s$ band extinction is only $\approx10$ that of the $B$ band. This makes NIR surveys well suited for galaxy surveys close to the Galactic Plane where extinction is severe. While Galactic obscuration is less prominent in the NIR it is not negligible. In this paper we derive empirical relations to correct isophotal radii and magnitudes of galaxies observed in the NIR for foreground absorption. We simulate extinction in the $J$, $H$ and $K_s$ bands on 64 (unobscured) galaxies from the 2MASS Large Galaxy Atlas \citep{jarrett}. We propose two methods for the extinction correction, the first is optimized to provide the most accurate correction and the second provides a convenient statistical correction that works adequately in lower extinction regions. The optimized correction utilizes the galaxy surface brightness, either the disk central surface brightness, $\mu_0$, or the combined disk plus bulge central surface brightness, elliptical and disk/spiral Hubble types. A detailed comparison between the different methods and their accuracy is provided.Comment: 9 pages, 8 figures and 8 tables. Accepted by the MNRAS: Accepted 2009 September 18. Received 2009 September 18; in original form 2009 July 1