Абдулин С.Ф. Системы автоматики предприятий стройиндустрии

Подождите немного. Документ загружается.

При нескольких свободных участках с возможностью выбора

процедура назначения бригад остается аналогичной. При наличии бригад

одного типа и одного соответствующего им свободного участка

назначение бригад на участок производится без учета изложенных выше

условий.

Правила П

и П

являются правилами освобождения бригад с участков

объекта.

По правилу П

бригады считаются простаивающими из-за отсутствия

соответствующих свободных участков с возможностью доназначения, а

также, если на свободных участках к рассматриваемому моменту времени

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

правилу П

бригады считаются закончившими работу на объекте и

выбывшими с объекта, если они не могут быть использованы для

интенсификации соответствующих работ.

В случае одновременной занятости бригад одного типа на нескольких

участках и последовательности их освобождения с участков предусматри-

Рис. 5.2. Общая архитектура корпоративной информационной системы

вается уход с объекта бригад, которые окончили работу. При

проектировании архитектуры АСУ СП учтена необходимость обеспечить

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

стационарных и мобильных удаленных пользователей в различных

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

АСУ СП, представленная на рис. 5.2, представляет собой архитектуру вида

«многозвенный клиент-сервер».

Компонент АСУ СП, реализующий разработанные методы

автоматизации планирования поступлений и отгрузок материальных

ресурсов, спроектирован с использованием технологии СОМ. Технология

СОМ определяет стандартный механизм, с помощью которого одна часть

ПО предоставляет свои сервисы другой. Применение данной технологии

позволяет встраивать разработанный двоичный компонент в АСУ СП, а

также в прочее ПО, т.е. повторно его использовать при создании ИС в

дальнейшем.

Компонент АСУ СП, автоматизирующий управление поступлениями

и отгрузками материальных ресурсов предприятия реализован с

использованием языка C++ в среде C++Builder. В качестве сервера БД

компонент использует СУБД Microsoft SQL Server 7000.

5.3. Модели и алгоритмы постановки задач разработки АСУ

промышленными объектами

При создании АСУ сложными промышленными объектами,

относящимися к классу больших систем, часто возникает необходимость в

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

процессе функционирования разрабатываемой системы управления.

Традиционно данная проблема решается на основе системных

исследований, с решения которых можно начать операцию по достижению

выбранной цели [96].

Известно, что от качества выполнения данных исследований, важным

этапом которых является формирование целевой структуры или дерева

целей, во многом зависит обоснованность принимаемых решений, степень

достижения генеральной цели и общее время, необходимое для

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

Проведенный в работах [5, 6] анализ методик построения деревьев

целей показал, что большинство из них восходит к машинно-

информационной системе ПАТТЕРН, разработанной специалистами

компании RAND для помощи Президенту США в подготовке решений

научно-информационными методами [7]. На презентации данной системы,

прошедшей в Конгрессе США в августе 1964 г., сенатор Г. Хемфри

охарактеризовал ее значение следующим образом: «От изобретения и

использования таких средств и систем зависит не только решение массы

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

Совершенно очевидно, что многие текущие и надвигающиеся проблемы

нашего общества останутся нерешенными, пока мы не создадим и не

применим информационные системы и средства подготовки решений,

соответствующие тем изменениям, которые происходят и будут

происходить как внутри страны, так и в международном масштабе» [7].

Создание и практическое применение системы ПАТТЕРН стимулиро-

вало проведение работ в области прикладного системного анализа, при-

вело к развитию моделей и методов программно-целевого управления, ус-

пешно реализованных в т. ч. и при создании автоматизированных систем

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

следований было разработано специализированное математическое

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

в дальнейшем было успешно применено при программно-целевом управ-

лении предприятиями различных отраслей промышленности (система ДИ-

СУФР [4], VARIANT [5] и др.).

Между тем накопленный за истекшие десятилетия опыт

практического использования моделей и методов программно-целевого

управления выявил ряд особенностей ПАТТЕРН и родственных ей систем,

негативно влияющих на оперативность и качество управленческих

решений, принимаемых на основе анализа дерева целей. Так, стало

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

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

выполнения или не выполнения которых представляет собой весьма слож-

ную логическую задачу. Достаточно часто эти условия известны лишь

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

могут значительно изменяться во времени. Так, например, на возможность

успешной реализации локальной цели, связанной с ликвидацией

чрезвычайной ситуации, возникшей в результате разрыва продуктопровода

на химическом предприятии, существенно влияет несколько десятков

факторов, входящих в состав многочисленных условий, формируемых

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

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

При анализе целевых структур, состоящих из десятков или сотен

локальных целей, лицу, принимающему решение (ЛПР), весьма трудно

оперативно оценить возможность реализации генеральной цели, на

процесс достижения которой влияет большое количество различных

взаимосвязанных факторов, входящих в состав многочисленных логически

сложных условий, со многими из которых ЛПР, в силу различных причин,

может оказаться недостаточно знаком.

Указанное обстоятельство обусловливает необходимость разработки и

внедрения в составе специализированного математического обеспечения,

используемого при автоматизированном управлении сложными объектами,

новых моделей и алгоритмов, позволяющих проанализировать, как

отразится на достижении генеральной цели изменение тех или иных

элементов целевой структуры, факторов или условий, что позволит во мно-

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

Допустим, что процесс достижения генеральной цели Gz

характеризует дерево целей, построенное по одной из известных методик,

например [3–5], в виде ориентированного графа G(U, Е), где U –

множество вершин графа, соответствующее множеству достигаемых

целей; Е – множество дуг графа. Две произвольно взятые вершины u

, u

U соединены дугой с началом в i и концом в j в том случае, если между

целями z

, z

, соответствующим вершинам u

, u

U, существует

отношение предшествования R

и z

предшествует z

Допустим также, что для каждой вершины графа u

G(U, Е)

известно множество условий cond

{COND}, препятствующих или

способствующих достижению локальной цели z

и сформулированных в

виде следующих продукций:

ЦЕЛЬ z

БУДЕТ ДОСТИГНУТА (НЕ ДОСТИГНУТА), ЕСЛИ

ВЫПОЛНЕНЫ (<УСЛОВИЕ 1>: = F) Н

(<УСЛОВИЕ 2>: = F) H...H (<УСЛОВИЕ n>),

где

n,1i,

– логико-лингвистические переменные, заданные на

множестве F = {"выполнено"; "не выполнено"}; п – мощность множества

cond

, т. е. количество условий, влияющих на процесс выполнения цели z

;

Н – логико-лингвистическая переменная, заданная на множестве {"AND";

"OR", "NOT'}; AND, OR, NOT – логические операции конъюнкции,

дизъюнкции и отрицания соответственно; {COND} – множество условий,

влияющих на процесс достижения цели Gz.

При необходимости каждое <УСЛОВИЕ i>,

n,i 1=

может быть

представлено экспертами в виде дерева целей G

, которое формируется по

тем же правилам, что и граф G(U, E). С учетом сделанных допущений

содержательная постановка решаемой задачи имеет следующий вид. Необ-

ходимо разработать математические модели и алгоритмы, позволяющие в

течение времени ΔT, отведенного ЛПР на обоснование способа

достижения поставленной цели Gz, при наличии большого количества

условий, влияющих на процесс достижения Gz, выполнить следующие

действия:

• оперативно проверить возможность достижения генеральной цели

Gz в текущий момент времени с учетом всех условий множества {COND},

влияющих на процесс ее осуществления;

(5.1)

• оперативно проверить возможность достижения генеральной

цели при заданном наборе условий cond

{COND},

k,i 1=

, состоящем из k

элементов.

Математическая модель. В основу разрабатываемой формальной

модели положено допущение, что каждая цель z

может быть достигнута

только после того, как будут достигнуты все цели, с которыми z

связана на

графе G(U, Е) исходящими дугами. С учетом этого условия граф G(U, E)

описывается системой продукций, алгоритм формирования которой

приведен ниже.

1. Начало алгоритма.

2. На графе G(U, E) определить вершину и

с нулевой полустепенью

захода d

) = 0. На дереве целей эта вершина соответствует генеральной

цели Gz.

3. На графе G(U, Е) определить все вершины и

т0

, и

, ... , и

соединенные дугами с вершиной и

. В формируемую продукционную

модель записать условие: ЦЕЛЬ Gz БУДЕТ ДОСТИГНУТА, ЕСЛИ ДОС-

ТИГНУТЫ ЦЕЛИ, СООТВЕТСТВУЮЩИЕ ВЕРШИНАМ ГРАФА и

т0

AND и

AND ... AND и

4. Для вершины и

т0

определить все вершины и

т1

, и

, ... ,

,соединенные дугами с вершиной и

т0

5. В формируемой продукционной модели записать условие: ЦЕЛЬ

т0

БУДЕТ ДОСТИГНУТА, ЕСЛИ ДОСТИГНУТЫ ЦЕЛИ,

СООТВЕТСТВУЮЩИЕ ВЕРШИНАМ ГРАФА и

т1

AND и

AND ...

AND и

6. Продолжить формирование продукционной модели до тех пор,

пока не будут достигнуты конечные вершины графа G(U, E), т. е. вершины

с нулевой полустепенью исхода d

) = 0.

7. В формируемую модель добавить продукции (5.1), описывающие

условия, влияющие на процесс достижения целей z

8. Конец алгоритма.

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

функция

)

,...,

(

k21

, которая принимает значение 1 при выполнении

цели Gz и значение 0 – при ее невыполнении. Каждый аргумент и

этой

функции также может принимать единичное или нулевое значение, что

будет означать выполнение или невыполнение тех или иных факторов,

влияющих на процесс достижения целей z

, входящих в состав графа

G(U,E).

Для логической функции

)

,...,

(

k21

по известным правилам [8–

11] строится цифровое устройство на базе конъюнкторов, дизъюнкторов и

инверторов, имеющее ту же таблицу состояний, что и

функция

)

,...,

(

k21

. При помощи цифрового устройства DU,

практическая реализация которого может быть осуществлена как

программным, так и аппаратным путем, решаются следующие задачи:

• оценивается возможность достижения цели Gz при большом

количестве условий (5.1), выполнение которых сложно проверить

логически;

• при необходимости составляется альтернативный план мероприятий

по достижению цели Gz;

• формируются новые условия, при выполнении которых цель Gz

может быть достигнута.

На текущий момент времени определяются уже достигнутые цели

G(U, E), а также проверяется выполнение условий (5.1). На вход цифро-

вого устройства DU подаются единичные сигналы, соответствующие уже

достигнутым целям и выполненным условиям, и нулевые сигналы, соот-

ветствующие недостигнутым целям и не выполненным условиям.

Определяется величина сигнала на выходе устройства DU. Если он ра-

вен 1, то в текущий момент времени не существует препятствий для дос-

тижения Gz. При невозможности достижения поставленной цели Gz

(нулевой сигнал на выходе DU) путем изменения значений входных

переменных и

, и

,..., и

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

изменить для того, чтобы добиться осуществления как отдельных целей z

и Gz в целом.

Вначале выполняется оценка возможности выполнения намеченного

плана мероприятий М

, позволяющего достигнуть цели Gz. Если сущест-

вующий план по тем или иным соображениям не устраивает ЛПР, то вы-

полняются следующие действия:

• по разработанной методике формируется логическая функ-

ция

)

,...,

(

vkkk 21

, принимающая единичное значение при выполнении

и нулевое при невыполнении рассматриваемого плана мероприятий;

• при помощи известных правил преобразования выражений булевой

алгебры [8–11] логическая функция

)

,...,

(

vkkk 21

преобразуется к

функции

)

,...,

(

vkkk 21

таким образом, чтобы таблицы истинности

)

,...,

(

vkkk 21

)

,...,

(

vkkk 21

совпадали;

• план мероприятий М

корректируется таким образом, чтобы он соот-

ветствовал логической функции

)

,...,

(

vkkk 21

;

• по логической функции

)

,...,

(

vkkk 21

синтезируется новое

цифровое устройство DU

, на основе которого проверяется возможность

выполнения нового плана мероприятий М

. Если данный план не

удовлетворяет ЛПР, то формируется новая логическая функция

)

,...,

(

vkkk 21

и так до тех пор, пока ЛПР не остановит процедуру

автоматизированного синтеза нового плана мероприятий.

Автоматизированное формирование условий, при реализации которых

план мероприятий М

может быть выполнен

Данные условия могут быть получены следующим образом.

1. На вход цифрового устройства DU подается т различных комбина-

ций входных сигналов

,...,

до тех пор,

пока на его выходе не будет получен единичный сигнал. Соответствующая

единичному сигналу комбинация входных сигналов

,...,

заносится

в память и интерпретируется в виде последовательности условий, при

осуществлении которых выполняется план М

. Затем новые условия в виде

продукции заносятся в БЗ ИС, используемой при обосновании выбора по-

ставленной цели.

2. На основе аппарата булевой алгебры выполняется преобразование

логической функции

)

,...,

(

vkkk 21

к виду

)

,...,

(

vkkk 21

так,

чтобы обе логические функции имели одну и ту же таблицу истинности.

Для функции

)

,...,

(

vkkk 21

синтезируется цифровое устройство DU

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

вий достижения Gz.

Проиллюстрируем процедуру синтеза цифрового устройство DU, ис-

пользуемого для анализа плана мероприятий M

, практическим примером.

Рис. 5.3. План мероприятий по ликвидации чрезвычайной ситуации

Допустим, что в процессе ликвидации чрезвычайной ситуации, связан-

ной с затоплением городских подземных коммуникационных коллекторов,

происшедшим в результате повреждения близлежащих трубопроводов

теплоснабжения и водоснабжения, предстоит реализовать план мероприя-

тий M

, граф G

(U, Е) которого приведен на рис. 5.3. Пронумеруем

вершины графа и покажем их назначение: M

– ликвидировать аварийную

ситуацию, связанную с затоплением городского подземного

коммуникационного коллектора, происшедшего в результате повреждения

близлежащих трубопроводов тепло- и водоснабжения (последствия

ситуации устранить в течение заданного времени ΔТ, уменьшив при этом

до возможного минимума ущерб от перерыва в теплоснабжении жилых

объектов, предприятий и организаций); т

– прекратить дальнейшее

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

– удалить воду из подземного коллектора; т

– провести ремонт затоп-

ленных телекоммуникационных линий; т

– организовать возобновление

подачи горячей и холодной воды в жилые дома, предприятия и

организации; т

– возобновить работу коммуникационных линий; т

–

оценить ориентировочную величину ущерба от происшедшей

чрезвычайной ситуации; m

– занести сведения о происшедшей чрезвычай-

ной ситуации в БД информационной системы; m

– проинформировать о

затоплении подземного коммуникационного коллектора аварийную

диспетчерскую службу ГУП «Теплоремонтналадка»; m

– вызвать для

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

МГУП «Гортеплоэнерго»; m

–проинформировать АО «Горэнерго» об

аварии на кабельных сетях; m

–проинформировать о чрезвычайной

ситуации ГСП «Горколлектор»; m

–сообщить в префектуру администра-

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

в жилые дома; m

– проинформировать службу главного энергетика (СГЭ)

предприятий о времени возобновление подачи горячей и холодной воды;

– выяснить у специалистов СГЭ исправность заводской магистрали

горячего водоснабжения (опасность промерзания и гидравлического

удара); т

–выяснить у специалистов СГЭ исправность заводской

магистрали холодного водоснабжения (опасность промерзания и

гидравлического удара); т

– собрать сведения о величине причиненного

экономического ущерба; т

– собрать сведения о величине социального

ущерба; т

– сообщить о происшедшем в комиссию по чрезвычайным

ситуациям города; т

– при значительном ущербе сообщить о

чрезвычайной ситуации мэру города; т

– проинформировать о

чрезвычайной ситуации «Горводосток»; т

– вызвать на объект для

удаления воды одну из 23 аварийно-восстановительных бригад

«Горводостока».

Опишем граф системой продукций:

ПЛАН М

БУДЕТ ВЫПОЛНЕН, ЕСЛИ ВЫПОЛНЕНЫ МЕРОПРИЯТИЯ

AND m

МЕРОПРИЯТИЕ т