Using modularization in embedded OS

Mallachiev K. A.; N. V. Pakulin; A. V. Khoroshilov; Buzdalov D. V.

doi:10.15514/ISPRAS-2017-29(4)-19

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

3 ноября 2026 г.

Физики научили ИИ настраивать пучок частиц в ускорителе

Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Института ядерной физики СО РАН разработали RLABC — программу, которая помогает подбирать оптимальные настройки ускорителя частиц с помощью обучения с подкреплением. В компьютерном эксперименте программа настроила модель так, что до конца ускорителя доходило около 70% частиц. Исследование опубликовано в журнале Computer Physics Communications.

3 ноября 2026 г.

«Органы на чипе позволяют проверять лекарства без экспериментов на животных»

Лаборатория молекулярной физиологии факультета биологии и биотехнологии НИУ ВШЭ изучает, как молекулярные регуляторы (микроРНК) управляют работой генов и влияют на развитие болезней — онкологических, вирусных и воспалительных, а также осложнений беременности. В Вышке выращивают модели органов человека на чипе: крошечные устройства с живыми клетками, воспроизводящие работу, например, плаценты или кишечника. Модели помогают понять, как возникают болезни и как на них действуют лекарства. «Вышка.Главное» побеседовала с заведующим лабораторией Евгением Князевым.

3 ноября 2026 г.

В НИУ ВШЭ выяснили, почему опытные читатели ошибаются в нестандартных фразах

Ученые Центра языка и мозга НИУ ВШЭ проверили, как люди понимают предложения, когда грамматика подсказывает одно, а жизненный опыт — другое. Участники эксперимента читали фразы о двух персонажах и отвечали, кто из них выполнил действие. Результаты показали, что более начитанные люди лучше справлялись с заданиями, в которых персонаж выполнял ожидаемое действие, но ошибались, когда действие персонажа шло вразрез с ожиданиями.Исследование опубликовано в журнале Quarterly Journal of Experimental Psychology. Работа выполнена при поддержке гранта РНФ.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Using modularization in embedded OS

Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 283–294.

Mallachiev K. A., Пакулин Н. В., Хорошилов А. В., Buzdalov D. V.

Язык: английский

DOI

Ключевые слова: Embedded System RTOs components

The novel single-module communication subsystem architecture for industrial digital inkjet

Попов М. А., Романов А. Ю., INTERNATIONAL JOURNAL OF RECONFIGURABLE AND EMBEDDED SYSTEMS 2025 Vol. 14 No. 3 P. 696–704

Добавлено: 11 декабря 2025 г.

Design and architecture of real-time operating system

Mallachiev K. M., Пакулин Н. В., Хорошилов А. В., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 2 P. 181–192

Добавлено: 11 августа 2018 г.

Schedulability Analysis for Strictly Periodic Tasks in RTOS

Zelenova S. A., Зеленов С. В., Programming and Computer Software 2018 Vol. 44 No. 3 P. 159–169

A new look at the problem of constructing a scheduler in the case of a group of strictly periodic tasks is proposed. The structure of the system of periods is represented in terms of graph theory. A criterion for the existence of a conflict-free schedule based on this representation is obtained, and generic schemes of ...

Добавлено: 11 августа 2018 г.

The human resource dimension of science-based technology transfer: lessons from Russian RTOs and innovative enterprises

Заиченко С. А., The Journal of Technology Transfer 2018 Vol. 43 No. 2 P. 368–388

Добавлено: 9 марта 2017 г.

Proceedings 16th Euromicro Conference on Digital System Design DSD 2013 Proceedings of the 16th Euromicro Conference on Digital System Design (DSD 2013) Santander, Spain

Santander: IEEE Computer Society Conference Publishing Services (CPS), 2013.

Европейская конференция по проектированию цифровых систем касается всех аспектов ( включая встроенные и высоскоростные системы) разработки цифровых систем и смешанных программно-аппаратных систем, вплоть до микроархитектуры, цифровых схем, вопросов СБМС. Это- дискуссионый форум для исследователей и разработчиков из академических заведений и промышленности, работающих в области исследований, разработки и применений. В фокусе конференции - вопросы проектирования схем, автоматизации, ...

Добавлено: 15 октября 2013 г.

Verification of MCU-Based Systems Software on an SDVRP Platform

Шершаков С. А., , in: Proceedings of the International Conference on Electrical and Computer Systems ICECS'12.: Ottawa: International ASET Inc, 2012. P. 207-1–207-8.

Добавлено: 14 марта 2013 г.