
книги из ГПНТБ / Вальков К.И. Введение в теорию моделирования
.pdfлем а кодирования |
и декодирования сообщений. |
Сущность этой |
|
проблемы заключается в следующем. |
|
|
|
Пусть имеется |
множество М — { х и ..., |
х |
т ) . Выбор одного |
элемента из этого множества осуществляется с помощью сиг
нала 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).
ГЛАВА ВТОРАЯ
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
§1. Значение математических моделей
1.Как видно из определения (1.4.1), главная функция мо дели— замена объекта 0[ по циклу информации /о- Потреб ность в такой замене возникает по многим причинам. Разнооб разие обстоятельств, заставляющих прибегать к использова нию моделей, столь велико, что нет никакой надежды охватить его простым перечислением и классификацией. Укажем здесь лишь несколько основных и характерных случаев.
а) |
Исходных |
объектов |
Oj слишком много. Модель |
0 2 ис |
|
пользуется как |
типичный |
представитель, как элемент |
этого |
||
множества. |
|
|
|
|
|
б) |
Исходный объект Ot недоступен в пространстве. Модель |
||||
0 2 позволяет преодолеть пространственный барьер. |
|
|
|||
в) |
Исходный |
объект Oi недоступен во времени |
(относится |
||
к прошлому или к будущему). Модель 0 2 позволяет |
расследо |
||||
вать или прогнозировать |
события. |
|
|
||
г) |
Исходный |
объект Oi не существует. Модель |
0 2 |
позво |
|
ляет |
решить вопрос о его создании. |
|
|
д) Исходный объект О! неудобен или непригоден для пред стоящей процедуры. Модель 0 2 позволяет осуществить необ ходимую процедуру.
Читатель, вероятно, не затруднится привести один или не сколько примеров для каждого из перечисленных вариантов.
^ 2. В каких бы условиях и с какой бы целью ни исполь зовалась модель, практически всегда важно обеспечить ее воз можно более широкую универсальность, точность и рентабель ность.
Универсальность модели важна потому, что слишком труд но было бы для каждого нового объекта О] создавать новую модель 02 , прибегая каждый раз к новым идеям и к новым методам моделирования.
Значение точности, достоверности модели подсказано са мим ее назначением: заменять исходный объект. Конечно, ино гда модель может рассматриваться как первое и грубое при ближение. Но это означает только, что цикл информации /о, которую она должна воспроизводить, заведомо и преднаме
ренно сужен. В пределах же предписанного ей более узкого
45
цикла Jo' cz / 0 модель все равно должна обеспечивать необхо димую точность.
Естественное требование рентабельности модели па-прак тике часто противоречит требованию ее универсальности. На пример, проще и дешевле промоделировать с помощью спе циального устройства только голос или только зрительный об раз лектора, чем и то и другое вместе. Практическая труд ность заключается обычно в том, чтобы удовлетворить в долж ной мере и.первое и третье требования к модели.
3. Если модель универсальна, |
т. е. охватывает целую |
сово |
||
купность объектов Оц, 012, |
Oj3 |
. .. |
0 ) п , то, следовательно, цикл |
|
информации, по которому |
она |
работает, относится ко |
всем |
этим объектам.
Необозримое множество реальных явлений и процессов, поддающихся научному анализу, доступно для тех или иных измерений. Другими словами, все эти явления и процессы слу жат источником информации о различных количественных со
отношениях. Значит, информация |
о количественных |
|
соотноше |
|||
ниях обладает |
весьма |
универсальным |
характером |
и |
может |
|
послужить |
основой |
для конструирования |
универсальных |
|
мо |
|
делей. |
|
|
|
|
|
|
Необозримое множество |
реальных |
явлений и процессоз, |
поддающихся научному описанию, допускает также оценку с точки зрения формы и положения их в пространстве. Другими словами, все эти явления и процессы служат источником ин формации о различных пространственных, геометрических, со
отношениях. Значит, |
информация |
о геометрических |
соотноше |
|||
ниях |
также |
обладает |
весьма |
универсальным |
характером |
и мо |
жет |
служить |
основой |
для конструирования |
универсальных |
мо |
делей.
4. Высокоспециализированными и эффективными устрой ствами, способными доставлять информацию о количествен ных или геометрических соотношениях, служат, как известно, разнообразные математические конструкции. Собственно го воря, математические конструкции в чистом виде едва ли мож но назвать устройствами. Скорее, их следует назвать представ лениями, теориями, выводами, правилами. Но эти теории и правила столь неразрывно и традиционно связаны с некото рыми реальными их воплощениями — математическими запи сями и чертежами, что без большой натяжки можно говорить прямо об устройствах.
Математические устройства или конструкции обеспечивают высокую точность при передаче информации. Так, результат
46
вычисления но какой-либо алгебраической (или иной) фор муле может быть доведен до любого количества знаков после запятой, а геометрические прогнозы, предписания и оценки могут быть «доказаны». Кроме того, научной практикой по стоянно подтверждается, что в тех случаях, когда удается по добрать математическое устройство, действительно модели рующее данный исходный объект (явление), этот объект обыч но с большим постоянством и точностью повторяет поведение своей математической копии. Классическим примером служат фундаментальные физические законы, выраженные в матема тической форме. Следовательно, не только по критерию уни версальности, но и по критерию точности математические устройства очень хорошо приспособлены для целей моделиро вания.
Они отлично выдерживают проверку и по третьему важ ному критерию — по оценке рентабельности. В отличие от большинства физических агрегатов (механизмов, приборов и пр.), математические конструкции, как правило, хорошо со вмещают универсальность с рентабельностью. Простота ма тематических выводов не противоречит их общности. Матема тические теории и правила относительно дешевы. Правда, сюда не входит оценка интеллекта, их создающего. Как бы то ни было, математические устройства исключительно широко ис пользуются для целей моделирования, и это служит косвенным подтверждением их целесообразности.
5. Благодаря своим высоким показателям по трем перечис ленным выше, а также и по некоторым другим критериям математические модели получили чрезвычайно большое тео ретическое и практическое значение. Математическое модели рование проникает теперь буквально во все области знания. Многие специалисты считают, что научная дисциплина дости гает определенной зрелости лишь в тот момент, когда она обращается к использованию математических моделей. Вся современная теоретическая физика сводится в известном смысле к конструированию математических моделей. Матема тический аппарат служит основой новейших химических тео рий. К математике обращается за помощью и биология и ме дицина. И уж, конечно, вне математических моделей невоз можно представить себе развитие техники и инженерного дела.
Существенной особенностью математической модели яв ляется ее отвлеченный характер. Как уже упоминалось (2.1.4), имеются весьма традиционные математические устройства, с которыми невольно и почти неизбежно отождествляется любой
47
процесс математического моделирования. Ё этом нет ничего плохого, но все же необходимо отчетливо сознавать, что мате матическая модель не совпадает ни с одним из своих реаль ных воплощений, или, если угодно, совпадает в равной мере со всеми своими возможными воплощениями.
Запишем, например, выражение х2+у2_
Эта запись выражает определенное количественное соотно шение. Пользуясь ею, а также известными правилами и, мо жет быть, таблицами, каждой паре конкретных чисел сопо ставляем третье число: 3, 4-*-5; 6, 8-*-10 и т. п. Таким обра зом, запись работает как математическое устройство, как ма шина.
Но аналогичную функцию может выполнять «считающий чертеж» (номограмма), показанный на рис. 2.1. Выбрав среди прямых х и у элементы с соответствующими числовыми пометками, на пересече нии их видим кривую, отмеченную соответствующим третьим числом. Эта номограмма тоже работает как математическая машина.
Нетрудно представить себе и спе циальный прибор или механизм, реа лизующий указанное количествен ное соотношение.
Какой из этих объектов следует назвать математической моделью? Строго говоря, по-видимому, ни пер
вый, ни второй, ни третий, или нужно признать, что указанная математическая модель причастна к каждому из них в равной мере. В своем отвлечении она является некоторой совокупно стью математических определений, касающихся суммирова ния чисел, их умножения, возведения в степень и равенства. Поэтому во многих случаях ради большей четкости имеет смысл различать абстрактную и реальную математические модели. Очевидно, абстрактные математические модели прямо связаны с инвариантной неопределенностью (1.1.5). Именно этим обстоятельством подчеркивается и отчасти, может быть, поясняется их особое положение и их особенное значение.
§ 2 . Ч и с л о и ф о р м а
1. Как количественные, так и геометрические соотношения объектов не являются какими-то случайными характеристи ками, но отражают наиболее глубокие связи между событиями реальной действительности, составляют самую основу всякого научного знания.
Мы не намереваемся, конечно, обращаться здесь к фило софскому обсуждению понятий о пространстве и времени, о форме и количестве. На эту тему написано немало специаль ных трактатов. Заинтересованный читатель найдет полезные библиографические указания в книгах [18—21]. Ниже будут кратко освещены с научных позиций только отдельные доста точно конкретные факты, непосредственно связанные с даль нейшим изложением.
2. Количественная характеристика объекта получается в результате счета и измерения. Будем предполагать, что поня тия о числах и о процедуре счета находятся вне нашего обсуж дения. Это предположение очень существенно, так как счет любых объектов основан на повторении каких-то их призна ков, т. е. па моделировании, а математическое моделирование основано, в частности, на процедуре счета. Намечающийся по рочный круг связан, как мы уже знаем (1.2.4), с попыткой уклониться от использования инвариантной неопределенности. Напротив, сознательно опираясь на инвариантную неопреде ленность, мы освобождаемся от угрозы прямых и косвенных «самоопределений».
Итак, рассмотрим процедуру измерения с позиций теории моделирования.
Допустим, что требуется произвести измерение интенсив ности сигнала si. Выражение «измерение интенсивности» усло вимся понимать в самом широком смысле, относя его к лю бому возможному измерению. Например, измерение силы тока, температуры, скорости, измерение координат точки или насы щенности раствора представляет собой измерение интенсив ности.
Если интенсивность |
сигнала st может быть |
измерена, |
то, |
|||
следовательно, имеется |
множество сигналов |
{su, |
S12, . • . , |
S i n } , |
||
и каждому |
элементу этого — конечного |
или |
бесконечного — |
|||
множества |
сопоставляется определенное число. Очевидно, речь |
|||||
здесь идет |
о кодировании (1.4.9). Число — это |
сигнал иного |
||||
р о д а — s 2 . |
С помощью установленной операции кодирования |
|||||
сигналы su |
заменяются |
сигналами s2u |
и наоборот. Операция |
|||
4 зак. 886 |
|
|
|
|
|
49 |
кодирования, |
подразумевающая |
переход к |
сигналам |
особого |
рода — к числам, — называется |
измерением. |
|
|
|
3. Для того, чтобы задать измерительный |
код, нужно либо |
|||
выписать в необходимых пределах табл. 2.1, |
|
|||
|
|
|
Т а б л и ц а 2.1 |
|
Явление |
(сигнал s^) |
Число |
(сигнал |
s2i) |
|
|
|
k |
|
|
s 2 |
|
I |
|
|
«3 |
|
m |
|
либо указать способ кодирования, способ выявления правого элемента таблицы при наличии левого.
Первый вариант измерения обычно мало удобен для непо средственного использования. Он пригоден лишь для строго конечных (и потому обязательно дискретных) множеств. При мер: набор гирь для взвешивания предметов. Роль левого столбца таблицы выполняют сами гири. Роль правого столбца таблицы выполняют числа, проставленные на гирях и указы вающие их вес.
Второй вариант измерения имеет самое широкое распро странение. Обычно способ кодирования сводится к выбору масштаба, т. е. некоторого стандартного сигнала S \ m , и к сопо ставлению с этим масштабом всех других измеряемых интенсивностей. Разумеется, сопоставление $н и sim осуществляется посредством каких-то заранее регламентированных действий.t Пример: измерение температуры вещества. В качестве мае-, штаба выбирается (грубо говоря) интенсивность нагревания _ воды при переходе ее в нормальных условиях от состояния' плавления до состояния кипения. Сопоставление с принятым масштабом производится с помощью хорошо известного спе циального устройства —термометра.
Нетрудно заметить, что |
в своем практическом претворении |
||
второй вариант измерения |
всегда |
в конце концов |
сводится |
к первому варианту. В самом деле, для сопоставления |
сигнала |
||
su с масштабом S i m выполняется |
ряд регламентированных |
действий и в заключение применяется измерительная шкала (шкала термометра, циферблат часов, весовая шкала, изме-
50