ЗМІСТ
ВСТУП
РОЗДІЛ 1. ОГЛЯД СТАНУ ПРОБЛЕМИ ТА ПОСТАНОВКА
ЗАДАЧ ДОСЛІДЖЕННЯ1.1. Аналіз алгоритмічних процесів як об'єкту забезпечення надійності1.2. Аналіз методів врахування невизначеності в задачах теорії надійності1.3. Аналіз та класифікація методів забезпечення надійності
алгоритмічних процесів1.3.1. Методи аналізу надійності алгоритмічних процесів1.3.2. Методи оптимізації надійності алгоритмічних процесів1.3.3. Методи ідентифікації надійності операторів та логічних умов1.4. Мета і задачі дослідження1.5. Висновки по
розділу
РОЗДІЛ 2. АНАЛІЗ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ
ЗА НЕЧІТКИХ ДАНИХ2.1. Формалізація невизначених початкових даних нечіткими числами2.1.1. Застосування параметричних функцій належності2.1.2. Оброблення експертних оцінок2.1.3. Кластеризація експериментальних даних2.2. Бінарні моделі надійності за нечітких початкових даних2.2.1. Нечіткі моделі надійності операторів та логічних умов2.2.2. Алгоритм нечіткого узагальнення бінарних моделей надійності алгоритмічних структур2.2.3. Нечіткі моделі послідовних структур2.2.4. Нечіткі моделі паралельних структур2.2.4.1. Структура "асинхронна диз'юнкція"2.2.4.2. Структура "синхронна диз'юнкція"2.2.5. Нечіткі моделі розгалужувальних структур2.2.5.1. Структура "?-диз'юнкція"2.2.5.2. Структура "робота з контролем та доробкою без внесення помилок"2.2.5.3. Структура "робота з контролем та доробкою з внесенням помилок"2.2.5.4. Структура "робота з вибірковим контролем та доробкою
без внесення помилок"2.2.5.5. Структура "робота з вибірковим контролем та доробкою
з внесенням помилок"
2.2.6. Нечіткі моделі циклічних структур2.2.6.1. Структура "зворотна ?-ітерація"2.2.6.2. Структура "робота з циклічним контролем та доробкою
без внесення помилок"2.2.6.3. Структура "робота з циклічним контролем та доробкою
з внесенням помилок
2.2.7. Нечіткі моделі алгоритмічних структур з пам'яттю2.2.7.1. Структура "робота-контроль-переривання"2.2.7.2. Структура "зворотна ?-ітерація з пам'яттю"2.2.7.3. Структура "робота з обмеженою кількістю перевірок та доробок з внесенням помилок"2.3. Багатоарні моделі надійності за чітких початкових даних2.3.1. Матричні моделі надійності операторів та логічних умов2.3.2. Матричні моделі надійності алгоритмічних структур2.4. Багатоарні моделі надійності за нечітких початкових даних2.4.1. Нечіткі матричні моделі надійності операторів та логічних умов2.4.2. Нечіткі матричні моделі надійності алгоритмічних структур2.5. Порівняння складності нечітких моделей та моделей згортки функцій розподілу2.6. Висновки по
розділу
РОЗДІЛ 3. ГЕНЕТИЧНА ОПТИМІЗАЦІЯ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ3.1. Формалізація керованих змінних3.2. Формалізовані постановки задач оптимізації надійності3.2.1. Показники надійності, які враховуються при оптимізації3.2.2. Постановка задачі багатокритеріальної оптимізації надійності3.2.3. Скаляризація задачі багатокритеріальної оптимізації надійності3.2.3.1. Застосування функції ризику3.2.3.2. Застосування цільового програмування3.2.3.3. Застосування умовної оптимізації3.2.3.4. Гібридний підхід3.3. Генетичне кодування варіанта алгоритмічного процесу3.3.1. Задачі оптимізації перевірок3.3.2. Задачі вибору реалізацій операторів та логічних умов3.3.3. Загальні задачі структурної оптимізації3.3.4. Задачі параметричної оптимізації3.3.5. Задачі структурно-параметричної оптимізації3.3.6. Задачі оптимізації ієрархічних алгоритмічних процесів3.4. Мутація та схрещення хромосом3.5. Фітнес-функція хромосом та селекція нової популяції3.6. Гібридна генетична оптимізація надійності3.6.1. Генерування якісної початкової популяції за ідеями пожадливих методів дискретної оптимізації3.6.1.1. Задача вибору реалізацій операторів та логічних умов3.6.1.2. Задача розстановки контрольних точок3.6.1.3. Задача оптимізації кратностей контрольних постів3.6.2. Покращення популяції хромосом мурашиними алгоритмами за острівною схемою3.6.3. Покращення хромосоми методами локального пошуку3.7. Тестування алгоритмів оптимізації3.7.1. Завдання та методика тестування3.7.2. Бібліотека тестових задач3.7.3. Дослідження точності розв'язків3.7.4. Дослідження якості початкової популяції3.7.5. Дослідження тривалості оптимізації3.8. Висновки по
розділу
РОЗДІЛ 4. НЕЧІТКА ОПТИМІЗАЦІЯ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ4.1. Концепція нечіткої оптимізації надійності4.2. Оптимізація надійності за нечіткої мети4.3. Оптимізація надійності за нечітких початкових даних4.4. Оптимізація надійності за нечіткої мети та нечітких початкових даних4.5. Особливості генетичного алгоритму нечіткої оптимізації4.6. Висновки по
розділу
РОЗДІЛ 5. ІДЕНТИФІКАЦІЯ НЕЧІТКИМИ БАЗАМИ ЗНАНЬ ЗАЛЕЖНОСТІ НАДІЙНОСТІ ОПЕРАЦІЙ ВІД ФАКТОРІВ ВПЛИВУ5.1. Формалізація задач ідентифікації надійності за допомогою нечіткої бази знань5.1.1. Критерії нечіткої ідентифікації5.1.2. Захист прозорості нечіткої моделі5.2. Ідентифікація нечіткою моделлю з синглтонною базою знань5.3. Ідентифікація нечіткою моделлю з базою знань Сугено5.4. Ідентифікація нечіткою моделлю з базою знань Мамдані5.4.1. Нечітке виведення за базою знань Мамдані5.4.2. Вплив методу дефаззіфікації на якість нечіткої ідентифікації5.4.3. Вплив границь носія вихідних нечітких множин на точність ідентифікації5.4.4. Вплив захисту прозорості нечіткої моделі на точність ідентифікації5.5. Нечітка ідентифікація з урахуванням найгіршого випадку5.6. Порівняння якості ідентифікації за різних нечітких моделей5.7. Ідентифікація за навчальною вибіркою з нечіткими вхідними даними5.8. Висновки по
розділу
РОЗДІЛ 6. ІДЕНТИФІКАЦІЯ БАГАТОФАКТОРНИХ ЗАЛЕЖНОСТЕЙ НЕЧІТКОЇ НАДІЙНОСТІ ОПЕРАТОРІВ І ЛОГІЧНИХ УМОВ6.1. Ідентифікація нечітким узагальнення моделей параметричної надійності6.2. Ідентифікація нечіткої надійності за допомогою нечітких баз знань типу MISO6.2.1. Основні ідеї та класифікація методів6.2.2. Ідентифікація за допомогою нечіткого класифікатора6.2.3. Ідентифікація за допомогою нечіткої бази знань Мамдані6.2.4. Ідентифікація за допомогою нечіткої бази знань з нечіткими регресійними рівняннями6.2.5. Ідентифікація за допомогою нечіткої бази знань
з чіткими консеквентами6.2.6. Порівняння методів ідентифікації нечіткими базами знань типу MISO6.3. Ідентифікація нечіткої надійності моделями "фактори впливу - параметри функції належності"6.3.1. Формалізація задачі та ідея методів6.3.2. Ідентифікація за допомогою нечіткої бази знань типу MIMO6.3.3. Ідентифікація системою чітких регресійних моделей6.3.4. Швидка ідентифікація системою чітких регресійних моделей6.3.5. Ідентифікація нечіткої надійності за допомогою нечітких множин II-го типу6.3.6. Порівняння методів ідентифікації багатофакторними моделями параметрів функції належності6.4. Перевірка моделей нечіткої надійності на чітких даних6.5. Висновки по
розділу
РОЗДІЛ 7. ПРОГРАМНА РЕАЛІЗАЦІЯ ІНФОРМАЦІЙНОЇ ТЕХНОЛОГІЇ ЗАБЕЗПЕЧЕННЯ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ ТА ЕКСПЕРИМЕНТАЛЬНІ ДОСЛІДЖЕННЯ
7.1. Автоматизована система забезпечення надійності алгоритмічних процесів7.2. Застосування інформаційної технології для ідентифікації багатофакторних залежностей надійності7.2.1. Огляд синтезованих багатофакторних моделей надійності7.2.2. Синтез нечіткої моделі бездефектності гальванічного міднення друкованої плати7.2.3. Синтез нечіткої моделі безпомилковості виявлення зорового сигналу людиною-оператором7.2.4. Синтез нечіткої моделі безпомилковості набору тексту людиною-оператором за нечіткою навчальною вибіркою7.2.5. Синтез нечіткої моделі тривалості моторної реакції людини-оператора на зоровий сигнал7.2.6. Синтез нечіткої моделі тривалості міжнародного розшуку7.2.7. Синтез моделі трудомісткості створення програмних засобів7.2.8. Синтез моделі бездефектності створення програмних засобів7.2.9. Синтез моделі якості тестування програмних засобів7.3. Нечітке моделювання надійності процесу розробки програмного забезпечення7.4. Нечітка оптимізація процесу розробки програмного забезпечення7.5. Інші застосування пакету Extended Fuzzy Logic Toolbox7.5.1. Розпізнавання італійських вин7.5.2. Прогнозування результатів футбольних матчів7.5.3. Діагностування тріщин цегляних конструкцій будівель7.5.5. Управління конкурентоспроможністю марочного товару7.6. Огляд неавторських застосувань результатів дисертації7.7. Висновки по
розділу ВИСНОВКИДодаток А. Наукове використання результатів дослідженняДодаток Б. Документи про впровадженняДодаток В. Моделі надійності алгоритмічних структур за бінарного
врахування помилок функціонуванняДодаток Д. Матричні моделі надійності за несумісних помилокДодаток Е. Експериментальні даніДодаток Ж. Програми розрахунку надійності розробки програмних засобівСПИСОК
- Київ+380960830922