CC BY
43
УДК 62-507:019.3
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СИСТЕМ С ПОМОЩЬЮ АВТОМАТОВ
© В.И. Левин
Levin V.I. The Mathematical Modelling Of Systems With Automation. The article describes a mathematical model of finite dynamic automaton. The author shows that it is possibile to use continuous logic for studying such automation. He also considers the problem of dynamic automation use for the analytical modelling of systems with discrete positions and continuous operation. Such systems are spread in engineering, economics, sociology and other fields. There are given examples of automation models of the following: (1) sociological groups and their dynamic behaviour; (2) systems of visual information presentation in different dimension; (3) systems of employment prognostication and provision; (4) pattern recognition.
1. В 1971 - 1972 годах автором было показано, что для описания динамических процессов в конечных (цифровых) автоматах адекватным математическим аппаратом является непрерывная логика (HJI) {С, V, <£}, где С = [А, В] - отрезок, а V = max и & = min - дизъюнкция и конъюнкция HJI над С [1]. Этот результат -обобщение результатов Шеннона-Накашимы-Шестакова (1938 - 1941) об адекватности булевой алгебры логики как средства описания статики работы релейно-контактных схем [2-4]. На этой базе разработана аналитическая динамика автоматов, позволяющая вычислять, компактно представлять, анализировать и синтезировать динамические процессы в сложных схемах автоматов при сложных входных воздействиях [5 - 7].
2. Простейший объект - детерминированный автомат без памяти с соотношениями входных X,(t) И ВЫХОДНЫХ Ук(1) процессов в виде
yk(0 = Gk\x1(t), xn(t)j,
0)
к = 1,т, Xj еХ, у к eY,
где Gfc - операторы без памяти. Динамический автомат без памяти реализуется асинхронной комбинационной схемой из логических и инерционных (задержки, фильтры) элементов и не имеет обратных связей. Обычно X = У = {0, 1}. Реакция выхода элемента на входные процессы называется динамическим процессом в элементе. Совокупность динамических процессов во всех элементах асинхронной комбинационной схемы называется динамическим процессом в асинхронной комбинационной схеме. Задача расчета (анализа) динамики динамического автомата без памяти состоит в нахождении (анализе) динамического
процесса в узлах (на выходах) соответствующей асинхронной комбинационной схемы по заданным процессам на ее входах. Расчет ведется методом последовательных подстановок соотношений "входные процессы - выходной процесс" элементов, при разбиении асинхронной комбинационной схемы на последовательные ступени глубиной в один элемент. Указанные соотношения выражаются в терминах операций НЛ.
При сложных воздействиях вход-выходные соотношения элементов можно найти декомпозицией входных процессов на подпроцессы и определением частичных реакций элемента с их последующим "сшиванием".
Более сложный объект - детерминированный автомат с памятью, с соотношением входных Х1(1) , ВЫХОДНЫХ Ук(0 И внутренних
процессов
Ук(0 = Ьк\х1(0, •••, х„(Г), и10), ир(1)^,
к = 1,т,
(2)
щ0 + т-0= ^ •••, Х„(1), и,(1), ..., ирО)],
1 = 1,р, х,- еХ, у к еУ, иI е1/,
где - операторы без памяти, X = У —
= II = {0, 1}. Динамический автомат с памятью реализуется в виде асинхронной схемы с памятью, имеющей логический блок в виде асинхронной комбинационной схемы и блок памяти с параллельно работающими задержками
11, хр; логический блок охвачен р обратными связями, с выходов логического блока на его входы через задержки блока памяти. Задача расчета динамики динамического автомата с
памятью аналогична соответствующей для динамических автоматов без памяти, но учитывает начальное состояние и0. Для ее решения используют: 1) метод уравнений динамики
(заключается в составлении и решении уравнений относительно неизвестных динамических процессов в асинхронных схемах с памятью, описывающих циркулирование информации по контурам схемы); 2) метод комбинационного моделирования (состоит в пошаговом итеративном моделировании последовательных участков динамических процессов в асинхронных схемах с памятью).
Для преодоления "проклятия размерности" при расчете динамических процессов в сложных асинхронных комбинационных схемах и асинхронных схемах с памятью используется канонизация входных воздействий на основе теоремы [7]: любое воздействие х]((), ... хп(1)
на п входах безынерционной асинхронной комбинационной схемы, реализующей симметрическую булеву функцию, можно представить однозначно эквивалентной совокупностью свободных (не привязанных к определенным
входам) импульсов 1 (аг, Ьг) ,г = 1,М, упорядоченных линейно 1 (а1, Ь1) < ... < 1 (аМ, ЬМ) . Здесь (аг, Ъг) - момент г-го изменения вида
О _» 1 (вида 1 -> 0) в системе входных импульсов Х!(0, ... хп(0, М - общее число изменений каждого вида. Теорема позволяет разбить время на интервалы с постоянным числом импульсов в каждом (постоянным значением выхода у) и для нахождения выходного процесса у({) надо лишь вычислить его значение в какой-то одной точке каждого интервала. Получаемый процесс у(?) выражается компактно в терминах порядковых логических определителей
вида аг=|(2у| , ^=|%| > гДе ад(Ьц)~ момент
у'-го по порядку изменения 0 —> 1 (1 -> 0) на /-м входе, г - ранг логического определителя [7].
3. Конечный автомат оказывается удобной математической моделью для описания многих систем в технике, экономике и гуманитарных науках, функционирующих в непрерывном времени и имеющих дискретные состояния. При этом в большинстве случаев можно обойтись моделью динамического автомата без памяти.
В качестве первого примера построения автоматной модели возьмем моделирование поведения социальных групп.
Рассмотрим группу из п индивидуумов, могущих в любой момент времени ? находиться в одном из двух состояний - работоспособном (способности взаимодействовать с другими индивидуумами и быть членом группы) или неработоспособном (неспособности взаимодействовать). Группа в целом также может находиться в одном из двух состояний - работоспо-
собном (пригодности к выполнению группового задания) или неработоспособном. Известна статическая модель группы в виде зависимости ее состояния от состояний всех индивидуумов в один и тот же произвольный момент времени ?. Задана динамика изменения состояния каждого индивидуума во времени, требуется определить динамику изменения состояния всей группы с течением времени.
Поставим в соответствие работоспособному (неработоспособному) состоянию индивидуума и группы значение 1 (0). Тогда заданной динамике изменения состояния г-го индивидуума можно поставить в соответствие двоичный процесс г = •••> ГДе х е а иско"
мой динамике изменения состояния группы -двоичный процесс у(/), где у е {0, 1}. Заданной статической модели группы ставится в соответствие булева логическая функция состояния группы
У = /(Х1 > ■■■ ’ хп) ■
Логическая функция (3) является математической моделью динамического автомата без памяти. Она реализуется соответствующей асинхронной комбинационной схемой, построенной из подходящих логических элементов. Динамический автомат без памяти с логической функцией (3) является абстрактной математической моделью динамического поведения группы. Соответствующая асинхронная комбинационная схема, реализующая логическую функцию (3) автомата, является структурной математической моделью динамического поведения группы.
Поставленная задача нахождения динамического процесса у(() изменения состояния группы по заданным процессам Х](1), ... х„(1),
изменения состояния ее индивидуумов и функции состояния группы (3) в соответствии с построенной автоматной динамической моделью группы сводится к следующей задаче динамической теории автоматов. Задана асинхронная комбинационная схема динамического автомата без памяти, реализующая логическую функцию (3), и ее входные процессы Х1(1), ... хп(1). Требуется найти выходной
процесс схемы у(0. Последняя задача решается известными из указанной теории методами, например, методом подстановок: 1) схема автомата разбивается на последовательные ступени глубиной в 1 логический элемент; 2) с помощью базовых операций НЛ V — шах (дизъюнкция) и & = пип (конъюнкция) находятся соотношения ^ между входными и выходными процессами всех типов элементов схемы; 3) по заданным входным процессам схемы х]0), ... хп(0 и найденным соотношениям Р определяются сначала процессы на выходах 1-й ступени, по ним - процессы на
выходах 2-й ступени и т.д... процесс у($ на выходе схемы. Процесс у(1) есть искомый динамический процесс изменения состояния группы. Моменты изменения в этом процессе выражаются через моменты изменения в процессах х^1) , описывающих динамику поведения отдельных индивидуумов, с помощью операций НЛ V и &.
П р и м е р 1. Рассмотрим группу из трех индивидуумов 1, 2, 3 с производительностью 3, 4, 2 ед. Группа работоспособна, если ее суммарная производительность > 6 ед. Индивидуумы 1, 2, 3 работоспособны на интервалах времени (а, Ь), (с, сГ), (е, /). Определим динамику изменения состояния группы.
По условию задачи есть только три комбинации состояний индивидуумов, которым соответствует работоспособное состояние группы: 1) индивидуумы 1, 2 работоспособны, индивидуум 3 - нет; 2) индивидуумы 2, 3 работоспособны, индивидуум 1 - нет; 3) индивидуумы 1,
2, 3 работоспособны. Этому соответствует булева логическая функция состояния группы в виде дизъюнкции трех конъюкций
У = Х1Х2Х3 V Х1Х2Х3 Х1Х2Х3 •
(4)
Здесь Ху =1(0) означает работоспособное (неработоспособное) состояние г-го индивидуума, у = 1(0) - аналогичное состояние группы,
х1 - отрицание х,-. Упростим выражение (4). Добавив в правую часть (4) еще одну третью конъюнкцию (что по закону идемпотентности а\/а = а не меняет величины выражения), объединив одну из них с первой, а другую - со второй конъюнкцией и вынеся из каждой пары за скобки общие буквы, получим с учетом законов а\/а=1, а-1 = а [5-7].
у = Х;Х2 V х2х3 ,
(5)
Выражению (5) соответствует асинхронная комбинационная схема-модель динамического поведения группы (рис. 1).
Хі
*1
Рис. 1. Автоматная математическая модель поведения социальной группы: X], %2, ху - входы, моделирующие состояния индивидуумов, у - выход, моделирующий состояние группы, & - элементы-конъюнкторы, V - элемент-дизъюнкгор.
Вычисляем выходной процесс у(0 схемы рис. 1, моделирующий изменение во времени состояния группы. Входные процессы схемы, моделирующие изменение во времени состояний индивидуумов, имеют по условиям задачи вид единичных импульсов в соответствующих временных интервалах
Х]^) = 1(а,Ь), Х2(0 = 1(с,й), х3^) = 1(е,1) . (6)
По формулам динамической теории автоматов [5 - 7] находим сначала процессы на выходах первой ступени схемы-модели
У1(1) = х1(1)х2(1) = 1^а\/с, оусуМ],
У2(0 = х2(!)хз(1) = 1[с уе,
Затем - процесс на выходе второй ступени -процесс изменения состояния группы
(7)
У(0 = Уі(0 '-'У2(0 =
- /|(<2 V с)(с V е), \(а \/ с)(с \/ е чШ)\ е)(а V С V щ) >
V с) V (с V е), £3 V С V Ь(І V С V £? Vі
Здесь 1(А, В) - импульсы в соответствующих временных интервалах, 0(-, -) - промежуточная пауза, V = шах - дизъюнкция НЛ (знак & конъюнкции НЛ опущен). После раскрытия скобок по распределительному закону и упрощения по законам с V ас = с, с V с = с получим
окончательно
у(1) = 1(см ае, с V ае V а<!1) х
х0(-,-)!(а V с V е, а V с V е V Ь<1 V <11).
(7)
Согласно (7), в общем случае есть два интервала, где группа работоспособна (у = 1). Они показаны в 1-й и 3-й скобках выражения (7). В остальных интервалах группа неработоспособна.
4. В качестве второго примера изложим методику построения автоматно-логических моделей представления визуальной информации, заданной в виде сцены (совокупностей объектов) на прямой, на плоскости и в л-мерном пространстве (п > 3). Автоматическое моделирование сцен позволяет представлять характеристики взаимного расположения объектов сцены как числовые характеристики выходного процесса автомата-модели, входные процессы которого - числовые характеристики расположения на сцене отдельных объектов. При этом каждому объекту соответствует свой вход автомата. Такие модели позволяют вычислять в аналитической форме различные характеристики взаиморасположения объектов сцены, сводя
эти задачи к известным из динамики автоматов задачам аналитического определения выходных процессов автомата по его входным процессам.
В случае простейшей сцены - на прямой линии - объектами являются п отдельных интервалов на этой прямой (ак, Ьк) , к = 1, ..., п,
а задача заключается в нахождении результирующей линейной картины взаиморасположения указанных интервалов. Будем интерпретировать заданную прямую как ось времени. При этом заданные интервалы на прямой можно интерпретировать как временные интервалы. Рассмотрим конечный динамический автомат без памяти с п входами и 1 выходом, на котором реализуется логическая булева функция (симметрическая функция индекса г от п аргументов). Пусть на к-м входе автомата действует единичный импульс \(ак, Ък) - интервал его
действия совпадает с к-м из заданных интервалов сцены. Так как функция = 1 только, если ровно г ее аргументов равны 1 (безразлично какие), то процесс на выходе данного автомата равен 1 только в тех интервалах, в которых ровно г его входных процессов (безразлично каких) равны 1, т.е. процесс на
выходе автомата с функцией /,[ равен 1 только на тех участках, на которых пересекаются ровно г объектов (интервалов) заданной линейной сцены. Таким образом, совокупность автоматов
с функциями /„г, г — 0, ..., и полностью моделирует своими выходными процессами искомую картину взаиморасположения интервалов на прямой. В случае плоской сцены элементарными объектами являются прямоугольники на плоскости, а задача состоит в нахождении плоской картины их взаиморасположения. Эта задача решается методом сечений, т.е. разбиением плоской сцены на несколько линейных сцен с помощью семейства параллельных секущих линий, решением соответствующих линейных задач и объединением их результатов. Метод сечений позволяет анализировать и сцены более высокой размерности, обеспечивая последовательное снижение этой размерности.
Примеры построения автоматных моделей сцен даны в [8].
5. В качестве третьего примера рассмотрим автоматное моделирование распознавания образов. Распознавание образов - важная часть многих систем управления. Обычный подход при распознавании образов - использование измерительной сетчатки, с заменой каждого образа вектором х = (х], хп), где хк = 1(0),
если к-я ячейка сетчатки занята (не занята) образом. Одно из возможных упрощений -автоматное представление образов, основанное на преобразовании образов во временные процессы, подаваемые на входы автомата-модели, процесс на выходе которого дает результат распознавания.
Пусть имеется образ - плоская фигура и система Р плоских эталонов, определяющих классы фигур. Принадлежность фигуры классу "к' определяется ее большей близостью к к-му эталону, чем к другим эталонам. Задача распознавания - установить, к какому из Р классов принадлежит данная фигура. Для решения надо сравнить данную фигуру с каждым из Р эталонов, получив Р значений показателя близости П фигуры и эталона, и отнести фигуру к тому классу, для которого П = пип. Рассмотрим распознаваемую фигуру и эталон, с которым сравнивается фигура, в декартовой системе координат (х, у). Рассечем фигуру и эталон вдоль оси х семейством параллельных равноотстоящих прямых к, к = 1, ..., р (рис. 2). Каждая линия "к' пересекается с фигурой в 2т(к) точках: вначале входит в точке ак1 и выходит в точке Ьк1, затем снова входит в точке ак2 и выходит из нее в точке Ък2, ..., наконец, входит в точке акт(к) и выходит в точке Ъкт(к). Аналогично,
линия "к' пересекается с эталоном в 2п(к) точках: вход в точке ск1 и выход в точке (1к1 , вход В точке ск2 И ВЫХОД В точке с1к2, ..., наконец, ВХОД В точке Скп(к) И ВЫХОД В точке с!кп(к).
Точкам пересечения линий "к' с фигурой можно поставить во взаимно-однозначное соответствие двоичные процессы хк^), а точкам их пересечения с эталоном - двоичные процессы Ук(1)- Эти процессы дают полную информацию о распознаваемой фигуре и эталоне - в пределах точности приближения, т.е. позволяют решить задачу. Все показатели близости фигуры и эталона - булевы функции / процессов хкО) и ук(1) . Каждой функции / можно поставить во взаимно-однозначное соответствие реализующую ее логическую схему с двоичными входами (по которым подаются процессы хк(Г) и ук(1)) и одним двоичным выходом (с которого снимается процесс-показатель близости фигуры и эталона). Построенная схема является автоматной математической моделью представления фигуры и эталона и
Рис. 2. К автоматной модели распознавания образов: жирно обведена распознаваемая фигура я (эталон), 1, ..., К, ..., Р- сечения фигуры (эталона).
показателя их близости. По ней строится эффективный алгоритм вычисления показателя П и собственно распознавания.
Пример 2. Построим модель для вычисления некоторого показателя близости фигуры и эталона. Поставим в соответствие пересечениям любой к-й сканирующей прямой с распознаваемой фигурой зависящий от х двоичный процесс (рис. 2)
»к(х) = 1(ак1, Ьк1 )0(-г )1(ак2,Ьк2 ) ... х
(8)
*1(акт(к)>Ькт(к)Л к = 1, ■■■> Р>
а пересечениям этой прямой с эталоном - аналогичный двоичный процесс
Ук(х) = 1(ск1,йк1)0(-г)1(ск2,йк2) ... х
(9)
х 1(скп(к)>(1кп(к))> к = 1, р.
В (8), (9) \(е, /) означают интервалы (е, /) единичных значений процесса (где прямая к находится внутри фигуры или эталона), а 0(-, -) промежуточные интервалы его нулевых значений (где прямая к находится вне фигуры или эталона). Совокупность р процессов вида (8) [вида (9)] содержит полную информацию о фигуре (об эталоне) и потому достаточна для определения различных показателей близости фигуры и эталона. Так, локальный показатель близости пко(х) - отсутствие фигуры в том месте л: к-й прямой, где имеется эталон - выражается в виде булевой конъюнкции
Пко(х) = ик(х)ук(х), к = 1, р, (Ю)
а локальный показатель близости Пкц(х) -присутствие фигуры в том месте х к-й прямой, где нет эталона - в виде конъюнкции
Пкп(х) = ик(х)ук(х), к = 1, .... р. (11)
Оба показателя можно соединить в локальный показатель близости Пк(х) - несовпадение фигуры и эталона в точке х к-й сканирующей прямой
п к(х) = ик(х)®ук(х) =
= ик(х)ук(х) чик(х)ук(х) = (12)
~ ^ко(х) V ПитСх), к = 1, ..., р.
В (12) 0 - сложение по модулю 2, а
V - дизъюнкция. Будем оценивать близость фигуры и эталона в целом с помощью глобального показателя близости 'Пг1(х) - несовпадения фигуры и эталона в целом с помощью
глобального показателя близости Ц-1(х) -несовпадения фигуры и эталона в точке х хотя бы одной р сканирующих прямых к (к = 1, ...,
р). Чем ближе Ц-1(х) к тождественному нулю, тем больше совпадение фигуры и эталона. Данный показатель выражается через локальные показатели
п~2(х)= V ик(х). (13)
к=1
Выражениям (12), (13) соответствует асинхронная комбинационная схема-модель для вычисления показателя близости и^1(х) фигуры и эталона (рис. 3). Зная входные процессы этой схемы ик(х) и ук(х) , к = 1, ..., р, описывающие фигуру и эталон, по формулам динамической теории автоматов [5-7] находим
процесс на ее выходе Пг1(х), оценивающий близость фигуры и эталона. Вычислив показатель близости П~!(х) для всех пар "фигура-эталон", относим распознаваемую фигуру к тому классу, эталон которого наиболее близок к фигуре.
6. В качестве четвертого примера рассмотрим простейшую динамико-автоматную модель изменения занятости. Имеется п предприятий с одинаковой численностью работающих ТУ, каждое из которых в любой момент времени / может работать (и тогда все его сотрудники считаются работающими) или простаивать (и тогда все его сотрудники считаются безработными). Имеется также т проектов, реализация каждого из которых создает на определенное время одно и то же число новых рабочих мест, совпадающее с числом работающих на каждом предприятии. Ясно, что реализация одного проекта позволяет трудоустроить всех безработных с
Рис. 3. Математическая модель вычисления показателя близости фигуры и эталона в виде автомата: ик(х) - к-е сечение фигуры, ук(х) - к-е сечение
эталона, П-](х)~ показатель близости фигуры и эталона, Ф - элемент-сумматор по модулю 2, V - элемент-дизъюнктор.
одного предприятия. Это дает возможность построить такую математическую модель динамики занятости. Заданной динамике состояния г-го предприятия ставим в соответствие двоичный процесс Х{(Г) , I = 1, п, где = 1
(х,- = 0) означает работу (простой) ;'-го предприятия. Аналогично, известной динамике состояния г'-го проекта ставим в соответствие двоичный процесс У[0), / = 1, ..., т, где у 1(1) = 1 (>',■ = 0) означает реализованность (нереализованность) /-го проекта. Неизвестной динамике состояния системы ставим в соответствие набор двоичных процессов г\0), / = 0, ..., п, где ц = 1 (г,- =0) означает, что итоговое количество безработных равно (не равно) человек (т.е. единицей измерения является число работающих на одном предприятии). Для нахождения процессов Zi(t) используем следующую автоматную модель. Ясно, что итоговое количество безработных определяется соотношением числа ставших безработными из-за остановки предприятий и числа трудоустроенных из них на вновь созданные рабочие места. Введем в рассмотрение логические булевы функции:
/и (Х1} ■■■, хп) - симметрическая булева функция индекса г от п переменных х;, ..., х„ ;
(У1> ■■■> Ут) ' симметрическая булева функция индекса > г от тех же т переменных У1, ут и Р1п(у1, ут) - симметрическая булева функция индекса г от тех же т переменных. Функция /п — 1, если ровно г аргументов
равны 1. Так же определяется Р£ . Функция
Р^г = 1, если > г аргументов равны 1. В терминах введенных функций получим следующие выражения переменных ц в ДНФ
Ю = Іп V V V ... v/n',JF|^
(14)
І+1 771
ГпРп~1
■ ■ vJn гт >
і = 1,
Функция выражается через функции в
виде дизъюнкции
— 77г V/ т?г + 1 -г ж - Гщ V Г,„
(15)
Системе логических функций (14), (15) соответствует математическая модель динамического автомата без памяти. Таким образом, система логических функций 1,(х1, хп,
У], ут), / = 0, ..., п, выражаемых формулами (14), (15), и есть автоматная математическая модель динамики занятости. Она реализуется асинхронной комбинационной схемой из логических элементов. Динамический автомат без памяти с системой логических функций (14) является абстрактной математической моделью динамики занятости, а соответствующая асинхронная комбинационная схема, реализующая эти функции, - ее структурной моделью (рис. 4).
Рис. 4. Автоматная математическая модель процесса изменения занятости: X], хп - входы, моделирующие СОСТОЯНИЯ предприятий, У1, ут - входы, моделирующие состояния проектов по созданию новых рабочих мест, Ю, ■■■> ~ выходы, моделирующие состояния всей системы (итоговый уровень занятости), 1 - блок,
реализующий функции /'п(х2, ■■■> хп) > 2 - блок, реализующий функции Zi(xl^ хп, у], ут) ,
3 - блок, реализующий функции Рт(У1> ■■■> Ут) > 4 - блок, реализующий функции Рт(У1> Ут) >
5 - блок, реализующий функцию ю(х1, ■■■> хп> У1> ■■■> Ут) ■
Нахождение динамических процессов ■, 1 = 0, ..., п, изменения занятости по заданным процессам Х1^), ..., хп(1) изменения состояния предприятий, процессам у 1(1), ут(1)
реализации проектов создания рабочих мест и функциям ц(хь хп, У1, ут), 1 = 0, ...,
и, состояния системы сводится к известной задаче динамической теории автоматов. А именно: задана асинхронная комбинационная схема динамического автомата без памяти, реализующая логические функции
ц(х1, Хп, У], ..., ут), / = 0, ..., и, и ее
ВХОДНЫе ПрОЦеССЫ Х](1), хп(1),
У]О), ут(О ■ Требуется найти выходные процессы схемы 11(г) , / = 0, ..., п. Последняя задача решается известным методом последовательных подстановок от входов схемы к ее выходам.
Изложенная модель занятости сильно упрощена. Она не учитывает: 1) различие в численности работающих на различных предприятиях и в числе создаваемых различными проектами рабочих мест, а также несвязанность между первыми и вторыми; 2) конечное время, необходимое для трудоустройства безработного; 3) различие в специальностях безработных между собой и с вновь образуемыми рабочими местами и связанная с этим необходимость переобучения; 4) возможность неполного прекращения работы предприятия и связанный с этим переход в статус безработных лишь части работников. Все эти тонкости могут быть учтены путем уточнения предложенной модели.
По вычисленным процессам z^(t) , г = 0, ..., и, изменения занятости можно осуществлять
управлением уровнем занятости. Если цель управления - снижение уровня безработицы, то алгоритм управления таков: 1) находится процесс zs(t) с максимальным номером s, отличный от тождественного нуля; 2) находятся интервалы (в si >bsi) , (asm(s)> bsm(s))> КОТОРЫХ zs(t)= 1; в каждом из них уровень безработицы максимальный, равный sN человек; 3) планируется т проектов, к-й из которых при реализации создает N новых рабочих мест в интервале времени (, bsk)\ тем самым во
всех интервалах, найденных на шаге 2, уровень безработицы снижается на N человек, так что найденный процесс zs(t) становится равным тождественному нулю. Дальше изложенная процедура применяется к оставшимся ненулевым процессам zt(t) , в результате чего уровень безработицы снижается еще на N человек и т.д., вплоть до достижения требуемого уровня или исчерпания ресурсов по созданию новых рабочих мест.
ЛИТЕРАТУРА
1. Левин В. И // Автоматика и вычислит, техника. 1972. № 6. С. 84-93.
2. Шеннон К.Э. Работы по теории информации и кибернетике. М.: ИИЛ, 1963.
3. Nakaschima А. // Nipp. El. Comm. Eng. 1936-1938.
4. Шестаков В.И. //Ж. технич. физики. 1941. № 2. С. 532-549.
5. Левин В.И. Введение в динамическую теорию конечных автоматов. Рига: Зинатне, 1975.
6. Левин В.И. Динамика логических устройств и систем. М.: Энергия, 1980.
7. Левин В.И. Теория динамических автоматов. Пенза: Изд-во Пенз. гос. техн. ун-та, 1995.
8. Левин В.И. Теория автоматов в задачах анализа сложных изображений // В печати.
Поступила в редакцию 2 апрели 1997 г.
