?
Система визуализации для авиационной ОС реального времени JetOS
Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 57–70.
Барладян Б. Х., Шапиро Л. З., Маллачиев К. А., Хорошилов А. В., Солоделов Ю. А., Волобой А. Г., Галактионов В. А., Ковернинский И. В.
В работе рассматриваются вопросы создания систем визуализации для бортовых комплексов гражданской авиации. Все программное обеспечение, используемое на борту судна, должно соответствовать международно-принятым стандартам безопасности. Это накладывает дополнительные требования и к используемому оборудованию, и к процессу разработки системы. Данная работа посвящена специфике использования многоядерных процессоров в авиационных встраиваемых системах для повышения производительности программной реализации библиотеки
OpenGL SC. Возможность использования многоядерных процессоров в критических для безопасности системах обеспечивается в перспективной российской операционной системе
реального времени (ОСРВ) JetOS. Рассматриваются также реализация многооконной визуализации
с использованием библиотеки OpenGL SC.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Добавлено: 21 ноября 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Уймин А. Г., СПб.: Лань, 2022.
Учебное пособие предназначено для преподавателей и студентов, осваивающих основные профессиональные образовательные программы СПО укрупненных групп «Информатика и вычислительная техника» и «Информационная безопасность»: «Наладчик компьютерных сетей», «Компьютерные сети», «Сетевое и системное администрирование», «Информационные системы и программирование», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность автоматизированных систем», «Обеспечение информационной безопасности телекоммуникационных систем», «Обеспечение информационной безопасности автоматизированных систем» в целях ...
Добавлено: 17 апреля 2023 г.
Девянин П. Н., Ефремов Д. В., Кулямин В. В. и др., М.: Научно-техническое издательство «Горячая линия – Телеком», 2019.
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватных оценок характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит ...
Добавлено: 14 февраля 2019 г.
Гостев И. М., М.: Юрайт, 2018.
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 февраля 2019 г.
Емеленко А. Н., Маллачиев К. А., Пакулин Н. В., Труды Института системного программирования РАН 2017 Т. 29 № 4 С. 295–302
В этой статье мы расскажем о проекте по разработке отладчика для мультиплатформенной операционной системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для работы в рамках архитектуры Интегрированной Модульной Авионики (ИМА) и реализует ARINC 653 спецификацию API. Эта операционная система разрабатывается в институте системного программирования РАН, и важным шагом в ее создании является ...
Добавлено: 12 февраля 2018 г.
Лядова Л. Н., Фролова Н. В., Замятина Е. Б. и др., Пермь: Пермский государственный национальный исследовательский университет, 2007.
Добавлено: 3 декабря 2016 г.
Карпов В.Е., Коньков К. А., М.: Интернет-университет информационных технологий - ИНТУИТ.ру, 2005.
Добавлено: 30 октября 2015 г.
Лабораторный практикум предназначен для изучения системного программного обеспечения на базе операционных систем семейства UNIX/Linax. ...
Добавлено: 8 марта 2015 г.
Гостев И. М., М.: Юрайт, 2016.
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Назаров С. В., Широков А. И., М.: Национальный открытый университет «ИНТУИТ», 2013.
В книге представлены понятия и положения теории операционных систем. Даны основные определения и классификации, рассмотрены интерфейсы операционных систем, организация вычислительного процесса, вопросы управления памятью и устройствами компьютера, организации файловых систем. Уделено внимание совместимости операционных сред и средствам ее обеспечения, в том числе виртуальным машинам. Изложена история происхождения двух наиболее распространенных представителей этого класса программных систем: ...
Добавлено: 28 февраля 2013 г.
Назаров С. В., М.: Финансовый университет при Правительстве РФ, 2012.
Издание содержит теоретический материал по вопросам информационной безопасности, которые являются одной из задач современных операционных систем. Учебное пособие предназначено для студентов, обучающихся по направлениям «Прикладная математика и информатика» и « Прикладная информатика». ...
Добавлено: 8 февраля 2013 г.
Мороз О. В., Попов С. Н., В кн.: Новые информационные технологии в автоматизированных системах: материалы пятнадцатого научно-практического семинара.: М.: Московский государственный институт электроники и математики, 2012. С. 37–41.
В статье рассмотрены основные проблемы, возникающие при разработке программного обеспечения систем реального времени. Проведен сравнительный анализ вариантов реализации ОСРВ на базе ОС Linux. Рассмотрены преимущества и недостатки использования для реализации режима реального времени дополнительного планировщика задач и варианта реализации микроядра, запускающего Linux как подпроцесс. ...
Добавлено: 10 декабря 2012 г.
Назаров С. В., Широков А. И., М.: Издательский дом МИСиС, 2012.
В монографии представлено описание основных технологий современных операционных систем: методы, алгоритмы и средства управление памятью современного компьютера; организация подсистемы ввода-вывода; архитектура и средства управления файловой системой; этапы загрузки операционных систем; файлы, сохраняющие параметры операционных систем; средства языка программирования оболочки Linux; безопасность, диагностика и восстановление операционных систем после отказов.
Рассматриваемые технологии иллюстрируются примерами из двух наиболее распространенных ...
Добавлено: 27 ноября 2012 г.
Байбикова Т. Н., Зыков А. К., М.: Московский государственный институт электроники и математики, 2009.
Рассматриваются вопросы теории и методы компьютерной графики для создания двухмерных изображений. Показано применение графической библиотеки OpenGL. Рассмотрены шаги, необходимые для создания работающего приложения. Материал разделен на отдельные главы. Каждая глава иллюстрируется своими примерами и может рассматриваться отдельно от остальных.
Для студентов, обучающихся по специальности 230101 "Вычислительные машины, комплексы, системы и сети". ...
Добавлено: 6 ноября 2012 г.
М.: Московский государственный институт электроники и математики, 2012.
Содержит материалы, представленные к рассмотрению на научно-практический семинар «Новые информационные технологии в автоматизированных системах». Представляет интерес для научных сотрудников, преподавателей, аспирантов и студентов, работающих по указанным научным направлениям. ...
Добавлено: 26 октября 2012 г.
Стерлигова А. Н., М.: Бизнес Элайнмент, 2012.
Пособие посвящено методическим и практическим аспектам операционного менеджмента. В удобной для восприятия и освоения материала форме компактных схем и таблиц в нем рассматриваются современные интегрированные концепции управления организациями, процедуры разработки операционной стратегии предприятия; дается представление об актуальных направлениях повышения эффективности деятельности и основах процессного подхода к управлению. Каждая тема пособия завершается вопросами для самопроверки, списками ...
Добавлено: 9 июня 2012 г.