Empirical evaluation of accuracy of mathematical software used for availability assessment of fault-tolerant computer systems

Dependability assessment is typically based on complex probabilistic models. Markov and semi-Markov models are widely used to model dependability of complex hardware/software architectures. Solving such models, especially when they are stiff, is not trivial and is usually done using sophisticated mathematical software packages. We report a practical experience of comparing the accuracy of solutions stiff Markov models obtained using well known commercial and research software packages. The study is conducted on a contrived but realistic cases study of computer system with hardware redundancy and diverse software under the assumptions that the rate of failure of software may vary over time, a realistic assumption. We observe that the disagreement between the solutions obtained with the different packages may be very significant. We discuss these findings and directions for future research

Theory and simulation of spectral line broadening by exoplanetary atmospheric haze

Atmospheric haze is the leading candidate for the flattening of expolanetary spectra, as it's also an important source of opacity in the atmospheres of solar system planets, satellites, and comets. Exoplanetary transmission spectra, which carry information about how the planetary atmospheres become opaque to stellar light in transit, show broad featureless absorption in the region of wavelengths corresponding to spectral lines of sodium, potassium and water. We develop a detailed atomistic model, describing interactions of atomic or molecular radiators with dust and atmospheric haze particulates. This model incorporates a realistic structure of haze particulates from small nano-size seed particles up to sub-micron irregularly shaped aggregates, accounting for both pairwise collisions between the radiator and haze perturbers, and quasi-static mean field shift of levels in haze environments. This formalism can explain large flattening of absorption and emission spectra in haze atmospheres and shows how the radiator - haze particle interaction affects the absorption spectral shape in the wings of spectral lines and near their centers. The theory can account for nearly all realistic structure, size and chemical composition of haze particulates and predict their influence on absorption and emission spectra in hazy environments. We illustrate the utility of the method by computing shift and broadening of the emission spectra of the sodium D line in an argon haze. The simplicity, elegance and generality of the proposed model should make it amenable to a broad community of users in astrophysics and chemistry.Comment: 16 pages, 4 figures, submitted to MNRA

Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains

Markov and semi-Markov models are widely used in dependability assessment of complex computer-based systems. Model stiffness poses a serious problem both in terms of computational difficulties and in terms of accuracy of the assessment. Selecting an appropriate method and software package for solving stiff Markov models proved to be a non-trivial task. In this paper we provide an empirical comparison of two approaches to dealing with stiffness – stiffness avoidance and stiffness-tolerance. The study includes several well known techniques and software tools used for solving Kolmogorov’s differential equations derived from complex stiff Markov models. In the comparison we used realistic cases studies developed by others in the past: i) a computer system with hardware redundancy and diverse software, and ii) a queuing system with a server break-down and repair. The results indicate that the accuracy of the known methods is significantly affected by the stiffness of the Markov models, which led us to developing a procedure (an algorithm) for selecting the optimal method and tool for solving a given stiff Markov model. The algorithm is, also included in the paper

Priority areas of development of resources of hydrocarbons of Hlynskyi and Solokhivskyi oil and gas region of Dnipro and Donetsk basin

The resource potential of the Hlynsko-Solokhivskyi oil and gas region, selected area of oil and gas accumulation (OGA) was described. By means of graphical analysis the extent of the area resource potential development and selected areas of OGA was defined. The analysis of non-discovered resources (including localized) in areas, promising and producing complexes and deeps was made. The most promising areas were determined. The appropriate recommendations on further geology exploration for the purpose of improving the efficiency on oil and gas were given

Spyware detection technique based on reinforcement learning

Analysis of the antivirus technologies, showed that they are not able to detect new spyware with high efficiency, which significantly reduces the reliability and efficiency of its identification. Techniques based on heuristic analysis have a high rate of false positives. The paper presents a new technique for the spyware detection method in computer systems that provides a principle of proactivity and is based on mechanisms machine learning with the reinforce-mentlearning. The suggested method of spyware detection is based on software behavior analysis in computer systems. The suggested method involves the computer systems monitoring concerning the software, operates with the behavior

Galactic Rotation Parameters from Data on Open Star Clusters

Currently available data on the field of velocities Vr, Vl, Vb for open star clusters are used to perform a kinematic analysis of various samples that differ by heliocentric distance, age, and membership in individual structures (the Orion, Carina--Sagittarius, and Perseus arms). Based on 375 clusters located within 5 kpc of the Sun with ages up to 1 Gyr, we have determined the Galactic rotation parameters Wo =-26.0+-0.3 km/s/kpc, W'o = 4.18+-0.17 km/s/kpc^2, W''o=-0.45+-0.06 km/s/kpc^3, the system contraction parameter K = -2.4+-0.1 km/s/kpc, and the parameters of the kinematic center Ro =7.4+-0.3 kpc and lo = 0+-1 degrees. The Galactocentric distance Ro in the model used has been found to depend significantly on the sample age. Thus, for example, it is 9.5+-0.7 kpc and 5.6+-0.3 kpc for the samples of young (50 Myr) clusters, respectively. Our study of the kinematics of young open star clusters in various spiral arms has shown that the kinematic parameters are similar to the parameters obtained from the entire sample for the Carina-Sagittarius and Perseus arms and differ significantly from them for the Orion arm. The contraction effect is shown to be typical of star clusters with various ages. It is most pronounced for clusters with a mean age of 100 Myr, with the contraction velocity being Kr = -4.3+-1.0 km/s.Comment: 14 pages, 4 figures, 2 table

A Search for EUV Emission from Comets with the Cosmic Hot Interstellar Plasma Spectrometer (CHIPS)

We have obtained EUV spectra between 90 and 255 \AA of the cometsC/2002 T7 (LINEAR), C/2001 Q4 (NEAT), and C/2004 Q2 (Machholz) near their perihelion passages in 2004 with the Cosmic Hot Interstellar Plasma Spectrometer (CHIPS). We obtained contemporaneous data on Comet NEAT Q4 with the $Chandra$ X-ray Observatory ACIS instrument, marking the first simultaneous EUV and X-ray spectral observations of a comet. The total CHIPS/EUV observing times were 337 ks for Q4, 234 ks for T7, and 483 ks for Machholz and for both CHIPS and $Chandra$ we calculate we have captured all the comet flux in the instrument field of view. We set upper limits on solar wind charge exchange emission lines of O, C, N, Ne and Fe occurring in the spectral bandpass of CHIPS. The spectrum of Q4 obtained with $Chandra$ can be reproduced by modeling emission lines of C, N O, Mg, Fe, Si, S, and Ne solar wind ions. The measured X-ray emission line intensities are consistent with our predictions from a solar wind charge exchange model. The model predictions for the EUV emission line intensities are determined from the intensity ratios of the cascading X-ray and EUV photons arising in the charge exchange processes. They are compatible with the measured limits on the intensities of the EUV lines. For comet Q4, we measured a total X-ray flux of 3.7$\times 10^{-12}$ ergs cm$^{-2}$ s$^{-1}$, and derive from model predictions a total EUV flux of 1.5$\times 10^{-12}$ erg cm$^{-2}$ s$^{-1}$. The CHIPS observations occurred predominantly while the satellite was on the dayside of Earth. For much of the observing time, CHIPS performed observations at smaller solar angles than it was designed for and EUV emission from the Sun scattered into the instrument limited the sensitivity of the EUV measurements.Comment: 28 pages total, 4 tables, 7 figures. Accepted by The Astrophysical Journa

A RAVE investigation on Galactic open clusters I. Radial velocities and metallicities

Context. Galactic open clusters (OCs) mainly belong to the young stellar population in the Milky Way disk, but are there groups and complexes of OCs that possibly define an additional level in hierarchical star formation? Current compilations are too incomplete to address this question, especially regarding radial velocities (RVs) and metallicities ([M/H]). Aims. Here we provide and discuss newly obtained RV and [M/H] data, which will enable us to reinvestigate potential groupings of open clusters and associations. Methods. We extracted additional RVs and [M/H] from the RAdial Velocity Experiment (RAVE) via a cross-match with the Catalogue of Stars in Open Cluster Areas (CSOCA). For the identified OCs in RAVE we derived (RV) over bar and ([M/H]) over bar from a cleaned working sample and compared the results with previous findings. Results. Although our RAVE sample does not show the same accuracy as the entire survey, we were able to derive reliable (RV) over bar for 110 Galactic open clusters. For 37 OCs we publish (RV) over bar for the first time. Moreover, we determined ([M/H]) over bar for 81 open clusters, extending the number of OCs with ([M/H]) over bar by 69

Neutron-3H and Proton-3He Zero Energy Scattering

The Kohn variational principle and the (correlated) Hyperspherical Harmonics technique are applied to study the n-3H and p-3He scattering at zero energy. Predictions for the singlet and triplet scattering lengths are obtained for non-relativistic nuclear Hamiltonians including two- and three-body potentials. The calculated n-3H total cross section agrees well with the measured value, while some small discrepancy is found for the coherent scattering length. For the p-3He channel, the calculated scattering lengths are in reasonable agreement with the values extrapolated from the measurements made above 1 MeV.Comment: 13 pages, REVTEX, 1 figur

B fields in OB stars (BOB): The discovery of a magnetic field in a multiple system in the Trifid Nebula, one of the youngest star forming regions

Recent magnetic field surveys in O- and B-type stars revealed that about 10% of the core-hydrogen-burning massive stars host large-scale magnetic fields. The physical origin of these fields is highly debated. To identify and model the physical processes responsible for the generation of magnetic fields in massive stars, it is important to establish whether magnetic massive stars are found in very young star-forming regions or whether they are formed in close interacting binary systems. In the framework of our ESO Large Program, we carried out low-resolution spectropolarimetric observations with FORS2 in 2013 April of the three most massive central stars in the Trifid nebula, HD164492A, HD164492C, and HD164492D. These observations indicated a strong longitudinal magnetic field of about 500-600G in the poorly studied component HD164492C. To confirm this detection, we used HARPS in spectropolarimetric mode on two consecutive nights in 2013 June. Our HARPS observations confirmed the longitudinal magnetic field in HD164492C. Furthermore, the HARPS observations revealed that HD164492C cannot be considered as a single star as it possesses one or two companions. The spectral appearance indicates that the primary is most likely of spectral type B1-B1.5V. Since in both observing nights most spectral lines appear blended, it is currently unclear which components are magnetic. Long-term monitoring using high-resolution spectropolarimetry is necessary to separate the contribution of each component to the magnetic signal. Given the location of the system HD164492C in one of the youngest star formation regions, this system can be considered as a Rosetta Stone for our understanding of the origin of magnetic fields in massive stars.Comment: Five pages, six figures, accepted for publication in A&