
- •Лекция 1 Введение. Основные понятия и определения Основные задачи теории информационных систем.
- •Краткая историческая справка.
- •Основные понятия теории систем
- •Выбор определения системы.
- •Лекция 2 Основные понятия и определения Основное содержание первой лекции
- •Понятие информации
- •Открытые и закрытые системы
- •Модель и цель системы
- •Управление
- •Информационные динамические системы
- •Классификация и основные свойства единиц информации
- •Системы управления
- •Реляционная модель данных
- •Технические, биологические и др. Системы
- •Детерминированные и стохастические системы
- •Открытые и закрытые системы
- •Хорошо и плохо организованные системы
- •Классификация систем по сложности
- •Модели сложных систем управления
- •Структурная сложность
- •Иерархия
- •Многообразие
- •Уровни взаимодействия
- •Динамическая сложность
- •Случайность в сравнении с детерминизмом и сложностью
- •Шкалы времени
- •Теоретическое решение
- •Модели сложных систем управления (по Вавилову а.А)
- •Лекция 4 Закономерности систем Целостность
- •Интегративность
- •Коммуникативность
- •Иерархичность
- •Эквифинальность
- •Историчность
- •Закон необходимого разнообразия
- •Закономерность осуществимости и потенциальной эффективности систем
- •Закономерность целеобразования
- •Системный подход и системный анализ
- •Лекция 5 Уровни представления информационных систем
- •Методы и модели описания систем
- •Качественные методы описания систем
- •Методы типа мозговой атаки.
- •Методы типа сценариев.
- •Методы экспертных оценок.
- •Методы типа «Дельфи».
- •Методы типа дерева целей.
- •Морфологические методы.
- •Методика системного анализа.
- •Количественные методы описания систем
- •Лекция 6 Кибернетический подход к описанию систем
- •Моделирование систем
- •Лекция 7 Алгоритмы на топологических моделях.
- •Задачи анализа топологии
- •Представление информации о топологии моделей
- •Переборные методы Поиск контуров и путей по матрице смежности
- •Модифицированный алгоритм поиска контуров и путей по матрице смежности
- •Поиск контуров и путей по матрице изоморфности
- •Сравнение алгоритмов топологического анализа
- •Декомпозиция модели на топологическом ранге неопределенности
- •Сортировка модели на топологическом ранге неопределенности
- •Нахождение сильных компонент графа
- •Заключение
- •Лекция 8 Теоретико-множественное описание систем
- •Предположения о характере функционирования систем
- •Система, как отношение на абстрактных множествах
- •Временные, алгебраические и функциональные системы
- •Временные системы в терминах «вход — выход»
- •Лекция 9 Формы представления модели
- •Нормальная форма Коши
- •Системы нелинейных дифференциальных уравнений различных порядков
- •Гиперграфы
- •Лекция 10 Динамическое описание систем
- •Детерминированная система без последствий
- •Детерминированные системы без последствия с входными сигналами двух классов
- •Учет специфики воздействий
- •Детерминированные системы с последствием
- •Стохастические системы
- •Лекция 11 Агрегатное описание систем
- •Лекция 12 Рецепция информации. Свойства бистабильных систем
- •Устойчивость информационных нелинейных систем. Классификация стационарных состояний
- •Обратимые и необратимые операции.
- •Лекция 13 Концепции общей теории информации Общее понятие Информации
- •Эволюция информации
- •1. Неживые формы
- •2. Простейшие формы жизни
- •3. Клеточная форма жизни
- •4. Многоклеточные формы жизни
- •5. Социальные образования
- •Свойства информации и законы ее преобразования
- •1. Прием информационных кодов
- •2. Интерпретация информации
- •3. Структура компонент данных имвс
- •4. Структура компонент шаблонов действий имвс
- •5. Реализация информации
- •7. Навигация данных в структуре имвс
- •Заключение
- •Лекция 14 Новая Сеть
- •Встречайте биоинформатику
- •Лекция 15 Архитектуры и технологии разработки интероперабельных систем Введение
- •Потребности применений
- •Компоненты архитектуры
- •Интеграция corba и www-технологий
- •Семантическая интероперабельность
- •Системный анализ
- •Определение требований
- •Оценка осуществимости
- •Оценка риска
- •Логическая модель
- •Метод прототипа
- •Выяснение проблем заказчика
- •Проектирование
- •Нисходящее проектирование
- •Принципы уровней абстракции:
- •Моделирование данных
- •Реализация
- •Повышение надежности системы
- •Тестирование
- •Принципы тестирования
- •Виды тестирования:
- •Отладка
- •Внедрение
- •Лекция 17 Что Business Intelligence предлагает бизнесу
- •Данные, информация и технологии
- •Лекция 18 Данные vs. Информация
- •Литература
Декомпозиция модели на топологическом ранге неопределенности
Традиционная декомпозиция модели основывается на выделении части графа в подсистему на основе принципа сильных связей, то есть связи элементов внутри подсистемы должны быть значительно сильнее, чем связи между ними и внешними элементами. Существенную часть этой работы, при иерархическом построении модели, выполняет сам пользователь, используя известную ему информацию о функциональном назначении подсистем исследуемого объекта.
В случае большеразмерной (крупномасштабной) системы, численное интегрирование неявными методами, как правило, не эффективно вследствие значительных временных затрат. Снизить затраты возможно в результате проведения редукции системы за счет формальной (искусственной) декомпозиции системы. Алгоритмы для такой декомпозиции на основе выделения сильных компонент можно найти в литературе. Однако в данной работе использован другой подход, связанный с ориентацией разрабатываемых алгоритмов на неявную схему моделирования. Предлагается выделять последовательные цепи элементов или структуры без обратных связей, уравнения которых впоследствии интегрируются явными методами. Уравнения многовходовых элементов (нелинейные, линейные элементы суммирования и сравнения, суперблоки) и разветвления моделируются по неявной схеме.
В результате получается гиперграф, на ребрах которого образуются подсистемы, не содержащие обратные связи. Формируемая на основе преобразованного гиперграфа система уравнений моделируется по явной схеме интегрирования и периодически корректируется (балансируется) по выделенным переменным на основании неявной схемы.
Пример, иллюстрирующий данный подход, показан на рис. 29-31. Исходная система в виде графа (гиперграфа), представлена на рис. 29. Фрагменты структур, выделенные в процессе предлагаемой топологической декомпозиции для расчета по явной схеме, приведены на рис. 30. Структура, предназначенная для расчета по неявной схеме, представлена на рис. 31. Информация, используемая при выполнении этой задачи, представляется в виде списка СНГГ и списка контуров С, получение которых рассматривалось в 3.2.
Рисунок 21 Исходная структура модели
Рисунок 22
Рис. 30 подсистемы, выделенные по предлагаемой методике, для которых используется явная схема
Рисунок 23 Структура, оставленная по предлагаемой методике для расчетапо неявной схеме
Эффект применения такого метода декомпозиции связан с увеличением скорости расчетов. Это вызвано снижением размерности подсистемы данного уровня иерархии, рассчитываемого неявными методами. Моделирование выделенных подсистемы не несет значительных вычислительных затрат, вследствие того, что подсистемы рассчитываются явными методами. И если проанализировать график затрат времени расчета по полностью неявной схеме, то при использовании декомпозиции системы, представленной на рис. 31, выигрыш по затратам времени составляет более 50 %.
В общем случае расчета всех подсистем по неявной схеме эффект от декомпозиции можно оценить как:
,
где N
- размерность исходной системы,
- размерность i
подсистемы, n -
количество подсистем.
В случае моделирования выделенных подсистем по явной схеме расчета вычислительный эффект, связанный с повышением скорости вычислений можно оценить как:
,
где k -
коэффициент быстродействия вычислений
по неявной схеме,
- время моделирования i-ой выделенной
подсистемы данного уровня по явной
схеме расчета. Причем из сравнения
скоростей расчета по явным и неявным
схемам известно что
.
Переборный алгоритм, реализующий подобную декомпозицию, приведен на рис. 3.6. В блоках 1 и 2 обнуляются исходные списки элементов, вычисляемых по явной и неявной схеме соответственно. В блоке 3 происходит перенумерация номеров переменных. Критерий для сортировки номеров переменных устанавливается так, чтобы переменная на входе блока имела номер меньше, чем на выходе. Нарушение этого порядка означает наличие обратной связи.
В основном цикле по всем переменным рассматриваемой модели (блоки 4, 5 и 10), производится их разделение на два динамических списка.
В том случае, если относительно рассматриваемой переменной (вершины) обнаруживается замкнутый контур, (номер выходной переменой меньше чем номер входной переменной, или одной из входных переменных (блок 6)), то соответствующее уравнение присоединяется к части модели, рассчитываемой по неявной схеме (блок 8). В блоке 7, в случае разветвления, когда выходная переменная, являющаяся следствием этого уравнения , присутствует в качестве причины сразу в нескольких уравнениях, производится дополнительный анализ на предмет необходимости рассчитывать и это уравнение по неявной схеме. Если это разветвление сводится к соединению эквивалентному последовательной цепи элементов, например элемент в приведенном на рис. 29 выделенном фрагменте (обозначенном как - f4), соответствующие это уравнение не требуется рассчитывать по неявной схеме, и оно “отправляется” в другой список (блок 9).