Файл: Вальков К.И. Введение в теорию моделирования.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 30.06.2024

Просмотров: 148

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

лем а кодирования

и декодирования сообщений.

Сущность этой

проблемы заключается в следующем.

 

 

Пусть имеется

множество М — { х и ...,

х

т ) . Выбор одного

элемента из этого множества осуществляется с помощью сиг­

нала Xh, посылаемого объектом О,.

Имеется также

множество'

N—{уи

у„}. Выбор элемента

этого множества осущест­

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

моделью—

объектом Ог. Требуется сопоставить попарно элементы мно­ жеств М и N. Тогда любое сообщение, т. е. любая последова­

тельность сигналов Хи Xk, Xi, • • •, Xj, переданных

объектом

0 ) (

может быть

заменена

соответствующей

последовательностью

сигналов yv,

//у, ;/,.., . . . ,

yw, переданных

объектом

02 . Эта

опе­

рация называется кодированием сообщения. И обратно, имея

последовательность ур,

yq, yv,

...,

yw,

можно восстановить по­

следовательность Хи xh,

x i , . . .

,Xj

— декодирование

сообщения.

Из сказанного видно, что объект 02 ,

посылающий

сигналы

иного рода, удается рассматривать как

модель

объекта Oi

лишь при условии овладения

 

способом

кодирования

сооб­

щений.

 

 

 

 

 

 

 

Условимся сразу же распространить представление о тож­

дественных машинах

(1.4.3)

и на тот

случай, когда

машина

М2 выдает сигналы иного рода, по способ кодирования нахо­

дится

в руках

наблюдателя.

 

10.

Имеет

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

себе довольно

тонкие различия между терминами

«модель»

и «код», «моделирование» и «кодирование». Ради

определен­

ности будем опираться при этом на пример «г» из предыдущего раздела (1.4.9):

а)

Исходный

объект O i т е л

е г р а ф н ы й

бланк с

текстом.

б)

Модель 0 2

— телеграфный

ключ, совершающий

в тече­

ние некоторого времени свои колебательные

движения. 1

в)

Код К\2 — таблица с записью азбуки

Морзе.

 

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

1 Если удобно, в состав модели можно включить н телеграфиста, на­ жимающего на ключ. Однако нужно понимать, что это — дело условия.

Встав на путь расширения объекта или модели, можно продвигаться по этому пути сколь угодно далеко.

41


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

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

д) Кодирование слова или фразы или всего текста теле­ граммы — замена данной совокупности сигналов соответствую­ щей совокупностью сигналов иного рода.

е) Моделирование слова или фразы или всего текста теле­ граммы— передача указанной информации средствами мо­ дели.

Сопоставление пунктов «г», «д», «е» показывает, во-пер­ вых, что термин «кодирование» часто употребляется с двумя смысловыми оттенками, которые не следует смешивать. В слу­ чае «г» имеется в виду множество возможных кодов. Азбука Морзе, фактически используемая телеграфистом, является лишь элементом этого множества. В случае «д» код уже выб­ ран и изучен. Остается чисто техническая работа — кодирова­ ние и декодирование.

Сопоставление перечисленных пунктов показывает, во-вто­ рых, что термины «кодирование» (в смысле пункта «д») и «мо­ делирование», если не вдаваться в дальнейшие тонкости, прак­ тически совпадают по смыслу. В литературе они часто упо­ требляются как синонимы. В подобных ситуациях при прочих равных условиях мы будем предпочитать термин «моделиро­ вание».

11. Описывая процесс кодирования (1.4.9; 1.4.10), мы под­ черкивали необходимость попарного сопоставления элементов множества М с элементами множества N. Как обычно говорят, множества М и Л/ должны быть связаны взаимно однозначным соответствием. Соблюдение этого условия создает теоретиче­ ски идеальные условия для осуществления процессов модели­ рования с использованием сигналов иного рода. Каждому сиг­ налу su исходного объекта сопоставляется единственно воз­ можный сигнал s2l: модели и таким образом обеспечивается, по крайней мере в теоретическом плане, полная и точная пере­ дача информации. Поэтому во всех случаях, когда модель кон­ струируется, а код выбирается и никаких специальных стрем-

42


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

Однако нередко модель предстает перед нами в качестве существующей данности, а действующий здесь код приходится устанавливать. Такое положение создается обычно при прове­ дении научных исследований, когда исходным объектом яв­ ляется одно наблюдаемое явление, а его моделью — другое наблюдаемое явление, как-то связанное с первым. В таких случаях взаимная однозначность кода, как правило, не обес­ печивается и может констатироваться лишь в порядке неожи­ данного и приятного исключения. Характерной иллюстрацией может служить медицинская диагностика: внутренние изме­ нения в организме моделируются внешними изменениями (при­ знаками). Но одни и те же признаки часто соответствуют раз­ личным внутренним изменениям, и наоборот. Другой типичный пример — черно-белая фотография. Фотография моделирует световые характеристики объекта, но многие различные по цвету его части порождают на фотографии один и тот же све­ товой сигнал.

Взаимно однозначный код можно рассматривать как про­ стейшую машину (1.4.3), работа которой зависит от одного па­ раметра. Табличная запись такой машины содержит всего два столбца—в левом столбце отмечены элементы первого мно­ жества, в правом — второго.

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

д столбцов. Столбцы левой части называются входом

машины,

столбцы правой части — ее выходом.

На входе машины фикси­

руем р параметров (сигналов),

на выходе получаем

q ответ-

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

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

именуется

изоморфной.

 

При использовании неоднозначного кода получаем неодно­

значную модель. Когда неоднозначность

кода беспредельно

увеличивается

и каждому сигналу модели

сопоставляется бес-

43


конечное множество сигналов объекта, возникает модель, име­ нуемая гомоморфной.

В случае изоморфизма отношение объект—модель теорети­ чески полностью обратимо, т. е. 0 2 можно рассматривать как исходное явление, a Ot как модель. Выбор направления при оценке этого паритета диктуется конкретными обстоятельст­ вами, либо является результатом условного соглашения.

Для неоднозначной или гомоморфной модели также воз­ можно обращение отношений, но при этом меняется, конечно,

и направление

неоднозначности или гомоморфизма.

Отметим еще транзитивность

процессов

моделирования:

если 0 2 служит

моделью Oi, а 0 3

— моделью

02 , то 0 3 моде­

лирует 0[. Пользуясь этим свойством, часто удается замкнуть

длинную

цепь

моделирований;

вместо последовательности

O i - v 0 2 - ^ 0 3 . . .

Оп, порожденной какими-либо

практически­

ми действиями

и

условиями, рассматривается

единственная

существенная пара 0|-*-(),,.

 

 

Любые

два

явления, каждое из которых создает серию сиг­

налов, можно

в пределах этой

серии оценивать

как объект и

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

Если имеется множество М и изучаются соотношения ме­ жду его элементами, то любое другое множество N может рас­ сматриваться как модель (изоморфная, неоднозначная или го­ моморфная). Здесь также дело сводится к установлению кода. Элементы множества М должны быть названы именами эле­ ментов множества N. Такая «проблема переименования» эле­ ментов и их отношений встречается часто, особенно в матема­ тике, и в большинстве случаев сводится к выполнению чисто технической работы, хотя это далеко не всегда осознается. К последнему замечанию нам еще придется возвращаться не­ однократно (3.5).