
книги из ГПНТБ / Кравченко Р.Г. Основы кибернетики учеб. пособие
.pdfНапример, нагревается вода, превращается в пар. Вода — операнд, тепло — оператор, новое состояние — пар.
Происходящие в описанных случаях изменения можно опи сать формулой
вода -> пар
Эти изменения называются пере ходом. Переход опреде ляется двумя состояниями и указанием, какое из них изме няется в другое состояние (стрелка).
Исследование одиночных переходов не позволяет получить дополнительные сведения о характере трансформаций, происхо дящих в системе, понять смену состояний системы, установить четко различия между системами и между состояниями одной системы.
Чтобы иметь возможность вести более широкое исследование систем, раскроем содержание понятия «преобразования», а также укажем возможные виды преобразований.
Преобразования, виды преобразований. Один и тот же опера тор может воздействовать на различные операнды, вызывая пе реход в каждом из них, получение образов.
Так, оператор «энергия солнечных лучей», действуя на зерно, помещенное в почву, стимулирует его произрастание и превра щение в растение. Дальнейшее действие этого оператора стиму лирует рост растения и его цветение. Из фазы цветения расте ние переходит в фазу плодоношения. Это вызывает ряд пере ходов:
зерно (семя) -»растение
растение^фаза цветения растения
фаза цветения растения^фаза плодоношения растения.
Такое множество переходов для некоторого множества опе рандов есть п р е о б р а з о в а н и е .
Преобразования ясно показывают один из основных методи ческих приемов кибернетики. Исследуя переходы,изучается,что проис ходит , а не п о ч е м у это происходит. Даже знание оператора во многих случаях несущественно: важно то, что под действием определенного оператора (без выяснения существа действия) операнд превращается в образ. Следовательно, глав ным является, в какой образ под действием оператора превра щается операнд.
Преобразования, происходящие в системе, относятся к раз личным видам. Для показа этих видов воспользуемся общей формой описания системы.
Известно (задано) множество операндов, каждый из кото рых представляет одну букву латинского алфавита — а, Ь, ..., и. Избранный оператор воздействует на операнд так, что каждая
40
буква алфавита представленного |
|
множества |
трансформируется |
|
в следующую за ней в алфавите букву, а и |
превращается в а. |
|||
В записи это будет выглядеть следующим образом: |
||||
| а |
b . |
, |
. и |
|
lb |
с . |
. |
. а |
|
При рассмотрении этого преобразования устанавливаем, что множество образов не содержит новых элементов по сравнению с множеством операндов. Каждый элемент нижней строки встре чается среди элементов верхней строки. Такое преобразование
относится к з а м к н у т о м у |
виду, или же можно сказать, что |
в данном случае множество |
операндов замкнуто относительно |
данного преобразования. Естественно, что если изменится мно жество операндов (или оператор), то может и не быть замкну того преобразования. Н е з а м к н у т ы м преобразованием при нято считать такое, когда среди множества образов имеются элементы, не встречающиеся среди множества операндов.
Так, незамкнутым является преобразование
| а Ь . . . и \ b с . . . k
Замкнутым преобразованием можно моделировать действие, которое имеет определенную длительность и циклически повто ряется. Наоборот, незамкнутое преобразование (его множество последующих состояний содержит и другие состояния по сравне нию со множеством исходных состояний) моделирует деятель ность, развитие которой от определенного состояния неизвестно, сведения о нем заканчиваются.
Взависимости от характера переходов, т. е. соответствует ли одному исходному состоянию (операнду) одно или несколько последующих состояний (образов), различают преобразования однозначные и неоднозначные.
Втом случае, когда каждому операнду соответствует только
один образ, будет о д н о з н а ч н о е преобразование (последую щее состояние полностью определено предыдущим состоянием).
Таким преобразованием, например, будет |
|
|
||||
т |
. | / |
а Ь |
с |
d \ |
|
|
|
\ \ Ь |
с |
d |
b I |
|
|
Из числа однозначных преобразований можно выделить две |
||||||
группы — взаимооднозначные |
преобразования и |
однозначные |
||||
лишь в одну сторону. |
|
|
являются |
такие |
преобразо |
|
В з а и м о о д н о з н а ч н ы м и |
||||||
вания, в которых исходные и |
последующие |
состояния можно |
||||
однозначно превращать в обоих направлениях. Например: |
||||||
гр |
. | !а b |
с |
d\ |
|
|
|
|
I \b |
с |
d |
а) |
|
|
41
Если каждому элементу из множества операндов соответ ствует один и только один элемент из множества образов, но не каждому образу соответствует один и только один операнд, та кое преобразование является од н о.з н а ч н ы м л ишь в одну с т о р о н у (в ранее приведенном примере образу b соответст вует исходное состояние a n d ) .
Однозначным преобразованием возможно моделировать раз витие детерминированных систем.
В тех случаях, когда в системе какому-либо исходному со стоянию соответствует несколько последующих состояний, при чем возникновение какого-либо последующего состояния яв ляется случайным событием с определенной вероятностью по явления, будет н е о д н о з н а ч н о е преобразование. Например,
преобразование V : I ( |
^ |
'j является неоднознач- |
I \b-\-c c-\-d . . . J |
||
ным с вероятностью условно (7 з ,2/з), |
(3Аь ’Л)- |
|
Соединения + между |
несколькими |
последующими состоя |
ниями в одном переходе использованы в исключающем смысле. Например, операнд а перейдет или в образ b или в образ с. То, что будут именно эти образы, а не другие, истинно, ибо сумма вероятностей их появления равна 1 .
Неоднозначными преобразованиями можно моделировать развитие систем со случайным действием вероятностных систем.
Различают еще один вид преобразований-—т о ж д е с т в е н ные преобразования. При этом преобразовании не происходит никаких изменений, и каждый образ совпадает со своим опе рандом. Если все операнды различны, то это преобразование
является взаимооднозначным: |
|
|
|
|
j |
la |
b |
с |
d\ |
I |
la |
b |
с |
dj |
Компактные способы записи преобразований. Часто при за писи преобразований применяют более укрупненные формы, ясно показывающие их взаимоотношения. Одной из таких форм является запись в виде определенной формулы. Обозначим опе ранд через символ п, образ — через п', тогда при любом п спра ведливо будет отношение п-^п'.
Чтобы выяснить характер перехода, введем коэффициент k, который покажет, как будут совершаться преобразования под действием оператора. Это может быть прибавление или умень шение операнда на величину k (n'=n + k\ п '—п—k), или же
умножение (n'= kn) или деление Ы — пk
другое, более сложное действие, раскрывающее функциональную зависимость множества операндов и множества образов при пре образовании в данной системе.
42
Например, преобразование |
|
|
|
Т : |
(I |
3 |
|
I |
\8 |
10 |
|
можно записать следующим |
образом: п '= п + 7 (п=\, 3, 5), |
||
а преобразование |
П |
3 |
5 |
Т : |
|||
И 6 |
18 |
30/ |
|
записывается так: п '= п (6) |
(п= 1, 3, 5). |
Преобразования можно представить также в матричной форме.
Составим таблицу, число столбцов которой равно числу опе рандов плюс 1, строк — числу образов плюс 1. Если преобразо вание не конечно (в том случае, когда преобразование от опре деленного состояния неизвестно), то число строк и столбцов равно тому количеству операндов и образов, о котором имеются сведения.
Выпишем операнды в горизонтальную верхнюю строку, воз
можные |
образы в |
левый крайний |
столбец. |
На пересечении |
столбца |
и строки |
поставим единицу, если |
операнд, стоящий |
|
вверху |
столбца, |
преобразуется в |
элемент, |
стоящий влево |
в строке. На других пересечениях |
проставим нули. Стрелкой |
в верхнем левом углу обычно указывают направление преобра зований.
Дано преобразование
АС D\
Т: I с с а )
Запись его в матричной форме:
1 А С D
с 1 1 0
А0 0 1
Приведенный пример относится к системе с детерминирован ным действием, смоделированной однозначным преобразо ванием.
В матричной форме можно также записать неоднозначное преобразование. В таком случае каждый из возможных обра зов записывается в отдельной строке таблицы, а на пересечении с предшествующим ему операндом вместо единицы записывается вероятность преобразования в данный образ.
43
Дано преобразование |
с. |
|||
Т |
: |
а |
||
•1 ус d в-{-h Ц- ш v |
|
|||
|
|
|
||
при вероятности (3/4, |
*/4) ; (V2, Ч4, 1U); |
(1) |
его запись в матрич |
|
ной форме представлена на рис. 10 . |
|
представить в виде |
||
В ряде случаев преобразование удобно |
кинематического графика, особенно в сложных преобразованиях при повторных изменениях. Однако, поскольку повторные изме нения характерны для замкнутых однозначных преобразований, характеризующих динамические детерминированные системы и
|
|
|
|
не представляющих интереса для эконо |
|||
|
а |
ь |
С |
мической кибернетики, эта форма пред |
|||
1 |
ставления рассматриваться не будет. |
||||||
с |
3/0- |
0 |
о |
При изучении и описании преобразо |
|||
d |
/А |
0 |
0 |
ваний, происходящих в системах, |
весьма |
||
конструктивным |
является описание их |
||||||
е |
0 |
иг |
0 |
||||
на языке, свойственном символической |
|||||||
к |
0 |
/А |
0 |
логике, с элементами Булевой алгебры. |
|||
m |
0 |
/А |
0 |
Для того чтобы |
ясно представить воз |
||
V |
0 |
0 |
1 |
можные логические функции преобразо |
|||
ваний, напомним хотя бы несколько по |
|||||||
|
|
|
|
нятий из алгебры логики. |
|
||
|
р и с . ю. |
|
Булева алгебра — это алгебраическая |
||||
Матричная |
форма |
запи |
система, которая |
в зависимости |
от об |
||
си |
вероятностных |
пре |
стоятельств может быть интерпретиро |
||||
|
образований |
|
вана либо как система событий, либо |
||||
|
|
|
|
как система высказываний. |
|
||
|
Когда идет речь о преобразованиях, |
утверждается, что каж |
дое из них влечет за собой смену состояний системы. Каждое будущее состояние системы можно истолковать как событие. При этом мы всегда имеем дело с системами событий, так как изолированных событий не бывает. Каждое событие, о котором заходит речь, окружено другими событиями, образуя с ними единое целое.
Система событий может быть описана с привлечением мате матического аппарата символической логики. Это основано на аналогии между событиями и высказываниями. Под высказы ванием в логике понимается повествовательное предложение, которое имеет то свойство, что оно может быть классифициро вано либо как истинное, либо как ложное, но не как то и дру гое вместе.
Событием можно считать все то, что может произойти или не произойти, но не может быть то и другое вместе. Такая ана логия позволяет обслуживать логику и теорию вероятностей од ним и тем же формальным аппаратом.
Возможность создания единого исчисления, которое могло бы быть применено в зависимости от обстоятельств либо при ис
числении высказываний, либо при исчислении событий, опреде ляется также следующим.
Среди событий есть достоверные и невозможные; высказыва ния могут быть тождественно истинными или тождественно лож ными. Одно событие может быть связано с другим, последую щим, т. е. между ними возможна причинно-следственная связь; также и высказывания могут вытекать одно из другого, т. е. между ними возможна логическая связь.
Между событиями и высказываниями тоже существует (воз можна) некоторая связь; каждому событию может быть сопо ставлено некоторое высказывание, а высказывание можно истол ковывать как утверждение об осуществлении некоторого со бытия.
Такое исчисление было создано Дж. Булем и впоследствии развито С. Н. Бернштейном и особенно А. И. Колмогоровым.
Таким образом, Булева алгебра —это алгебраическая си стема, аксиомы которой выражают то общее, что роднит собы тия и высказывания. Причинно-следственная связь событий или логическая связь высказываний описывается формулами, имею щими вид неравенств. Например, неравенство х< у выражает большую достоверность события у по сравнению с событием х, и это же неравенство может выражать большее правдоподобие высказывания у сравнительно с высказыванием х.
Это же можно выразить тем, что каждая логическая перемен ная, отражающая событие или высказывание, может приобре тать два противоположных значения, которые обычно равны О или 1 (можно так это интерпретировать: 1 — событие произошло, высказывание истинно, 0 — событие не произошло, высказыва ние ложно). 1 и 0 можно рассматривать как наибольший и наименьший элементы Булевой алгебры. Кроме сказанного, каж дый элемент должен иметь дополнение, которое можно истолко вать как событие, противоположное данному, или как отрицание данного высказывания.
Сведение математики к логике состоит в том, что в матема тических и других рассуждениях постоянно встречаются повест вовательные предложения, образованные из другого предложе ния путем включения слова «не» или с помощью слов «и», «или», «если..., то», наконец, «тогда, и только тогда, когда». Эти
пять комбинаций слов (или просто слов) |
в логике называются |
||||
с е н т е н ц и о н а л ь н ы м и |
с в я з к а м и . |
С их |
помощью из |
||
п р о с т ы х п р е д л о ж е н и й |
(не содержащих |
связки) |
воз |
||
можно образовывать с л о ж н ы е |
п р е д л о ж е н и я . |
|
о т |
||
Предложение, видоизмененное словом «не», называется |
|||||
р и ц а н и е м . |
|
|
|
|
|
Соединение двух предложений в сложное с помощью связки «и» называется к о н ъ ю н к ц и е й этих двух предложений.
Соединение двух предложений в сложное с помощью связки «или» называется д и з ъ ю н к ц и е й двух предложений.
45
И м п л и к а ц и е й (или условным предложением) называется сложное предложение, построенное из двух простых с помощью связки «если.. то».
Применение связки «тогда, и только тогда, когда» для обра зования сложного предложения из простых называется экви - в а л е н ц и е й (или биусловным предложением).
Если применять для связок следующие символы: — для «не», А для «и», V для «или», -> для «если..., то» и <—> для «тогда, и только тогда, когда», то можно показать эффективным обра зом связную структуру сложного предложения.
Так, если Р и К — предложения, то:
—Р—отрицание предложения Р;
РД К —конъюнкция;
Р\ / К —дизъюнкция; Р-+К—импликация; Р<—*К—эквиваленция.
При составлении сложного предложения из двух простых (это сложное является также высказыванием, если его компо ненты тоже высказывания) следует обращать особое внимание на истинные значения простых компонентов (что представляет каждое из простых высказываний — истинность или ложность), так как от этого зависит истинность сложного предложения.
Как уже упоминалось, каждая логическая переменная может приобретать два противоположных значения. При наличии п логических переменных им можно придать противоположные значения 2” разными способами. Так, двум логическим пере менным {п = 2 ) значения 0 и 1 можно придать 2 2 способами, т. е. четырьмя способами. Представим это в виде таблицы для двух переменных Xi и х2:
X i |
0 |
0 |
1 |
1 |
х 2 |
0 |
1 |
0 |
1 |
Таким образом, логической функцией п логических перемен ных называется какое-либо однозначное придание одного из двух возможных значений логически зависимой переменной (на пример, у) состояниям логически независимых переменных хи
Х2, • • -, Х п .
Так, используя основные зависимости Булевой алгебры, че тырем состояниям двух логически независимых переменных Xi и х2 можно придать 16 различающихся логических функций. Для лучшего понимания этих функций независимые переменные Xi и х2, которыми можно выражать определенные события, бу дем принимать как два простых предложения (высказывания), соединяемые в сложное предложение (высказывание).
46
Рассмотрим Из всех шестнадцати функций только две —■ конъюнкции и дизъюнкции. Выбор этих комбинаций в качестве основы алгебры изучения систем и построения логических сетей объясняется прежде всего тем, что с их помощью легко и достаточно наглядно представлять все построения.
Система, реализующая логическую функцию конъюнкции, обеспечивает появление на ее выходе правильной реакции
только при наличии импульсов на всех |
|
|
||||
ее входах. Система, в которой преобра |
|
|
||||
зования совершаются только при выска |
|
|
||||
занном условии, называется конъюнк |
|
|
||||
тивной. |
|
|
|
|
|
|
Общий вид ее показан на рис. 11. |
|
|
||||
Примером |
конъюнктивной |
системы |
|
|
||
может быть |
модель, на которой иссле |
|
y = f(X1A X t) |
|||
дуется |
целесообразность организации |
|
||||
|
|
|||||
крупных |
животноводческих |
хозяйств. |
|
РИС. 11. |
||
В методических целях модель очень |
Схема |
конъюнктивной |
||||
упрощена. Для упрощения условились, |
|
связи |
||||
что для принятия решения о создании |
|
|
||||
крупных |
хозяйств |
(желаемый |
исход — положительное реше |
|||
ние — обозначим у) |
необходимо наличие |
капиталовложений и |
подтверждение о том, что создание таких предприятий будет экономически выгодно. Вводим две независимые переменные: х,
(значение |
1 |
подтверждает наличие |
капиталовложений, |
0 — от |
|||||
сутствие) |
и х2 (значение 1 — экономически эффективно, 0 — не |
||||||||
эффективно) . |
|
|
|
|
|
|
|||
|
Выход у |
(решение о создании крупных предприятий) будет |
|||||||
получен тогда, |
и только тогда, когда положительные импульсы |
||||||||
|
|
|
|
|
будут на всех ее входах. Представим это |
||||
|
Т а б л и ц а 2 |
схематично: |
y —[t(xi A x2)] |
(табл. |
2). |
||||
|
|
|
|
|
Некоторые пояснения: |
|
|
||
|
X, If |
хг |
J |
- |
1. Решение о создании отрицательное, |
||||
|
так как нет капиталовложений и прове |
||||||||
|
|
0 |
|
0 |
|||||
/ |
0 |
|
денные экономические расчеты свиде |
||||||
2 |
0 |
7 |
|
0 |
тельствуют |
о |
неэффективности |
таких |
|
3 |
1 |
0 |
|
0 |
предприятий. |
|
|
|
|
|
2. Решение |
о создании |
отрицатель |
||||||
|
1 |
1 |
|
1 |
|||||
4 |
|
ное, так как, несмотря на доказанную |
|||||||
|
|
|
|
\У |
эффективность создания крупных пред |
||||
|
|
|
|
|
приятий, нет капиталовложений. |
|
3.Решение о создании отрицательное, так как, несмотря на наличие капиталовложений, эффективность нулевая.
4.Решение о создании положительное, так как есть капита ловложения и доказана экономическая эффективность создания таких предприятий.
Заметим, что ноль на выходе конъюнктивной системы не означает, что реакция не появилась. В данном случае пони
47
мается так, что реакция вообще-то может появиться "(особенно не в бинарных системах), но если это не относится к желаемому исходу (неправильная реакция), то она равносильна нулю на выходе.
В качестве примера приведем экономико-математическую модель развития производства. Для каждой из таких моделей точно определяется перечень входной информации, что можно рассматривать как перечень импульсов (или вектор, составляю щие которого характеризуют состояние входа в систему). Если экономико-математическая модель с позиций применяемого алгоритма ее преобразований составлена правильно, то так или
иначе преобразования произойдут и будет
1 ДФ |
получено какое-то окончательное решение |
|
даже в том случае, если какие-нибудь им |
||
пульсы небудут поданы на вход системы. |
||
|
|
Но полученный результат в конъюнктивной |
|
|
системе при этих условиях будет нулевой. |
|
!f=f(X,VXt) |
Если результат в приведенном случае будет |
|
положительный, то это означает, что пере: |
|
|
|
чень необходимых импульсов, подаваемых |
РИС. 12. |
на вход системы, установлен неправильно: |
|
Схема |
дизъюнкте |
по крайней мере лишними являются те из |
ной |
связи |
них, которые по каким-то причинам не бы |
|
|
ли поданы на вход системы.
Вторая функция, подлежащая рассмотрению,— это дизъюнк ция (или логическая сумма). Независимые переменные этой функции связаны союзом «или».
Определение дизъюнкции в терминологии организационных моделей экономических систем следующее. Система, реализую щая логическую функцию дизъюнкции, обеспечивает появление на ее выходе правильной реакции при наличии всего одного по ложительного импульса на ее входах.
Общий вид ее показан на рис. 12.
Если система имеет две независимые переменные (два бинар ных входа) и одну зависимую переменную на выходе (один би нарный выход), то этот выход в трех случаях будет положи тельным и только в одном отрицательным.
Приведем пример модели, по которой решается вопрос об организации крупных животноводческих хозяйств. Допустим, что рентабельность доказана и предстоит решить, при каких усло виях их создавать. Примем условие, что для положительного исхода (у) нужны средства, которые либо имеются в наличии, либо нет (Xj), что возможности получения для этих целей долго срочных кредитов (х2) или есть, или нет.
Схематично представим это так: у =[f (xi Vx2)] (табл. 3).
В первом случае решение о создании отрицательное, так как нет ни собственных средств, ни возможности получения долго срочных кредитов (нет ни одного импульса на входах).
48
Во всех остальных случаях решение будет положительным, так как есть либо собственные средства, либо возможность по лучения долгосрочных кредитов, либо и то и другое (во втором и третьем случаях достаточно было одного положительного им пульса для возникновения нужной реакции).
В литературе приводится пример типично дизъюнктивной си
стемы— бухгалтерия, |
ведущая |
расчет заработной |
платы. Нет |
||||||
необходимости ждать |
всех |
импульсов |
|
|
|
|
|||
(сведений |
о выработке |
всех |
рабочих) |
|
|
Таблица 3 |
|||
для начала расчета заработной платы. |
|
|
|||||||
|
|
|
|
||||||
Достаточно получить сведения об одном |
|
|
|
- |
|||||
рабочем, |
и начисление |
может |
прово |
|
м |
|
|||
диться. |
|
|
|
|
|
7 |
0 |
0 |
0 .. |
В некоторых случаях при описании |
2 |
0 |
1 |
7 |
|||||
систем используется |
еще одна |
функ |
3 |
1 |
0 |
|
|||
ция— отрицания. Эта |
функция |
приме |
7 |
||||||
няется для систем, в которых положи |
У |
1 |
1 |
7 |
|||||
тельный импульс на входе системы при |
|
|
|
\У |
|||||
водит к отрицательной реакции на вы |
|
|
|
||||||
|
|
|
|
||||||
ходе и наоборот. |
|
|
|
|
|
|
13. |
_ |
|
Общий вид такой системы представлен на рис. |
Высказывание х ложно (равно 0), если высказывание х
истинно (равно 1 ), и наоборот.
Траектория изменений системы. Состояние любой системы можно с определенной точностью охарактеризовать совокупно стью значений величин, определяющих ее поведение. Напо мним, что под состоянием системы понималось точно определен ное условие или свойство, которое может быть опознано, если повторится снова. Каждая си стема имеет множество возможных состояний, предсказуемых (у детерминированных систем)
и определенных с помощью вероятностных ме тодов (у вероятностных систем).
Состояние системы можно охарактеризовать графически, где каждая точка, характеризую щая состояние системы в определенный момент времени, будет располагаться в многомерном пространстве, ограниченном векторами, соответ ствующими определенным параметрам незавимых переменных, т. е. характеризующими раз витие (движение) системы. Пространство, в ко
тором каждое состояние системы и ее движение фиксируется определенной точкой, называется пространством состояний си стемы. Число измерений пространства состояний системы равно числу независимых переменных, определяющих состояние си стемы. Каждое состояние системы характеризуется набором определенных значений переменных хи х%..., хп. В простран стве состояний (обычно Евклидово пространство) ему соответ-
2 Р. Г. Кравченко, А. Г. Скрипка |
49 |