Введение
1. Математические модели и методы дискретного анализа в технической диагностике и их новые направления 19
1.1. Основные модели и методы технической диагностики 19
1.2. Модели дискретного анализа в технической диагностике 28
1.2.1. Предварительные замечания об исследованиях в данной области 28
1.2.2. Определение булевых функций в конечных полях. 31
1.2.3. Базисы разложения булевых функций 34
1.2.4. Булевы производные: основные определения 38
1.2.5. Булевы производные: свойства 45
1.2.6. Аспекты применения рассматриваемых методов и моделей... 48
1.3. Задачи технической диагностики информационных систем 62
1.3.1. Задачи диагностики телекоммуникационных систем 64
1.3.2. Задачи диагностики программного обеспечения 70
1.3.3. Задачи математического моделирования диагностируемых систем
1.4. Задача онлайновой диагностики и синтеза контролируемых информационных систем 78
1.5. Выводы 82
2. Модели, методы и алгоритмы дискретного анализа логических функций 84
2.1. Развитие методов дифференциального исчисления булевых функций 84
2.1.1. Модели декомпозиции с двойственными операциями 84
2.1.2. Производная полностью определенных булевых функций 92
2.1.3. Производная частично определенных булевых функций 93
2.2. Логические дифференциальные операторы над конечными полями 97
2.2.1. Свойства логических дифференциальных операторов 97
2.2.2. Разложение логических функций над конечными полями 103
2.2.3. Общая модель дифференциальной дискретной системы 106
2.3. Модели спектрального представления логических функций над конечными полями 109
2.4. Алгоритмы спектральных преобразований булевых функций 118
2.5. Алгоритмы вычислений и символьных преобразований в булевом дифференциальном и интегральном исчислении 128
2.6. Выводы 138
3. Математические модели контролируемых динамических систем над конечными полями 140
3.1. Основные определения, обозначения и факты 143
3.1.1. Многочлены над конечными полями 149
3.1.2. Алгоритм вычисления поля разложения 157
3.2. Модели линейных стационарных динамических систем 158
3.2.1. Авторегрессионная модель 159
3.2.2. Модель типа вход-выход 160
3.2.3. Модели типа вход-состояние-выход 161
3.2.4. Связь между авторегрессионной моделью и моделью вход-выход 162
3.2.5. Связь между авторегрессионной моделью и моделью вход-состояние-выход 164
3.3. Постановка и решение задачи синтеза контролируемой системы и контрольных уравнений 164
3.3.1. Пример синтеза контролируемой системы 170
3.3.2. Синтез контрольного уравнения при возможности запаздывания 171
3.3.3. Пример синтеза контрольного уравнения 174
3.4. Нелинейные динамические системы над конечными полями 176
3.4.1. Пример нелинейной динамической системы над полем F2 177
3.4.2. Общий метод синтеза нелинейных контролируемых систем... 180
3.5. Выводы 185
4. Модели диагностики программного обеспечения в процессе функционирования информационных систем 186
4.1. Особенности диагностики программного обеспечения в процессе функционирования и задачи своевременного обнаружения ошибок 186
4.2. Обобщенная предикатная модель диагностики программного обеспечения 195
4.3. Дифференциальный метод диагностики программного обеспечения
4.3.1. Критерии анализа изменений спецификаций программ 206
4.3.2. Диагностика на основе предикатной производной
4.4. Метод своевременной диагностики программного обеспечения 221
4.5. Выводы 224
5. Практическая реализация методов моделирования, диагностики и синтеза информационных систем 225
5.1. Сравнительный анализ систем компьютерной алгебры: возможности логических преобразований в конечных полях 225
5.2. Программный комплекс моделирования и анализа задач технической диагностики информационных систем 231
5.2.1. Основные функциональные возможности комплекса 231
5.2.2. Модули реализации алгоритмов численных вычислений 235
5.3. Программный комплекс для синтеза отказоустойчивых контролируемых динамических дискретных систем 238
5.3.1. Модуль реализации алгоритмов синтеза контролируемых линейных систем 238
5.3.2. Модуль реализации алгоритмов синтеза нелинейных линеаризуемых систем 239
5.3.3. Модуль реализации алгоритмов онлайновой диагностики программного обеспечения 241
5.4. Аспекты реализации методов и моделей в существующих информационных системах 243
5.4.1. Диагностические комплексы информационно-управляющих систем железнодороэ/сного транспорта 243
5.4.2. Подсистемы управления качеством обслуживания в системах предоставления информационных услуг 248
5.5. Выводы 252
Заключение 254
Список литературы
