Методы анализа и синтеза модульных информационно-управляющих систем

Description

Книга посвящена разработке моделей и методов анализа и синтеза оптимальных по различным критериям эффективности модульных систем обработки данных различного класса и назначения на этапе технического проектирования. На основе единой методологии и сформулированных признаков модульности дано систематическое изложение теоретических и прикладных проблем, связанных с формализацией, постановками задач, моделями и алгоритмами анализа и синтеза оптимальных модульных систем обработки данных, определением содержания межмодульного интерфейса. Для разработчиков автоматизированных информационно-управляющих систем и специалистов, занимающихся проектированием автоматизированных систем проектирования, аспирантов и студентов ВУЗов соответствующих специальностей. Введение......Page 3 Принципы модульности и типизации при проектировании систем обработки данных......Page 15 Этапы разработки модульных СОД в АИУС......Page 32 Критерии и ограничения при решении задач синтеза оптимальных модульных СОД в АИУС......Page 47 Формализованное определение модулей различного типа в системах обработки данных......Page 56 Формализованные модели и методы предпроектного анализа структуры информационных потоков и технологии обработки данных при разработке модульных СОД......Page 71 Построение матрицы достижимости на основе информации о существовании взаимосвязей между информационными элементами СОД......Page 85 Матричный метод анализа технологии обработки данных в СОД......Page 92 Методы анализа технологии обработки данных при проектировании оптимальных модульных систем обработки данных реального времени......Page 95 Представление и упорядочивание сценариев диалога пользователей в процессе их анализа......Page 102 Формальный анализ и определение характеристик сценариев диалога......Page 114 Методы анализа требований пользователей к технологии обработки данных при проектировании типовых модульных СОД в АИУС......Page 125 Формализованные модели предметных областей и спецификаций информационных требований пользователей......Page 141 Использование методов кластерного анализа для классификации предметных областей пользователей......Page 144 Методы построения канонической структуры локальных баз данных......Page 158 Модели и методы анализа и структуризации предметных областей при разработке распределенных баз данных......Page 164 Методы анализа требований пользователей, выделения и определения характеристик типовых сегментов структуры информационного обеспечения распределенных СОД......Page 174 Постановка задач синтеза оптимальных модульных систем обработки данных с использованием технологических критериев......Page 188 Методы и алгоритмы решения задач синтеза программного и информационного обеспечения модульных систем обработки данных......Page 201 Синтез модульных систем обработки данных по критерию максимума достоверности......Page 222 Постановка задач синтеза модулей программного обеспечения систем обработки данных, обеспечивающих минимум времени решения функциональных задач......Page 240 Постановка и решение задач синтеза модулей программного обеспечения по критерию минимума неиспользуемых данных......Page 269 Постановка и решение задач синтеза модулей программного обеспечения по критерию минимума технологической сложности алгоритмов обработки данных......Page 281 Постановка и решение задач синтеза модулей программного обеспечения по критерию максимума информационной производительности......Page 292 Определение числа и содержания информационных массивов в модульных СОД......Page 300 Постановка и решение задач выбора методов организации информационных массивов и размещения программных модулей и массивов во внешней памяти ЭВМ......Page 306 Синтез оптимальных модульных СОД РВ, работающих в режиме разделения времени......Page 312 Синтез оптимальных модульных СОД РВ, использующих приоритетные дисциплины обслуживания......Page 337 Синтез оптимальных модульных структур СОД РВ, работающих в режиме многопроцессорного обслуживания......Page 380 Синтез диалоговых систем обработки данных......Page 416 Глава 5. Модели и методы синтеза оптимальных логических и физических структур локальных, сетевых и распределенных баз данных......Page 466 Модели и методы синтеза оптимальных логических структур локальных и сетевых баз данных......Page 468 Основные определения и формализованное описание исходных данных......Page 470 Методы расчета основных характеристик канонических структур локальных баз данных......Page 476 Модели синтеза оптимальных логических структур локальных баз данных......Page 482 Модели и методы синтеза оптимальных логических структур сетевых баз данных......Page 485 Модели и методы синтеза оптимальных логических структур распределенных баз данных и базы метаданных репозитария......Page 494 Формализованное описание исходных данных и методы расчета основных характеристик канонической структуры распределенных баз данных, запросов пользователей и транзакций......Page 496 Модели синтеза оптимальных логических структур распределенных баз данных и структуры размещения базы метаданных репозитария......Page 506 Модели и задачи синтеза оптимальных физических структур баз данных......Page 513 Задачи оптимального распределения кластеров локальных баз данных по типам внешней памяти и оптимального размещения логических записей по страницам памяти......Page 515 Выбор оптимальных методов организации записей и связей в локальных базах данных......Page 518 Задача оптимального распределения кластеров сетевых баз данных между сервером и клиентами ЛВС......Page 523 Задачи проектирования физических структур сетевого каталога СБД и базы метаданных репозитария РБД......Page 526 Задача синтеза модулей прикладного программного обеспечения в архитектуре «Клиент-Сервер»......Page 531 Выбор механизмов проектирования......Page 536 Задачи синтеза типовых модульных систем обработки данных......Page 555 Общая схема решения задач синтеза оптимальных структур типовых модульных СОД. Точные методы решения......Page 580 Эвристические методы и алгоритмы решения задач синтеза оптимальных структур типовых модульных СОД......Page 606 Методы и алгоритмы решения задач синтеза оптимальных структур типовых модульных СОД РВ......Page 613 Разработка методов и алгоритмов решения задач синтеза оптимальных структур баз данных......Page 628 Точные алгоритмы решения задач синтеза оптимальных логических структур локальных и сетевых баз данных......Page 629 Эвристические алгоритмы решения задач синтеза логических структур локальных и сетевых баз данных......Page 646 Алгоритм решения задачи проектирования кластеров баз данных......Page 658 Методы и алгоритмы решения задач синтеза физических структур локальных и сетевых баз данных......Page 660 Методы и алгоритмы решения задач синтеза оптимальных логических структур распределенных баз данных и базы метаданных репозитария......Page 667 Глава 8. Методология планирования и организации отладки комплексов программ модульных АИУС......Page 693 Организации отладки комплексов программ с использованием системы векторных показателей качества......Page 694 Задачи выбора оптимальной стратегии системной отладки комплексов программ......Page 703 Методы автоматизации отладки задач обработки данных по показателям функциональной корректности......Page 717 Основные положения по созданию промышленной технологии автоматизированного проектирования информационного и программного обеспечения модульных АИУС......Page 724 Функциональная структура и основные особенности САПР «Модуль-2»......Page 749 Приложение......Page 765 Список литературы......Page 788