Классификация видов моделирования. Динамические модели. Примеры построения динамических моделей. Пространственные модели местности Аппроксимационные методы интерполяции

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

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

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

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

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

Технические средства и методы создания ПММ

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

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

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

Более высокими, по сравнению с традиционными ЦКМ, требованиями к цифровым ПММ по полноте и точности;
- использованием в качестве исходных дешифровочных фотоснимков, получаемых кадровыми, панорамными, щелевыми и ПЗС съемочными системами и не предназначенных для получения точной измерительной информации об объектах местности.

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

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

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

Цифровую картографическую информацию;
- цифровую картографическую информацию и фотоснимки;
- фотоснимки.

Наиболее перспективными представляются методы , использующие цифровую картографическую информацию и фотоснимки. Основными из них могут быть методы создания цифровых ПММ различной полноты и точности: по фотоснимкам и ЦМР; по фотоснимкам и ЦКМ; по фотоснимкам и ЦММ.

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

Решение задачи разработки методов организации цифровых данных в банке ПММ и принципов построения банка ПММ определяется спецификой пространственных изображений, форматами представления данных. Вполне возможно, что потребуется создавать пространственно-временной банк с четырехмерными моделированием (Х,У,Н,t), где будут генерироваться ПММ в режиме реального времени.

Технические и программные средства отображения и анализа ПММ

Второй проблемой является разработка технических и программных средств отображения и анализа цифровых ПММ. Решение данной проблемы предполагает:

Разработку технических средств отображения и анализа ПММ;
- разработку способов решения расчетных задач.

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

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

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

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

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

Примером статической модели является зависимость длительности технологической операции от затрат ресурсов. Статическая модель описывается алгебраическим уравнением

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

Динамическая модель часто описывается дифференциальным уравнением

Уравнение связывает неизвестную переменную Y и ее производные с независимой переменной t и заданной функцией времени Х(t) и ее производными.

Динамическая система может функционировать в непрерывном или дискретном, квантованном на равные интервалы, времени. В первом случае система описывается дифференциальным уравнением, а во втором случае – конечно-разностным уравнением.

Если множества входных, выходных переменных и моментов времени конечны, то система описывается конечным автоматом.

Конечный автомат характеризуется конечным множеством состояний входа ; конечным множеством состояний ; конечным множеством внутренних состояний ; функцией переходов T(x, q) , определяющих порядок смены внутренних состояний; функцией выходов P(x, q) задающей состояние выхода в зависимости от состояния входа и внутреннего состояния.

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

Динамическую модель называют стационарной , если свойства преобразования входных переменных не изменяются со временем. В противном случае ее называют нестационарной .

Различают детерминированные и стохастические (вероятностные ) модели. Детерминированный оператор позволяет однозначно определить выходные переменные по известным входным переменным.

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

Стохастический оператор позволяет определить по заданному распределению вероятностей входных переменных и параметров системы распределение вероятностей входных переменных.

С точки зрения входных и выходных переменных модели классифицируют следующим образом:

1. Входные переменные подразделяют на управляемые и неуправляемые . Первые могут изменяться по усмотрению исследователя и используются объектом. Вторые непригодны для управления.

2. В зависимости от размерности векторов входных и выходных переменных различают одномерные и многомерные модели. Под одномерной моделью будем понимать такую модель, у которой входная и выходная переменные являются одновременно скалярными величинами. Многомерной называют модель, у которой векторы x (t ) и y (t ) имеют размерность n ³ 2.

3. Модели, у которых входныеи выходные переменные являются непрерывными по времени и по величине, называют непрерывными . Модели, у которых входные и выходные переменные дискретны или по времени, или по величине, называют дискретными .

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

Для сложного объекта часто оказывается невозможным определить содержание каждого шага управления. Это обстоятельство определяет настолько большое число ситуаций, характеризующих состояние объекта, что практически невозможно проанализировать влияние каждой из них на принимаемые решения. В этой ситуации вместо жесткого алгоритма управления, предписывающего на каждом шаге его реализации некоторое однозначное решение, приходится использовать совокупность указаний, соответствующую тому, что в математике принято называть исчислением. В отличие от алгоритма в исчислении продолжение процесса на каждом шаге не является фиксированным и есть возможность произвольного продолжения процесса поиска решения. Исчисления и подобные им системы изучаются в математической логике.

1.5. Концепция построения системной модели сложных объектов

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

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

Будем обозначать элементы через М , а всю их рассматриваемую (возможную) совокупность – через {М} . Принадлежность элемента к совокупности принято записывать .

Связью назовем важный для целей рассмотрения обмен между элементами: веществом, энергией, информацией.

Единичным актом связи выступает воздействие . Обозначая все воздействия элемента M 1 на элемент M 2 через x 12 , а элемента М 2 на М 1 – через x 21 , можно изобразить связь графически (рис. 1.6).

Рис. 1.6. Связь двух элементов

Системой назовем совокупность элементов, обладающую следующими признаками:

а) связями, которые позволяют посредством переходов по ним от элемента к элементу соединить два любых элемента совокупности;

б) свойством (назначением, функцией), отличным от свойств отдельных элементов совокупности.

Назовем признак а) связностью системы, б) – ее функцией. Применяя так называемое “кортежное” (т. е. последовательность в виде перечисления) определение системы, можно записать

где Σ– система; {М } – совокупность элементов в ней; {x } – совокупность связей; F – функция (новое свойство) системы.

Будем рассматривать запись как наиболее простое описание системы.

Практически любой объект с определенной точки зрения может рассматриваться как система. Важно отдавать себе отчет, полезен ли такой взгляд или разумней считать данный объект элементом. Так, системой можно считать радиотехническую плату, преобразующую входной сигнал в выходной. Для специалиста по элементной базе системой будет слюдяной конденсатор в этой плате, а для геолога – и сама слюда, имеющая достаточно сложное строение.

Большой системой назовем систему, включающую значительное число однотипных элементов и однотипных связей.

Сложной системой назовем систему, состоящую из элементов разных типов и обладающую разнородными связями между ними.

Часто сложной системой считают только ту, которая является большой. Разнородность элементов можно подчеркнуть записью

Большой, но не сложной с точки зрения механики, системой является собранная из стержней стрела крана или, например, труба газопровода. Элементами последней будут ее участки междусварными швами или опорами. Для расчетов на прогиб элементами газопровода скорее всего будут считаться относительно небольшие (порядка метра) участки трубы. Так поступают в известном методе конечных элементов. Связь в данном случае носит силовой (энергетический) характер – каждый элемент действует на соседний.

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

Важным классом сложных систем являются автоматизированные системы. Слово “автоматизированный” указывает на участие человека, использование его активности внутри системы при сохранении значительной роли технических средств. Так, цех, участок, сборка могут быть как автоматизированными, так и автоматическими (“цех-автомат”). Для сложной системы автоматизированный режим считается более предпочтительным. Например, посадка самолета выполняется при участии человека, а автопилот обычно используется лишь на относительно простых движениях. Также типична ситуации, когда решение, выработанное техническими средствами, утверждается к исполнению человеком.

Итак, автоматизированной системой называется сложная система с определяющей ролью элементов двух типов: а) в виде технических средств; б) в виде действий человека. Ее символьная запись (сравни с и)

где M T – технические средства, в первую очередь ЭВМ; M H – решения и другая активность человека; М" – остальные элементы в системе.

В совокупности {х }вэтом случае могут быть выделены связи между человеком и техникой {x T - H }.

Структурой системы называется ее расчленение на группы элементов с указанием связей между ними, неизменное на все время рассмотрения и дающее представление о системе в целом.

Указанное расчленение может иметь материальную (вещественную), функциональную, алгоритмическую и другую основу. Группы элементов в структуре обычно выделяются по принципу простых или относительно более слабых связей между элементами разных групп. Структуру системы удобно изображать в виде графической схемы, состоящей из ячеек (групп) и соединявших их линий (связей). Такие схемы называются структурными.

Для символьной записи структуры введем вместо совокупности элементов {М },совокупность групп элементов {М* }и совокупность связей между этими группами {x* }.Тогда структура системы может быть записана как

Структуру можно получить из объединением элементов в группы. Отметим, что функция (назначение) F системы в опущена.

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

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

1.6. Основные этапы инженерного эксперимента, направленного на изучение сложных объектов

Дадим характеристику основных этапов инженерного эксперимента, направленного на изучение сложных объектов.

1. Построение физической основы модели.

Построение физической основы модели, позволяющей выделить наиболее существенные процессы, определяющие качество управления и определить соотношения детерминированных и статистических составляющих в наблюдаемых процессах. Физическая основа модели строится с использованием “проектирования” сложного объекта в различные предметные области, используемые для описания исследуемого объекта. Каждая предметная область задает собственные системы ограничений на возможные “движения” объекта. Учет совокупности этих ограничений позволяет обосновать комплекс используемых моделей и построить непротиворечивую модель.

Построение “каркаса” модели, т. е. ее физической основы, сводится к описанию системы отношений, характеризующих исследуемый объект, в частности, законов сохранения и кинетики процессов. Анализ системы отношений, характеризующих объект, позволяет определить пространственные и временные масштабы механизмов, инициирующих наблюдаемое поведение процессов, качественно охарактеризовать вклад статистического элемента в описание процесса, а также выявить принципиальную неоднородность (если она существует!) наблюдаемых временных рядов.

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

2. Проверка статистической устойчивости результатов наблюдений и определение характера изменения контролируемых переменных.

Эмпирическое обоснование статистической устойчивости сводится к исследованию устойчивости эмпирического среднего по мере возрастания объема выборки (схема удлиняющейся серии). Непредсказуемость экспериментально полученных значений, как известно, не является ни необходимым, ни достаточным условием применения теоретико-вероятностных понятий. Необходимым условием применения теории вероятностей является устойчивость усредненных характеристик исходных величин. Таким образом, требуется проверка с использованием эмпирической индукции статистической устойчивости n -мерной эмпирической функции распределения исходной случайной величины и распределения вероятностей для выборочных оценок.

3. Формирование и проверка гипотез о структуре и параметрах “движения” исследуемого объекта.

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

4. Прогнозирование выходных переменных выполняется с учетом вклада детерминированных и статистических составляющих в конечный результат.

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

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

Задачи синтеза структуры сложных систем только в простейших случаях могут быть решены аналитически. Поэтому возникает потребность в имитационном моделировании (ИМ) элементов проектируемой системы.

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

Для составления ИМ необходимо:

– выделить в объекте моделирования простейшие элементы, для которых известен способ расчета выходных переменных;

– составить уравнения связи, описывающие порядок соединения элементов в объекте;

– составить структурную схему объекта;

– выбрать средства автоматизации моделирования;

– разработать программу ИМ;

– провести вычислительные эксперименты с целью оценки адекватности ИМ, устойчивости результатов имитации и чувствительности ИМ к изменениям управляющих и возмущающих воздействий;

– решить с использованием модели задачу синтеза системы управления.

Классификация моделей

Учебные элементы параграфа:

1. Назначение моделей. Способ воплощения моделей.

2. Абстрактная модель. Вещественная модель.

3. Язык описания модели. Способ построения модели.

4. Подобие. Прямое подобие. Косвенное подобие. Условное подобие.

5. Текстовая модель. Графическая модель. Математическая модель.

6. Аналитическая модель. Экспериментальная модель. Пространственная модель.

7. Соответствие моделей оригиналу. Конечность моделей упрощенность, приближенность моделей.

Целевая предназначенность моделей позволяет всё разнообразное множество моделей разделить на три основных типа по назначению: познавательные , прагматические , чувственные ), для различных объектов (рис. 1.3).

Рис.1.3 Классификация моделей

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

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

Рис. 1.4. Различия между познавательной (а) и прагматической моделью (б)

Использование прагматических моделей состоит в том, чтобы при обнаружении расхождений между моделью и реальностью направить усилия на изменения реальности так, чтобы приблизить реальность к модели

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

Чувственные модели служат для удовлетворения эстетических потребностей человека (произведение искусства).

Другим принципом классификации целей моделирования служит деление моделей на статические и динамические.

Статические модели отражают конкретное состояние объекта (моментальная фотография). Если нужно изучить различия между состояниями системы строят динамические модели.

Модели сознательно создаваемые субъектом (человеком) воплощаются из двух типов материалов годных для их построения - средства окружающего мира и средства самого сознания человека.

По этому признаку модели делятся на абстрактные (идеальные, мысленные, символические) и вещественные (материальные, реальные).

Абстрактные модели являются идеальными конструкциями, построенными средствами мышления. Их различают по языку описания и способу построения (рис.1.3).

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

Формальные модели строятся по данным экспериментальных исследований, в процессе которых устанавливаются взаимосвязи между входными воздействиями и (выходными) параметрами состояния объекта.

Комбинированные модели используют принцип уточнения в эксперименте параметры структуры и закономерностей аналитической модели.

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

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

Будем различать три вида подобия: прямое, косвенное и условное (рис. 1.3).

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

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

Таблица 1.1

Закономерности механических, тепловых, электрических процессов описываются одинаковыми уравнениями: различие состоит лишь в разной физической интерпретации переменных входящих в уравнения.

В результате оказывается возможным не только заменить громоздкое экспериментирование с механической или тепловой системой, на простые опыты с электрической схемой (R , L , C - цепи) или электронной моделью (АВМ).

Роль моделей обладающих косвенным подобием оригинала, очень велика. Часы - аналог времени. Аналоговые и цифровые вычислительные моменты (материальный объект) позволяет найти решение любого дифференциального уравнения.

Третий особый класс реальных моделей образуют модели, подобие которых оригиналу не является ни прямым, ни косвенным, а устанавливается в результате соглашения. Такое подобие называют условным .

Примерами условного подобия служат деньги (модель стоимости), знаки дорожного движения (модель сообщения) и т.д.

С моделями условного подобия приходится иметь дело очень часто. Они являются способом материального воплощения абстрактных моделей, вещественной формой, в которой абстрактные модели могут передаваться от одного человека к другому, хранится до момента их использования, т.е. отчуждаться от сознания и всё-таки сохранять возможность возвращения в абстрактную форму. Это достигается с помощью соглашения о том, какое состояние реального объекта ставится в соответствие данному элементу абстрактной модели. Такое соглашение принимает вид совокупности правил построения моделей условного подобия и правил пользования ими.

Модель объекта можно охарактеризовать несколькими признаками (таблицы 1.2 и 1.3).

Таблица 1.2

Таблица 1.3

Таким образом, мы рассмотрели вопросы о том, что отображает модель, из чего и как она может быть построена, каковы внешние условия осуществления функций модели. Но важен и вопрос о ценности самого моделирования, т.е. отношение моделей с отображаемой ими реальностью: чем отличаются модели и моделируемые объекты или явления, в каком смысле, и до какой степени можно отождествлять модель с оригиналом.

Различают следующие главные отличия модели от оригинала: конечность, упрощенность и приближенность (адекватность).

Модель конечна , так как она отображает оригинал лишь в конечном числе отношений при ограниченном количестве ресурсов.

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

Модель отображает оригинал приближённо. Этот аспект допускает количественную оценку различия (“больше - меньше”, “лучше - хуже”). С приближенностью модели связано понятие адекватность .

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

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

Между моделью и оригиналом кроме различий есть сходства .

Сходство выражается, прежде всего, в истинности модели. Степень истинности модели выясняется только в её практическом соотношении с отображенной ею натурой. При этом изменение условий, в которых ведётся сравнение, весьма существенно влияет на результат: именно из-за этого возможно существование двух противоречивых, но “одинаково” истинных моделей одного объекта. Яркий пример этого – волновая и корпускулярная модели электрона.

Сходство модели и оригинала зависит от сочетания истинного и ложного типов модели. Кроме, безусловно, истинного содержания в модели имеется: 1) условно истинное (т.е. верное лишь при определенных условиях); 2) предположительно истинное (т.е. условно – истинное при неизвестных условиях), а следовательно, логичное. При этом в каждых конкретных условиях неизвестно точно, каково же фактическое соотношение истинного и ложного в данной модели. Ответ на этот вопрос только практика.

Однако в любом случае модель принципиально беднее оригинала, это ее фундаментальное свойство.

Завершая рассмотрение понятия “моделирование” следует подчеркнуть, что, собираясь создавать модель системы нужно иметь в виду следующую схему (рис. 1.5):

Рис.1.5. Оценка ситуации моделирования

Широкое распространение при исследовании технических систем получил метод математического моделирования, который рассмотрим более подробно.

Вопросы

1. Какие признаки образуют семейство моделей по назначению?

2. Какие признаки образуют семейство моделей по способу воплощения?

3. Какие признаки образуют типы моделей по подобию?

4. Чем отличается прагматическая модель от познавательной модели?

5. На каких языках можно представлять модели?

6. Каковы виды прямого подобия материальных моделей?

7. Чем отличаются между собой вещественные модели косвенного и условного подобия?

8. Каковы признаки отличия модели и оригинала?

9. С помощью, каких вопросов можно оценить ситуацию моделирования?

§ 1.1. 4. Объекты моделирования и их классификация

Учебные элементы параграфа:

1. Признаки классификации объектов моделирования .

2. Тип, свойства и методы исследования объекта.

3. Непрерывные - дискретные объекты.

4. Стационарные - не стационарные объекты.

5. Сосредоточенные - распределённые объекты.

6. Одномерные, многомерные объекты.

7. Детерминированные - стохастические объекты.

8. Динамические - статические объекты.

9. Линейные, не линейные объекты.

10. Аналитические, идентифицируемые, комбинированные методы исследования.

11. Математическая модель .

12. Математическое моделирование .

13. Параметры и фазовые переменные модели.

14. Характеристики моделей (универсальность, точность, адекватность и экономичность).

15. Признаки классификации ММ:

16. Структурные - функциональные модели;

17. Полные - макромодели;

18. Аналитические - алгоритмические модели;

Свойства стационарности – не стационарности характеризуют степень изменчивости объекта во времени.

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

Если пространственной протяжённостью можно пренебречь и считать, что независимой переменной, характерной для объекта, является только время, то говоря

т об объекте с сосредоточенными параметрами .

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

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

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

В статическом объекте связь входных и выходных параметров не учитывает динамических эффектов.

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

Объекты с одним выходом называют одномерными , а с несколькими многомерными .

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

Вопросы для самоконтроля и подготовки к МК:

По каким признакам классифицируют объекты моделирования?

Чем отличаются детерминированные объекты от стохастических?

По каким признакам можно отличить динамический объект от статического?

Что характерно для непрерывного объекта моделирования?

ЕСТЕСТВЕННЫЕ И ТЕХНИЧЕСКИЕ НАУКИ

УДК 519.673: 004.9

ИНТЕРПРЕТАЦИЯ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ ПРОСТРАНСТВЕННОГО ДИНАМИЧЕСКОГО ОБЪЕКТА В КЛАССЕ ФОРМАЛЬНЫХ СИСТЕМ*

А.Я. Фридман

Институт информатики и математического моделирования КНЦ РАН

Аннотация

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

Ключевые слова:

концептуальная модель, пространственный динамический объект, семиотическая формальная система.

Введение

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

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

Представленная в данной работе ситуационная система моделирования (ССМ) на основе древовидной ситуационной концептуальной модели (СКМ) есть один из вариантов

* Работа частично поддержана грантами РФФИ (проекты № 13-07-00318-а, № 14-07-00256-а,

№ 14-07-00257-а, № 14-07-00205-а, № 15-07-04760-а, № 15-07-02757-а).

реализации технологий типа CASE (Computer Aided Software Engineering) и RAD (Rapid Application Development).

Семиотические формальные системы

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

Стремление устранить недостатки формальных систем при их использовании в искусственном интеллекте привело к появлению семиотических систем, формализуемых восьмеркой :

S::= (В, F, A, R, Q(B), Q(F), Q(A), Q(R)). (1)

В (1) первые четыре компонента те же, что и в определении формальной системы , а остальные компоненты - правила изменения первых четырех компонентов под влиянием накапливаемого в базе знаний опыта о строении и функционировании сущностей в данной проблемной среде. Теория подобных систем находится на начальной стадии развития, но существует много примеров решения конкретных задач в рамках этой парадигмы. Ниже описывается один из таких примеров.

Основы ситуационного моделирования

При постановке задачи и подготовке процесса моделирования КМПО предназначена для представления знаний о структуре исследуемой предметной области. Для элементов КМПО существует соответствие между собственно объектом реального мира и его модельным представлением. В обеспечение возможности автоматизации последующих этапов моделирования осуществляется отображение модели предметной области на адекватную ей формальную систему. Этот переход реализуется в ходе построения КМПО путем задания каждому ее элементу некоторого формального описания. В результате, завершение построения КМПО будет соответствовать переходу от неформальных знаний об исследуемой предметной области к их формальному представлению, допускающему только однозначную процедурную трактовку. Полученная формальная модель носит декларативный характер, так как в ней описывается в первую очередь состав, структура и отношения между объектами и процессами, независимо от конкретного способа их реализации в компьютере.

Декларативный язык описания СКМ состоит из двух частей: части, соответствующей объектам описываемого мира, и части, соответствующей отношениям и атрибутам представленных в модели объектов. В качестве математической основы декларативного языка использована аксиоматическая теория множеств.

В СКМ описываются три вида элементов (сущностей) реального мира - объекты, процессы и данные (или ресурсы). Объекты отображают организационную и пространственную структуру объекта исследования, с каждым из них может быть связан набор процессов. Под процессом понимается некоторое действие (процедура), преобразующее подмножество данных, называемых входными по отношению к рассматриваемому процессу, в другое их подмножество,

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

именуемое выходным. Данные характеризуют состояние системы. Они используются при реализации процессов, служат результатами их выполнения. Выполнение любого процесса изменяет данные и соответствует переходу системы из одного состояния в другое. Взаимосвязи и взаимодействие объектов реального мира описывается в модели с помощью отношений, задаваемых на множествах объектов, процессов и данных. Каждое отношение связывает элемент модели с некоторым множеством других элементов.

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

Атрибуты, описывающие тип отношения иерархии , конкретизируют представление объектов модели на следующем, нижнем уровне иерархии. Тип отношения «композиция» (&) определяет, что объект строится агрегацией его подобъектов. Тип «классификация» (v) указывает, что объект верхнего уровня есть обобщение группы объектов нижнего уровня. Отношение типа «классификация» в СКМ используется для представления различных вариантов элемента верхнего уровня. Тип «итерация» (*) позволяет определять в СКМ итеративные процессы и описывать регулярные структуры данных.

В зависимости от типа отношения иерархии объекту назначается управляющее данное. Управляющие данные используются для доопределения структуры процессов, имеющих тип отношений иерархии «классификация» или «итерация», и данных, имеющих иерархическое отношение типа «итерация».

Формальное представление СКМ дает возможность существенно автоматизировать анализ корректности структуры и разрешимости СКМ .

Важный аспект эффективности СКМ состоит в удобстве представления результатов моделирования. В настоящее время наиболее перспективной средой для компьютеризованного исследования объектов класса СДО считается географическая информационная система (ГИС) . Кроме продвинутых способов визуализации и графической обработки данных, инструментальные средства ГИС в принципе позволяют ставить задачи для пространственно координированных расчетов в дружественной к пользователю графической среде, хотя это требует дополнительных разработок программного обеспечения. Кроме того, ГИС-пакеты не рассчитаны на анализ динамики объекта и серьезную математическую обработку данных.

Еще одно достоинство ГИС в рамках рассматриваемой задачи заключается в том, что с каждым графическим элементом можно связать дополнительные поля БД, доступные для модификации внешними вычислительными модулями, в отличие от графических атрибутов. В частности, в этих полях можно хранить атрибуты концептуальной модели, относящихся к заданному элементу, и другие параметры, необходимые для организации и проведения моделирования.

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

Формальное описание СКМ

СКМ базируется на представлении объекта моделирования в виде древовидного И-ИЛИ графа, отображающего иерархическую декомпозицию структурных элементов СДО в соответствии с их организационными связями.

Чтобы избежать вычислительных проблем, связанных с малыми изменениями данных, и обеспечить поддержку совместной расчетно-логической обработки данных, в СКМ выходными данными процедур обработки (исключение составляют данные, вычисляемые ГИС) могут быть только данные с дискретным конечным множеством значений (типа списков). Если значения некоторого данного есть строковые константы, то такое данное называется параметром (категория PAR), а имеющее числовые значения именуется переменной (категория VAR), и над ним можно выполнять определенные математические операции. Если результат вычислений представляет собой значение переменной, он округляется до ближайшего значения из списка допустимых значений. В дальнейшем, если сказанное относится к данным любого разрешенного в СКМ типа, употребляется термин «данное». Таким образом, множество имен данных делится на множества имен переменных и параметров:

D::=< Var, Par >, Var::= {var }, i = 1, N ;

7 7 к l 7 v 7 (2)

Par::={parj}, j = 1, Np, где Nv и Np - мощности этих множеств.

Данные моделируют ресурсы (количественные характеристики) объектов или процессов (категория RES), переменные могут также использоваться как настроечные параметры функций (критериев) качества функционирования элементов СКМ (категория ADJ). Соответственно, множество имен переменных делится на подмножество имен ресурсов элементов СКМ и подмножество имен настроечных параметров критериев качества этих элементов:

Var::=< Res, Adj > (3)

Отдельную категорию (категорию GIS) составляют графические характеристики объектов СКМ, непосредственно вычисляемые в ГИС. Все они относятся к переменным, но не рассматриваются как списки, так как используются только как входные ресурсы элементов модели и не меняются в ходе имитации.

Объекты СКМ имеют три основные характеристики: имя, функциональный тип, который определяет структуру и функции объекта и используется в процессе анализа корректности СКМ, и имя суперобъекта, доминирующего данный объект в СКМ (отсутствует для объекта верхнего уровня). По положению в дереве объектов и на карте выделяются три категории объектов СКМ: примитивы (категория LEAF), структурно неделимые с точки зрения глобальной цели моделирования, элементарные объекты (категория GISC), географически связанные с одним ГИС-элементом (полигоном, дугой или точкой какого-либо покрытия), и составные объекты (категория COMP), состоящие из элементарных и/или составных объектов. Структура объектов категории GISC в СКМ может быть достаточно сложной, но все их подобъекты имеют одну и ту же географическую привязку. Множество объектов образует иерархию:

О = {а 0Уа}::=2°а, (4)

где а = 1, Nl - номер уровня дерева объектов, к которому относится данный объект (L - общее количество уровней декомпозиции);

вб = 1, Nб - порядковый номер объекта на его уровне декомпозиции;

г = 1, N6_ - порядковый номер суперобъекта, доминирующего заданный элемент на вышележащем уровне;

Об - множество объектов, принадлежащих уровню с номером а.

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

Для обеспечения связности СКМ принимается, что существует единственный суперобъект, доминирующий все объекты первого уровня декомпозиции, то есть справедливо соотношение:

O. -i0.”} 0, = (5)

Процессы в СКМ отображают преобразования данных и реализуются различными способами в зависимости от присвоенной процессу одной из трех следующих категорий: внутренние процессы (категория INNER), все их входные и выходные данные относятся к одному объекту; внутриуровневые процессы (категория INTRA), связывающие объекты СКМ, не подчиняющиеся друг другу; межуровневые процессы (категория INTER), описывающие передачу данных между объектом и подобъектами или между объектом и суперобъектом. Введенное категорирование процессов несколько усложняет процесс создания СКМ (в некоторых случаях может потребоваться создавать фиктивные процессы, обеспечивающие такую типизацию), но позволяет сделать процедуры формального контроля СКМ значительно более полными и детальными.

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

Схема концептуальной модели образуется кортежем:

^ССМ::=<о,P,DCM,H,OP,PO,U >, (6)

где O - множество объектов КМПО (9);

P::= {pn I n = 1, Np - множество процессов КМПО;

DCM с D - множество данных концептуальной модели, где D определено в (4), (5);

H - отношение иерархии объектов, которое с учетом (4) и (5) примет вид:

где Hб с O6х B,(O6) - отношения иерархии для каждого из уровней дерева объектов, причем b"(o6) есть разбиение множества Оа;

OP с O х B (P) - отношение «объект - порождающие его выходные данные процессы», причем B (P) есть разбиение множества P;

PO с P х B(О) - отношение «процесс - создающие его входные данные объекты»;

U::= Up иU0 - отношение, формализующее управление процессом вычислений на основе СКМ, имеет составляющие следующего вида:

U с P х B(Res) - отношение «процесс - управляющее данное»;

Uo с О х B(Res) - отношение «объект - управляющее данное».

Отношение «объект (процесс) - управляющее данное» ставит в соответствие некоторому объекту (процессу) модели данное, которое доопределяет этот объект при переходе к алгоритмической интерпретации. Передача данных между объектами осуществляется только через списки входных и выходных данных этих объектов, что согласуется с принципами инкапсуляции данных, принятыми в современном объектно-ориентированном программировании. Все процессы, приписанные к одному объекту, описываются отношением OA с О х B(P) «объект - приписанные к нему процессы». Это отношение не входит в схему

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

СКМ, поскольку, в отличие от отношений Н, ОР и РО, не задается пользователем при конструировании модели, а формируется автоматически.

Отношения, определенные в модели, удобно представлять в форме функций (7), частично определенных на множествах О и Р, с областями значений В(Р), B(O) или В"(Об). Названия

функций обозначены строчными символами, соответствующими прописным символам в названиях отношений:

h:°б_1 ^B"(Oa),(Vo;. е06,Vo! е°б_Hoj = hб(o))оojHbог); op . O ^ B(p^ (Vo е O, Vp е р)({р; = opio)) «■ o,Opp]);

Po.p ^ b(0), (vo е O, VP] е p)((o = po(P])) « P]OPot);

oa: O ^ B(P),(VOi е O, Vp} е P)((p} = oa(ot))otOAp});

: p ^ B(Res\(vPi е p, Vres] е Res)((res] = up (pi)) ptUpres]);

: O ^ B(Res), (Vo1 е O, VreSj е Res){(resj = uo (o1)) o1Uo resj).

Множества значений функций (7), формирующие сечения областей значений введенных отношений по некоторому элементу областей их определения, обозначаются жирным шрифтом:

h6 (oi)::= \Р] : o] = ha(oi)}; oP(oi) ::= \Р] : Р] = oP(oi)};

ро(Р]) ::= {o: oi = po(p])}; oci(pi) ::= ^ . p} = oa(oi)}; (8)

up (Pi) ::= \res]: res] = up (Pi)}; uo (o) ::= \res]: res] = uo (o)}.

Аналогично (8) записываются сечения введенных отношений по подмножествам их областей определения, строящихся как объединения всех сечений по элементам этих подмножеств. Например, h (Oi), где Oi с O6_х, есть множество объектов уровня а, доминируемых данным подмножеством объектов oj е O t, которые находятся на уровне а - 1.

Ниже также используется множество подчиненности объекта oi h ’(oi)::= U h(oi).

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

Теорема 1. В конечной СКМ не может иметь места рекурсивная декомпозиция типов исполнителей объектов, то есть ни один объект, входящий во множество подчиненности некоторого объекта, не может иметь исполнителя того же типа, что и исходный объект.

Теорема 2. В конечной СКМ не может иметь места инверсия подчиненности исполнителей объектов, то есть ни один объект, входящий во множество подчиненности некоторого объекта с исполнителем типа е1, не может иметь исполнителя того же типа, что и любой другой объект, во множестве подчиненности которого содержится какой-либо объект с исполнителем типа е1.

Принципы контроля разрешимости СКМ

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

реализации моделирования разрешимость состоит в обеспечении выбора корректного фрагмента модели, описывающего изучаемую ситуацию. Функциональное различие между перечисленными аспектами состоит в том, что при анализе всей модели оценивается только потенциальная возможность моделирования всех описанных в модели объектов, а при анализе конкретной ситуации дополнительно ставятся задачи выбора минимального фрагмента, описывающего эту ситуацию, и количественного сопоставления возможных альтернатив, в ней содержащихся. Второй аспект разрешимости исследуется в , здесь же представлены особенности анализа разрешимости СКМ в целом, который автоматически проводится после завершения контроля ее корректности, а по требованию пользователя может быть выполнен в любое время. В общем случае, задачу анализа разрешимости можно сформулировать в следующем виде: указывается два множества элементов модели - исходное и целевое, при этом модель разрешима, если существует последовательность шагов, позволяющая получить целевое множество из исходного. Для этого пригодны простые волновые алгоритмы .

При анализе обоих аспектов разрешимости концептуальная модель рассматривается как формальная система. В ее алфавит входят:

символы, обозначающие элементы модели (pi, on, resj, ...);

функциональные символы, описывающие отношения и связи между элементами модели (ha, ор,...);

специальные и синтаксические символы (=, (,), ^,...).

Множество формул в рассматриваемой формальной системе образуют: собственно символы, обозначающие элементы КМПО:

{Pi е P} u {Oj eO] u {resk e DCM}; (9)

выражения (7), (8) и другие формулы для вычисления функций и множеств, определяемых с помощью отношений, которые введены над множествами (5);

выражения вычислимости для каждого процесса концептуальной модели:

list_in(pi) \ list out(pi), Up(pi) [, sp)] ^ p„ list_out(p,), (10)

где в силу принятого в ССМ предположения об автономности структуры каждого объекта во множество s(p) процессов, предшествующих pi, могут входить только процессы, приписанные к тому же объекту:

s(pi) с оа(оа"1(р1)); (11)

выражения вычислимости для каждого объекта концептуальной модели: list_in(oi), up(Oj), оа(о,), h(o,) ^ oi, list_out(oi); (12)

выражения вычислимости входных данных каждого объекта концептуальной модели, получающего материальные ресурсы от других объектов (ог: oo(o) Ф 0):

00(0,) ^ list_in(oi). (13)

В выражения (9)-(13) входят только материальные ресурсы, то есть в них не анализируются выходные данные процессов настройки и обратной связи, относящиеся к информационным ресурсам СКМ. Кроме того, вычислимость определенных в предпосылках этих выражений множеств констатируется при условии вычислимости всех элементов указанных множеств.

Дополнительного обоснования требует первая предпосылка предложения (10). Как известно, при наличии циклов по ресурсам в предметной области могут появляться данные, которые при построении концептуальной модели должны декларироваться как входные и выходные для некоторого процесса КМПО одновременно. По принятому в ССМ предположению такие циклы вносятся внутрь объектов КМПО, то есть должны учитываться при анализе разрешимости на уровне процессов.

Если при анализе разрешимости СКМ использовать выражение вычислимости, предложенное в и принимающее для СКМ вид:

list_in(p,) & up(p,) [& s(p,)] ^ p, & list_out(p,), (14)

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

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

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

Во множество аксиом рассматриваемой формальной системы входят:

аксиомы вычислимости всех ресурсов, относящихся к внешним данным (имеющим исполнителей типа DB, GISE или GEN)

|- resj: (ter(resj) = DB) v (ter(resj) = GISE) v (tS[(resJ) = GEN); (15)

аксиомы вычислимости всех ГИС-элементов СКМ (типы которых начинаются символами dot, pol или arc)

|- 0J: <х> dot) v (to(o/) Ю pol) V (to(oj) Ю arcX (16)

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

В рассматриваемой формальной системе заданы два правила вывода:

правило непосредственного следования -

Fi, Fi ^ F2 |- F2; (17)

правило следования с равенством -

Fi, Fi = F2, F2 ^ F3 |- F3, (18)

где F, - некоторые формулы из (9)-(13).

Структура описанной формальной системы аналогична структуре системы, предложенной в . Существенное отличие - вид выражений вычислимости (10), (12), (13) и состав аксиом, на основе которых проводится анализ разрешимости концептуальной модели.

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

Определение 1. СКМ разрешима тогда и только тогда, когда для каждого элемента модели, не входящего во множество аксиом, применение выражений вычислимости вида (10), (12), (13) к аксиомам и уже доказанным формулам (множеству теорем T) позволяет построить вывод с применением правил (17), (18) из множества аксиом (A) формальной системы (9)-(13).

При анализе разрешимости, который, согласно определению 1, представляет собой разновидность методов автоматического доказательства теорем, используется понятие «механизм вывода», в данном случае оно понимается как способ, алгоритм применения правил вывода (17), (18), обеспечивающий эффективное доказательство всей требуемой совокупности формул из множества T теорем (то есть синтаксически правильно построенных формул) рассматриваемой формальной системы. Наиболее простой способ организации вывода -«потоковый» механизм, при котором множество считающихся доказанными формул A", вначале равное множеству аксиом (A1 = A), расширяется в результате применения правил вывода . Если по истечении некоторого времени T с A", то модель разрешима, если это неверно и не удается применить ни одно из правил, то СКМ неразрешима.

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

Этап I. Применяется правило (17) для получения всех возможных следствий из формул и аксиом.

Этап II. Применяются правила (17), (18) для получения всех возможных следствий из аксиом и полученных на предыдущем этапе доказательства формул.

Этап III. Применяется правило (13) для расширения списка считающихся вычислимыми объектов.

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

Обработка ситуаций

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

Наличие процедур обобщения, основанных на структуре отношений между элементами ситуаций;

Возможность работы с именами отдельных понятий и ситуаций;

Необходимость согласования классификации ситуаций по некоторому основанию с классификацией на множестве воздействий (управлений).

Для реализации перечисленных принципов классификации и обобщения ситуаций в ССМ предусмотрен ряд программных средств:

Аппарат синтеза и анализа типов ситуаций, в частности, оптимальных достаточных ситуаций, ориентированный на решение вопросов координации и согласования управляющих воздействий на различных уровнях СКМ;

Инструментальные средства порождения и проверки гипотез о сравнительных характеристиках достаточных ситуаций в рамках вероятностной интерпретации этих гипотез с учетом влияния инструментальных погрешностей исходных данных на результаты моделирования;

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

Синтез и анализ типов ситуаций. В результате классификации ситуаций по разработанным для ССМ алгоритмам генерируется большое количество классов ситуаций, полученных для различных объектов принятия решений (ОПР) и различных листьевых объектов фрагментов. С целью аккумуляции знаний о результатах классификации в ССМ предлагается использовать средства обобщения описаний ситуаций по синтезированным типам этих ситуаций. Этот способ конкретизирует общие рекомендации по построению иерархического описания ситуаций в системах ситуационного управления . Аналогично описанию полной ситуации обобщенное описание каждой достаточной ситуации строится на основе перечисления входящих в нее листьевых объектов и ОПР, что однозначно ее определяет ввиду древовидности декомпозиции объектов СКМ. Для синтеза обобщенного описания ситуации на первом уровне иерархии описаний применяется та же процедура, которая обеспечивает генерирование типов исполнителей объектов по типам приписанных к ним процессов . Исходные данные в ней -типы листьевых объектов и ОПР исследованных достаточных ситуаций, а результат работы -

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

уникальный тип достаточной ситуации, дополненный порядковым номером ее класса и ее номером в этом классе. В отличие от лексикографического порядка, который используется при генерации типов исполнителей объектов, здесь типы объектов, входящих в ситуацию, упорядочиваются по их положению в дереве объектов (4). Порядковый номер класса определяется номером ресурса, доминирующего в этом классе, согласно списку выходных ресурсов ОПР, а порядковый номер ситуации в пределах класса задается ее предпочтительностью . Оптимальная достаточная ситуация данного класса получает номер 1. Абсолютной шкалой классификации ситуаций естественно считать их классификацию по глобальному критерию качества, то есть по принадлежности к тому или иному классу ситуаций, обеспечивающих доминирование одного из выходных параметров глобального объекта СКМ по обобщенным затратам , которые рассчитаны по критерию качества ОПР этой достаточной ситуации. Первым ключом при построении типа ситуации выбран ее порядковый номер в пределах класса, затем идет номер ОПР, затем - индексы типов списка листьевых объектов, а в конце - номер класса. Описанный порядок индексации использован для удобства формирования запросов типа: «Найти среди оптимальных достаточных ситуаций некоторого заданного уровня ситуацию, составляющую подграф такой-то глобальной оптимальной ситуации», которые типичны при решении задач координации управлений на различных уровнях принятия решений.

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

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

Еще одна группа правил ориентирована на оценку эффективности заложенных в КМПО альтернатив. Идея поиска заключается в следующем: степень эффективности той или иной альтернативы (как для процессов, так и для объектов) тем выше, чем шире набор классов ситуаций, в которые попадают достаточные ситуации с различными вариантами данной альтернативы. И обратно: если ни один из имеющихся вариантов выбора не меняет класс достаточной ситуации, то данная альтернатива не предлагается пользователю при расширении минимальных полных ситуаций, по крайней мере, для того же самого ОПР, что позволяет ускорить процесс классификации ситуаций. С другой стороны, желательно уметь заранее определять тот набор свойств, которыми обладают самые «радикально действующие» альтернативы, а точнее, несколько наборов - для каждого потенциально желательного варианта изменения областей доминирования.

Все полученные в ходе обобщения правила (по терминологии ситуационного управления они относятся к логико-трансформационным правилам) хранятся в ЭС ССМ и используются как управляющие формулы в процессе классификации ситуаций. Следует отметить еще одну особенность разработанного вероятностного механизма вывода - возможность снизить влияние погрешностей исходных данных на результаты обобщения ситуаций путем учета вероятности ошибочного отнесения ситуации к тому или иному классу. Рассмотрим основную идею его применения для повышения достоверности обобщения ситуаций.

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

Анализ пространственно-временных зависимостей. Работа с пространственно-временными зависимостями осуществляется с помощью библиотеки пространственно-временных функций (ПВФ) - программных модулей, обеспечивающих выборку из соответствующих баз исходных данных (БИД) релевантной информации для текущего запроса, занесение этой информации в основную БД и ее обработку для принятия решения об истинности или ложности условия, формирующего запрос. Поэтому в общем случае программа каждой ПВФ включает три части: драйвер БИД, организующий интерфейс основной БД и БИД, программу записи результатов запроса в основную БД и программу интерпретации результатов запроса. При этом изменение предметной области приводит к необходимости модифицировать только драйверы БИД.

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

Временная функция ИНТЕРВАЛ поддерживает выборку ретроспективных данных за некоторый промежуток времени, ее синтаксис таков:

в_течение (<условие>,<начало>,<конец>,<доля>), (19)

где <условие> может иметь вид:

<имя> <знак> <подсписок_значений (n)>, (20)

оно определяет контролируемую характеристику элемента массива;

<начало> и <конец> задают соответственно начальный и конечный моменты интервала проверки (их отстояние в прошлое от текущего момента времени);

<доля> определяет минимальный допустимый процент (количество) элементов среди всех анализируемых, которые должны удовлетворять <условию>, чтобы функция (19) дала утвердительный ответ на запрос.

Если введено нулевое значение параметра <начало>, проводится анализ всей имеющейся информации до момента времени <конец>. Аналогично, при нулевом значении параметра <конец>, анализируются данные от момента <начало> до текущего момента времени. При совпадении величин <начало> и <конец> рассматривается только один момент времени в прошлом.

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

к заданному в запросе моменту времени:

момент (<условие>,<время>,<доля>), (21)

где <условие> и <доля> формируются аналогично функции (19), а <время> - фиксированный момент времени, для которого производится операция.

Пространственные функции записываются в форме:

соседние (<условие>,<доля>) (22)

сходные (<условие>,<доля>,<параметры_сходства>). (23)

Параметры <условие> и <доля> задаются как в функциях (19), (21); различие между видами пространственных функций заключается в критерии отбора элементов для совместного анализа: в функции (22) анализируются элементы, примыкающие к текущему геометрически, в функции (23) отбираются элементы, имеющие одинаковые с текущим элементом значения <параметров_сходства>, выбираемых из списка имен существующих параметров и переменных. Например, в приложении ССМ к задаче прогнозирования горных ударов <параметр_сходства> имел имя «разлом» и использовался для совместного анализа характеристик элементов объекта, принадлежащих к тектоническому разлому.

Функция БЛИЖАИШИИ предназначена для определения объекта, имеющего наиболее близкие пространственные координаты к заданным. Функция возвращает утвердительный ответ, если координаты объекта попадают в заданную окрестность. Функция имеет следующий вид:

ближайший (<условие>,<координаты>,<допуск>), (24)

где параметр <условие> имеет уже описанный смысл, параметр <координаты> описывает пространственные характеристики точки привязки, параметр <допуск> задает допустимое удаление по пространственным координатам от указанной точки.

ПВФ можно использовать только в частях ЕСЛИ правил и управляющих формул ЭС. Так как все ПВФ имеют выход логического типа, допускается однократная вложенность различных ПВФ друг в друга, то есть запросы вида

соседние (сходные (<условие>,<доля1>,<параметры_сходства>),<доля2>). (25)

При этом драйвер БИД генерирует запрос, по которому вначале отбираются элементы, удовлетворяющие самой внутренней ПВФ, затем из них отбираются удовлетворяющие более внешней, и т.д. Характеристики отобранных элементов переписываются в БД (эта информация используется в режиме объяснения), интерпретатор вычисляет выходное значение ПВФ, которое заносится в базу правил. Вложенные запросы представляют наибольший интерес, так как

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

позволяют путем комбинирования ПВФ оценивать совместно пространственные и временные характеристики исследуемого объекта.

Описанные выше ПВФ обеспечивают анализ достаточно широкого класса

пространственно-временны"х соотношений между характеристиками элементов объекта экспертизы, однако в зависимости от специфики предметной области возможна разработка и других ПВФ.

В отличие от правил, генерируемых при обобщении ситуаций по их типам, правила обобщения рассматриваемой здесь группы относятся не к ситуации в целом, а к отдельным объектам, процессам или даже ресурсам СКМ. В слоты ПВФ <условие>

и <параметры_сходства> можно включать логические условия и различные характеристики элементов СКМ, в том числе типы и категории этих элементов. В ССМ не предусмотрено автоматических процедур генерации подобных правил, они конструируются пользователем, и вероятности в них пересчитываются в ходе классификации аналогично изложенному выше.

Заключение

На основе введенных формальных определений различных видов ситуаций, возникающих при моделировании СДО, разработана его иерархическая модель, включающая: формальную систему - СКМ и интегрированную с ней ЭС - со множеством базовых элементов (7)-(10), набором синтаксических правил порождения одних элементов СКМ другими в виде отношений типа (7), (8), системой аксиом (15), (16) и правилами вывода (17), (18), а также правила изменения компонентов этой формальной системы в зависимости от целей моделирования и сложившейся на объекте исследования ситуации, задаваемые посредством выбора соответствующих фрагментов СКМ и управления выводом в ЭС ССМ. СКМ относится к семиотическим (знаковым) моделям, поскольку в ней разработаны три группы логикотрансформационных правил - пополнения, классификации и обобщения ситуаций.

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

ЛИТЕРАТУРА

1. Кузьмин И.А., Путилов В.А., Фильчаков В.В. Распределенная обработка информации в научных исследованиях. Л.: Наука, 1991. 304 с. 2. Цикритзис Д., Лоховски Ф. Модели данных. М.: Финансы и статистика, 1985. 420 с. 3. Самарский А.А. Введение в численные методы. М.: Наука, 1987. 288 с. 4. Бржезовский А.В., Фильчаков В.В. Концептуальный анализ вычислительных систем. СПб.: ЛИАП, 1991. 78 с. 5. Фридман А.Я. Ситуационное управление структурой промышленно-природных систем. Методы и модели. Saarbrucken, Germany: LAP LAMBERT Academic Publishing, 2015. 530 с. 6. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. 288 с. 7. Митчел Э. Руководство ESRI по ГИС-анализу. 1999. Т. 1. 190 с.

8. Концептуальное моделирование информационных систем / под ред. В.В. Фильчакова. СПб.: СПВУРЭ ПВО, 1998. 356 c. 9. Автоматическое порождение гипотез в интеллектуальных системах / сост. Е.С. Панкратова, В.К. Финн. М.: ЛИБРОКОМ, 2009. 528 с. 10. Darwiche A. Modeling and Reasoning with Bayesian Networks. Cambridge University Press, 2009. 526 p.

Фридман Александр Яковлевич - д.т.н., профессор, ведущий научный сотрудник Института информатики и математического моделирования КНЦ РАН; e-mail: fridman@iimm. kolasc.net.ru

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

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

Идеальное моделирование основано на идеальной (мысленной) аналогии. В экономических исследованиях (на высоком уровне их проведения, а не на субъективных желаниях отдельных руководителей) это основной вид моделирования. Идеальное моделирование, в свою очередь, разбивается на два подкласса: знаковое (формализованное) и интуитивное моделирование. При знаковом моделировании моделями служат схемы, графики, чертежи, формулы. Важнейшим видом знакового моделирования является математическое моделирование, осуществляемое средствами логико-математических построений.

Интуитивное моделирование встречается в тех областях науки и практики, где познавательный процесс находится на начальной стадии или имеют место очень сложные системные взаимосвязи. Такие исследования называют мысленными экспериментами. В экономике в основном применяется знаковое или интуитивное моделирование; оно описывает мировоззрение ученых или практический опыт работников в сфере управления ею. Второй вариант классификации приведен на рис. 1.3.В соответствии с классификационным признаком полноты моделирование делится на полное, неполное и приближенное. При полном моделировании модели идентичны объекту во времени и пространстве. Для неполного моделирования эта идентичность не сохраняется. В основе приближенного моделирования лежит подобие, при котором некоторые стороны реального объекта не моделируются совсем. Теория подобия утверждает, что абсолютное подобие возможно лишь при замене одного объекта другим точно таким же. Поэтому при моделировании абсолютное подобие не имеет места. Исследователи стремятся к тому, чтобы модель хорошо отображала только исследуемый аспект системы. Например, для оценки помехоустойчивости дискретных каналов передачи информации функциональная и информационная модели системы могут не разрабатываться. Для достижения цели моделирования вполне достаточна событийная модель, описываемая матрицей условных вероятностей ||рij|| переходов i-го символа алфавита j-й.В зависимости от типа носителя и сигнатуры модели различаются следующие виды моделирования: детерминированное и стохастическое, статическое и динамическое, дискретное, непрерывное и дискретно-непрерывное. Детерминированное моделирование отображает процессы, в которых предполагается отсутствие случайных воздействий. Стохастическое моделирование учитывает вероятностные процессы и события. Статическое моделирование служит для описания состояния объекта в фиксированный момент времени, а динамическое - для исследования объекта во времени. При этом оперируют аналоговыми (непрерывными), дискретными и смешанными моделями. В зависимости от формы реализации носителя моделирование классифицируется на мысленное и реальное. Мысленное моделирование применяется тогда, когда модели не реализуемы в заданном интервале времени либо отсутствуют условия для их физического создания (например, ситуация микромира). Мысленное моделирование реальных систем реализуется в виде наглядного, символического и математического. Для представления функциональных, информационных и событийных моделей этого вида моделирования разработано значительное количество средств и методов. При наглядном моделировании на базе представлений человека о реальных объектах создаются наглядные модели, отображающие явления и процессы, протекающие в объекте. Примером таких моделей являются учебные плакаты, рисунки, схемы, диаграммы. В основу гипотетического моделирования закладывается гипотеза о закономерностях протекания процесса в реальном объекте, которая отражает уровень знаний исследователя об объекте и базируется на причинно-следственных связях между входом и выходом изучаемого объекта. Этот вид моделирования используется, когда знаний об объекте недостаточно для построения формальных моделей.

Динамическое моделирование – многошаговый процесс, каждый шаг соответствует поведению экономической системы у определенный временный период. Каждый текущий шаг получает результаты предыдущего шага, который по определенным правилам определяет текущий результат и формирует данные для следующего шага.

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

Для решения динамических задач оптимизации в математическом программировании сформировался соответствующий класс моделей под названием динамическое программирование, его основателем стал известный американский математик Р. Беллман. Им предложен специальный метод решения задача этого класса на основе «принципа оптимальности», согласно которого оптимальное решение задачи находится путем ее разбиения на n этапов, каждый с которых представляет подзадачу относительно одной переменной. Расчет выполняется таким образом, что оптимальный результат одной подзадачи является исходными данными для следующей подзадачи с учетом уравнений и ограничений связи между ними, результат последней из них является результатом всей задачи. Общим для всех моделей этой категории является то, что текущие управляющие решения "проявляются" как в период, относящийся непосредственно к моменту принятия решения, так и в последующие периоды. Следовательно, наиболее важные экономические последствия проявляются в разные периоды, а не только в течение одного периода. Такого рода экономические последствия, как правило, оказываются существенными в тех случаях, когда речь идет об управляющих решениях, связанных с возможностью новых капиталовложений, увеличения производственных мощностей или обучения персонала с целью. создания предпосылок для увеличения прибыльности или сокращения издержек в последующие периоды.

Типичными областями применения моделей динамического программирования при принятии решений являются:

Разработка правил управления запасами, устанавливающих момент пополнения запасов и размер пополняющего заказа.

Разработка принципов календарного планирования производства и выравнивания занятости в условиях колеблющегося спроса на продукцию.

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

Распределение дефицитных капитальных вложений между возможными новыми направлениями их использования.

В задачах, решаемых методом динамического программирования, значение целевой функции (оптимизируемого критерия) для всего процесса получают простым суммированием частных значений fi(x) того же критерия на отдельных шагах, то есть

Если критерий (или функция) f(x) обладает этим свойством, то его называют аддитивным (аддитивной).

Алгоритм динамического программирования

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

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

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

4. При известном оптимальном значении первой переменной определяем исходные данные для следующего (второго) шага и по последней таблице - оптимальное(ые) значение(ия) следующей (второй) переменной.

5. Если следующая переменная не характеризует последний шаг, то переходим к п.4.Иначе переходим к п.6.

6.Формируем (выписываем) оптимальное решение.

Список использованной литературы

1. Microsoft Office 2010. Самоучитель. Ю. Стоцкий, А. Васильев, И. Телина. Питер. 2011, - 432 с.

2. Фигурнов В.Э. IBM PC для пользователя. Изд-е 7-е. - М.: Инфра-М, 1995.

3. Левин А. Самоучитель работы на компьютере. М. : Нолидж, 1998, - 624 с.

4. Информатика: практикум по технологии работы на персональном компьютере /Под ред. проф. Н.В.Макаровой - М. : Финансы и статистика, 1997 г. - 384с.

5. Информатика: Учебник / Под ред. проф. Н.В. Макаровой - М. : Финансы истатистика, 1997 г. - 768 с.

Похожая информация.