High-frequency performance of Schottky source/drain silicon pMOS devices

A radio-frequency performance of 85-nm gate-length p-type Schottky barrier (SB) with PtSi source/drain materials is investigated. The impact of silicidation annealing temperature on the high-frequency behavior of SB MOSFETs is analyzed using an extrinsic small-signal equivalent circuit. It is demonstrated that the current drive and the gate transconductance strongly depend on the silicidation anneal temperature, whereas the unity-gain cutoff frequency of the measured devices remains nearly unchanged

The HERMES Solar Atlas and the spectroscopic analysis of the seismic solar analogue KIC3241581

Solar-analog stars provide an excellent opportunity to study the Sun's evolution, i.e. the changes with time in stellar structure, activity, or rotation for solar-like stars. The unparalleled photometric data from the NASA space telescope Kepler allows us to study and characterise solar-like stars through asteroseismology. We aim to spectroscopically investigate the fundamental parameter and chromospheric activity of solar analogues and twins, based on observations obtained with the HERMES spectrograph and combine them with asteroseismology. Therefore, we need to build a solar atlas for the spectrograph, to provide accurate calibrations of the spectroscopically determined abundances of solar and late type stars observed with this instrument and thus perform differential spectral comparisons. We acquire high-resolution and high signal-to-noise spectroscopy to construct three solar reference spectra by observing the reflected light of Vesta and Victoria asteroids and Europa (100<S/N<450) with the \Hermes spectrograph. We then observe the Kepler solar analog KIC3241581 (S/N~170). We constructed three solar spectrum atlases from 385 to 900 nm obtained with the Hermes spectrograph from observations of two bright asteroids and Europa. A comparison between our solar spectra atlas to the Kurucz and HARPS solar spectrum shows an excellent agreement. KIC3241581 was found to be a long-periodic binary system. The fundamental parameter for the stellar primary component are Teff=5689+/-11K, logg=4.385+/-0.005, [Fe/H]=+0.22+/-0.01, being in agreement with the published global seismic values confirming its status of solar analogue. KIC 3241581 is a metal rich solar analogue with a solar-like activity level in a binary system of unknown period. The chromospheric activity level is compatible to the solar magnetic activity.Comment: 12 pages, 8 figures, accepted for publication in A&

The orbits of subdwarf B + main-sequence binaries. I: The sdB+G0 system PG 1104+243

The predicted orbital period histogram of an sdB population is bimodal with a peak at short ( 250 days) periods. Observationally, there are many short-period sdB systems known, but only very few long-period sdB binaries are identified. As these predictions are based on poorly understood binary interaction processes, it is of prime importance to confront the predictions to observational data. In this contribution we aim to determine the absolute dimensions of the long-period sdB+MS binary system PG1104+243. High-resolution spectroscopy time-series were obtained with HERMES at the Mercator telescope at La Palma, and analyzed to obtain radial velocities of both components. Photometry from the literature was used to construct the spectral energy distribution (SED) of the binary. Atmosphere models were used to fit this SED and determine the surface gravity and temperature of both components. The gravitational redshift provided an independent confirmation of the surface gravity of the sdB component. An orbital period of 753 +- 3 d and a mass ratio of q = 0.637 +- 0.015 were found from the RV-curves. The sdB component has an effective temperature of Teff = 33500 +- 1200 K and a surface gravity of logg = 5.84 +- 0.08 dex, while the cool companion is found to be a G-type star with Teff = 5930 +- 160 K and logg = 4.29 +- 0.05 dex. Assuming a canonical mass of Msdb = 0.47 Msun, the MS component has a mass of 0.74 +- 0.07 Msun, and its Teff corresponds to what is expected for a terminal age main-sequence star with sub-solar metalicity. PG1104+243 is the first long-period sdB binary in which accurate physical parameters of both components could be determined, and the first sdB binary in which the gravitational redshift is measured. Furthermore, PG1104+243 is the first sdB+MS system that shows consistent evidence for being formed through stable Roche-lobe overflow.Comment: Accepted by A&A on 05-10-201

Mightyl: A compositional translation from mitl to timed automata

Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

Mass ratio from Doppler beaming and R{\o}mer delay versus ellipsoidal modulation in the Kepler data of KOI-74

We present a light curve analysis and radial velocity study of KOI-74, an eclipsing A star + white dwarf binary with a 5.2 day orbit. Aside from new spectroscopy covering the orbit of the system, we used 212 days of publicly available Kepler observations and present the first complete light curve fitting to these data, modelling the eclipses and transits, ellipsoidal modulation, reflection, and Doppler beaming. Markov Chain Monte Carlo simulations are used to determine the system parameters and uncertainty estimates. Our results are in agreement with earlier studies, except that we find an inclination of 87.0 \pm 0.4\degree, which is significantly lower than the previously published value. We find that the mass ratio derived from the radial velocity amplitude (q=0.104 \pm 0.004) disagrees with that derived from the ellipsoidal modulation (q=0.052 \pm 0.004} assuming corotation). This was found before, but with our smaller inclination, the discrepancy is even larger than previously reported. Accounting for the rapid rotation of the A-star is found to increase the discrepancy even further by lowering the mass ratio to q=0.047 \pm 0.004. These results indicate that one has to be extremely careful in using the amplitude of an ellipsoidal modulation signal in a close binary to determine the mass ratio, when a proof of corotation is not firmly established. The radial velocities that can be inferred from the detected Doppler beaming in the light curve are found to be in agreement with our spectroscopic radial velocity determination. We also report the first measurement of R{\o}mer delay in a light curve of a compact binary. This delay amounts to -56 \pm 17 s and is consistent with the mass ratio derived from the radial velocity amplitude. The firm establishment of this mass ratio at q=0.104 \pm 0.004 leaves little doubt that the companion of KOI-74 is a low mass white dwarf.Comment: 9 pages, 7 figures, 2 tables; accepted for publication in MNRA

Detection of gravity modes in the massive binary V380 Cyg from Kepler spacebased photometry and high-resolution spectroscopy

We report the discovery of low-amplitude gravity-mode oscillations in the massive binary star V380 Cyg, from 180 d of Kepler custom-aperture space photometry and 5 months of high-resolution high signal-to-noise spectroscopy. The new data are of unprecedented quality and allowed to improve the orbital and fundamental parameters for this binary. The orbital solution was subtracted from the photometric data and led to the detection of periodic intrinsic variability with frequencies of which some are multiples of the orbital frequency and others are not. Spectral disentangling allowed the detection of line-profile variability in the primary. With our discovery of intrinsic variability interpreted as gravity mode oscillations, V380 Cyg becomes an important laboratory for future seismic tuning of the near-core physics in massive B-type stars.Comment: 5 pages, 4 figures, 2 tables. Accepted for publication in MNRAS Letter

Relativistic Effects in the Electromagnetic Current at GeV Energies

We employ a recent approach to the non-relativistic reduction of the electromagnetic current operator in calculations of electronuclear reactions. In contrast to the traditional scheme, where approximations are made for the transferred momentum, transferred energy and initial momentum of the struck nucleon in obtaining an on-shell inspired form for the current, we treat the problem exactly for the transferred energy and transferred momentum. We calculate response functions for the reaction $^2H(e,e'p)n$ at CEBAF (TJNAF) energies and find large relativistic corrections. We also show that in Plane Wave Impulse Approximation, it is always possible to use the full operator, and we present a comparison of such a limiting case with the results incorporating relativistic effects to the first order in the initial momentum of the struck nucleon.Comment: 31 pages, 8 figures, Revte

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment. While the reachability problem is undecidable for hybrid automata we show that it is decidable for ITA. More precisely we prove that the untimed language of an ITA is regular, by building a finite automaton as a generalized class graph. We then establish that the reachability problem for ITA is in NEXPTIME and in PTIME when the number of clocks is fixed. To prove the first result, we define a subclass ITA- of ITA, and show that (1) any ITA can be reduced to a language-equivalent automaton in ITA- and (2) the reachability problem in this subclass is in NEXPTIME (without any class graph). In the next step, we investigate the verification of real time properties over ITA. We prove that model checking SCL, a fragment of a timed linear time logic, is undecidable. On the other hand, we give model checking procedures for two fragments of timed branching time logic. We also compare the expressive power of classical timed automata and ITA and prove that the corresponding families of accepted languages are incomparable. The result also holds for languages accepted by controlled real-time automata (CRTA), that extend timed automata. We finally combine ITA with CRTA, in a model which encompasses both classes and show that the reachability problem is still decidable. Additionally we show that the languages of ITA are neither closed under complementation nor under intersection

Origin of Relativistic Effects in the Reaction D(e,e'p)n at GeV Energies

In a series of recent publications, a new approach to the non-relativistic reduction of the electromagnetic current operator in calculations of electro-nuclear reactions has been introduced. In one of these papers, the conjecture that at energies of a few GeV, the bulk of the relativistic effects comes from the current and not from the nuclear dynamics was made, based on the large relativistic effects in the transverse-longitudinal response. Here, we explicitly compare a fully relativistic, manifestly covariant calculation performed with the Gross equation, with a calculation that uses a non-relativistic wave function and a fully relativistic current operator. We find very good agreement up to missing momenta of 400 MeV/c, thus confirming the previous conjecture. We discuss slight deviations in cross sections for higher missing momenta and their possible origin, namely p-wave contributions and off-shell effects.Comment: 25 pages, 11 figure