Search for glitches of gamma-ray pulsars with deep learning

The pulsar glitches are generally assumed to be an apparent manifestation of the superfluid interior of the neutron stars. Most of them were discovered and extensively studied by continuous monitoring in the radio wavelengths. The Fermi-LAT space telescope has made a revolution uncovering a large population of gamma-ray pulsars. In this paper we suggest to employ these observations for the searches of new glitches. We develop the method capable of detecting step-like frequency change associated with glitches in a sparse gamma-ray data. It is based on the calculations of the weighted H-test statistics and glitch identification by a convolutional neural network. The method demonstrates high accuracy on the Monte Carlo set and will be applied for searches of the pulsar glitches in the real gamma-ray data in the future works.Comment: 4 pages, 5 figure

Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Optimization of the subject matter of profile training disciplines for bachelors' vocational education on the basis of occupational standards

Applicability of the issue under study is conditioned by the need in development of principal educational programs by higher education institutions with accounting for requirements of appropriate occupational standards and necessity in reviewing of the requirements of occupational standards and reflecting them within the scope of competences formed. The paper is aimed at substantiation of the subject matter of profile training disciplines for vocational education of bachelors within the context of competence and process approaches and with accounting for occupational standards. The leading method of study of this issue is modeling which allows considering the issue under study as a process of recognized accounting of requirements of appropriate occupational standards wherein employers' opinions are fixed in the regulatory mode. The structural-functional model of selection of the subject matter of profile disciplines for the training program is developed; the following algorithms are developed: 1) of analysis of occupational standards; 2) of comparing of occupational standards with curriculum disciplines; 3) of analysis of the subject matter of labour functions, labour actions, knowledge and skills when developing working programs and assessment resources funds; the model has been successfully tested on the example of profile training of vocational education bachelors. The paper presents the structure-functional model of selection of the subject matter of profile disciplines of the educational program with taking into account of occupational standards requirements which define competences acquired by a graduate, i.e. his/her ability to use knowledge, skills and personal qualities in accordance with the occupational activity; the process approach to implementation of this model is applied. © Authors

The earliest spectroscopy of the GRB 030329 afterglow with 6-m telescope

The earliest BTA (SAO RAS 6-m telescope) spectroscopic observations of the GRB 030329 optical transient (OT) are presented, which almost coincide in time with the "first break" ($t\sim 0.5$ day after the GRB) of the OT light curve. The beginning of spectral changes are seen as early as $\sim 10-12$ hours after the GRB. So, the onset of the spectral changes for $t<1$ day indicates that the contribution from Type Ic supernova (SN) into the OT optical flux can be detected earlier. The properties of early spectra of GRB 030329/SN 2003dh can be consistent with a shock moving into a stellar wind formed from the pre-SN. Such a behavior (similar to that near the UV shock breakout in SNe) can be explained by the existence of a dense matter in the immediate surroundings of massive stellar GRB/SN progenitor). The urgency is emphasized of observation of early GRB/SN spectra for solving a question that is essential for understanding GRB physical mechanism: {\it Do all} long-duration gamma-ray bursts are caused by (or physically connected to) {\it ordinary} core-collapse supernovae? If clear association of normal/ordinary core-collapse SNe (SN Ib/c, and others SN types) and GRBs would be revealed in numbers of cases, we may have strong observational limits for gamma-ray beaming and for real energetics of the GRB sources.Comment: 4 pages, 5 figures. Proceedings of the 4th Workshop "Gamma-Ray Bursts in the Afterglow Era", Roma, 2004 October 18-22, eds. L. Piro, L. Amati, S. Covino, and B. Gendre. Il Nuovo Cimento, in pres

Модель развития педагогической компетентности в управлении естествознанием дошкольников

In the current model of both the development of collaborative programs and organizations in the process of education pedagogy for children. Model assigned to the development of pedagogical competence in managing the development of elementary science ideas preschoolers, designed and presented within the framework of the author's training-methodical complex called «picture of the world in the science of early childhood». The complex was created to support the process of education of teachers in advanced training courses. The purpose of the article: to substantiate the content of education, to highlight the approaches, methods and principles of its design, to describe the structure and process of supporting the functioning of the model of professional competence development in additional professional education of teachers aimed at guiding the cognitive activity of preschool children in the field of formation of elementary representations of children from natural science. The model provides support for a number of tasks. 1) on the basis of analysis, generalization, systematization of the content of the conceptual foundations of modern natural science education to carry out the formation of the content of the educational field aimed at the development of special methodological competence of teachers of preschool educational organizations, correlated with the current level of development of natural science knowledge. 2) to Design the content of an additional professional program for the development of professional competence of preschool teachers in the field of formation and development of elementary natural science concepts of children. 3) to Develop a model for the organization of additional professional education of teachers, presenting it in the framework of the educational and methodological complex, assigned to support the functioning of the designated additional professional program in training courses. 4) Create the software and methodical maintenance of educational courses, allowing student teachers to master the content of the educational programme in terms of variable range of practical tasks and providing the opportunity to study course content. 5) Construction of a subject-oriented information environment дополнительных additional information resources of the course section called «Library». 6) Publish, by implementing the pedagogical science and practice of teachers education programs, educational-methodical complex, contributing to the implementation of training for educators, and contains information of various kinds, including Advisory material for teachers training courses.В статье рассматривается модель для проектирования содержания программы и организации процесса образования педагогов детских садов. Модель, назначенная к развитию педагогической компетентности в управлении развитием элементарных естественнонаучных представлений дошкольников, спроектирована и представлена в рамках авторского учебно-методического комплекса под названием «Картина мира в естествознании дошкольного детства». Комплекс создан для сопровождения процесса образования педагогов на курсах повышения квалификации. Цель статьи: обосновать содержание образования, осветить подходы, методы и принципы его проектирования, дать описание структуры и процесса сопровождения функционирования модели развития профессиональной компетентности в дополнительном профессиональном образовании педагогов, нацеленном на руководство познавательной деятельностью детей дошкольного возраста в области становления элементарных представлений детей из естествознания. Модель предусматривает опору на решение ряда задач. 1. На основе анализа, обобщения, систематизации содержания концептуальных основ современного естественнонаучного образования осуществить формирование содержания образовательной области, направленной на развитие специальной методологической компетентности педагогов дошкольных образовательных организаций, соотносимой с современным уровнем развития естественнонаучного знания. 2. Спроектировать содержание дополнительной профессиональной программы для развития профессиональной компетентности педагогов дошкольного звена в области формирования и развития элементарных естественнонаучных представлений детей. 3. Разработать модель организации дополнительного профессионального образования педагогов, представив её в рамках учебно-методического комплекса, назначенного к сопровождению функционирования обозначенной дополнительной профессиональной программы на курсах повышения квалификации. 4. Создать программно-методическое обеспечение модели образования слушателей курсов, позволяющее обучающимся педагогам осваивать содержание образовательной программы на условиях вариативного выбора практических заданий и предусматривающее возможность углубленного изучения содержания курса. 5. Конструирование субъектно ориентированной информационной среды - дополнительных информационных ресурсов курса - раздела, носящего название «Библиотека». 6. Опубликовать, внедрив в педагогическую науку и практику педагогов содержание образовательной программы, учебно-методического комплекса, способствующего реализации обучения педагогов и содержащего информационные сведения разного рода, включая рекомендательный материал для преподавателей образовательных курсов

Observation of time quasicrystal and its transition to superfluid time crystal

We report experimental realization of a quantum time quasicrystal, and its transformation to a quantum time crystal. We study Bose-Einstein condensation of magnons, associated with coherent spin precession, created in a flexible trap in superfluid $^3$He-B. Under a periodic drive with an oscillating magnetic field, the coherent spin precession is stabilized at a frequency smaller than that of the drive, demonstrating spontaneous breaking of discrete time translation symmetry. The induced precession frequency is incommensurate with the drive, and hence the obtained state is a time quasicrystal. When the drive is turned off, the self-sustained coherent precession lives a macroscopically-long time, now representing a time crystal with broken symmetry with respect to continuous time translations. Additionally, the magnon condensate manifests spin superfluidity, justifying calling the obtained state a time supersolid or a time super-crystal

Semantics and Pragmatics of Language Units (according to Results of Theoretic and Methodological Seminar of Scientific School of Professor, Doctor of Philology E. P. Ivanyan)

The results of the theoretical-methodological seminar of scientific school of professor, doctor of philology E. P. Ivanyan (Samara) are presented. It is reported that the seminar discussed the topical issue of semantics and pragmatics of language units in modern Russian discourse, the main trends of language development and problems of their study in various research paradigms. The contents of the scientific papers presented during the seminar is highlighted. The main results of the research of the authors of the reports are given