?
Система визуализации для авиационной ОС реального времени JetOS
Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 57–70.
Барладян Б. Х., Шапиро Л. З., Маллачиев К. А., Khoroshilov A. V., Солоделов Ю. А., Волобой А. Г., Галактионов В. А., Ковернинский И. В.
The paper discusses the creation of rendering systems for airborne civil aviation systems. All software used on board must comply with internationally accepted safety standards. This imposes additional requirements on both the hardware used and the system development process. This work is devoted to the specifics of using multi-core processors in aviation embedded systems to improve the performance of software implementation of the OpenGL SC library. The possibility of using multi-core processors in safety-critical systems is provided by the Russian real-time operating system JetOS. Implementation of multi-window rendering using the software OpenGL SC library is also considered.
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer: original packets are encoded into coded packets, and the message is reconstructed after the first successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Elvimov N. S., / Series arXie "Statistical mechanics". 2025.
Accurate segmentation of blood vessels in brain magnetic resonance angiography (MRA) is essential for successful surgical procedures, such as aneurysm repair or bypass surgery. Currently, annotation is primarily performed through manual segmentation or classical methods, such as the Frangi filter, which often lack sufficient accuracy. Neural networks have emerged as powerful tools for medical image ...
Added: December 1, 2025
Rubchinskiy A., Chubarova D., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
The article examines one of the most famous examples of socio-economic systems, characterized by significant uncertainty – the S&P-500 stock market, where shares of 500 largest US companies are traded. No assumptions are made about the probabilistic characteristics of the stock market. A flexible algorithm for daily trading has been developed, based on both known fixed data ...
Added: November 9, 2025
Uymin A., СПб.: Лань, 2022.
Учебное пособие предназначено для преподавателей и студентов, осваивающих основные профессиональные образовательные программы СПО укрупненных групп «Информатика и вычислительная техника» и «Информационная безопасность»: «Наладчик компьютерных сетей», «Компьютерные сети», «Сетевое и системное администрирование», «Информационные системы и программирование», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность автоматизированных систем», «Обеспечение информационной безопасности телекоммуникационных систем», «Обеспечение информационной безопасности автоматизированных систем» в целях ...
Added: April 17, 2023
Девянин П. Н., Efremov D., Kuliamin V. et al., М.: Научно-техническое издательство «Горячая линия – Телеком», 2019.
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватных оценок характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит ...
Added: February 14, 2019
Gostev I. M., М.: Юрайт, 2018.
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Added: February 13, 2019
Емеленко А. Н., Маллачиев К. А., Pakulin N. V., Труды Института системного программирования РАН 2017 Т. 29 № 4 С. 295–302
В этой статье мы расскажем о проекте по разработке отладчика для мультиплатформенной операционной системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для работы в рамках архитектуры Интегрированной Модульной Авионики (ИМА) и реализует ARINC 653 спецификацию API. Эта операционная система разрабатывается в институте системного программирования РАН, и важным шагом в ее создании является ...
Added: February 12, 2018
Lyadova L. N., Фролова Н. В., Zamyatina E. et al., Пермь: Пермский государственный национальный исследовательский университет, 2007.
Added: December 3, 2016
Карпов В.Е., Коньков К. А., М.: Интернет-университет информационных технологий - ИНТУИТ.ру, 2005.
Added: October 30, 2015
Shirokov A. I., Lesovskaya I. N., Мурадханов С. Э. et al., М.: Издательский дом НИТУ МИСиС, 2014.
Лабораторный практикум предназначен для изучения системного программного обеспечения на базе операционных систем семейства UNIX/Linax. ...
Added: March 8, 2015
Gostev I. M., М.: Юрайт, 2016.
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Added: October 13, 2009
Nazarov S. V., Shirokov A. I., М.: Национальный открытый университет «ИНТУИТ», 2013.
В книге представлены понятия и положения теории операционных систем. Даны основные определения и классификации, рассмотрены интерфейсы операционных систем, организация вычислительного процесса, вопросы управления памятью и устройствами компьютера, организации файловых систем. Уделено внимание совместимости операционных сред и средствам ее обеспечения, в том числе виртуальным машинам. Изложена история происхождения двух наиболее распространенных представителей этого класса программных систем: ...
Added: February 28, 2013
Nazarov S. V., М.: Финансовый университет при Правительстве РФ, 2012.
Издание содержит теоретический материал по вопросам информационной безопасности, которые являются одной из задач современных операционных систем. Учебное пособие предназначено для студентов, обучающихся по направлениям «Прикладная математика и информатика» и « Прикладная информатика». ...
Added: February 8, 2013
Мороз О. В., Popov S., В кн.: Новые информационные технологии в автоматизированных системах: материалы пятнадцатого научно-практического семинара.: М.: Московский государственный институт электроники и математики, 2012. С. 37–41.
В статье рассмотрены основные проблемы, возникающие при разработке программного обеспечения систем реального времени. Проведен сравнительный анализ вариантов реализации ОСРВ на базе ОС Linux. Рассмотрены преимущества и недостатки использования для реализации режима реального времени дополнительного планировщика задач и варианта реализации микроядра, запускающего Linux как подпроцесс. ...
Added: December 10, 2012
Nazarov S. V., Shirokov A. I., М.: Издательский дом МИСиС, 2012.
В монографии представлено описание основных технологий современных операционных систем: методы, алгоритмы и средства управление памятью современного компьютера; организация подсистемы ввода-вывода; архитектура и средства управления файловой системой; этапы загрузки операционных систем; файлы, сохраняющие параметры операционных систем; средства языка программирования оболочки Linux; безопасность, диагностика и восстановление операционных систем после отказов.
Рассматриваемые технологии иллюстрируются примерами из двух наиболее распространенных ...
Added: November 27, 2012
Baibikova T., Zikov A. K., М.: Московский государственный институт электроники и математики, 2009.
Рассматриваются вопросы теории и методы компьютерной графики для создания двухмерных изображений. Показано применение графической библиотеки OpenGL. Рассмотрены шаги, необходимые для создания работающего приложения. Материал разделен на отдельные главы. Каждая глава иллюстрируется своими примерами и может рассматриваться отдельно от остальных.
Для студентов, обучающихся по специальности 230101 "Вычислительные машины, комплексы, системы и сети". ...
Added: November 6, 2012
М.: Московский государственный институт электроники и математики, 2012.
Содержит материалы, представленные к рассмотрению на научно-практический семинар «Новые информационные технологии в автоматизированных системах». Представляет интерес для научных сотрудников, преподавателей, аспирантов и студентов, работающих по указанным научным направлениям. ...
Added: October 26, 2012