Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Вальков К.И. Введение в теорию моделирования

.pdf
Скачиваний:
32
Добавлен:
23.10.2023
Размер:
7.33 Mб
Скачать

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

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

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

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

 

 

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

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

х

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

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

нала 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.1

процесс математического моделирования. Ё этом нет ничего плохого, но все же необходимо отчетливо сознавать, что мате­ матическая модель не совпадает ни с одним из своих реаль­ ных воплощений, или, если угодно, совпадает в равной мере со всеми своими возможными воплощениями.

Запишем, например, выражение х22_

Эта запись выражает определенное количественное соотно­ шение. Пользуясь ею, а также известными правилами и, мо­ жет быть, таблицами, каждой паре конкретных чисел сопо­ ставляем третье число: 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

Соседние файлы в папке книги из ГПНТБ