Orbital Decay of the PSR J0045-7319/B Star Binary System: Age of Radio Pulsar and Initial Spin of Neutron Star

Recent timing observations of PSR J0045-7319 reveal that the neutron star/B star binary orbit is decaying on a time scale of |\Porb/\dot\Porb|=0.5 Myr, shorter than the characteristic age ($\tau_c=3$ Myr) of the pulsar (Kaspi et al.~1996a). We study mechanisms for the orbital decay. The standard weak friction theory based on static tide requires far too short a viscous time to explain the observed \dot\Porb. We show that dynamical tidal excitation of g-modes in the B star can be responsible for the orbital decay. However, to explain the observed short decay timescale, the B star must have some significant retrograde rotation with respect to the orbit --- The retrograde rotation brings lower-order g-modes, which couple much more strongly to the tidal potential, into closer ``resonances'' with the orbital motion, thus significantly enhancing the dynamical tide. A much less likely possibility is that the g-mode damping time is much shorter than the ordinary radiative damping time. The observed orbital decay timescale combined with a generic orbital evolution model based on dynamical tide can be used as a ``timer'', giving an upper limit of $1.4$ Myr for the age of the binary system since the neutron star formation. Thus the characteristic age of the pulsar is not a good age indicator. Assuming standard magnetic dipole braking for the pulsar and no significant magnetic field decay on a timescale \lo 1 Myr, the upper limit for the age implies that the initial spin of the neutron star at birth was close to its current value.Comment: AASTeX, 9 pages, 3 ps figures. ApJ Letters, in pres

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

International audienceThe increasing complexity of software development requires rigorously defined domain specific modeling languages (DSML). Model-driven engineering (\mde) allows users to define a DSML's syntax in terms of metamodels. The behaviour of a language can also be described, either operationally, or via transformations to other languages (e.g., by code generation). If the first approach requires to redefine analysis tools for each DSML (simulator, model-checker...), the second approach allows to reuse existing tools in the targeted language. However, the second approach (also called translational semantics) imply that the results (e.g., a program crash log, or a counterexample returned by a model checker) may not be straightforward to interpret by the users of a DSML. We propose in this paper a generic tool for formally tracing such analysis/execution results back to the original DSML's syntax and operational semantics, and we illustrate it on xSPEM, a timed process modeling language

Proper orthogonal decomposition of solar photospheric motions

The spatio-temporal dynamics of the solar photosphere is studied by performing a Proper Orthogonal Decomposition (POD) of line of sight velocity fields computed from high resolution data coming from the MDI/SOHO instrument. Using this technique, we are able to identify and characterize the different dynamical regimes acting in the system. Low frequency oscillations, with frequencies in the range 20-130 microHz, dominate the most energetic POD modes (excluding solar rotation), and are characterized by spatial patterns with typical scales of about 3 Mm. Patterns with larger typical scales of 10 Mm, are associated to p-modes oscillations at frequencies of about 3000 microHz.Comment: 8 figures in jpg in press on PR

Multiperiodicity in the newly discovered mid-late Be star V2104 Cygni

We obtained the first long, homogenous time-series of V2104Cyg, consisting of 679 datapoints, with the uvbybeta photometers of Sierra Nevada and San Pedro Martir Observatories with the aim to detect and subsequently interpret the intrinsic frequencies of this previously unstudied variable star, which turned out to be a Be star. We try to figure out its place among the variable B stars on the upper Main Sequence. In order to obtain additional information on physical parameters we collected a few spectra with the ELODIE and FIES instruments. We searched for frequencies in the uvby passbands using 2 different frequency analysis methods and used the S/N>4 criterion to select the significant periodicities. We obtained an estimate of the physical parameters of the underlying B star of spectral type between B5 and B7, by correcting for the presence of a circumstellar disk, using a formalism based on the strenght of the Halpha line emission. We detected 3 independent frequencies with amplitudes below 0.01mag, f1 = 4.7126 c/d, f2 = 2.2342 c/d and f3 = 4.671 c/d, and discovered that V2104Cyg is a Be star. The fast rotation (vsini=290+/-10 km/s, and 27<i<45) hampered the investigation of the associated pulsational parameters l. Nevertheless, the most plausible explanation for the observed variability of this mid-late type Be star is a non-radial pulsation model. This paper is based on observations obtained at the Observatorio Astronomico Nacional San Pedro Martir (Mexico), Observatorio de Sierra Nevada (Spain), Observatoire de Haute Provence (France), and on observations made with the Nordic Optical Telescope, Observatorio Roque de los Muchachos, La Palma, Spain.Comment: 7 pages, 4 figures, A&A accepte

Algorithms for zero-dimensional ideals using linear recurrent sequences

Inspired by Faug\`ere and Mou's sparse FGLM algorithm, we show how using linear recurrent multi-dimensional sequences can allow one to perform operations such as the primary decomposition of an ideal, by computing the annihilator of one or several such sequences.Comment: LNCS, Computer Algebra in Scientific Computing CASC 201

Rotation profiles of solar-like stars with magnetic fields

The aim of this work is to investigate rotation profile of solar-like stars with magnetic fields. A diffusion coefficient of magnetic angular momentum transport is deduced. Rotating stellar models with different mass are computed under the effect of the coefficient. Then rotation profiles are obtained from the theoretical stellar models. The total angular momentum of solar model with only hydrodynamic instabilities is about 13 times larger than that of the Sun at the age of the Sun, and this model can not reproduce quasi-solid rotation in the radiative region. However, not only can the solar model with magnetic fields reproduce an almost uniform rotation in the radiative region, but its total angular momentum is consistent with helioseismic result at the level of 3 $\sigma$ at the age of the Sun. The rotation of solar-like stars with magnetic fields is almost uniform in the radiative region. But there is an obvious transition region of angular velocity between the convective core and the radiative region of models with 1.2 - 1.5 $M_{\odot}$, where angular velocity has a sharp radial change, which is different from the rotation profile of the Sun and massive stars with magnetic fields. Moreover the changes of the angular velocity in the transition region increase with the increasing in the age and mass.Comment: Accepted for publication in ChjA

How Well Do We (and Will We) Know Solar Neutrino Fluxes and Oscillation Parameters?

Assuming neutrino oscillations occur, the pp electron neutrino flux is uncertain by at least a factor of two, the ${\rm ^8B}$ flux by a factor of five, and the ${\rm ^7Be}$ flux by a factor of forty-five. Calculations of the expected results of future solar neutrino experiments (SuperKamiokande, SNO, BOREXINO, ICARUS, HELLAZ, and HERON) are used to illustrate the extent to which these experiments will restrict the range of the allowed neutrino mixing parameters. We present an improved formulation of the ``luminosity constraint'' and show that at 95\% confidence limit this constraint establishes the best available limits on the rate of creation of pp neutrinos in the solar interior and provides the best upper limit to the ${\rm ^7Be}$ neutrino flux.Comment: 37 pages, uuencoded Z-compressed postscript file (with figures); Submitted to Physical Review

Sleptsov Nets are Turing-complete

The present paper proves that a Sleptsov net (SN) is Turing-complete, that considerably improves, with a brief construct, the previous result that a strong SN is Turing-complete. Remind that, unlike Petri nets, an SN always fires enabled transitions at their maximal firing multiplicity, as a single step, leaving for a nondeterministic choice of which fireable transitions to fire. A strong SN restricts nondeterministic choice to firing only the transitions having the highest firing multiplicity.Comment: Sleptsov Net Computing Resolves Modern Supercomputing Problems, https://technews.acm.org/archives.cfm?fo=2023-04-apr/apr-21-2023.htm

Neutrino masses: From fantasy to facts

Theory suggests the existence of neutrino masses, but little more. Facts are coming close to reveal our fantasy: solar and atmospheric neutrino data strongly indicate the need for neutrino conversions, while LSND provides an intriguing hint. The simplest ways to reconcile these data in terms of neutrino oscillations invoke a light sterile neutrino in addition to the three active ones. Out of the four neutrinos, two are maximally-mixed and lie at the LSND scale, while the others are at the solar mass scale. These schemes can be distinguished at neutral-current-sensitive solar & atmospheric neutrino experiments. I discuss the simplest theoretical scenarios, where the lightness of the sterile neutrino, the nearly maximal atmospheric neutrino mixing, and the generation of $\Delta {m^2}_\odot$ & $\Delta {m^2}_{atm}$ all follow naturally from the assumed lepton-number symmetry and its breaking. Although the most likely interpretation of the present data is in terms of neutrino-mass-induced oscillations, one still has room for alternative explanations, such as flavour changing neutrino interactions, with no need for neutrino mass or mixing. Such flavour violating transitions arise in theories with strictly massless neutrinos, and may lead to other sizeable flavour non-conservation effects, such as $\mu \to e + \gamma$, $\mu-e$ conversion in nuclei, unaccompanied by neutrino-less double beta decay.Comment: 33 pages, latex, 16 figures. Invited Talk at Ioannina Conference, Symmetries in Intermediate High Energy Physics and its Applications, Oct. 1998, to be published by Springer Tracts in Modern Physics. Festschrift in Honour of John Vergados' 60th Birthda