-
Optical turbulence vertical distribution at the Peak Terskol Observatory and Mt. Kurapdag
Authors:
A. Y. Shikhovtsev,
C. Qing,
E. A. Kopylov,
S. A. Potanin,
P. G. Kovadlo
Abstract:
Characterization of atmospheric turbulence is essential to understanding image quality of astronomical telescopes and applying adaptive optics systems. In this study, the vertical distributions of optical turbulence at the Peak Terskol Observatory (43.27472N 42.50083E, 3127 m a.s.l.) using the Era-5 re-analysis, scintillation measurements and sonic anemometer data are investigated. For the reanaly…
▽ More
Characterization of atmospheric turbulence is essential to understanding image quality of astronomical telescopes and applying adaptive optics systems. In this study, the vertical distributions of optical turbulence at the Peak Terskol Observatory (43.27472N 42.50083E, 3127 m a.s.l.) using the Era-5 re-analysis, scintillation measurements and sonic anemometer data are investigated. For the reanalysis grid node closest to the observatory, vertical profiles of the structural constant of the air refractive index turbulent fluctuations $C^2_n$ were obtained. The calculated $C^2_n(z)$ vertical profiles are compared with the vertical distribution of turbulence intensity obtained from tomographic measurements with Shack-Hartmann sensor. The Fried parameter r0 at the location of Terskol Peak Observatory was estimated. Using combination of atmospheric models and scheme paramaterization of turbulence, $C^2_n(z)$ profiles at Mt. Kurapdag were obtained. The r0 values at the Peak Terskol Observatory are compared with estimated values of this length at the ten astronomical sites including Ali, Lenghu and Daocheng.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Evaluating the Language-Based Security for Plugin Development
Authors:
Naisheng Liang,
Alex Potanin
Abstract:
With the increasing popularity of plugin-based software systems, ensuring the security of plugins has become a critical concern. When users install plugins or browse websites with plugins from an untrusted source, how can we be sure that they do have any undesirable functions implicitly? In this research, we present a comprehensive study on language-based security mechanisms for plugin development…
▽ More
With the increasing popularity of plugin-based software systems, ensuring the security of plugins has become a critical concern. When users install plugins or browse websites with plugins from an untrusted source, how can we be sure that they do have any undesirable functions implicitly? In this research, we present a comprehensive study on language-based security mechanisms for plugin development. We aim to enhance the understanding of access control vulnerabilities in plugins and explore effective security measures by introducing a capability-based system. We also developed and evaluated test plugins to assess the security mechanisms in popular development environments such as IntelliJ IDEA and Visual Studio Code by utilising Java, JavaScript, and associated APIs and frameworks. We also explore the concept of capability-based module systems as an alternative approach to plugin security. A comparative analysis is conducted to evaluate the effectiveness of capability-based systems in addressing access control vulnerabilities identified in earlier sections. Finally, recommendations for improving plugin security practices and tools will be presented, emphasizing the importance of robust security measures in the ever-evolving landscape of software plugins.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
-
Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis
Authors:
Jaxon Kneipp,
Alex Potanin,
Michael Anenburg
Abstract:
Modern geological studies and mineral exploration techniques rely heavily on being able to digitally visualise and interpret data. Rare earth elements (REEs) are vital for renewable energy technologies. REE concentrations, when normalised to a standard material, show unique geometric curves (or patterns) in geological samples due to their similar chemical properties. The lambda technique can be us…
▽ More
Modern geological studies and mineral exploration techniques rely heavily on being able to digitally visualise and interpret data. Rare earth elements (REEs) are vital for renewable energy technologies. REE concentrations, when normalised to a standard material, show unique geometric curves (or patterns) in geological samples due to their similar chemical properties. The lambda technique can be used to describe these patterns and turn them into points - making it easier to visualise and interpret larger datasets. Lambdas have the potential to help industry understand intricate sample relationships and the geological and economic importance of their data.
This study explored the use of lambdas through the evaluation of various visualisation methods to determine their usefulness in mineral exploration. The 'REEkit' platform facilitated the evaluation of the different visualisation methods and gauged industry interest and acceptance of such a service. Qualitative data was gathered through contextual inquiry, utilising semi-structured interviews and an observational session with 10 participants. Conceptual thematic analysis was applied to extract key findings.
This study found that two critical factors for successful lambda data visualisation in the mineral exploration industry are familiarity and clarity: visualisations that were familiar and commonplace for users allowed for better analysis and clear communication to non-technical audiences. This included visualisations such as the 3D scatter plot and scatter plot matrix. Furthermore, visualisations that complemented each other and seamlessly integrated into the same workflow provided diverse perspectives on the data. Important aspects included understanding population grou** versus data distribution, achieved through combinations such as scatter plot and density contour plot, or 3D scatter plot and violin plot.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
-
The jet of BP Tau
Authors:
A. V. Dodin,
S. A. Potanin,
M. A. Burlak,
D. V. Cheryasov,
N. P. Ikonnikova,
S. A. Lamzin,
B. S. Safonov,
N. I. Shatskii,
A. M. Tatarnikov
Abstract:
A strong global magnetic field of young low-mass stars and a high accretion rate are the necessary conditions for the formation of collimated outflows (jets) from these objects. But it is still unclear whether these conditions are also sufficient. We aim to check whether BP Tau, an actively accreting young star with a strong magnetic field, has a jet. We carried out narrowband SII 672 nm imaging a…
▽ More
A strong global magnetic field of young low-mass stars and a high accretion rate are the necessary conditions for the formation of collimated outflows (jets) from these objects. But it is still unclear whether these conditions are also sufficient. We aim to check whether BP Tau, an actively accreting young star with a strong magnetic field, has a jet. We carried out narrowband SII 672 nm imaging and spectroscopic observations of BP Tau and its vicinity. We find that BP Tau is a source of a Herbig-Haro flow (assigned number HH 1181), which includes two HH objects moving from the star in opposite directions and a micro- (counter-) jet of ~ 1" projected length. The flow is oriented along position angle $59 \pm 1$ degree.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Optical Identification and Spectroscopic Redshift Measurements of 216 Galaxy Clusters from the SRG/eROSITA All-Sky Survey
Authors:
I. A. Zaznobin,
R. A. Burenin,
A. A. Belinski,
I. F. Bikmaev,
M. R. Gilfanov,
A. V. Dodin,
S. N. Dodonov,
M. V. Eselevich,
S. F. Zheltoukhov,
E. N. Irtuganov,
S. S. Kotov,
R. A. Krivonos,
N. S. Lyskova,
E. A. Malygin,
N. A. Maslennikova,
P. S. Medvedev,
A. V. Meshcheryakov,
A. V. Moiseev,
D. V. Oparin,
S. A. Potanin,
K. A. Postnov,
S. Yu. Sazonov,
B. S. Safonov,
N. A. Sakhibullin,
A. A. Starobinsky
, et al. (12 additional authors not shown)
Abstract:
We present the results of the optical identification and spectroscopic redshift measurements of 216 galaxy clusters detected in the SRG/eROSITA all-sky X-ray survey. The spectroscopic observations were performed in 2020-2023 with the 6-m BTA telescope at the Special Astrophysical Observatory of the Russian Academy of Sciences, the 2.5-m telescope at the Caucasus Mountain Observatory of the Sternbe…
▽ More
We present the results of the optical identification and spectroscopic redshift measurements of 216 galaxy clusters detected in the SRG/eROSITA all-sky X-ray survey. The spectroscopic observations were performed in 2020-2023 with the 6-m BTA telescope at the Special Astrophysical Observatory of the Russian Academy of Sciences, the 2.5-m telescope at the Caucasus Mountain Observatory of the Sternberg Astronomical Institute of the Moscow State University, the 1.6-m AZT-33IK telescope at the Sayan Solar Observatory of the Institute of Solar-Terrestrial Physics of the Siberian Branch of the Russian Academy of Sciences, and the 1.5-m Russian-Turkish telescope (RTT-150) at the TÜBİTAK Observatory. For all of the galaxy clusters presented here the spectroscopic redshift measurements have been obtained for the first time. Of these, 139 galaxy clusters have been detected for the first time in the SRG/eROSITA survey and 22 galaxy clusters are at redshifts $z_{spec} \gtrsim 0.7$, including three at $z_{spec} \gtrsim 1$. Deep direct images with the rizJK filters have also been obtained for four distant galaxy clusters at $z_{spec} > 0.7$. For these observations the most massive clusters are selected. Therefore, most of the galaxy clusters presented here most likely will be included in the cosmological samples of galaxy clusters from the SRG/eROSITA survey.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
ZZ Tau IRS: a low mass UX Ori type star with strong wind
Authors:
M. A. Burlak,
A. V. Dodin,
A. V. Zharova,
S. G. Zheltoukhov,
N. P. Ikonnikova,
S. A. Lamzin,
S. A. Potanin,
B. S. Safonov,
I. A. Strakhov,
A. M. Tatarnikov
Abstract:
The results of photometric, polarimetric and spectroscopic observations of the young star ZZ Tau IRS in the visible and near-infrared bands are presented. Against the continuum of an M spectral type star about 50 emission lines of allowed (HI, HeI, NaI, SII) and forbidden (OI, OII, OIII, NI, NII, SII, CaII, FeII, NiII) transitions were identified. It was found that from the autumn of 2020 to the b…
▽ More
The results of photometric, polarimetric and spectroscopic observations of the young star ZZ Tau IRS in the visible and near-infrared bands are presented. Against the continuum of an M spectral type star about 50 emission lines of allowed (HI, HeI, NaI, SII) and forbidden (OI, OII, OIII, NI, NII, SII, CaII, FeII, NiII) transitions were identified. It was found that from the autumn of 2020 to the beginning of 2023, the brightness of the star in the visible region decreased $(ΔI \approx 1.5^m),$ and then began to return to initial level. As the visible brightness of the star declined, its colour indices decreased in the visible region, but increased in the near-IR bands. At light minimum, the degree of polarization in the $I$ band reached $\approx$ 13%, and the equivalent widths of e.g. the H$α$ and [SII] 6731 A lines increased to 376 and 79 A, respectively. Arguments are given in favour of ZZ Tau IRS being a UX Ori type star, and its variability being due to eclipses by dust clouds, which are inhomogeneities in the dusty disc wind. Forbidden lines are formed both in the disc wind and in the jet, the axis of which is oriented along PA$=61\pm 3$ degrees. The jet mass-loss rate is $>5 \times 10^{-10}$ M$_\odot$/yr, what is abnormally large for a star with a mass of $<0.3$ M$_\odot.$ Apparently, the disc wind of ZZ Tau IRS is not axially symmetric, probably due to the azimuthal asymmetry of the protoplanetary disc found earlier from ALMA observations.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
TESS photometry of the nova eruption in V606 Vul: asymmetric photosphere and multiple ejections?
Authors:
Kirill V. Sokolovsky,
Elias Aydi,
Konstantin Malanchev,
Colin J. Burke,
Koji Mukai,
J. L. Sokoloski,
Brian D. Metzger,
Kirill E. Atapin,
Aleksandre A. Belinski,
Yu-Ching Chen,
Laura Chomiuk,
Pavol A. Dubovsky,
Claude-Andre Faucher-Giguere,
Rebekah A. Hounsell,
Natalia P. Ikonnikova,
Vsevolod Yu. Lander,
Junyao Li,
Justin D. Linford,
Amy J. Mioduszewski,
Isabella Molina,
Ulisse Munari,
Sergey A. Potanin,
Robert M. Quimby,
Michael P. Rupen,
Simone Scaringi
, et al. (46 additional authors not shown)
Abstract:
Lightcurves of many classical novae deviate from the canonical "fast rise - smooth decline" pattern and display complex variability behavior. We present the first TESS-space-photometry-based investigation of this phenomenon. We use TESS Sector 41 full-frame images to extract a lightcurve of the slow Galactic nova V606 Vul that erupted nine days prior to the start of the TESS observations. The ligh…
▽ More
Lightcurves of many classical novae deviate from the canonical "fast rise - smooth decline" pattern and display complex variability behavior. We present the first TESS-space-photometry-based investigation of this phenomenon. We use TESS Sector 41 full-frame images to extract a lightcurve of the slow Galactic nova V606 Vul that erupted nine days prior to the start of the TESS observations. The lightcurve covers the first of two major peaks of V606 Vul that was reached 19 days after the start of the eruption. The nova reached its brightest visual magnitude V=9.9 in its second peak 64 days after the eruption onset, following the completion of Sector 41 observations. To increase the confidence level of the extracted lightcurve, we performed the analysis using four different codes implementing the aperture photometry (Lightkurve, VaST) and image subtraction (TESSreduce, tequila_shots) and find good agreement between them. We performed ground-based photometric and spectroscopic monitoring to complement the TESS data. The TESS lightcurve reveals two features: periodic variations (0.12771d, 0.01mag average peak-to-peak amplitude) that disappeared when the source was within 1mag of peak optical brightness and a series of isolated mini-flares (with peak-to-peak amplitudes of up to 0.5mag) appearing at seemingly random times. We interpret the periodic variations as the result of azimuthal asymmetry of the photosphere engulfing the nova-hosting binary that was distorted by and rotating with the binary. Whereas we use spectra to associate the two major peaks in the nova lightcurve with distinct episodes of mass ejection, the origin of mini-flares remains elusive.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Flexible Correct-by-Construction Programming
Authors:
Tobias Runge,
Tabea Bordis,
Alex Potanin,
Thomas Thüm,
Ina Schaefer
Abstract:
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of predefined refinement rules of fixed granularity which are additional rules on top…
▽ More
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of predefined refinement rules of fixed granularity which are additional rules on top of the programming language. Each refinement rule introduces a specific programming statement and developers cannot depart from these rules to construct programs. CbC allows to develop software in a structured and incremental way to ensure correctness, but the limited flexibility is a disadvantage of CbC. In this work, we compare classic CbC with CbC-Block and TraitCbC. Both approaches CbC-Block and TraitCbC, are related to CbC, but they have new language constructs that enable a more flexible software construction approach. We provide for both approaches a programming guideline, which similar to CbC, leads to well-structured programs. CbC-Block extends CbC by adding a refinement rule to insert any block of statements. Therefore, we introduce CbC-Block as an extension of CbC. TraitCbC implements correctness-by-construction on the basis of traits with specified methods. We formally introduce TraitCbC and prove soundness of the construction strategy. All three development approaches are qualitatively compared regarding their programming constructs, tool support, and usability to assess which is best suited for certain tasks and developers.
△ Less
Submitted 6 June, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Authors:
Tobias Runge,
Alexander Kittelmann,
Marco Servetto,
Alex Potanin,
Ina Schaefer
Abstract:
In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a secure information flow by checking a program after construction. A drawback of these systems is that incomplete programs during construction cannot be checked properly. The user is not guided to a secure program by most s…
▽ More
In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a secure information flow by checking a program after construction. A drawback of these systems is that incomplete programs during construction cannot be checked properly. The user is not guided to a secure program by most systems. We introduce IFbCOO, an approach that guides users incrementally to a secure implementation by using refinement rules. In each refinement step, confidentiality or integrity (or both) is guaranteed alongside the functional correctness of the program, such that insecure programs are declined by construction. In this work, we formalize IFbCOO and prove soundness of the refinement rules. We implement IFbCOO in the tool CorC and conduct a feasibility study by successfully implementing case studies.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Traits for Correct-by-Construction Programming
Authors:
Tobias Runge,
Alex Potanin,
Thomas Thüm,
Ina Schaefer
Abstract:
We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incrementally along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it ne…
▽ More
We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incrementally along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of refinement rules of fixed granularity which are additional rules on top of the programming language.
In this work, we propose TraitCbC, an incremental program construction procedure that implements correctness-by-construction on the basis of PhV by using traits. TraitCbC enables program construction by trait composition instead of refinement rules. It provides a programming guideline, which similar to CbC should lead to well-structured programs, and allows flexible reuse of verified program building blocks. We introduce TraitCbC formally and prove the soundness of our verification strategy. Additionally, we implement TraitCbC as a proof of concept.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Spectroscopic Variability of the Compact Planetary Nebula Hb 12
Authors:
N. P. Ikonnikova,
I. A. Shaposhnikov,
V. F. Esipov,
M. A. Burlak,
V. P. Arkhipova,
A. V. Dodin,
S. A. Potanin,
N. I. Shatsky
Abstract:
We present the results of our new low-resolution spectroscopic observations of the young compact planetary nebula Hb 12 performed in 2011-2020 with SAI MSU telescopes. We have measured the intensities of more than 50 nebular emission lines in the spectral range $λ$3687-9532, detected interstellar absorption features, and conducted a search for absorptions belonging to the possible secondary compon…
▽ More
We present the results of our new low-resolution spectroscopic observations of the young compact planetary nebula Hb 12 performed in 2011-2020 with SAI MSU telescopes. We have measured the intensities of more than 50 nebular emission lines in the spectral range $λ$3687-9532, detected interstellar absorption features, and conducted a search for absorptions belonging to the possible secondary component of the central star. The extinction coefficient has been estimated from the Balmer decrement to be $c$(H$β$)=1.15$\pm$0.07. The distance has been found by analyzing the interstellar extinction maps to be $D\approx2400$ pc. We have traced the history of the spectroscopic observations of Hb 12, beginning with the first spectra taken by Aller (1951) in 1945. We have detected a systematic increase in the relative intensities of the nebular [O III] $λ$4959 and $λ$5007 lines and a decrease in the relative intensity of the auroral [O III] $λ$4363 line, which has led to an increase in the observed flux ratio $F(λ4959+λ5007)/F(λ4363)$ by a factor of $\sim$4 from 1945 to the present time. The [O III]/[O II] line ratio $F(λ4363)/F(λ3727+ \lambda3729)$ remains constant, suggesting that the degree of ionization, on average, for the nebula is invariable. The temperature of the exciting star has been estimated to be $T\approx41~000$ K. We conclude that a decrease in the electron temperature and, possibly, the electron density in the [O III] line formation region is mainly responsible for the spectroscopic variability.
△ Less
Submitted 31 October, 2021;
originally announced November 2021.
-
Multi-Wavelength Monitoring and Reverberation Map** of a Changing Look Event in the Seyfert Galaxy NGC 3516
Authors:
V. L. Oknyansky,
M. S. Brotherton,
S. S. Tsygankov,
A. V. Dodin,
D. -W. Bao,
B. -X. Zhao,
P. Du,
M. A. Burlak,
N. P. Ikonnikova,
A. M. Tatarnikov,
A. A. Belinski,
A. A. Fedoteva,
N. I. Shatsky,
E. O. Mishin,
S. G. Zheltouhov,
S. A. Potanin,
J. -M. Wang,
J. N. McLane,
H. A. Kobulnicky,
D. A. Dale,
T. E. Zastrocky,
J. Maithil,
K. A. Olson,
C. Adelman,
Z. Carter
, et al. (4 additional authors not shown)
Abstract:
We present the results of photometric and spectroscopic monitoring campaigns of the changing look AGN NGC 3516 carried out in 2018 to 2020 covering the wavelength range from the X-ray to the optical. The facilities included the telescopes of the CMO SAI MSU, the 2.3-m WIRO telescope, and the XRT and UVOT of Swift. We found that NGC 3516 brightened to a high state and could be classified as Sy1.5 d…
▽ More
We present the results of photometric and spectroscopic monitoring campaigns of the changing look AGN NGC 3516 carried out in 2018 to 2020 covering the wavelength range from the X-ray to the optical. The facilities included the telescopes of the CMO SAI MSU, the 2.3-m WIRO telescope, and the XRT and UVOT of Swift. We found that NGC 3516 brightened to a high state and could be classified as Sy1.5 during the late spring of 2020. We have measured time delays in the responses of the Balmer and He II 4686 lines to continuum variations. In the case of the best-characterized broad H-beta line, the delay to continuum variability is about 17 days in the blue wing and is clearly shorter, 9 days, in the red, which is suggestive of inflow. As the broad lines strengthened, the blue side came to dominate the Balmer lines, resulting in very asymmetric profiles with blueshifted peaks during this high state. During the outburst the X-ray flux reached its maximum on 1 April 2020 and it was the highest value ever observed for NGC 3516 by the Swift observatory. The X-ray hard photon index became softer, about 1.8 in the maximum on 21 Apr 2020 compared to the mean about 0.7 during earlier epochs before 2020. We have found that the UV and optical variations correlated well (with a small time delay of 1-2 days) with the X-ray until the beginning of April 2020, but later, until the end of Jun. 2020, these variations were not correlated. We suggest that this fact may be a consequence of partial obscuration by Compton-thick clouds crossing the line of sight.
△ Less
Submitted 11 May, 2021; v1 submitted 22 April, 2021;
originally announced April 2021.
-
Transient Double-beam Spectrograph for the 2.5-m Telescope of the Caucasus Mountain Observatory of SAI MSU
Authors:
S. A. Potanin,
A. A. Belinski,
A. V. Dodin,
S. G. Zheltoukhov,
V. Yu. Lander,
K. A. Postnov,
A. D. Savvin,
A. M. Tatarnikov,
A. M. Cherepashchuk,
D. V. Cheryasov,
I. V. Chilingarian,
N. I. Shatsky
Abstract:
The Transient Double-beam Spectrograph (TDS) is designed for optical low-resolution observations of non-stationary and extragalactic sources with the 2.5-m telescope of Caucasus Mountain Observatory of the Sternberg Astronomical Institute. It operates simultaneously in a short-wavelength (360--577 nm, reciprocal dispersion 1.21 A/pixel, resolving power R=1300 with a 1 arcsec slit) and long-wavelen…
▽ More
The Transient Double-beam Spectrograph (TDS) is designed for optical low-resolution observations of non-stationary and extragalactic sources with the 2.5-m telescope of Caucasus Mountain Observatory of the Sternberg Astronomical Institute. It operates simultaneously in a short-wavelength (360--577 nm, reciprocal dispersion 1.21 A/pixel, resolving power R=1300 with a 1 arcsec slit) and long-wavelength (567--746 nm, 0.87 A/pixel, R=2500) channels. The light is split by a dichroic mirror with a 50% transmission at 574 nm. In the "blue" channel, the automatic replacement of the grating by a grism with a double resolving power is possible. Two CCD-cameras use E2V 42-10 detectors cooled down to $-70^\circ$C with a readout noise of 3 $e-$ at a readout rate of 50 kHz. The spectrograph is equipped with a back slit viewer camera and a calibration unit allowing to record a comparison spectrum from a hollow cathode lamp for wavelength calibration or from an LED source with a continuous spectrum (the "flat field") to take into account the vignetting and uneven slit illumination. The throughput of the entire optical path without slit loss is 20% at the zenith in the "blue" and 35% in the "red" channel. Excluding the atmosphere and the telescope, the efficiency of the TDS itself reaches a maximum of 47% and 65% respectively. The spectrograph is permanently mounted in the Cassegrain focus of the 2.5-m telescope of CMO SAI MSU sharing the port with a wide-field photometric CCD-camera. The spectrograph is fed by the light from a folding mirror introduced into the optical path. Since November 2019, TDS has been used for regular observations of non-stationary stars and extragalactic sources up to 20-th mag in a 2-h exposure with a signal-to-noise ratio >5 per pixel.
△ Less
Submitted 5 November, 2020;
originally announced November 2020.
-
Discovery of a hot ultramassive rapidly rotating DBA White Dwarf
Authors:
M. S. Pshirkov,
A. V. Dodin,
A. A. Belinski,
S. G. Zheltoukhov,
A. A. Fedoteva,
O. V. Voziakova,
S. A. Potanin,
S. I. Blinnikov,
K. A. Postnov
Abstract:
We report the discovery of a nearby massive white dwarf with He-H atmosphere. The white dwarf is located at a distance of $74.5\pm0.9$ pc. Its radius, mass, effective temperature, H/He ratio and age are $R=2500\pm100$ km, $M=1.33\pm0.01$ $\rm M_{\odot}$, $T_{\mathrm{eff}}=31200\pm 1200$ K, ${\mathrm{H/He}}\sim0.1$ and $330\pm40$ Myr, respectively. The observed spectrum is redshifted by…
▽ More
We report the discovery of a nearby massive white dwarf with He-H atmosphere. The white dwarf is located at a distance of $74.5\pm0.9$ pc. Its radius, mass, effective temperature, H/He ratio and age are $R=2500\pm100$ km, $M=1.33\pm0.01$ $\rm M_{\odot}$, $T_{\mathrm{eff}}=31200\pm 1200$ K, ${\mathrm{H/He}}\sim0.1$ and $330\pm40$ Myr, respectively. The observed spectrum is redshifted by $V_{\mathrm{r}}=+240\pm15$ km s$^{-1},$ which is mostly attributed to the gravitational redshift. The white dwarf shows a regular stable photometric variability with amplitude $Δg\approx0.06^{\mathrm{m}}$ and period $P=353.456$ s suggesting rapid rotation. This massive, hot and rapidly rotating white dwarf is likely to originate from the merging of close binary white dwarf system that avoided explosion in a thermonuclear type Ia supernova at the Carboniferous Period of the Earth history.
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
First Detection of Two Superoutbursts during Rebrightening Phase of a WZ Sge-type Dwarf Nova: TCP J21040470+4631129
Authors:
Yusuke Tampo,
Kojiguchi Naoto,
Keisuke Isogai,
Taichi Kato,
Mariko Kimura,
Yasuyuki Wakamatsu,
Daisaku Nogami,
Tonny Vanmunster,
Tamás Tordai,
Hidehiko Akazawa,
Felipe Mugas,
Taku Nishiumi,
Víctor J. S. Béjar,
Kiyoe Kawauchi,
Nicolas Crouzet,
Noriharu Watanabe,
Núria Casasayas-Barris,
Yuka Terada,
Akihiko Fukui,
Norio Narita,
Enric Palle,
Motohide Tamura,
Nobuhiko Kusakabe,
Roi Alonso,
Hiroshi Itoh
, et al. (29 additional authors not shown)
Abstract:
We report photometric and spectroscopic observations and analysis of the 2019 superoutburst of TCP J21040470+4631129. This object showed a 9-mag superoutburst with early superhumps and ordinary superhumps, which are the features of WZ Sge-type dwarf novae. Five rebrightenings were observed after the main superoutburst. The spectra during the post-superoutburst stage showed the Balmer, He I and pos…
▽ More
We report photometric and spectroscopic observations and analysis of the 2019 superoutburst of TCP J21040470+4631129. This object showed a 9-mag superoutburst with early superhumps and ordinary superhumps, which are the features of WZ Sge-type dwarf novae. Five rebrightenings were observed after the main superoutburst. The spectra during the post-superoutburst stage showed the Balmer, He I and possible sodium doublet features. The mass ratio is derived as 0.0880(9) from the period of the superhump. During the third and fifth rebrightenings, growing superhumps and superoutbursts were observed, which have never been detected during a rebrightening phase among WZ Sge-type dwarf novae with multiple rebrightenings. To induce a superoutburst during the brightening phase, the accretion disk was needed to expand beyond the 3:1 resonance radius of the system again after the main superoutburst. These peculiar phenomena can be explained by the enhanced viscosity and large radius of the disk suggested by the higher luminosity and the presence of late-stage superhumps during the post-superoutburst stage, plus by more mass supply from the cool mass reservoir and/or from the secondary because of the enhanced mass transfer than those of other WZ Sge-type dwarf novae.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
A flare in the optical spotted in the changing-look Seyfert NGC 3516
Authors:
D. Ilic,
V. Oknyansky,
L. C. Popovic,
S. S. Tsygankov,
A. A. Belinski,
A. M. Tatarnikov,
A. V. Dodin,
N. I. Shatsky,
N. P. Ikonnikova,
N. Rakic,
A. Kovacevic,
S. Marceta-Mandic,
M. A. Burlak,
E. O. Mishin,
N. V. Metlova,
S. A. Potanin,
S. G. Zheltoukhov
Abstract:
We present observations from the short-term intensive optical campaign (from Sep2019 to Jan2020) of the changing-look Seyfert NGC 3516. This active galactic nucleus is known to have strong optical variability and has changed its type in the past. It has been in the low-activity state in the optical since 2013, with some rebrightening from the end of 2015 to the beginning of 2016, after which it re…
▽ More
We present observations from the short-term intensive optical campaign (from Sep2019 to Jan2020) of the changing-look Seyfert NGC 3516. This active galactic nucleus is known to have strong optical variability and has changed its type in the past. It has been in the low-activity state in the optical since 2013, with some rebrightening from the end of 2015 to the beginning of 2016, after which it remained dormant. We aim to study the photometric and spectral variability of NGC 3516 from the new observations in U- and B-bands and examine the profiles of the optical broad emission lines in order to demonstrate that this object may be entering a new state of activity. NGC 3516 has been monitored intensively for the past 4 months with an automated telescope in U and B filters, enabling accurate photometry of 0.01 precision. Spectral observations were triggered when an increase in brightness was spotted. We support our analysis of past-episodes of violent variability with the UV and X-ray long-term light curves constructed from the archival Swift data. An increase of the photometric magnitude is seen in both U and B filters to a maximum amplitude of 0.25mag and 0.1 mag, respectively. During the flare, we observe stronger forbidden high-ionization iron lines than reported before, as well as the complex broad Ha and Hb lines. This is especially seen in Ha which appears to be double-peaked. It seems that a very broad component of ~10,000 km/s in width in the Balmer lines is appearing. The trends in the optical, UV, and X-ray light curves are similar, with the amplitudes of variability being significantly larger in the case of UV and X-ray bands. The increase of the continuum emission, the variability of the coronal lines, and the very broad component in the Balmer lines may indicate that the AGN of NGC 3516 is finally leaving the low-activity state in which it has been for the last ~3 years.
△ Less
Submitted 9 April, 2020; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Sound Invariant Checking Using Type Modifiers and Object Capabilities
Authors:
Isaac Oscar Gariano,
Marco Servetto,
Alex Potanin
Abstract:
In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We a…
▽ More
In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We automatically call such invariant methods only when objects are created or the state they refer to may have been mutated. Our design restricts the range of expressible invariants but improves upon the usability and performance of our system compared to prior work. In addition, we soundly support mutation, dynamic dispatch, exceptions, and non determinism, while requiring only a modest amount of annotation. We present a case study showing that our system requires a lower annotation burden compared to Spec#, and performs orders of magnitude less runtime invariant checks compared to the widely used `visible state semantics' protocols of D, Eiffel. We also formalise our approach and prove that such pre existing type modifier and object capability support is sufficient to ensure its soundness.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Iteratively Composing Statically Verified Traits
Authors:
Isaac Oscar Gariano,
Marco Servetto,
Alex Potanin,
Hrshikesh Arora
Abstract:
Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is correct by construction. A theorem prover is used only to verify initial "traits": units of code that can be used to compose bigger programs.
In our w…
▽ More
Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is correct by construction. A theorem prover is used only to verify initial "traits": units of code that can be used to compose bigger programs.
In our work, meta-programming is done by trait composition, which starting from correct code, is guaranteed to produce correct code. We do this by extending conventional traits with pre- and post-conditions for the methods; we also extend the traditional trait composition (+) operator to check the compatibility of contracts. In this way, there is no need to re-verify the produced code.
We show how our approach can be applied to the standard "power" function example, where metaprogramming generates optimised, and correct, versions when the exponent is known in advance.
△ Less
Submitted 20 August, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.
-
Estimation of the dome seeing from results of the optics quality tests with Shack-Hartman wavefront sensor
Authors:
S. A. Potanin
Abstract:
The Shack-Hartman wavefront sensor designed for final acceptance of 2.5m SAI telescope allows to measure the shape of the wavefront on exit pupil of the telescope using a bright star. The reference laser source on wavelength 532 nm is used for measurements. During testing the device at different telescopes it was found out what it's probable to estimate some properties of air streams in the dome.…
▽ More
The Shack-Hartman wavefront sensor designed for final acceptance of 2.5m SAI telescope allows to measure the shape of the wavefront on exit pupil of the telescope using a bright star. The reference laser source on wavelength 532 nm is used for measurements. During testing the device at different telescopes it was found out what it's probable to estimate some properties of air streams in the dome. Such estimations have been made for three domes: 1.5 m AZT-22 and 1.0 m Zeiss telescope of Maidanak Observatory, Uzbekistan and for 2.6 m telescope ZTSh of Crimean observatory, Ukraine. The following results were obtained for the slowest streams in domes: β=0.34" for AZT-22, β=0.67" for Zeiss-1000, and β=0.69" for ZTSh.
△ Less
Submitted 20 January, 2011;
originally announced January 2011.
-
INTEGRAL observations of HER X-1
Authors:
D. Klochkov,
R. Staubert,
S. Tsygankov,
A. Lutovinov,
K. P. Postnov,
N. I. Shakura,
S. A. Potanin,
C. Ferrigno,
I. Kreykenbohm,
J. Wilms
Abstract:
First results of observations of the low mass X-ray binary Her X-1/HZ Her performed by the INTEGRAL satellite in July-August 2005 are presented. A significant part of one 35 day main-on state was covered. The cyclotron line in the X-ray spectrum is well observed and its position and shape, as well as its variability with time and phase of the 1.24 s pulsation are explored. X-ray pulse profiles f…
▽ More
First results of observations of the low mass X-ray binary Her X-1/HZ Her performed by the INTEGRAL satellite in July-August 2005 are presented. A significant part of one 35 day main-on state was covered. The cyclotron line in the X-ray spectrum is well observed and its position and shape, as well as its variability with time and phase of the 1.24 s pulsation are explored. X-ray pulse profiles for different energy bands are studied throughout the observation. The pulse period is found to vary on short time scales revealing a dynamical spin-up/spin-down behavior. Results of simultaneous optical observations of HZ Her are also discussed.
△ Less
Submitted 23 April, 2007;
originally announced April 2007.
-
MASTER: The Mobile Astronomical System of Telescope-Robots
Authors:
V. M. Lipunov,
A. V. Krylov,
V. G. Kornilov,
G. V. Borisov,
D. A. Kuvshinov,
A. A. Belinsky,
M. V. Kuznetsov,
S. A. Potanin,
G. A. Antipov,
N. V. Tyurina,
E. S. Gorbovskoy,
I. Chilingaryan
Abstract:
We present the first russian robot-telescope designed to make prompt observations of gamma-ray bursts (http://observ.pereplet.ru). The telescopes are near Moscow. The system of telescopes with prompt pointing rates connects to the internet. The main parameters are the following: Richter-Slefogt system telescope (355 mm, f/d=2.4); Richter-Slefogt system telescope (200mm, f/d=2.4); Flugge system t…
▽ More
We present the first russian robot-telescope designed to make prompt observations of gamma-ray bursts (http://observ.pereplet.ru). The telescopes are near Moscow. The system of telescopes with prompt pointing rates connects to the internet. The main parameters are the following: Richter-Slefogt system telescope (355 mm, f/d=2.4); Richter-Slefogt system telescope (200mm, f/d=2.4); Flugge system telescope (280mm, f/d=2.5); TV-camera with 20x40 degree objective; Two CCD cameras (Pictor 416); One CCD Apogee Camera AP16E. The type of mount is German with 8 grad/sec slew rate. MASTER images stars down to 19 magnitude in a 1 min exposure covering 6 square degrees.
△ Less
Submitted 29 November, 2004;
originally announced November 2004.
