Запропоновано комплексний підхід до розв'язання задач системного діагностування, який враховує тестові взаємодії елементів. Одержано моделі процесів діагностування на базі послідовних процесів Хоара. Наведено приклади їх організації.

Розглянуто метод оцінки показників надійності під час безвідмовних випробувань (експлуатації) виробів у випадку DM-розподілу напрацювання на відмови. Показано адекватність методики оцінки показників надійності.

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

The problem of on-line testing for floating-point circuits, which execute approximate mantissa processing, is considered. The checking method by inequalities for mantissas multiplier is proposed. Operation result compares with its high and low bordersexecuted by operands. The method detects errors in dependence on their size and raises reliability of the check of results, reducing rejection of authentic results.

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

Освещены разнообразные аспекты обеспечения надежности вычислительных устройств, персональных компьютеров (ПК) и компьютерных систем, методы контроля цифровых устройств. Рассмотрены методы диагностирования ПК, вопросы программного обеспечения, модернизации и эксплуатационного обслуживания ПК.

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

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

Наведено методики оцінки середнього напрацювання щодо відмови виробів електронної техніки (MTTF) на основі використання DN-розподілу для різних експериментальних і довідкових даних про надійність: інтенсивності відмов, імовірності відмов, мінімального напрацювання, величини FIT. Відзначено, що прогнозовані оцінки MTTF на базі експоненціального розподілу суттєво завищені у порівнянні з аналогічними оцінками на підставі DN-розподілу.

Рассмотрены вопросы вычисления количественных показателей диагностируемости для графовых моделей объектов электронно-вычислительной аппаратуры в процессе автоматизированного проектирования.

Представлено методики планування з метою контролю середнього наробітку до відмови виробів обчислювальної техніки на основі використання дифузійних розподілів, а також експонентного розподілу. Відзначено, що обсяг випробувань (мінімальне число зразків, необхідних для випробувань) на підставі експонентного розподілу істотно завищений у порівнянні з аналогічними планами контролю на основі дифузійних розподілів.

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

Для підвищення ефективності діагностування комп'ютерних пристроїв на етапі їх експлуатації запропоновано використовувати інтелектуальні апаратно-програмні системи діагностування. Представлено основні принципи побудови, архітектуру та опис дослідного зразка такої системи. Як апаратні засоби використано зовнішні датчики температури, а як програмні складові - інтелектуальні агенти.

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

Наведено групування діагностичної інформації, приклад ролі нечіткої діагностичної інформації у підвищенні достовірності процесу діагностування комп'ютерних засобів.

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

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

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

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

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

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