Страница 19 из 359
Модель (в науке)
Моде'ль (франц. modèle, итал. modello, от лат. modulus — мера, мерило, образец, норма),
1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого-либо изделия, конструкции.
2) Изделие (изготовленное из дерева, глины, воска, гипса и др.), с которого снимается форма для воспроизведения в другом материале (металле, гипсе, каине и др.). См. также Лекало , Литейная модель , Плаз , Шаблон .
3) Человек, позирующий художнику (натурщик), и вообще изображаемые объекты («натура»).
4) Устройство, воспроизводящее, имитирующее (обычно в уменьшенном, «игрушечном» масштабе) строение и действие какого-либо другого устройства («настоящего») в научных (см. ниже), практических (например, в производственных испытаниях) или спортивных (см. Моделизм ) целях.
Модель (в широком понимании) — образ (в т. ч. условный или мысленный — изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов («оригинала» данной М.), используемый при определённых условиях в качестве их «заместителя» или «представителя». Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее — звёздного неба) — экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) — М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным аксиомам , в терминах которых эти объекты описываются.
Все эти примеры естественно делятся на 2 основные группы: примеры первой группы выражают идею «имитации» (описания) чего-то «сущего» (некоей действительности, «натуры», первичной по отношению к М.); в остальных примерах, напротив, проявляется принцип «реального воплощения», реализации некоторой умозрительной концепции (и здесь первичным понятием выступает уже сама М.). Иными словами, М. может быть системой и более высокого уровня абстракции, чем её «оригинал» (как в первом случае), и более низкого (как во втором). При различных же уточнениях понятия «М.» средствами математики и логики в качестве М. и «оригиналов» выступают системы абстрактных объектов, для которых вообще, как правило, не имеет смысла ставить вопрос об относительном «старшинстве». (Более подробно о возможных классификациях М., исходящих, в частности, из характера средств построения М., см. в ст. Моделирование .)
В естественных науках (например, в физике, химии) следуют обычно первому из упомянутых пониманий термина, называя М. какой-либо системы её описание на языке некоторой научной теории (например, химическую или математическую формулу, уравнение или систему уравнений, фрагмент теории или даже всю теорию в целом). В таком же смысле говорят и о «моделях языка» (см. Модели в языкознании), хотя в настоящее время всё чаще следуют второму пониманию, называя М. некоторую языковую реальность, противопоставляя эту реальность её описанию — лингвистической теории. Впрочем, оба понимания могут и сосуществовать; например, релейно-контактные схемы используют в качестве «экспериментальных» М. формул (функций) алгебры логики , последние же, в свою очередь, — как «теоретические» М. первых.
Такая многозначность термина становится понятной, если учесть, что М. в конкретных науках так или иначе связываются с применением моделирования, т. е. с выяснением (или воспроизведением) свойств какого-либо объекта, процесса или явления с помощью другого объекта, процесса или явления — его «М.» (типичные примеры: «планетарная» М. атома и концепция «электронного газа», апеллирующие к более наглядным — точнее, более привычным — механическим представлениям). Поэтому первое естественно возникающее требование к М. — это полное тождество строения М. и «оригинала». Требование это реализуется, как известно, в условии изоморфизма М. и «моделируемого» объекта относительно интересующих исследователя их свойств: две системы объектов (в интересующем нас сейчас случае — М. и «оригинал») с определёнными на них наборами предикатов, т. е. свойств и отношений (см. Логика предикатов ) называемых изоморфными, если между ними установлено такое взаимно-однозначное соответствие (т. е. каждый элемент любой из них имеет единственного «напарника» из числа элементов другой системы), что соответствующие друг другу объекты обладают соответствующими свойствами и находятся (внутри каждой системы) в соответствующих отношениях между собой. Однако выполнение этого условия может оказаться затруднительным или ненужным, да и вообще настаивать на нём неразумно, поскольку никакого упрощения исследовательской задачи, являющейся важнейшим стимулом для моделирования, использование одних лишь изоморфных М. не даёт. Т. о., на следующем уровне мы приходим к представлению о М. как об упрощённом образе моделируемого объекта, т. е. к требованию гомоморфизма М. «оригиналу». (Гомоморфизм, как и изоморфизм, «сохраняет» все определённые на исходной системе свойства и отношения, но, в отличие от изоморфизма, это отображение, вообще говоря, однозначно лишь в одну сторону: образы некоторых элементов «оригинала» в М. оказываются «склеенными» — подобно тому, как на сетчатке глаза или на фотографии сливаются в одно пятно изображения близких между собой участков изображаемого предмета.) Но и такое понимание термина «М.» не является окончательным и бесспорным: если мы преследуем цель упрощения изучаемого объекта при моделировании в каких-либо определённых отношениях, то нет никакого резона требовать, чтобы М. была во всех отношениях проще «оригинала» — наоборот, имеет смысл пользоваться любым, сколь угодно сложным арсеналом средств построения М., лишь бы они облегчали решение проблем, ставящихся в данном конкретном случае. Поэтому к максимально общему определению понятия «М.» можно прийти, допуская сколь угодно сложные М. и «оригиналы» и требуя при этом лишь тождества структуры некоторых «упрощённых вариантов» каждой из этих систем. Иными словами, две системы объектов А и В мы будем теперь называть М. друг друга (или моделирующими одна другую), если некоторый гомоморфный образ А и некоторый гомоморфный образ В изоморфны между собой. Согласно этому определению, отношение «быть М.» обладает свойствами рефлексивности (т. е. любая система есть своя собственная М.), симметричности (любая система есть М. каждой своей М., т. е. «оригинал» и М. могут меняться «ролями») и транзитивности (т. е. модель модели есть М. исходной системы). Т. о., «моделирование» (в смысле последнего из наших определений понятия «М.») является отношением типа равенства (тождества , эквивалентности ), выражающим «одинаковость» данных систем (относительно тех их свойств, которые сохраняются при данных гомоморфизмах и изоморфизме). То же, конечно, относится и к первоначальному определению М. как изоморфного образа «оригинала», в то время как отношение гомоморфизма (лежащее в основе второго из данных выше определений) транзитивно и антисимметрично (М. и «оригинал» не равноправны!), порождая тем самым иерархию М. (начиная с «оригинала») по понижающейся степени сложности.