Повнотекстовий пошук
Пошуковий запит: (<.>AT=Летичевський Високонадійні системи математичного забезпечення$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Летичевський О. А. Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.) [Електронний ресурс] / О. А. Летичевський // Вісник Національної академії наук України. - 2017. - № 2. - С. 30-36. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2017_2_7 Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
|
|
|