Файл: Клыков, Ю. И. Ситуационное управление большими системами.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.10.2024
Просмотров: 92
Скачиваний: 0
6Ф7
К47
УДК 681.3
Л У
Клыков Ю. И.
К 47 Ситуационное управление большими систе^ М., «Энергия», 1974.
136 с. с ил.
Книга посвящена модельному методу принятия решений в ных системах, таких как крупномасштабные предпринятая, вь тельные системы, энергетические и информационные комплексы, портные и.социально-экономические системы, сети С В Я Й Н и др. В
излагается метод построения языков формирования обобщенш формационных моделей управления большими системами и прнЕ стандартная система математического обеспечения, реализующая ка серийно выпускаемых вычислительных машинах, йассматрн примеры практического применения модельного метода/
Книга представляет интерес для инженеров и математиков тающих в области системотехники и исследования оп,е#ациб, строения и создания искусственного интеллекта, а такисб для гт1 и аспирантов этих специальностей.
30501-023 |
|
К 051(00-74 |
2 0 6 " 7 4 |
© Издательство «Энергия», 1974.
ПРЕДИСЛОВИЕ
В книге изложен метод ситуационного управления. Ситуационное управление основано на построении обоб щенной семиотической модели структуры и законов функционирования больших систем (социально-экономи ческих, организационных, технических и др.). для кото рых точная математическая модель либо отсутствует, либо ее использование из-за громоздкости практически нецелесообразно.
Ситуационное управление вытекает из модельной тео рии мышления, ряд положений которой разработан со ветскими учеными Д. А. Послеловым и В. Н. Пушкиным. В соответствии с принципами этой теории управление большой системой рассматривается как процесс созда ния в памяти вычислительной машины семиотической системы задач управления, позволяющей предвидеть по следствия принятия тех или иных решений и выбрать оптимальное решение в соответствии с заданным крите рием уцравления. В книге предлагается формальный ап парат, с помощью которого осуществляется формирова ние семиотических моделей и рассматриваются вопросы реализации этого аппарата. Книга состоит из шести глав. В гл. 1 излагаются принципы ситуационного управления. Главы 2—3 посвящены изложению средств формирова ния семиотической макромодели структуры и законов ^функционирования больших систем. В гл. 4 рассматри- [вается управление с помощью макромодели. В гл. 5 (излагаются принципы построения модульной системы [программного обеспечения ситуационного управления.
!Глава б посвящена практическому применению |
метода. |
I |
3 |
Данная книга является итогом работы автора в обла сти ситуационного управления.
Улучшению содержания книги способствовали крити ческие замечания и пожелания, сделанные в многоя-ис- лемных обсуждениях и при знакомстве с рукописью
Д. А. Поспеловым, В. Н. Пушкиным, Э. Ф. Скороходько,
Ю.А. Шрейдером и Л. Т. Кузиным. Автор приносит] им благодарность. Автор благодарит также Л. С. Загадскую, Л. А. Афонина, В. Ф. Хорошевского, А. И. Егоро ва, В. Г. Романова, А. В. Колесникова, Р. Э. Гадж^ева и всех, кто принимал участие в создании системы мате матического обеспечения ситуационного управлениями способствовал практическому внедрению метода.
АётЬр'
В В Е Д Е Н И Е I /
|При системно-структурном подходе к автоматизации прадес.а принятия решений в социально-экономических, технических и других больших системах возникает проблема создания обобщенной модели структуры и за конов функционирования системы.
;Если в памяти вычислительной машины имеется каки&ьто образом сформированная модель управления, то с помощью этой модели можно предвидеть 'последствия. принятия тех или иных решений и выбрать оптимальное решение из допустимого множества решений в соответ ствии с заданным критерием управления на основании описания конкретной ситуации, возникшей в объекте управления.
Решение указанной проблемы требует оперирования с 3$зыком более, высокого порядка, чем часто используе- Ж^й язык уравнений (дифференциальных, функциональ ных, алгебр'аически.ч,'логических и др.), на котором ба зируются многие современные методы управления. При эт|м управление представляется как процесс нахожде ние решения системы уравнений, дающего экстремум оценочного функционала. Однако такой подход к описа ние процесса управления не является единственно воз можным. Более того, при этом лодходе возникают прак тически непреодолимые трудности, когда речь идет об'.управлении большими системами. Размерность зада^Пч управления сложными системами столь велика, что даже j быстродействующие вычислительные машины оказы- i ваются неспособными решать возникающие здесь систе- I мш уравнений. ' \
С практической точки зрения более перспективным ' я-йляется управление большими системами по ситуациям, при котором .процесс функционирования управляемого объекта определяется таблицей решений, входной стро кой которой являются ситуации, а выходным столбцом— решения. На пересечении t-й строки и /-го столбца ста-
:1 |
• |
5 |
|
Витея 1, если по ситуации si требуется принять |
решение |
||||||||||||||
|
Rj, |
и 0 — в противоположном |
случае. |
|
|
|
|
|
|
|||||||
|
Решения играют |
роль операторов преобразования си |
||||||||||||||
т у а ц и й . Управление |
моделью |
объекта с помощью |
табли |
|||||||||||||
|
цы решений выглядит следующим образом. Для текущей |
|||||||||||||||
|
ситуации s(t), |
зафиксированной |
па модели |
объекта в мо |
||||||||||||
|
мент времени |
t, |
фиксируется |
строка |
таблицы |
|
решений, |
|||||||||
|
которой принадлежит |
s(t). |
Выбирается |
решение, соот |
||||||||||||
|
ветствующее |
s{t), |
с |
помощью которого |
модель |
переро |
||||||||||
|
дится из состояния s(t) |
в s(t+l). |
|
Процесс экстраполя |
||||||||||||
|
ции |
ситуаций |
на |
модели объекта |
с |
помощью |
|
таблицы |
||||||||
|
решений продолжается до тех пор, пока либо исчерпает |
|||||||||||||||
|
ся |
заданное |
число |
тактов |
экстраполяции, |
либо |
бу|дет |
|||||||||
|
получена ситуация, удовлетворяющая заданным усло |
|||||||||||||||
|
виям. Последовательность решений, полученная в [ре |
|||||||||||||||
|
зультате экстраполяции ситуаций |
на |
модели |
|
объекта, |
|||||||||||
|
играет роль закона |
функционирования объекта |
на соот |
|||||||||||||
|
ветствующем |
временном |
интервале. |
В |
общем |
слтаае |
||||||||||
|
с помощью таблицы решений может быть получено ^не |
|||||||||||||||
|
сколько законов функционирования объекта для задан |
|||||||||||||||
|
ной |
ситуации |
s(t). |
Выбор |
подходящего |
закона |
|
осуще |
||||||||
|
ствляется с помощью критерия оценки качества |
|
ф у н к ^ о - |
|||||||||||||
|
нироваиня 'объекта. |
|
|
|
|
|
|
|
|
|
|
|
" |
|||
, |
- |
Таблицы |
решений, |
характеризующие |
|
функциониро- |
||||||||||
: |
вание больших систем, имеют, как правило, весьма боль- |
|||||||||||||||
] |
шое число строк |
и сравнительно небольшое |
число стшдб- |
|||||||||||||
i цов, причем эта разница становится тем |
ощутимее, 1чем |
|||||||||||||||
\вь1ше уровень управления/ Например, таблицы |
|
решений, |
||||||||||||||
|
характеризующие функционирование таких систем, ;как |
|||||||||||||||
|
участок канала с несколькими шлюзами, морской парт, |
|||||||||||||||
|
аэропорт, железнодорожный узел, вычислительная ; си |
|||||||||||||||
|
стема, система |
предприятий |
и |
другие, |
имеют |
свыше |
||||||||||
|
21 0 0 строк. Число столбцов в этих таблицах не превышает |
|||||||||||||||
|
тысячи. Другими словами, множество ситуаций больщюй |
|||||||||||||||
|
системы представляет |
собой |
совокупность |
родственных |
||||||||||||
|
по |
управлению |
классов, |
число |
которых |
соответствует |
||||||||||
f числу принимаемых |
решений. В связи с тем |
что |
число |
|||||||||||||
|
возможных состояний |
(микроситуаций) |
большой |
систе- |
||||||||||||
, мы |
огромно, |
а число |
принимаемых |
решений |
невелико, |
|||||||||||
|
практическая |
реализация принципа |
ситуационного управ |
|||||||||||||
|
ления связана с решением |
проблемы |
разбиения |
множе- |
||||||||||||
, |
ства микроситуаций |
на классы |
по |
числу |
принимаемых |
|||||||||||
I решений. Если такое разбиение получено, то управление |
||||||||||||||||
|
по ситуациям |
выглядит так, как |
это |
описывалось |
выше. |
.При этом строками таблицы решений являются макроситуации, характеризующие родственные по управлению \классы микроситуаций.
Разбиение множества мшсроситуаций на классы свя зано с формализацией понятия микроситуации управляе мого объекта и процесса обобщения микроситуаций. Ре шение этой проблемы требует оперирования с языком, обладающим средствами имитации процессов формиро вания, обобщения и экстраполяции микроситуаций управляемого объекта.
В книге излагаются основы теории имитации процес са управления большими системами по ситуациям и рас сматривается практическое применение этого метода для управления большими техническими системами.
Имитация осуществляется с помощью семиотической системы, состоящей из следующих имитационных моде-
'лей и языков их описания |
и функционирования: |
1. Язык митсроописания |
структуры и законов функ |
ционирования больших систем (микромодель). Нижним уровнем этого языка служит порождающая модель, с помощью которой формируется описание структуры большой системы в виде дискретной сети стандартных модулей. В частном случае роль модулей играют конеч ные автоматы. Функцию верхнего уровня выполняет семантический язык описания ситуаций на дискретной сети. Ситуации представляются формально в виде мультиграфов, вершинами которых служат базовые и произ водные понятия, а дугами — отношения между понятия ми. Понятия интерпретируются совокупностями статиче ских и динамических объектов моделируемой системы, а дуги — пространственно-временными и другими отно шениями между объектами. Отношения между понятия ми устанавливаются с помощью порождающей грамма тики, представляющей собой набор рекурсивных проце дур построения производных ситуаций. Порождающая грамматика играет роль генератора, формирующего на своем выходе множество ситуаций моделируемой си стемы.
2. Язык макроописания структуры и функционирова-' ния больших систем (матсромодель). Нижним уровнем этого языка служит микромодель. Функцию верхнего уровня выполняет модель обобщения ситуаций, с по мощью которой формируется обобщенная структура си туаций на дискретной сети. Построение обобщенной
7
структуры ситуаций осуществляется путем разбиения множества ситуаций на классы толерантности и установ ления изоморфизма между множеством макроситуаций и множеством решений (команд управления). Макроси туации возникают в процессе обучения в результате реа лизации процедур обобщения, имеющихся в языке макро описания. При этом в каждый класс попадают лишь та кие конкретные ситуации, для которых с точки зрения критерия управления необходимо принимать одно и то же решение.
^Ситуационное управление реализуется |
программно |
на машинах второго и третьего поколений |
с помощью |
модульной системы математического обеспечения. Роль модулей играют программные блоки, 'реализующие стан дартные процедуры языка имитации процессов формиро вания, обобщения и экстраполяции ситуаций. Настройка модулей на решение конкретной задачи управления осу ществляется с помощью программы—диспетчер, кото рая по описанию конкретной ситуационной модели управления формирует рабочую программу.
Принцип ситуационного управления применен в на стоящее время для решения широкого класса задач те кущего и перспективного управления большими система ми. Наибольшая эффективность достигается при исполь зовании мультипроцессорных и мультипрограммных вычислительных машин с прямым доступом к памяти. Та ким требованиям удовлетворяют разрабатываемые в на стоящее время машины третьего и последующих поколе ний. Семиотическая теория ситуационного управления, которой посвящена настоящая книга, является попыткой изложить с единых теоретико-системных позиций основы построения нечисленных формальных порождающих мо делей управления большими системами. Методология ситуационного управления открывает путь к созданию эффективных моделей решения задач теории игр [Л. 56], педагогики {Л. 57] и искусственного интеллекта [Л. 14, 15, 18].
у Г л а в а п е р ' в а я |
|
П Р И Н Ц И П Ы С И Т У А Ц И О Н Н О Г О |
У П Р А В Л Е Н И Я |
Ч1-1. ПОСТАНОВКА ПРОБЛЕМЫ
^Если математическая модель управляемого объекта известна и задан критерий оценки качества его функцио нирования, то можно приступать к построению модели оптимизации функционирования объекта. Современные математические .модели такого типа используют, как пра вило, язык уравнений (дифференциальных, функцио нальных, логических, алгебраических и др.). При опти мизации используются методы математического програм мирования, эвристические методы, методы случайного поиска решений и др. Эти методы достаточно широко освещены в (Л. 1—4, 55 и др.].
Рассмотрим область их практического применения. Многочисленные по своей конкретной постановке классы задач теории массового обслуживания, теории сетей свя зи, теории игр и ряда других разделов математики могут быть сформулированы в общем виде как задача поиска при заданных ограничениях набора значений перемен
ных |
< X i , xz, |
хп>, |
на котором оптимизируется |
за |
данный функционал |
оценки качества управления |
Q — |
||
=f(xu |
хг, |
х п ) . В зависимости от наличия и вида огра |
ничений на процесс управления, а также от количества этапов, на которых необходимо принимать решения, наи большее применение находят те или иные методы мате
матического |
программирования, хотя зачастую одна и |
та же задача |
может быть решена различными методами. |
Если система |
ограничений отсутствует, то задача ре |
шается классическими методами математического ана |
лиза. Если критерий управления представляет собой ли нейную функцию переменных, а система ограничений является набором линейных неравенств (уравнений) и процесс одноэтапный, то возникает классическая поста-
9