Підвищено ефективність процесу діагностування комп'ютерних засобів (КЗ) на етапі експлуатації. Запропоновано узагальнену формальну модель процесу інтелектуального діагностування КЗ. Розроблено інтелектуальні методи подання знань у єдиному формалізмі (моделі), які забезпечили повторне використання знань зі сховища.

  Скачати повний текст

Запропоновано моделі подання, пошуку інформації та генерації стратегій пошуку та навігаційних маршрутів, які включають засоби формалізації предметних знань і навігації в гіперсередовищі, а також їх відповідність ознакам об'єкту діагностування, з метою вибору такого інформаційного забезпечення, яке є достатнім для реалізації процесу діагностування обчислювальних пристроїв систем військового призначення. Удосконалено метод пошуку й аналізу інформації для діагностування обчислювальних пристроїв, суть якого полягає у пошуку інформації, що відповідає опису об'єкту діагностування та ознакам, що визначають повноту та точність діагностичної інформації. Запропонована методика пошуку й аналізу інформації дозволяє підвищити оперативність процесу діагностування. Розроблено двоконтурну архітектуру інформаційного забезпечення автоматизованої системи діагностування обчислювальних пристроїв систем військового призначення.

  Скачати повний текст

Одержано оцінки, які свідчать про суттєве зниження достовірності контролю результатів для сучасних методів функціонального діагностування (ФД) сучасних обчислювальних пристроїв (ОП), що демонструють нову властивість відбраковувати достовірні результати приблизних обчислень. Запропоновано пороговий та імовірнісний підходи для підвищення достовірності контролю результатів. Сформульовано концепцію використання природних ресурсів контролю (ПРК). Виділено клас скорочених арифметичних операцій та розроблено поширений на них узагальнений метод контролю за модулем з підвищенням достовірності контролю результатів. Запропоновано методи ФД, що використовують ПРК з метою спрощення засобів контролю та підвищення його достовірності.

  Скачати повний текст