Управление государственного энергетического надзора сообщает о внесении изменений в перечни вопросов (тестов), применяемых в комиссиях Федеральной службы по экологическому, технологическому и атомному надзору по проверке знаний норм и правил в области энергетического надзора. Новые перечни вопросов размещены на официальном сайте Ростехнадзора по ссылке https://www.gosnadzor.ru/energy/energy/for%20the%20inspection%20structure%20of%20territorial/ В информационной системе <Единый портал тестирования> новые перечни вопросов будут применяться с 1 сентября 2026 г.

Уважаемые посетители! В связи с переездом на новый адрес единого окна, общественной приемной с пер. Северного, 7, прием корреспонденции, обращений граждан и выдача готовых результатов оказания госуслуг, с 04.05.2026 будет осуществляться по адресу: г. Екатеринбург, ул. Московская, 131. Обратить внимание! Смена реквизитов по Курганской области

В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов

В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов
15.07.2026
Источник: ТАСС


Ученые Московского государственного университета имени М. В. Ломоносова создали алгоритм, обеспечивающий точность и предсказуемость бортовых систем самолетов и другой техники. Об этом сообщили ТАСС в пресс-службе вуза.

"Исследователи факультета вычислительной математики и кибернетики МГУ предложили методику применения технологий безопасной компиляции для встроенных систем ответственного назначения. Подход позволяет учитывать требования безопасности при использовании современных компиляторов и снижать риски, связанные с оптимизацией программного кода. Разработка может применяться при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы", - сообщили в МГУ.

Авторы смогли адаптировать технологии оптимизации обработки данных к бортовым системам, работающим в реальном времени. Они решили проблему преобразования программного кода для повышения производительности системы, которая влияет на предсказуемость работы таких программ и усложняет процесс верификации.

"Результаты работы могут способствовать развитию технологий разработки надежного программного обеспечения для систем, работающих в условиях повышенных требований к безопасности", - пояснили в вузе.

Возврат к списку