[userpic]

Модель и моделирование

ailev в Openmeta (оригинал в ЖЖ)

Мооделирование
  Мооделирование metanymous
  Мооделирование metanymous
Ранжированный список тем опенметы
  Ранжированный список тем опенметы metanymous
Предварительная опись выявленных моделей ОпенМеты
  Предварительная опись выявленных моделей ОпенМеты metanymous
    Модель и моделирование. Определения, дискуссии. metanymous
Субстрат и НастройСубстрата.
  Субстрат и НастройСубстрата. ailev
    Re: не в тему ailev
Чтобы всех окончательно запутать: вот определение модели и моделирования из Большой советской энциклопедии (кто интересуется подробнее -- см. поиск по энциклопедиям в Яндексе).
Осторожно -- это немаленькие тексты ;)

Модель (франц. modèle, итал. modello, от лат. modulus - мера, мерило, образец, норма),
1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого-либо изделия, конструкции.
2) Изделие (изготовленное из дерева, глины, воска, гипса и др.), с которого снимается форма для воспроизведения в другом материале (металле, гипсе, каине и др.). См. также Лекало, Литейная модель, Плаз, Шаблон.
3) Человек, позирующий художнику (натурщик), и вообще изображаемые объекты ("натура").
4) Устройство, воспроизводящее, имитирующее (обычно в уменьшенном, "игрушечном" масштабе) строение и действие какого-либо другого устройства ("настоящего") в научных (см. ниже), практических (например, в производственных испытаниях) или спортивных (см. Моделизм) целях.
Модель (в широком понимании) - образ (в т. ч. условный или мысленный - изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов ("оригинала" данной М.), используемый при определённых условиях в качестве их "заместителя" или "представителя". Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее - звёздного неба) - экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) - М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным аксиомам, в терминах которых эти объекты описываются.
Все эти примеры естественно делятся на 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., [1971], p. 137-38.
? Ю. А. Гастев.


Моделирование, исследование объектов познания на их моделях; построение и изучение моделей реально существующих предметов и явлений (живых и неживых систем, инженерных конструкций, разнообразных процессов - физических, химических, биологических, социальных) и конструируемых объектов (для определения, уточнения их характеристик, рационализации способов их построения и т. п.).
М. как познавательный приём неотделимо от развития знания. По существу, М. как форма отражения действительности зарождается в античную эпоху одновременно с возникновением научного познания. Однако в отчётливой форме (хотя без употребления самого термина) М. начинает широко использоваться в эпоху Возрождения; Брунеллески, Микеланджело и другие итальянские архитекторы и скульпторы пользовались моделями проектируемых ими сооружений; в теоретических же работах Г. Галилея и Леонардо да Винчи не только используются модели, но и выясняются пределы применимости метода М. И. Ньютон пользуется этим методом уже вполне осознанно, а в 19-20 вв. трудно назвать область науки или её приложений, где М. не имело бы существенного значения; исключительно большую методологическую роль сыграли в этом отношении работы Кельвина, Дж. Максвелла, Ф. А. Кекуле, А. М. Бутлерова и других физиков и химиков - именно эти науки стали, можно сказать, классическими "полигонами" методов М. Появление же первых электронных вычислительных машин (Дж. Нейман, 1947) и формулирование основных принципов кибернетики (Н. Винер, 1948) привели к поистине универсальной значимости новых методов - как в абстрактных областях знания, так и в их приложениях. М. ныне приобрело общенаучный характер и применяется в исследованиях живой и неживой природы, в науках о человеке и обществе (см. Модели в биологии, Модели в экономике, Модели в языкознании, Ядерные модели).
Единая классификация видов М. затруднительна в силу многозначности понятия "модель" в науке и технике. Её можно проводить по различным основаниям: по характеру моделей (т. е. по средствам М.); по характеру моделируемых объектов; по сферам приложения М. (М. в технике, в физических науках, в химии, М. процессов живого, М. психики и т. п.) и его уровням ("глубине"), начиная, например, с выделения в физике М. на микроуровне (М. на уровнях исследования, касающихся элементарных частиц, атомов, молекул). В связи с этим любая классификация методов М. обречена на неполноту, тем более, что терминология в этой области опирается не столько на "строгие" правила, сколько на языковые, научные и практические традиции, а ещё чаще определяется в рамках конкретного контекста и вне его никакого стандартного значения не имеет (типичный пример - термин "кибернетическое" М.).
Предметным называется М., в ходе которого исследование ведётся на модели, воспроизводящей основные геометрические, физические, динамические и функциональные характеристики "оригинала". На таких моделях изучаются процессы, происходящие в оригинале - объекте исследования или разработки (изучение на моделях свойств строительных конструкций, различных механизмов, транспортных средств и т. п.). Если модель и моделируемый объект имеют одну и ту же физическую природу, то говорят о физическом М. (см. Моделирование физическое). Явление (система, процесс) может исследоваться и путём опытного изучения каких-либо явления иной физической природы, но такого, что оно описывается теми же математическими соотношениями, что и моделируемое явление. Например, механические и электрические колебания описываются одними и теми же дифференциальными уравнениями; поэтому с помощью механических колебаний можно моделировать электрические и наоборот. Такое "предметно-математическое" М. широко применяется для замены изучения одних явлений изучением других явлений, более удобных для лабораторного исследования, в частности потому, что они допускают измерение неизвестных величин (см. Моделирование аналоговое). Так, электрическое М. позволяет изучать на электрических моделях механических, гидродинамических, акустических и другие явления. Электрическое М. лежит в основе т. н. аналоговых вычислительных машин.
При знаковом М. моделями служат знаковые образования какого-либо вида: схемы, графики, чертежи, формулы, графы, слова и предложения в некотором алфавите (естественного или искусственного языка) (см. Знак, Семиотика).
Важнейшим видом знакового М. является математическое (логико-математическое) М., осуществляемое средствами языка математики и логики (см. Математическая модель). Знаковые образования и их элементы всегда рассматриваются вместе с определенными преобразованиями, операциями над ними, которые выполняет человек или машина (преобразования математических, логических, химических формул, преобразования состояний элементов цифровой машины, соответствующих знакам машинного языка, и др.). Современная форма "материальной реализации" знакового (прежде всего, математического) М. - это М. на цифровых электронных вычислительных машинах, универсальных и специализированных. Такие машины - это своего рода "чистые бланки", на которых в принципе можно зафиксировать описание любого процесса (явления) в виде его программы, т. е. закодированной на машинном языке системы правил, следуя которым машина может "воспроизвести" ход моделируемого процесса.
Действия со знаками всегда в той или иной мере связаны с пониманием знаковых образований и их преобразований: формулы, математические уравнения и т. п. выражения применяемого при построении модели научного языка определенным образом интерпретируются (истолковываются) в понятиях той предметной области, к которой относится оригинал (см. Интерпретация). Поэтому реальное построение знаковых моделей или их фрагментов может заменяться мысленно-наглядным представлением знаков и (или) операций над ними. Эту разновидность знакового М. иногда называется мысленным М. Впрочем, этот термин часто применяют для обозначения "интуитивного" М., не использующего никаких чётко фиксированных знаковых систем, а протекающего на уровне "модельных представлений". Такое М. есть непременное условие любого познавательного процесса на его начальной стадии.
По характеру той стороны объекта, которая подвергается М., уместно различать М. структуры объекта и М. его поведения (функционирования протекающих в нем процессов и т. п.). Это различение сугубо относительно для химии или физики, но оно приобретает чёткий смысл в науках о жизни, где различение структуры и функции систем живого принадлежит к числу фундаментальных методологических принципов исследования, и в кибернетике, делающей акцент на М. функционирования изучаемых систем. При "кибернетическом" М. обычно абстрагируются от структуры системы, рассматривая её как "чёрный ящик", описание (модель) которого строится в терминах соотношения между состояниями его "входов" и "выходов" ("входы" соответствуют внешним воздействиям на изучаемую систему, "выходы" - её реакциям на них, т. е. поведению).
Для ряда сложных явлений (например, турбулентности, пульсаций в областях отрыва потока и т. п.) пользуются стохастическим М., основанным на установлении вероятностей тех или иных событий. Такие модели не отражают весь ход отдельных процессов в данном явлении, носящих случайный характер, а определяют некоторый средний, суммарный результат.
Понятие М. является гносеологической категорией, характеризующей один из важных путей познания. Возможность М., т. е. переноса результатов, полученных в ходе построения и исследования моделей, на оригинал, основана на том, что модель в определённом смысле отображает (воспроизводит, моделирует) какие-либо его черты; при этом такое отображение (и связанная с ним идея подобия) основано, явно или неявно, на точных понятиях изоморфизма или гомоморфизма (или их обобщениях) между изучаемым объектом и некоторым другим объектом "оригиналом" и часто осуществляется путём предварительного исследования (теоретического или экспериментального) того и другого. Поэтому для успешного М. полезно наличие уже сложившихся теорий исследуемых явлений, или хотя бы удовлетворительно обоснованных теорий и гипотез, указывающих предельно допустимые при построении моделей упрощения. Результативность М. значительно возрастает, если при построении модели и переносе результатов с модели на оригинал можно воспользоваться некоторой теорией, уточняющей связанную с используемой процедурой М. идею подобия. Для явлений одной и той же физической природы такая теория, основанная на использовании понятия размерности физических величин, хорошо разработана (см. Моделирование физическое, Подобия теория). Но для М. сложных систем и процессов, изучаемых, например, в кибернетике, аналогичная теория ещё не разработана, чем и обусловлено интенсивное развитие теории больших систем - общей теории построения моделей сложных динамических систем живой природы, техники и социально-экономической сферы.
М. всегда используется вместе с др. общенаучными и специальными методами. Прежде всего М. тесно связано с экспериментом. Изучение какого-либо явления на его модели (при предметном, знаковом М., М. на ЭВМ) можно рассматривать как особый вид эксперимента: "модельный эксперимент", отличающийся от обычного ("прямого") эксперимента тем, что в процесс познания включается "промежуточное звено" - модель, являющаяся одновременно и средством, и объектом экспериментального исследования, заменяющим изучаемый объект. Модельный эксперимент позволяет изучать такие объекты, прямой эксперимент над которыми затруднён, экономически невыгоден, либо вообще невозможен в силу тех или иных причин [М. уникальных (например, гидротехнических) сооружений, сложных промышленных комплексов, экономических систем, социальных явлений, процессов, происходящих в космосе, конфликтов и боевых действий и др.].
Исследование знаковых (в частности, математических) моделей также можно рассматривать как некоторые эксперименты ("эксперименты на бумаге", умственные эксперименты). Это становится особенно очевидным в свете возможности их реализации средствами электронной вычислительной техники. Один из видов модельного эксперимента - модельно-кибернетический эксперимент, в ходе которого вместо "реального" экспериментального оперирования с изучаемым объектом находят алгоритм (программу) его функционирования, который и оказывается своеобразной моделью поведения объекта. Вводя этот алгоритм в цифровую ЭВМ и, как говорят, "проигрывая" его, получают информацию о поведении оригинала в определенной среде, о его функциональных связях с меняющейся "средой обитания".
Т. о., можно прежде всего различать "материальное" (предметное) и "идеальное" М.; первое можно трактовать как "экспериментальное", второе - как "теоретическое" М., хотя такое противопоставление, конечно, весьма условно не только в силу взаимосвязи и обоюдного влияния этих видов М., но и наличия таких "гибридных" форм, как "мысленный эксперимент". "Материальное" М. подразделяется, как было сказано выше, на физическое и предметно-математическое М., а частным случаем последнего является аналоговое М. Далее, "идеальное" М. может происходить как на уровне самых общих, быть может даже не до конца осознанных и фиксированных, "модельных представлений", так и на уровне достаточно детализированных знаковых систем; в первом случае говорят о мысленном (интуитивном) М., во втором - о знаковом М. (важнейший и наиболее распространённый вид его - логико-математическое М.). Наконец, М. на ЭВМ (часто именуемое "кибернетическим") является "предметно-математическим по форме, знаковым по содержанию".
М. необходимо предполагает использование абстрагирования и идеализации. Отображая существенные (с точки зрения цели исследования) свойства оригинала и отвлекаясь от несущественного, модель выступает как специфическая форма реализации абстракции, т. е. как некоторый абстрактный идеализированный объект. При этом от характера и уровней лежащих в основе М. абстракций и идеализаций в большой степени зависит весь процесс переноса знаний с модели на оригинал; в частности, существенное значение имеет выделение трёх уровней абстракции, на которых может осуществляться М.: уровня потенциальной осуществимости (когда упомянутый перенос предполагает отвлечение от ограниченности познавательно-практической деятельности человека в пространстве и времени, см. Абстракции принцип), уровня "реальной" осуществимости (когда этот перенос рассматривается как реально осуществимый процесс, хотя, быть может, лишь в некоторый будущий период человеческой практики) и уровня практической целесообразности (когда этот перенос не только осуществим, но и желателен для достижения некоторых конкретных познавательных или практических задач).
На всех этих уровнях, однако, приходится считаться с тем, что М. данного оригинала может ни на каком своём этапе не дать полного знания о нём. Эта черта М. особенно существенна в том случае, когда предметом М. являются сложные системы, поведение которых зависит от значительного числа взаимосвязанных факторов различной природы. В ходе познания такие системы отображаются в различных моделях, более или менее оправданных; при этом одни из моделей могут быть родственными друг другу, другие же могут оказаться глубоко различными. Поэтому возникает проблема сравнения (оценки адекватности) разных моделей одного и того же явления, что требует формулировки точно определяемых критериев сравнения. Если такие критерии основываются на экспериментальных данных, то возникает дополнительная трудность, связанная с тем, что хорошее совпадение заключений, которые следуют из модели, с данными наблюдения и эксперимента ещё не служит однозначным подтверждением верности модели, т. к. возможно построение других моделей данного явления, которые также будут подтверждаться эмпирическими фактами. Отсюда - естественность ситуации, когда создаются взаимодополняющие или даже противоречащие друг другу модели явления; противоречия могут "сниматься" в ходе развития науки (и затем появляться при М. на более глубоком уровне). Например, на определенном этапе развития теоретической физики при М. физических процессов на "классическом" уровне использовались модели, подразумевающие несовместимость корпускулярных и волновых представлений; эта "несовместимость" была "снята" созданием квантовой механики, в основе которой лежит тезис о корпускулярно-волновом дуализме, заложенном в самой природе материи.
Другим примером такого рода моделей может служить М. различных форм деятельности мозга. Создаваемые модели интеллекта и психических функций - например, в виде эвристических программ для ЭВМ - показывают, что М. мышления как информационного процесса возможно в различных аспектах (дедуктивном - формально-логическом, см. Дедукция; индуктивном - см. Индукция; нейтрологическом, эвристическом - см. Эвристика), для "согласования" которых необходимы дальнейшие логические, психологические, физиологические, эволюционно-генетические и модельно-кибернетические исследования.
М. глубоко проникает в теоретическое мышление. Более того, развитие любой науки в целом можно трактовать - в весьма общем, но вполне разумном смысле, - как "теоретическое М.". Важная познавательная функция М. состоит в том, чтобы служить импульсом, источником новых теорий. Нередко бывает так, что теория первоначально возникает в виде модели, дающей приближённое, упрощённое объяснение явления, и выступает как первичная рабочая гипотеза, которая может перерасти в "предтеорию" - предшественницу развитой теории. При этом в процессе М. возникают новые идеи и формы эксперимента, происходит открытие ранее неизвестных фактов. Такое "переплетение" теоретического и экспериментального М. особенно характерно для развития физических теорий (например, молекулярно-кинетической или теории ядерных сил).
М. - не только одно из средств отображения явлений и процессов реального мира, но и - несмотря на описанную выше его относительность - объективный практический критерий проверки истинности наших знаний, осуществляемой непосредственно или с помощью установления их отношения к другой теории, выступающей в качестве модели, адекватность которой считается практически обоснованной. Применяясь в органическом единстве с другими методами познания, М. выступает как процесс углубления познания, его движения от относительно бедных информацией моделей к моделям более содержательным, полнее раскрывающим сущность исследуемых явлений действительности.
При М. более или менее сложных систем обычно применяют различные виды М. Примеры см. ниже в разделах о М. энергосистем и М. химических реактивов.
Лит.: Гутенмахер Л. И., Электрические модели, М. - Л., 1949; Кирпичев М. В., Теория подобия, М., 1953; Ляпунов А. А., О некоторых общих вопросах кибернетики, в кн.: Проблемы кибернетики, в. 1, М., 1958; Вальт Л. О., Познавательное значение модельных представлений в физике, Тарту, 1963; Глушков В. М., Гносеологическая природа информационного моделирования, "Вопросы философии", 1963, Ї 10; Новик И. Б., О моделировании сложных систем, М., 1965; Моделирование как метод научного исследования, М., 1965; Веников В. А., Теория подобия и моделирование применительно к задачам электроэнергетики, М., 1966; Штофф В. А., Моделирование и философия, М. - Л., 1966; Чавчанидзе В. В., Гельман О, Я., Моделирование в науке и технике, М., 1966; Гастев Ю. А., О гносеологических аспектах моделирования, в кн.: Логика и методология науки, М., 1967; Бусленко Н. П., Моделирование сложных систем, М., 1968; Морозов К. Е., Математическое моделирование в научном познании, М., 1969; Проблемы кибернетики, М., 1969; Уемов А. И., Логические основы метода моделирования, М., 1971; Налимов В. В., Теория эксперимента, М., 1971; Бирюков Б. В., Геллер Е. С., Кибернетика в гуманитарных науках, М., 1973.
? Б. В. Бирюков, Ю. А. Гастев, Е. С. Геллер.

13 комментариев

сначала старые сначала новые