Загальна кількість
Повні тексти
Загальна кількість
Повні тексти
Кількість локальних репозитаріїв
Повні тексти
0215U003268,
0110U001005
,
Розробка теоретичних засад створення та дослідження живучих гарантоздатних систем керування на основі ймовірнісно-фізичного підходу
Федухін Олександр Вікторович,
22-01-2015
Інститут проблем математичних машин і систем НАН України
Вперше введено нове поняття - атрибутивна модель гарантоздатності комп'ютерних систем (АМГКС), розроблено комплекс атрибутів і метрик АМГКС і методи їх оцінювання. Проаналізовано перелік основних факторів, що впливають на рівень живучості КС, запропоновано комплекс кількісних оцінок живучості систем. Проведено класифікація безпечних структур КС, сформульовані переваги і недоліки кожної структури і вказані сфери їх застосування. Розроблено нові пакети програм RELIABmod, GARANTmod. для статистичного моделювання надійності систем та комплексного забезпечення гарантоздатності КС при проектуванні. Розроблено та впроваджено у практику оригінальну методику сертифікації програмних засобів за показниками якості. Розроблено теоретичні основи створення живучої гарантоздатної КС на базі рецепторно - ефекторних нейронних зростаючих мереж та штучного інтелекту, методи створення живучих, високонадійних інтелектуальних комп'ютерних систем та електронного мозку роботів. Розроблено риск - орієнтований підхід щодо оцінки рівня безпеки критичних систем та інфраструктур. Основою роботи є систематизація сучасних наукових знань в галузі термінології, методології та теорії гарантоздатних комп'ютерних систем (КС), розробка теоретичних основ і прикладних методів створення гарантоздатних комп'ютерних засобів і систем високого рівня надійності, живучості та безпеки для критичних технологій та інфраструктур. Теоретичне і практичне значення отриманих результатів полягає у тому, що всі вони можуть бути безпосередньо втілені в процеси розробки та побудови реальних складних комп'ютерних систем у різних галузях науки і техніки.
Науковий звіт, що вміщує результати досліджень
А.І. Сухомлин
А.А. Сіра
Ар.А. Муха
В.В. Казімір
В.В.Бєгун
В.Г. Сербін
В.М. Ярошенко
В.О. Ященко
В.П. Пасько
В.П.Стрельніков
В.Ф. Грєчанінов
М.М. Редковська
Н.В. Сеспедес Гарсія
О.В. Федухін
О.М. Шалейко
П.В. Стрельніков
Т.І. Єфімова
Т.З Федаров
2020-04-02
Оновлено: 2026-01-02
Збереження набору наукових даних відбувається в два етапи:
1.) Створення набору даних
Введіть назву набору, короткий опис набору (анотацію) та натисніть кнопку «Створити набір». Після цього автоматично буде створено чернетку набору даних, яку Ви можете зберігати для подальшої роботи з набором. Система перенаправить Вас на сторінку «Інформація про набір даних».
2.) Заповнення даних
На сторінці «Інформація про набір даних» Вам необхідно заповнити всі поля щодо набору даних і завантажити файли.
Зверніть увагу! Кожен файл завантажується окремо. Це зроблено для стабільної роботи системи.
Після того як Ви заповнили інформацію про набір наукових даних та додали необхідні файли, Ви можете зберегти чернетку або відправити дані в систему.
Зверніть увагу! Якщо дані відправлені Ви не можете їх змінювати.
Чернетки необхідні для зберігання набору даних і його редагування до моменту відправки.
Всі акаунти на сайті НРАТ проходять стандартну процедуру реєстрації і є верифікованими. Однак для того, щоб отримати додаткові можливості, такі як публікація відкритих рецензій на академічні тексти, необхідна верифікація за афіліацією.
В особистому кабінеті відображається поточний статус верифікації за афіліацією.
Щоб отримати статус «верифікований», необхідно змінити основну адресу електронної пошти на корпоративну, яка прив’язана до наукової установи або закладу освіти.
Наприклад: user@ukrintei.ua, user@nas.gov.ua
Для завершення процесу верифікації за афіліацією необхідно заповнити інформацію про себе в персональному кабінеті.
Обов’язковими є такі поля:
– ім’я,
– прізвище,
– науковий ступінь,
– вчене звання.
Всі інші поля є необов’язковими, але бажано їх заповнювати.
Після підтвердження корпоративної електронної скриньки та заповнення обов’язкових полів ваш акаунт буде автоматично верифіковано за афіліацією.
Якщо статус верифікаціїї не змінився одразу, спробуйте перезавантажити сторінку.
Якщо ваша електронна адреса є корпоративною і всі обов’язкові поля заповнені, але акаунт не має позначки верифікації, вам необхідно написати нам на електронну скриньку NRAT@ukrintei.ua. Після перевірки ми додамо вашу адресу в базу даних, і ваш акаунт буде верифіковано.
Після проходження процедури верифікації за афіліацією Ви можете змінити основну адресу електронної скриньки на зручну для вас, не втративши при цьому статусу верифікації.
Проходити верифікацію за афіліацією необхідно лише один раз.
* Ми використовуємо корпоративні адреси з Єдиної державної бази з питань освіти та Державного реєстру наукових установ, яким надається підтримка держави
Для пошуку новин, опублікованих на офіційному вебпорталі НРАТ у розділі «Новини» необхідно ввести у пошукове поле одне слово, декілька слів або точну фразу. Окремі слова розділяються проміжками.
Пошук виконується всюди – як у назві, так і у тексті новини.
Для отримання більш повного результату рекомендується використовувати основу слів (частини слів без закінчення).
При використанні для пошуку декількох слів вони поєднуються одним з логічних способів, описаних нижче.
За замовчуванням встановлено логічний сполучник “та”. У такому випадку результати пошуку будуть охоплювати усі публікації новин, де є вказані слова, навіть якщо вони розташовані окремо одне від одного і знаходяться у різних частинах тексту.
Приклад. Пошукова фраза: звіт ОЕСР. Результат пошуку: всі новини, які містять слово «звіт» та слово «оеср» як разом, так і окремо в тексті і в назві.
Якщо словосполучення чи фразу взяти у лапки (“), то результати будуть містити усі публікації, де зустрічається саме це словосполучення або фраза.
Приклад. Пошукова фраза: «звіт ОЕСР». Результат пошуку: всі новини, які містять точну фразу «звіт оеср».
Якщо Вам відома дата публікації новини або цікавить певний проміжок часу, в який вони були опубліковані на сайті, можна обрати таку дату чи інтервал дат у додатковому полі, що має вигляд календаря. Напис дати здійснюється у форматі рік-місяць-день і підтверджується натисканням на відповідну дату у випадаючому полі календаря. Можна вписувати дату або обирати, гортаючи сторінки календаря за місяцями та роками. За замовчуванням інтервал починається з більш давньої дати (2018-01-23) та завершується поточною.
Також Ви можете використовувати один або декілька хештегів, які розташовані під полем пошуку у правій частині екрану сторінки «Новин».
Зверніть увагу: пошук академічних текстів проводиться в окремому пошуковому вікні за посиланням https://nrat.ukrintei.ua/searchdb/
