Зображення обкладинки

Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)

Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,&...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Вісник НАН України
Дата:	2017
Автор:	Летичевський, О.А.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2017
Теми:	З кафедри Президії НАН України
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/114458
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Судова влада в Україні: сучасна доктрина, механізми та перспективи реалізації (стенограма наукової доповіді на засіданні Президії НАН України 21 грудня 2016 року)
за авторством: Шемшученко, Ю.С.
Опубліковано: (2017)

Про стан та перспективи наукової періодики НАН України (стенограма доповіді на засіданні Президії НАН України 1 грудня 2017 року)
за авторством: Яцків, Я.С.
Опубліковано: (2018)

Про виконання цільової комплексної програми НАН України «Фундаментальні проблеми створення нових речовин і матеріалів хімічного виробництва» (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
за авторством: Кошечко, В.Г.
Опубліковано: (2017)

Біосенсори — аналітичні прилади нового покоління (стенограма наукової доповіді на засіданні Президії НАН України 18 грудня 2019 р.)
за авторством: Солдаткін, О.П.
Опубліковано: (2020)

Про основні положення Національної доповіді «Українське суспільство: міграційний вимір» (стенограма наукової доповіді на засіданні Президії НАН України 19 грудня 2018 р.)
за авторством: Лібанова, Е.М.
Опубліковано: (2019)

Захист інформаційних технологій та кібербезпека (стенограма наукової доповіді на засіданні Президії НАН України 25 вересня 2019 року)
за авторством: Савчук, М.М.
Опубліковано: (2019)

Історико-культурна спадщина України: переміщення, втрати, перспективи повернення (стенограма наукової доповіді на засіданні Президії НАН України 2 грудня 2015 р.)
за авторством: Смолій, В.А.
Опубліковано: (2016)

Щодо повоєнного відродження України (стенограма доповіді на засіданні Президії НАН України 14 грудня 2022 р.)
за авторством: Лібанова, Е.М.
Опубліковано: (2023)

Про наукове забезпечення видобутку вуглеводневої сировини (стенограма наукової доповіді на засіданні Президії НАН України 27 березня 2019 року)
за авторством: Крижанівський, Є.І., та інші
Опубліковано: (2019)

Стратегічна мінеральна сировина для відновлення України (стенограма наукової доповіді на засіданні Президії НАН України 7 травня 2025 р.)
за авторством: Шехунова, С.Б.
Опубліковано: (2025)

Водень в альтернативній енергетиці та новітніх технологіях (стенограма наукової доповіді на засіданні Президії НАН України 16 березня 2016 р.)
за авторством: Скороход, В.В.
Опубліковано: (2016)

Наукові засади кібербезпеки об’єктів критичної інфраструктури (стенограма доповіді на засіданні Президії НАН України 9 лютого 2022 р.)
за авторством: Летичевський, О.О.
Опубліковано: (2022)

Про діяльність Національного центру «Мала академія наук України» (стенограма наукової доповіді на засіданні Президії НАН України 2 березня 2016 р.)
за авторством: Довгий, С.О.
Опубліковано: (2016)

Колекція Стародавнього Єгипту у зібранні Одеського археологічного музею НАН України (стенограма наукової доповіді на засіданні Президії НАН України 4 грудня 2019 р.)
за авторством: Бруяко, І.В.
Опубліковано: (2020)

Про наукову концепцію розвитку законодавства України (стенограма доповіді на засіданні Президії НАН України 11 грудня 2024 р.)
за авторством: Стефанчук, Р.О.
Опубліковано: (2025)

Про перспективи розвитку термоелектрики в Україні (за матеріалами наукової доповіді на засіданні Президії НАН України 28 вересня 2016 року)
за авторством: Анатичук, Л.І.
Опубліковано: (2016)

Про результати виконання Цільової комплексної програми НАН України з наукових космічних досліджень на 2012—2017 роки (стенограма наукової доповіді на засіданні Президії НАН України 1 грудня 2017 року)
за авторством: Яцків, Я.С.
Опубліковано: (2018)

Про стан та перспективи розвитку фізики фероїків в Україні (за матеріалами наукової доповіді на засіданні Президії НАН України 13 грудня 2017 року)
за авторством: Морозовська, Г.М.
Опубліковано: (2018)

Про підготовку до запуску джерела нейтронів на підкритичній збірці (стенограма наукової доповіді на засіданні Президії НАН України 7 жовтня 2015 р.)
за авторством: Карнаухов, І.М.
Опубліковано: (2015)

"Інноваційна Україна — 2020": основні положення Національної доповіді (стенограма наукової доповіді на засіданні Президії НАН України 13 травня 2015 р.)
за авторством: Геєць, В.М.
Опубліковано: (2015)

Нові матеріали біомедичного призначення (стенограма наукової доповіді на засіданні Президії НАН України 3 червня 2015 р.)
за авторством: Фірстов, С.О.
Опубліковано: (2015)

Про виконання цільової комплексної програми наукових досліджень НАН України «Стратегічні мінеральні ресурси України» (стенограма наукової доповіді на засіданні Президії НАН України 2 грудня 2015 р.)
за авторством: Старостенко, В.І.
Опубліковано: (2016)

Про стан та перспективи розвитку сейсмічних досліджень для захисту від землетрусів (стенограма наукової доповіді на засіданні Президії НАН України 17 лютого 2016 р.)
за авторством: Кендзера, О.В.
Опубліковано: (2016)

Відновлювана енергетика: енергоефективність, економіка, екологія (стенограма наукової доповіді на засіданні Президії НАН України 11 липня 2018 р.)
за авторством: Кудря, С.О.
Опубліковано: (2018)

Науково-інноваційний потенціал мобілізації та використання нових рослинних ресурсів (за матеріалами наукової доповіді на засіданні Президії НАН України 23 листопада 2016 року)
за авторством: Рахметов, Д.Б.
Опубліковано: (2017)

Біопаливо і нафтове паливо в контексті паливної незалежності України (стенограма доповіді на засіданні Президії НАН України 11 грудня 2024 р.)
за авторством: Патриляк, Л.К.
Опубліковано: (2025)

Холінергічні механізми розвитку нейрозапалення і нейродегенерації (стенограма доповіді на засіданні Президії НАН України 7 вересня 2022 р.)
за авторством: Скок, М.В.
Опубліковано: (2022)

Щодо стану та перспектив розвитку наукової освіти в Україні (стенограма наукової доповіді на засіданні Президії НАН України 11 вересня 2019 р.)
за авторством: Довгий, С.О.
Опубліковано: (2019)

Геоекономічне зростання Китаю у сучасному світі (стенограма наукової доповіді на засіданні Президії НАН України 22 лютого 2017 р.)
за авторством: Кіктенко, В.О.
Опубліковано: (2017)

Геотектонічна еволюція і нафтогазоносний потенціал України (стенограма наукової доповіді на засіданні Президії НАН України 5 липня 2017 р.)
за авторством: Павлюк, М.І.
Опубліковано: (2017)

Квантовий комп'ютер: стан проблеми у світі та в Україні (стенограма доповіді на засіданні Президії НАН України 8 грудня 2021 р.)
за авторством: Шевченко, С.М.
Опубліковано: (2022)

Місцеві біогазові палива для систем розподіленої генерації (стенограма доповіді на засіданні Президії НАН України 7 травня 2025 р.)
за авторством: Жук, Г.В.
Опубліковано: (2025)

Проблеми математичного моделювання конкурентної рівноваги на ринку електроенергії (за матеріалами наукової доповіді на засіданні Президії НАН України 28 лютого 2018 р.)
за авторством: Саух, С.Є.
Опубліковано: (2018)

Технології зварювання для виготовлення і ремонту металевих конструкцій із високоміцних сталей (за матеріалами наукової доповіді на засіданні Президії НАН України 23 листопада 2016 року)
за авторством: Позняков, В.Д.
Опубліковано: (2017)

Нові рішення в технологіях порошкової металургії – шлях до підвищення якості металопродукції (за матеріалами наукової доповіді на засіданні Президії НАН України 26 жовтня 2016 року)
за авторством: Гогаєв, К.О.
Опубліковано: (2016)

Проблеми безпеки АЕС, ядерного паливного циклу та диверсифікації джерел постачання ядерного палива України (стенограма наукової доповіді на засіданні Президії НАН України 19 квітня 2017 року)
за авторством: Красноруцький, В.С.
Опубліковано: (2017)

Про міжнародну співпрацю в галузі керованого термоядерного синтезу в рамках дослідницьких програм ЄВРАТОМ (стенограма наукової доповіді на засіданні Президії НАН України 17 травня 2017 року)
за авторством: Гаркуша, І.Є.
Опубліковано: (2017)

Перспективи виробництва альтернативного автомобільного палива в Україні (стенограма наукової доповіді на засіданні Президії НАН України 8 червня 2022 р.)
за авторством: Жук, Г.В.
Опубліковано: (2022)

"Довголіття-Кардіо": інноваційний досвід імплантації клапанів серця (стенограма наукової доповіді на засіданні Президії НАН України 22 лютого 2017 р.)
за авторством: Ємець, І.М.
Опубліковано: (2017)

Молекулярне моделювання біологічних систем: стан та перспективи (стенограма наукової доповіді на засіданні Президії НАН України 4 квітня 2018 р.)
за авторством: Єсилевський, С.О.
Опубліковано: (2018)