Разное

Что такое модель в информатике? Виды, примеры. Понятия модели и моделирования

Контракции Модель Уменьшенное (или в натуральную величину) воспроизведение или макет чего-нибудь

Модель в Энциклопедическом словаре:
Модель - (лат. modulus - мера - образец),1) образец (эталон, стандарт) длямассового изготовления какого-либо изделия или конструкции; тип, маркаизделия.2) Изделие (из легкообрабатываемого материала), с которогоснимается форма для воспроизведения (напр., посредством литья) в другомматериале; разновидности таких моделей - лекала, шаблоны, плазы.3)Позирующий художнику натурщик или изображаемые предметы (""натура"").4)Устройство, воспроизводящее, имитирующее строение и действие какого-либодр. (""моделируемого"") устройства в научных, производственных (прииспытаниях) или спортивных (см. Моделизм спортивный) целях.5) В широкомсмысле - любой образ, аналог (мысленный или условный: изображение,описание, схема, чертеж, график, план, карта и т. п.) какого-либо объекта,процесса или явления (""оригинала"" данной модели), используемый в качествеего ""заместителя"", ""представителя"" (см. Моделирование).6) В математике илогике - моделью какой-либо системы аксиом называют любую совокупность(абстрактных) объектов, свойства которых и отношения между которымиудовлетворяют данным аксиомам, служащим тем самым совместным (неявным)определением такой совокупности.7) Модель в языкознании - абстрактноепонятие эталона или образца какой-либо системы (фонологической,грамматической и т. п.), представление самых общих характеристиккакого-либо языкового явления; общая схема описания системы языка иликакой-либо его подсистемы. (Model) Вальтер (1891-1945) - немецкий генерал-фельдмаршал (1944).Во 2-ю мировую войну на советско-германском фронте в 1942-43 командующий9-й армией, в 1944 - группой армий ""Север"", ""Сев. Украина"" и ""Центр"", в1944-45 - войсками Запада и группой армий ""Б"". Покончил жизньсамоубийством.

Значение слова Модель по словарю медицинских терминов:
модель (франц. modele образец, модель) в биологии - объект (физический или биологический), способный имитировать существенные черты биологической системы (процесса), или математическое описание этой системы (процесса), используемое при исследовании ее закономерностей. Синонимы к слову модель: модель см. образец, пример, форма

Значение слова Модель по Логическому словарю:
Модель - (от лат. modulus - мера, образец, норма) - а) в самом широком смысле - любой мысленный или знаковый образ модели­руемого объекта (оригинала). К их числу относятся гносеологиче­ские образы (воспроизведение, отображение исследуемого объек­та или системы объектов в виде научных описаний, теорий, фор­мул, систем упражнений и т. п.), схемы, чертежи, графики, планы, карты и т. д.; б) специально создаваемый или специально подби­раемый объект, воспроизводящий характеристики изучаемого объекта. Большую роль в современной науке играют т.наз. знако­вые М., позволяющие в виде формул, уравнений, графиков и т. п. отображать существенные отношения между изучаемыми предме­тами, явлениями, различные процессы. Пример знаковой М. - дифференциальное уравнение в математике, описывающее (мо­делирующее) протекание во времени к.-л. физического процесса. Знаковые М. широко используются в информатике при создании соответствующих программ для ЭВМ; к их числу принадлежат М., воспроизводящие решение сложных задач, специфических для деятельности человеческого мозга и имеющих творческий характер (М., относимые в информатике к искусственному ин­теллекту). Между М. и изучаемым объектом (оригиналом), кото­рый может представлять собой весьма сложную систему, должно существовать сходство в каких-то физических характеристиках, или в структуре, или в функциях (см.: Моделирование). В математической логике под М. понимается интерпретация к.-л. логико-математических предложений и их систем. В разрабатыва­емой в математической логике теории М. под М. понимается про­извольное множество элементов с определенными на нем функ­циями и предикатами (см.: Семантика логическая). Понятие М. яв­ляется одним из центральных и сложных понятий теории познания, поскольку оно опирается на понятие отражения, истины, сход- ства, различия, правдоподобия и т. п.; роль его в методологии науки огромна.

Значение слова Модель по словарю Ушакова:
МОДЕЛЬ
(дэ), модели, ж. (фр. modele). 1. образец, образцовый экземпляр какого-н. изделия (спец.). Модель товара. Модель платья. 2. Воспроизведенный, обычно в уменьшенном виде, образец какого-и. сооружения (тех.). Модель машины. 3. Тип, марка, образец конструкции. Автомобиль новой модели. 4. Натурщик, натурщица, какой-н. предмет, служащий материалом для художественного воспроизведения, изображения (искус.). 5. В литейном деле - образец для изготовления формы, в которой должен отливаться какой-н. предмет (тех.), 6. Геометрический чертеж, схема для пояснения какого-н. физического явления или процесса (науч.). Модель строения атома, 7. перен. О ком-чем-н., служащем примером, образцом каких-нибудь действий. Это - модель для подражания. Не модель (де) с инф. (простореч. фам.) - не следует, нехорошо. Это не модель так поступать!

Определение слова «Модель» по БСЭ:
Модель - Модель (Model)
Вальтер (24.1.1891, Гентин, Восточная Пруссия, - 21.4.1945, близ Дуйсбурга), немецко-фашистский генерал-фельдмаршал (1944). В армии с 1909, участвовал в 1-й мировой войне 1914-18. С ноября 1940 командовал 3-й танковой дивизией, с которой участвовал в нападении фашистской Германии на СССР. С октября 1941 командир 41-го танкового корпуса, с января 1942 по ноябрь 1943 (с перерывами) командующий 9-й армией на Восточном фронте. В феврале - марте 1944 командовал группой армий
«Север», в апреле - июне 1944 - группой армий «Северная Украина», в июне - августе 1944 - группой армий «Центр». Считался «мастером отступления», проводил тактику «выжженной земли», отличался особой жестокостью. В августе - сентябре 1944 командующий войсками Запада, а с сентября 1944 - группой армий
«Б» (во Франции). В апреле 1945 войска М. были разгромлены в ходе Рурской операции 1945 и 18 апреля капитулировали, после чего М. застрелился. Модель - Модель (франц. modиle, итал. modello, от лат. modulus - мера, мерило, образец, норма)
1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а тип, марка какого-либо изделия, конструкции.
2) Изделие (изготовленное из дерева, глины, воска, гипса и др.), с которого снимается форма для воспроизведения в другом материале (металле, гипсе, каине и др.). См. также Лекало, Литейная модель, Плаз, Шаблон.
3) Человек, позирующий художнику (натурщик), и вообще изображаемые объекты («натура»).
4) Устройство, воспроизводящее, имитирующее (обычно в уменьшенном, «игрушечном» масштабе) строение и действие какого-либо другого устройства («настоящего») в научных (см. ниже), практических (например, в производственных испытаниях) или спортивных (см. Моделизм) целях.
Модель (в широком понимании) - образ (в т. ч. условный или мысленный - изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов («оригинала» данной М.), используемый при определённых условиях в качестве их «заместителя» или «представителя».
Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее - звёздного неба) - экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) - М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным Аксиомам, в терминах которых эти объекты описываются.
Все эти примеры естественно делятся на 2 основные группы: примеры первой группы выражают идею «имитации» (описания) чего-то «сущего» (некоей действительности, «натуры», первичной по отношению к М.); в остальных примерах, напротив, проявляется принцип
«реального воплощения», реализации некоторой умозрительной концепции (и первичным понятием выступает уже сама М.). Иными словами, М. может быть системой и более высокого уровня абстракции, чем её «оригинал» (как в первом случае), и более низкого (как во втором). При различных же уточнениях понятия
«М.» средствами математики и логики в качестве М. и «оригиналов» выступают системы абстрактных объектов, для которых вообще, как правило, не имеет смысла ставить вопрос об относительном «старшинстве». (Более о возможных классификациях М., исходящих, в частности, из характера средств построения М., см. в ст. Моделирование.)
В естественных науках (например, в физике, химии) следуют обычно первому из упомянутых пониманий термина, называя М. какой-либо системы её описание на языке некоторой научной теории (например, химическую или математическую формулу, уравнение или систему уравнений, фрагмент теории или даже всю теорию в целом). В таком же смысле говорят и о
«моделях языка» (см. Модели в языкознании), хотя в настоящее время всё чаще следуют второму пониманию, называя М. некоторую языковую реальность, противопоставляя эту реальность её описанию - лингвистической теории. Впрочем, оба понимания могут и сосуществовать; например, релейно-контактные схемы используют в качестве
«экспериментальных» М. формул (функций) алгебры логики, последние же, в свою очередь, - как «теоретические» М. первых.
Такая многозначность термина становится понятной, если учесть, что М. в конкретных науках так или иначе связываются с применением моделирования, т. е. с выяснением (или воспроизведением) свойств какого-либо объекта, процесса или явления с помощью другого объекта, процесса или явления - его
«М.» (типичные примеры: «планетарная» М. атома и концепция «электронного газа», апеллирующие к более наглядным - точнее, более привычным - механическим представлениям). Поэтому первое естественно возникающее требование к М. - это полное тождество строения М. и «оригинала».
Требование это реализуется, как известно, в условии Изоморфизма М. и «моделируемого» объекта относительно интересующих исследователя их свойств: две системы объектов (в интересующем нас сейчас случае - М. и «оригинал»)
с определёнными на них наборами предикатов, т. е. свойств и отношений (см. Логика предикатов) называемых изоморфными, если между ними установлено такое взаимно-однозначное соответствие (т. е. каждый элемент любой из них имеет единственного «напарника» из числа элементов другой системы),
что соответствующие друг другу объекты обладают соответствующими свойствами и находятся (внутри каждой системы) в соответствующих отношениях между собой. Однако выполнение этого условия может оказаться затруднительным или ненужным, да и вообще настаивать на нём неразумно, поскольку никакого упрощения исследовательской задачи, являющейся важнейшим стимулом для моделирования, использование одних лишь изоморфных М. не даёт. Т. о., на следующем уровне мы приходим к представлению о М. как об упрощённом образе моделируемого объекта, т. е. к требованию Гомоморфизма М. «оригиналу».
(Гомоморфизм, как и изоморфизм, «сохраняет» все определённые на исходной системе свойства и отношения, но, в отличие от изоморфизма, это отображение, вообще говоря, однозначно лишь в одну сторону: образы некоторых элементов «оригинала» в М. оказываются «склеенными» - подобно тому, как на сетчатке глаза или на фотографии сливаются в одно пятно изображения близких между собой участков изображаемого предмета.)
Но и такое понимание термина «М.» не является окончательным и бесспорным: если мы преследуем цель упрощения изучаемого объекта при моделировании в каких-либо определённых отношениях, то нет никакого резона требовать, чтобы М. была во всех отношениях проще
«оригинала» - наоборот, имеет смысл пользоваться любым, сколь угодно сложным арсеналом средств построения М., лишь бы они облегчали решение проблем, ставящихся в данном конкретном случае. Поэтому к максимально общему определению понятия «М.»
можно прийти, допуская сколь угодно сложные М. и «оригиналы» и требуя при этом лишь тождества структуры некоторых «упрощённых вариантов» каждой из этих систем. Иными словами, две системы объектов A и В мы будем теперь называть М. друг друга (или моделирующими одна другую), если некоторый гомоморфный образ A и некоторый гомоморфный образ В изоморфны между собой. Согласно этому определению, отношение
«быть М.» обладает свойствами рефлексивности (т. е. любая система есть своя собственная М.), симметричности (любая система есть М. каждой своей М., т. е. «оригинал» и М. могут меняться «ролями»)
и транзитивности (т. е. модель модели есть М. исходной системы). Т. о., «моделирование» (в смысле последнего из наших определений понятия «М.») является отношением типа равенства (тождества, эквивалентности), выражающим
«одинаковость» данных систем (относительно тех их свойств, которые сохраняются при данных гомоморфизмах и изоморфизме). То же, конечно, относится и к первоначальному определению М. как изоморфного образа «оригинала», в то время как отношение гомоморфизма (лежащее в основе второго из данных выше определений) транзитивно и антисимметрично (М. и «оригинал» не равноправны!),
порождая тем самым иерархию М. (начиная с «оригинала») по понижающейся степени сложности.
М., применяемые в современных научных исследованиях, впервые были в явном виде использованы в математике для доказательства непротиворечивости геометрии Лобачевского относительно геометрии Евклида (см. Неевклидовы геометрии, Аксиоматический метод). Развитый в этих доказательствах т. н. метод интерпретации получил затем особенно широкое применение в аксиоматической теории множеств. На стыке алгебры и математической логики сформировалась специальная дисциплина - Моделей теория, в рамках которой под М. (или «алгебраической системой»)
понимается произвольное множество с заданными на нём наборами предикатов и (или) операций - независимо от того, удаётся ли такую М. описать аксиоматическими средствами (нахождение таких описаний и является одной из основных задач теории М.). Дальнейшую

от лат. modulus – мера, образец, норма) – любое сущее по отношению к любому другому сущему, имеющее общую с ним структуру и функции, независимо от различий по составу (содержанию), внешней форме, количеству (например, размеру).

Отличное определение

Неполное определение ↓

МОДЕЛЬ

франц. mod?le, от лат. modus -образец) - условный образ (изображение, схема, описание и т.п.) к.-л. объекта (или системы объектов). Служит для выражения отношения между человеч. знаниями об объектах и этими объектами; понятие М. широко применяется в семантике, логике, математике, физике, химии, кибернетике, лингвистике и др. науках и их (гл. обр. технич.) приложениях в различных, хотя и тесно связанных между собой, смыслах. Эти различные понимания могут быть извлечены из след. общего определения. Две системы объектов А и В наз. М. друг друга (или моделирующими одна другую), если можно установить такое гомоморфное отображение системы А на нек-рую систему А? и гомоморфное отображение В на нек-рую систему В?, что А?иВ? между собой изоморфны (см. Изоморфизм; данные в этой статье определения следует обобщить, рассматривая отношения не только между элементами, но и - в случае надобности - между подмножествами систем). Определенное т.о. отношение "быть M." есть рефлексивное, симметричное и транзитивное отношение, т.е. отношение типа эквивалентности (равенства, тождества); ему, в частности (при А=А? и В=В), удовлетворяют любые изоморфные друг другу системы. Понятие М. в науке обычно связывают с применением т.н. метода моделирования (см. Моделирование). В силу вытекающей из определения М. симметричности отношения между к.-л. объектом (системой) и его М. любую из попарно изоморфных систем мы в принципе с равным основанием можем называть М. другой. Напр., в живописи и скульптуре М. наз. изображаемый объект; сравнивая же между собой к.-л. предмет и его фотографию, мы считаем М. именно фотографию. Какая из двух моделирующих друг друга систем (в смысле данного выше определения) при естеств.-науч. моделировании будет выбрана в качестве объекта исследования, а какая в качестве его М., зависит от встающих перед исследователем конкретных познавательно-практич. задач. Вследствие этого обстоятельства, отраженного и в самой грамматич. структуре термина "моделирование", последний имеет нек-рую субъективную окраску (будучи часто связан с тем, к т о "моделирует"). Термин же "М.", лишенный этой окраски, естественнее понимать (а следовательно, и определять) независимо от различных возможных "моделирований". Иначе говоря, если понятие моделирования характеризует выбор средств исследования к.-л. системы, то понятие М. – отношение между существующими (в том или ином смысле) конкретными и (или) абстрактными системами. Отношение между М. и моделируемой системой зависит от совокупности тех свойств и отношений между объектами рассматриваемых систем, относительно к-рых определяется их изоморфизм и гомоморфизм. Хотя данное выше определение М. настолько широко, что при желании (рассматривая "тривиальный" гомоморфизм каждой системы на множество, состоящее из одного единств. элемента) можно любые две системы счесть М. одна другой, такая широта понятия М. никоим образом не затрудняет применения принципа моделирования в науч. исследовании, поскольку интересующие нас свойства и отношения в принципе всегда могут быть фиксированы. Т.о., понятия М. и моделирования, как и понятия изоморфизма и гомоморфизма, всегда определяются относительно нек-рой совокуп-н о с т и п р е д и к а т о в (свойств, отношений). Хотя отношение "быть М." симметрично и моделирующие друг друга системы, согласно определению, совершенно равноправны, при употреблении термина "М." почти всегда все же предполагается (часто неявно) нек-рое "моделирование" [напр., моделирование, применяемое в теоретических исследованиях для построения моделей средствами математич. и логич. символики (т.н. абстрактно-логич. моделирование), или моделирование, заключающееся в воспроизведении изучаемых явлений на специально сконструированных М. в эмпирич. науках (э к с п е р и м е н т а л ь н о е моделирование) ]. В зависимости от того, какая из двух сравниваемых систем фиксируется как предмет изучения, а какая в качестве ее М., термин "М." понимается в двух различных смыслах. В теоретич. науках (особенно в математике, физике) М. к.-л. системы обычно наз. др. систему, служащую описанием исходной системы на языке данной науки; напр., систему дифференц. ур-ний, описывающих протекание во времени к.-л. физич. процесса, наз. М. этого процесса. Вообще, М. – в этом смысле – к.-л. области явлений наз. науч. теорию, предназначенную для изучения явлений из этой области. Аналогично, в (математической) логике М. к.-л. содержат. теории часто наз. формальную систему (исчисление), и н т е р п р е т а ц и е й к-рой является эта теория. [Содержательность, о к-рой здесь идет речь, конечно, относительна; так, интерпретацией к.-л. формальной системы может быть и др. формальная система – см. Интерпретация; с др. стороны, и М. – в этом понимании – вовсе не обязательно должна быть полностью формализована (составляющие ее объекты могут сами рассматриваться с содержат. т.зр., как имеющие определ. смысл); существенным является лишь то, что понятия (термины) "М." истолковываются в терминах и н т е р п р е т а ц и и. ] Такой же характер имеет употребление термина "М." в лингвистике ("модели языка", играющие важную роль как в теоретико-лингвистич. исследованиях, так и в задачах, связанных с построением информационных языков, с разработкой машинного перевода и др.; см. Лингвистика математическая), теоретич. физике (напр., "модели ядра") и вообще во всех тех случаях, когда слово "М." служит синонимом для понятий "теория" и "научное описание". Не менее распространенным является такое употребление термина "М.", когда под М. понимается не описание, а то, что о п и с ы в а е т с я. При таком употреблении (опять-таки в математич. логике, в аксиоматич. построениях математики, в семантике и др.) термин "М." рассматривается как синоним термина "интерпретация", т.е. М. к.-л. системы соотношений наз. совокупность объектов, удовлетворяющих этой системе. Точнее говоря, синонимами при таком употреблении являются выражения "построить М." и "указать интерпретацию"; иначе говоря, интерпретацией к.-л. системы объектов обычно называют не саму ее M. (т. е. нек-рую др. с и с т е м у), а перечень т.н. с е м а н т и ч е с к и х п р а в и л "перевода" с "языка" моделируемой системы (напр., науч. теории) на "язык" М. Так, интерпретациями геометрии Лобачевского фактически послужили не сами по себе М., предложенные Пуанкаре, итал. ученым Э. Бельтрами и нем. ученым Ф. Клейном, а именно истолкования понятий геометрии Лобачевского в терминах этих М. Впрочем, с содержат. т.зр. выделение к.-л. М. теории в качестве ее интерпретации равносильно указанию семантич. правил, согласно к-рым элементы одной из М. теории рассматриваются в качестве интерпретации ее объектов. В тех же случаях, когда основным являются не содержательный, а строго формальный аспект понятий М. и интерпретации (в частности, в логич. семантике), эти понятия могут быть уточнены, напр., след. образом: Пусть А есть формула нек-рого исчисления (формальной системы) L. Результат замены всех входящих в А нелогич. констант (если таковые имеются) переменными соответств. типов (см. Типов теория, Предикатов исчисление) обозначим через А?. Класс предметов N, выполняющих формулу А? (класс предметов, по определению, выполняет данную формулу, если при такой подстановке имен этих предметов на места всех входящих в нее переменных, что имя одного и того же предмета подставляется на место различных вхождений одной и той же переменной, формула переходит в истинную формулу), - при соблюдении требования, чтобы тип каждого предмета был равен типу переменной, на место к-рой он подставляется, -наз. М. формулы А (или -?. предложения, выражаемого этой формулой). Аналогично, если дан класс формул К, то система S классов предметов, элементам каждого из к-рых приписан определ. тип, одновременно выполняющих - при соблюдении вышеуказ. условий - все формулы класса К? (получающегося из К так же, как А? из А), наз. М. этого класса формул [имея в виду это понятие М., нек-рые авторы для М. отдельной формулы (предложения) - или, аналогично, отдельного терма (понятия) - употребляют термин "полумодель" ]. Модель S считается М. всего исчисления L, если: 1) все аксиомы исчисления L входят в К (и, следовательно, выполняются системой S); 2) каждая формула из L, выводимая по правилам вывода исчисления L из выполнимых в S формул исчисления L, также выполняется системой S. На основе этого определения легко определяются важнейшие семантич. понятия: "аналитическое" и "синтетическое" (предложения), "экстенсиональное" и "интенсиональное" (выражения) и вообще "семантич. отношение". В такой терминологии легко может быть охарактеризовано отношение логического следования: предложение А следует из предложения В, если и только если А выполняется всеми М., к-рыми выполняется В. У формальной системы может быть, вообще говоря, много различных М., как изоморфных между собой, так и не изоморфных. Если все М. к.-л. формальной системы изоморфны, то говорят, что лежащая в ее основе система аксиом к а т е г о р и ч н а (см. Категоричность системы аксиом), или п о л н а (в одном из значений этого термина; см. Полнота); в противном случае система наз. н е п о л н о й. (Для произвольной системы аксиом a priori возможен, конечно, и третий случай – отсутствие какой бы то ни было М. Тогда система наз. п р о т и в о р е ч и в о й, или – в соответствии с введенной выше терминологией – н е в ы п о л н и м о й. Обратно, указание М. к.-л. аксиоматич. системы служит доказательством ее непротиворечивости относительно системы, средствами к-рой построена М. – см. также Интерпретация, Метод аксиоматический). В любом из этих случаев одна из М. системы – т.н. выделенная (подразумеваемая при построении системы или рассматриваемая для к.-л. целей) – наз. и н т е р п р е т а ц и е й системы (если же интерпретацию отождествляют с М. – в последнем из употребленных здесь смыслов – то подразумеваемую интерпретацию наз. е с т е с т в е н н о й). Образно говоря, М. мы называем любой возможный "перевод" с языка моделируемой системы на любой др. язык, а интерпретацией – лишь тот из этих переводов (и на тот именно язык), к-рый мы имеем в виду при истолковании понятий системы, считая его (по к.-л. соображениям) единственно верным. Напр., конец англ. фразы "In this way we can obtain only a 50 per cent solution" может быть переведен и как "только 50-процентный раствор" и как "лишь половинное решение", причем легко представить себе конкретный текст, при переводе к-рого потребуются дополнительные (не содержащиеся в нем самом) указания на то, какую из этих "М." выбрать в качестве "интерпретации". Как известно, фигурирующее в только что приведенном определении понятий М. и интерпретации понятие выполнимости определяется (хотя и не обязательно явным образом) через понятие логической истинности, к-рое в таком случае принимается за первоначальное. С др. стороны, понятие истины в формализованных языках может быть в свою очередь определено через понятие выполнимости. Т.о., "содержательность" понятий M. и интерпретации носит относит. характер – эти понятия определяются в терминах (логической) "истинности", оказывающейся если не "формальным", то во всяком случае формализуемым понятием. Это обстоятельство оправдывает распространенную в математике и логике т.зр., согласно к-рой в с я к а я интерпретация "формальна" (а всякое изучение любой системы объектов есть изучение нек-рой ее М.) в том смысле, что служащая для целей интерпретации М. к.-л. системы должна быть описана в точных терминах (т.к. в противном случае не имеет смысла даже ставить вопрос об ее изоморфизме с какой бы то ни было др. системой); более того, именно само это описание можно рассматривать в этом случае в качестве М. Конечно, этим не снимается важнейший гносеологич. вопрос об адекватности М. – напр., эмпирич. описания – описываемой ею совокупности объектов реального мира, но критерии этой адекватности носят уже существенно внелогич. характер. Свойства моделей-интерпретаций в математике являются предметом изучения спец. алгебраич. "теории M.", где используется понятие "реляционной системы, т.е. множества, на к-ром определена нек-рая совокупность предикатов (свойств, операций, отношений) (ср. определения в ст. Изоморфизм). Следует иметь в виду, что природа математич. М. бывает очень сложной и даже "парадоксальной" (т. е. не соответствующей укоренившимся представлениям, из чего, однако, не следует их логич. противоречивость). Примером могут служить т.н. "нестандартные" М. аксиоматич. систем, характеризующиеся тем, что "исходный" натуральный ряд чисел (используемый в теории, средствами к-рой строится М.) оказывается неизоморфным натуральному ряду, построенному в М. (здесь речь идет об обычной, традиционной математике, исходящей, в отличие от т.н. ультра-интуиционистской, из предположения об однозначной – с точностью до изоморфизма – определенности множества натуральных чисел); отношение "быть М." трактуется при этом, конечно, как существенно несимметричное. Для совр. этапа развития науки характерно интенсивное расширение запаса применяемых в науч. исследовании способов построения и использования различных М. Особенно плодотворным в этом отношении оказался "кибернетич." подход к исследованию систем различной природы. Применяемые в наст. время науч. М. способствуют изучению не только структуры, но и ф у н к ц и о н и р о в а н и я весьма сложных систем (в т.ч. объектов живой природы). Расширение понятия моделирования (и М.), предполагающее учет не только структурных, но и функциональных свойств и отношений, может быть достигнуто по меньшей мере двумя (родственными) путями. Во-первых, можно потребовать, чтобы описание каждого элемента М. (и, конечно, моделируемой системы) включало в себя временную характеристику (как это, напр., принято в нек-рых разделах теоретич. физики – см. Континуум, Относительности теория); этот путь по существу означает, что введение параметра времени свело бы понятие функционирования к общему понятию "пространственно-временн?й структуры". Во-вторых, пользуясь точным математич. понятием функции (в логич. генезис к-рого, как известно, понятие "временн?й переменной" не входит), можно с самого начала считать элементами, из к-рых строится М., именно функции, описывающие изменение во времени элементов "статической" (т. е. "структурной") М. (используя для обобщенных т. о. определений изоморфизма, гомоморфизма и М. аппарат исчисления предикатов второй ступени – см. Предикатов исчисление). Именно в таком расширенном смысле говорят не просто о моделировании систем, но и о моделировании процессов (химич., физич., производственных, экономич., социальных, биологич. и др.). Примером описания к.-л. процесса, служащего для цели его моделирования, может служить схема его алгоритма; возможность четкого определения понятия алгоритма открыла, в частности, широкие возможности моделирования различных процессов с помощью программирования на электронно-вычислит. (цифровых) машинах. Др. пример "машинного" моделирования – использование т.н. аналоговых машин непрерывного действия [см. Техника(раздел Вычислительная техника) ]. Как это часто происходит в ходе развития науки, термин "М." применяется р а с ш и р и т е л ь н ы м образом и в тех случаях, когда предварит. учет всех подлежащих воспроизведению при моделировании параметров (необходимый для буквального понимания термина) оказывается, ввиду сложности моделируемой системы, практически невозможным. Это относится, в частности, к изменяющимся во времени т.н. самонастраивающимся М., напр. к "моделям обучения". Но даже если остаться в рамках точных определений, то в кибернетике (как и в физике, а также в математике и логике) понятие М. используется в обоих упомянутых выше смыслах [характерен следующий важный пример: "запись" наследств. информации в хромосомах м о д е л и р у е т родительский организм (или организмы) и в то же время м о д е л и р у е т с я в организме потомка ]. Эта кажущаяся двусмысленность термина "М." (снимаемая, впрочем, предложенным выше общим определением М., охватывающим оба смысла) на самом деле служит примером т.н. "оборачивания метода", характерного для конкретных применений многих гносеологич. понятий. Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 3, § 15; Эшби У. Р., Введение в кибернетику, пер. с англ., М., 1959, гл. 6; Лахути Д. Г., ?евзин И. И., Финн В. К., Об одном подходе к семантике, "Филос. науки" (Науч. докл. высш. школы), 1959, No 1; Черч?., Введение в математическую логику, пер. с англ., [т. ] 1, М., 1960, §7; Ревзин И. И., Модели языка, М., 1962; Генкин Л., О математич. индукции, пер. с англ., М., 1962; Моделирование в биологии. [Сб. ст. ], пер. с англ.,М., 1963; Молекулярная генетика. Сб. ст., пер. с англ. и нем., М., 1963; Бир С., Кибернетика и управление производством, пер. с англ., М., 1963; Саrnаp R., The logical syntax of language, L., 1937; Кemeny J. G., Models of logical systems, "J. Symbolic Logic", 1948, v. 13, No 1; Rosser J. В., Wang H., Non-standard models of formal logics, "J. Symbolic Logic", 1950, v. 15, No 2; Mostowaki ?., On models of axiomatic systems, "Fundamenta Math.", 1953, v. 39; Tarski ?., Contributions to the theory of models, 1–3, "Indagationes Math.", 1954, v. 16, 1955, v. 17; Mathematical interpretation of formal systems, Amst., 1955; Кemeny J. G., A new approach to semantics, "J. Symbolic Logic", 1956, v. 21, 1, 2; Sсоtt D., Suppes P., Foundational aspects of theories of measurement, "J. Symbolic Logic", 1958, v. 23, No 2; Rоbinsоn ?., Introduction to model theory and to the metamathematics of algebra, Amst., 1963; Сurrу H. В., Foundations of mathematical logic, N. Y., 1963. Ю. Гастев. Москва.

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

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

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

Физические модели подразделяются на объемные (модели и ма­кеты) и плоские (тремплеты).

Под моделью понимают изделие, являющееся упрощенным по­добием исследуемого объекта.

Под тремплетом понимают изделие, являющееся плоским мас­штабным отображением объекта в виде упрощенной ортого­нальной проекции или его контурным очертанием. Тремплеты вырезают из пленки, картона и т. п. и применяют при исследова­нии и проектировании зданий, установок, сооружений.

Под макетом понимают изделие, собранное из моделей или тремплетов.

Физическое моделирование - основа наших знаний и средство проверки наших гипотез и результатов расчетов. Такая модель позволяет охватить явление или процесс во всемих многообра­зии, наиболее адекватна и точна, но достаточно дорога, трудо­емка и менее универсальна. В том или ином виде с физическими моделя­ми работают на всех этапах проектирования.

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

Аналитические, их решения ищутся в замкнутом виде, в виде функциональных зависимостей. Удобны, при анализе сущности описываемого явления или процесса, но отыскание их решений бывает весьма затруднено;

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

Построение математических моделей возможно следующими способами:

Аналитическим путем, т. е. выводом из физических законов, математических аксиом или теорем;

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

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

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

Промежуточными также являются и аналоговые модели . Они позволяют исследовать одни физические явления или математи­че­ские выражения посредством изучения других физических явле­ний, имеющих аналогичные математические модели.

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

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

В зависимости от целей исследования выделяют следующие модели:

Функциональные, предназначенные для изучения функцио­нального назначения элементов системы, внутренних связей и связей с другими системами;

Функционально-физические, предназначенные для изучения сущности и назначения физических явлений, используемых в системе, их взаимосвязей;

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

Модели также подразделяют на простые и сложные, однород­ные и неоднородные, открытые и закрытые, статические и дина­мические, вероятностные и детерминированные.

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

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

Подразделение систем на однородные и неоднородные произ­водится в соответствии с заранее выбранным призна­ком: исполь­зуемые физические явления, материалы, формы и т. д. При этом одна и та же система при разных подходах может быть и однород­ной, и неоднородной. Так, велосипед - однородная механическая система, поскольку использует механические способы передачи движения, но неоднородная по типам материалов, из которых из­готовлены отдельные части (резиновая шина, стальная рама, ко­жаное седло).

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

Динамические системы , в отличие отстатических , нахо­дятся в постоянном развитии, их состояние и характеристики изменяют­ся в процессе работы и с течением времени.

Характеристики вероятностных (иными словами,стохас­ти­ческих) систем случайным образом распределяются в про­странст­ве или меняются во времени. Это является следствием как случай­но, о распределения свойств материалов, геометриче­ских размеров и форм объекта, так и случайного характера воз­действия на него внешних нагрузок и условий. Характеристикидетерминирован­ных систем заранее известны и точно предска­зуемы.

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

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

Главная задача человека в высокой сфере моды, будь то мужчина, женщина или ребенок,- это демонстрация различных туалетов на модных показах, очень важно раскрыть свое умение и подчеркнуть изящество работ модных дизайнеров.
«Подиумные модели » (runway models ) считаются самыми востребованными, потому что работают в живых показах одежды, транслируемых по телевещанию. Хорошая модель должна убедить человека, что вещь, которую она демонстрирует, предназначена именно для него, и ее во что бы то ни стало, следует приобрести. Интересный факт, подиумная модель не должна иметь пышные сексуальные формы, чем больше она похожа на мальчика, тем более востребованной она буде в сфере моды. Небольшая грудь, мальчишеские бедра и высокий рост – вот главный конек подиумной модели.
«Парт-модель » или body part model — это обладательница красивых рук, волос, ногтей, губ. Работа парт-модели предназначена для демонстрации определенных частей тела с целью рекламы шампуней, часов, ювелирных изделий, косметики, очков, перчаток. То есть достаточно иметь форму ногтей необычайной красоты, при этом имея ужасную внешность, чтобы стать парт – моделью. В последнее время это направление стало очень популярным и востребованным. Если у вас изящные руки, ровные белые зубы, красивая улыбка или высокая пышная грудь, то почему бы не продемонстрировать свои прелести, да еще и получить за это деньги!
Доброжелательные, общительные, терпеливые красавицы с обворожительной улыбкой могут легко найти себя в карьере промомодели (promotional model ).
«Кабия » или хай фэшн модель, подписавшая контракт с одним из знаменитых дизайнеров, и ставшая лицом в доме «от кутюр», как например, Наталья Водянова, по праву считается самой успешной и привилегированной, и выходит на подиум всего несколько раз в год, чаще для презентационных показов. Она может сочетать в себе функции, как бельевой, так и подиумной модели.

« » — такие модели чаще всего рекламируют спортивные товары или нижнее белье. Отличительной чертой таких парней и девушек является атлетическое телосложение и здоровый внешний вид. Чаще всего фитнес-моделями становятся бывшие спортсмены или культуристы.

«Гламурная модель » или glamour model – фотомодель, преимущественно позирующая в обнаженном или полуобнаженном виде для мужских журналов или рекламы элитных автомобилей, чаще всего в дорогом нижнем белье или без него. Отсутствие комплексов и раскованность– главные требования в этой индустрии, важно чувствовать себя непринужденно и свободно, будучи обнаженной перед фотокамерой.
«Бельевая модель » (lingerie model) – это красивая, девушка с аппетитными формами и возрастом от 21 года. Взять, к примеру, моделей таких известных марок нижнего белья, как Agent Provocateur, Intimissimi или Victoria’s Secret. Обладательниц таких красивых тел хочется съесть. Параметра большинства lingerie моделей далеко не соответствуют установленным параметрам 90-60-90. А кто сказал, что они идеальны? Порой идеалы так ошибочны.

Стандартные критерии «маленькой модели » — рост, не превышающий 172 сантиметров. Главным образом «маленькие модели» пользуются спросом для показа обычных повседневных товаров в магазинах. Кстати существует мнение, что такие модели – самые талантливые, пластичные и артистичные.
Огромный вклад вносят в мир моды «примерочные модели », ведь именно они затрачивают столько усилий для того, чтобы показ стал успешным. Это очень тяжелый труд, ведь стоять часами на одном месте так утомительно и сложно.

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

Важным аспектом в карьере модели является фотогеничность. Самое интересное, что модель – это не красивый человек, а неординарный. Можно быть фотогеничным на фото, а в жизни обычным и невзрачным, или, наоборот – в жизни невероятно красивым, а на фотографии совершенно неинтересным. Модель не всегда должна соответствовать четко установленным параметрам тела, но близость к идеалу все же должна присутствовать. Так, для полноватых моделей (plus size models ), рост должен составлять 172-172 см, размер одежды 43-52, для подиумных- 172 -180 см, одежда 42-44 размера, и соответственно для маленьких моделей -165-172 см, с размером 40-42. Но для того, чтобы нравиться всем, пропорции тела не являются главным фактором, важнее всего харизма и исключительная индивидуальность человека. Основа любого успешного мероприятия — это качественная реклама, и именно от фотомодели зависит дальнейшее продвижение той или иной торговой марки, чем красивей рекламное лицо, тем привлекательнее товар для покупателя.

Если вы тоже хотите попробовать себя в качестве модели, не занимайтесь самодеятельностью, а обратитесь в профессиональное для того, чтобы вам помогли определиться в каком направление вам лучше работать и к какому типу моделей вы относитесь, исходя из вашего внешнего и внутреннего потенциала.

Когда мы говорим о карьере модели, как правило, в голове сразу возникает образ красивой женщины, с сочными губами, выразительными глазами и отменной фигурой, но не стоит забывать о мужчинах, которые занимают одну из крупнейших ниш в сфере модельного бизнеса. И я хочу отметить, что мужчине, как представителю сильно пола, со своими мужскими принципами и предубеждениями, намного сложнее стать моделью, в психологическом плане, кроме того он должен быть пластичным, грациозным и обладать артистическим талантом. Главное для мужчины в этой сфере – высоко ценить свои внешние данные и не стесняться демонстрировать их, то есть полное отсутствие комплексов. Для тоже существуют определенные внешние критерии, хотя не такие строгие, как к девушкам, основным требованиям к представителям сильного пола по-прежнему является высокий рост.
Если вы новичок и хотите стать востребованным в модном мире, не забывайте о портфолио – визитной карточке, залоге успеха модели. Портфолио — это серия профессиональных фотоснимков высочайшего качества, характеризующая вас, как личность и как модель в целом. Снимки должны быть нескольких видов 2-3 портрета лица в профиль и анфас, несколько портретов до пояса и в полный рост, а также непринужденные фотографии, отображающие вас в самых выгодных ракурсах. Если вы обратитесь к фотографу — профессионалу он обязательно подчеркнет вашу индивидуальность в своих снимках, выбрав наиболее удачные. Мой совет – чаще снимайтесь у разных фотографов, потому что опыт – важнейшая составляющая любой профессии. И не забывайте, что как бы красивы, стройны, ярки и привлекательны вы не были, красота – это в первую очередь внутренний мир человека, излучая ее изнутри, вы притягиваете к себе успех и симпатии окружающих, которые могут стать вашими потенциальными работодателями. Любите себя и сове тело, следите за здоровьем и питанием, посещайте тренажерный зал, сауну, салоны красоты, делайте массаж как минимум два раза в год. Будьте выдержанным, в меру скромным, и постоянно работайте над собой как в физическом, так и в интеллектуальном плане. Постарайтесь выучить, как можно больше иностранных языков, так вам придется много путешествовать в различные страны. Ведь как сказал В.Г. Белинский: «Сколько ты знаешь языков, столько раз ты человек ». Успехов Вам и карьерного роста! Никогда не упускайте свой шанс и берите от жизни все!

Модель I Мо́дель (Model)

Вальтер (24.1.1891, Гентин, Восточная Пруссия, - 21.4.1945, близ Дуйсбурга), немецко-фашистский генерал-фельдмаршал (1944). В армии с 1909, участвовал в 1-й мировой войне 1914-18. С ноября 1940 командовал 3-й танковой дивизией, с которой участвовал в нападении фашистской Германии на СССР. С октября 1941 командир 41-го танкового корпуса, с января 1942 по ноябрь 1943 (с перерывами) командующий 9-й армией на Восточном фронте. В феврале - марте 1944 командовал группой армий «Север», в апреле - июне 1944 - группой армий «Северная Украина», в июне - августе 1944 - группой армий «Центр». Считался «мастером отступления», проводил тактику «выжженной земли», отличался особой жестокостью. В августе - сентябре 1944 командующий войсками Запада, а с сентября 1944 - группой армий «Б» (во Франции). В апреле 1945 войска М. были разгромлены в ходе Рурской операции 1945 (См. Рурская операция 1945) и 18 апреля капитулировали, после чего М. застрелился.

II Моде́ль (франц. modèle, итал. modello, от лат. modulus - мера, мерило, образец, норма)

1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип, марка какого-либо изделия, конструкции.

Моделизм) целях.

Модель (в широком понимании) - образ (в т. ч. условный или мысленный - изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов («оригинала» данной М.), используемый при определённых условиях в качестве их «заместителя» или «представителя». Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее - звёздного неба) - экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) - М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным Аксиома м, в терминах которых эти объекты описываются.

Все эти примеры естественно делятся на 2 основные группы: примеры первой группы выражают идею «имитации» (описания) чего-то «сущего» (некоей действительности, «натуры», первичной по отношению к М.); в остальных примерах, напротив, проявляется принцип «реального воплощения», реализации некоторой умозрительной концепции (и здесь первичным понятием выступает уже сама М.). Иными словами, М. может быть системой и более высокого уровня абстракции, чем её «оригинал» (как в первом случае), и более низкого (как во втором). При различных же уточнениях понятия «М.» средствами математики и логики в качестве М. и «оригиналов» выступают системы абстрактных объектов, для которых вообще, как правило, не имеет смысла ставить вопрос об относительном «старшинстве». (Более подробно о возможных классификациях М., исходящих, в частности, из характера средств построения М., см. в ст. Моделирование .)

В естественных науках (например, в физике, химии) следуют обычно первому из упомянутых пониманий термина, называя М. какой-либо системы её описание на языке некоторой научной теории (например, химическую или математическую формулу, уравнение или систему уравнений, фрагмент теории или даже всю теорию в целом). В таком же смысле говорят и о «моделях языка» (см. Модели в языкознании), хотя в настоящее время всё чаще следуют второму пониманию, называя М. некоторую языковую реальность, противопоставляя эту реальность её описанию - лингвистической теории. Впрочем, оба понимания могут и сосуществовать; например, релейно-контактные схемы используют в качестве «экспериментальных» М. формул (функций) алгебры логики (См. Алгебра логики), последние же, в свою очередь, - как «теоретические» М. первых.

Такая многозначность термина становится понятной, если учесть, что М. в конкретных науках так или иначе связываются с применением моделирования, т. е. с выяснением (или воспроизведением) свойств какого-либо объекта, процесса или явления с помощью другого объекта, процесса или явления - его «М.» (типичные примеры: «планетарная» М. атома и концепция «электронного газа», апеллирующие к более наглядным - точнее, более привычным - механическим представлениям). Поэтому первое естественно возникающее требование к М. - это полное тождество строения М. и «оригинала». Требование это реализуется, как известно, в условии Изоморфизм а М. и «моделируемого» объекта относительно интересующих исследователя их свойств: две системы объектов (в интересующем нас сейчас случае - М. и «оригинал») с определёнными на них наборами предикатов, т. е. свойств и отношений (см. Логика предикатов) называемых изоморфными, если между ними установлено такое взаимно-однозначное соответствие (т. е. каждый элемент любой из них имеет единственного «напарника» из числа элементов другой системы), что соответствующие друг другу объекты обладают соответствующими свойствами и находятся (внутри каждой системы) в соответствующих отношениях между собой. Однако выполнение этого условия может оказаться затруднительным или ненужным, да и вообще настаивать на нём неразумно, поскольку никакого упрощения исследовательской задачи, являющейся важнейшим стимулом для моделирования, использование одних лишь изоморфных М. не даёт. Т. о., на следующем уровне мы приходим к представлению о М. как об упрощённом образе моделируемого объекта, т. е. к требованию Гомоморфизм а М. «оригиналу». (Гомоморфизм, как и изоморфизм, «сохраняет» все определённые на исходной системе свойства и отношения, но, в отличие от изоморфизма, это отображение, вообще говоря, однозначно лишь в одну сторону: образы некоторых элементов «оригинала» в М. оказываются «склеенными» - подобно тому, как на сетчатке глаза или на фотографии сливаются в одно пятно изображения близких между собой участков изображаемого предмета.) Но и такое понимание термина «М.» не является окончательным и бесспорным: если мы преследуем цель упрощения изучаемого объекта при моделировании в каких-либо определённых отношениях, то нет никакого резона требовать, чтобы М. была во всех отношениях проще «оригинала» - наоборот, имеет смысл пользоваться любым, сколь угодно сложным арсеналом средств построения М., лишь бы они облегчали решение проблем, ставящихся в данном конкретном случае. Поэтому к максимально общему определению понятия «М.» можно прийти, допуская сколь угодно сложные М. и «оригиналы» и требуя при этом лишь тождества структуры некоторых «упрощённых вариантов» каждой из этих систем. Иными словами, две системы объектов А и В мы будем теперь называть М. друг друга (или моделирующими одна другую), если некоторый гомоморфный образ А и некоторый гомоморфный образ В изоморфны между собой. Согласно этому определению, отношение «быть М.» обладает свойствами рефлексивности (См. Рефлексивность) (т. е. любая система есть своя собственная М.), симметричности (См. Симметричность) (любая система есть М. каждой своей М., т. е. «оригинал» и М. могут меняться «ролями») и транзитивности (См. Транзитивность) (т. е. модель модели есть М. исходной системы). Т. о., «моделирование» (в смысле последнего из наших определений понятия «М.») является отношением типа равенства (См. Равенство) (тождества (См. Тождество), эквивалентности (См. Эквивалентность)), выражающим «одинаковость» данных систем (относительно тех их свойств, которые сохраняются при данных гомоморфизмах и изоморфизме). То же, конечно, относится и к первоначальному определению М. как изоморфного образа «оригинала», в то время как отношение гомоморфизма (лежащее в основе второго из данных выше определений) транзитивно и антисимметрично (М. и «оригинал» не равноправны!), порождая тем самым иерархию М. (начиная с «оригинала») по понижающейся степени сложности.

М., применяемые в современных научных исследованиях, впервые были в явном виде использованы в математике для доказательства непротиворечивости геометрии Лобачевского относительно геометрии Евклида (см. Неевклидовы геометрии , Аксиоматический метод). Развитый в этих доказательствах т. н. метод интерпретации получил затем особенно широкое применение в аксиоматической теории множеств. На стыке алгебры и математической логики сформировалась специальная дисциплина - Моделей теория , в рамках которой под М. (или «алгебраической системой») понимается произвольное множество с заданными на нём наборами предикатов и (или) операций - независимо от того, удаётся ли такую М. описать аксиоматическими средствами (нахождение таких описаний и является одной из основных задач теории М.). Дальнейшую детализацию такое понятие М. получило в рамках логической семантики (См. Логическая семантика). В результате логико-алгебраического и семантического уточнений понятия «М.» выяснилось также, что его целесообразно вводить независимо от понятия изоморфизма (поскольку аксиоматические теории допускают, вообще говоря, и не изоморфные между собой М.).

В соответствии с различными назначениями методов моделирования понятие «М.» используется не только и не столько с целью получения объяснений различных явлений, сколько для предсказания интересующих исследователя явлений. Оба эти аспекта использования М. оказываются особенно плодотворными при отказе от полной формализации этого понятия. «Объяснительная» функция М. проявляется при использовании их в педагогических целях, «предсказательная» - в эвристических (при «нащупывании» новых идей, получении «выводов по аналогии» и т. п.). При всём разнообразии этих аспектов их объединяет представление о М. прежде всего как орудии познания, т. е. как об одной из важнейших философских категорий. Для использования этого понятия во всех разнообразных аспектах на современном этапе развития науки характерно значительное расширение арсенала применяемых М. Введение в число параметров, описывающих изменяющиеся (развивающиеся) системы временных характеристик (или использование функций в математическом смысле этого слова в качестве первичных элементов М.), позволяет расширить понятие изоморфизма до т. н. изофункционализма и с его помощью отображать (моделировать) не только «жестко заданные», неизменные системы, но и различные процессы (физические, химические, производственные, экономические, социальные, биологические и др.). Это открывает широкие возможности использования в качестве М. программ для цифровых ЭВМ, «языки» которых можно рассматривать как «универсальные моделирующие системы». То же, конечно, относится и к обычным (естественным) языкам, причём и по отношению к языковым М. претензии на их непременный изоморфизм описываемым ситуациям оказываются несостоятельными и ненужными. К тому же предварительный учёт всех подлежащих «моделированию» параметров, нужный для буквального понимания термина «М.» введённого каким-либо точным определением, часто невозможен (что и обусловливает, кстати, потребность в моделировании), в силу чего особенно плодотворным опять-таки оказывается расширительное понимание термина «М.», основывающееся на интуитивных представлениях о «моделировании». Это относится ко всякого рода «вероятностным» М. обучения (см. также Программированное обучение), «М. поведения» в психологии, к типичным для кибернетики М. самоорганизующихся (самонастраивающихся) систем. Требование непременной формализации как предпосылки построения М. лишь сковывало бы возможности научных исследований. Весьма перспективным путём преодоления возникающих здесь трудностей представляется также введение различных ослаблений в формальные определения понятия «М.», в результате чего возникают «приближённые», «размытые» понятия «квазимодели», «почти М.» и т. п. При этом для всех модификаций понятия «М.» на всех уровнях его абстракции оно используется в обоих упомянутых выше смыслах, причём зачастую одновременно. Например, «запись» генетической информации (См. Генетическая информация) в хромосомах моделирует родительские организмы и в то же время моделируется в организме потомка.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Эшби У. Р., Введение в кибернетику, пер. с англ., М., 1959, гл. 6; Лахути Д. Г., Ревзин И. И., Финн В. К., Об одном подходе к семантике, «Философские науки», 1959, № 1; Моделирование в биологии. [Сб. ст.], пер. с англ., М., 1963; Бир С., Кибернетика и управление производством, пер. с англ., М., 1963; Чжао Юань-жень, Модели в лингвистике и модели вообще, в сборнике: Математическая логика и её применения, пер. с англ., М., 1965, с. 281-92; Миллер Дж., Галантер Ю., Прибрам К., Планы и структура поведения, пер. с англ., М., 1965; Гастев Ю. А., О гносеологических аспектах моделирования, в сборнике: Логика и методология науки, М., 1967, с. 211-18; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2 и 7; Хомский Н., Язык и мышление, пер. с англ., М., 1972; Carnap R., The logical syntax of language, L., 1937; Кemeny J. G., A new approach to semantics, «Journal of Symbolic Logic», 1956, v. 21, № 1-2; Gastev Yu. A., The role of the isomorphism and homomorphism conceptions in methodology of deductive and empirical sciences, в сборнике: Abstracts. IV International congress for logic, methodology and philosophy of science, Buc., , p. 137-38.

Ю. А. Гастев.

III (франц. modе́le, итал. modello, от лат. modulus - мера, мерило, образец, норма)

1) образец, служащий эталоном (стандартом) для серийного или массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип, марка какого-либо изделия, конструкции.

3) Человек, позирующий художнику (натурщик), и вообще изображаемые объекты («натура»).

4) Устройство, воспроизводящее, имитирующее (обычно в уменьшенном, «игрушечном» масштабе) строение и действие какого-либо другого устройства («настоящего») в научных (см. ниже), практических (например, в производственных испытаниях) или спортивных (см. Моделизм) целях.


Большая советская энциклопедия. - М.: Советская энциклопедия . 1969-1978 .

Синонимы :

Смотреть что такое "Модель" в других словарях:

    модель - и, ж. modèle m., ит. modello, нем. Model, пол. model. 1. Образец, с которого снимается форма для отливки или воспроизведения в другом материале. БАС 1. Точить модель посуды, наводить резьбы, делать формы 15. 11. 1717. Контракт с Антонио Бонавери … Исторический словарь галлицизмов русского языка

    - (модель совокупного спроса и совокупного предложения) макроэкономическая модель, рассматривающая макроэкономическое равновесие в условиях изменяющихся цен в краткосрочном и долгосрочном периодах … Википедия