БСЭ БСЭ - Большая Советская Энциклопедия (МО)
Если исходный материал («вход») при исследовании — звуки, слова, предложения, а результат («выход») — категории и смысловые структуры, то М. называют аналитической. Такова М. категории рода , дающая однозначное решение спорных вопросов. Принадлежность к грамматическому роду может определяться формой слова (например, в русском языке слова, оканчивающиеся на «-а», обычно женского рода, но этот признак не однозначен, ср. «папа»), значением (слова, обозначающие существа женского пола, относятся к женскому роду, но и этот признак не однозначен, ср. в немецком языке das Weib — «женщина» — среднего рода). В М. рода считается, что для каждого слова задана система его форм (например, стол, стола, столу...) и известно, какие словоформы согласуются с данной словоформой (например, этот стол, этого стола...). Два слова х (стол) и у (какаду) относятся к одному роду, если для любой формы х 1 слова х и любой словоформы z , согласуемой с x 1 , найдётся форма y 1 слова у , согласуемая с z (этот какаду, этого какаду), причём обратное верно для любой формы y 1 слова у . Эта М. даёт возможность не только однозначно решать спорные вопросы, но и сопоставить категорию рода с категорией части речи (род оказывается «вложенным» в часть речи); установить, какие категории других частей речи устроены изоморфно (аналогично) с родом существительного (например, категория глагольного управления); сравнить категорию рода в русском и других индоевропейских языках с категорией грамматического класса, например в языках банту . Т. о., аналитические М. находят применение в типологии языков.
Если исходный материал — категории и элементарные смысловые структуры, а «выход» — некоторые формальные построения, то М. называется синтетической, или порождающей (такие М. называют также порождающими грамматиками, см. Грамматика формальная , Математическая лингвистика ). Порождающая М. воплощает в себе некоторую гипотезу о внутреннем (недоступном прямому наблюдению) строении языка, которая затем проверяется путём сравнения множества выводимых в М. объектов с реальными языковыми фактами. Это позволяет классифицировать и оценивать М. по степени соответствия фактам языка и по степени раскрытия интуитивно ощущаемых закономерностей языка («объяснительной силе»). Т. к. каждая М. описывает не весь язык, а некоторую его область или даже отдельную категорию, то точное описание языка предполагает одновременное использование разных М., относящихся как к одной области языка (например, несколько дополняющих друг друга М. категорий части речи, падежа, рода), так и к разным областям.
Лит.: Апресян Ю. Д., Идеи и методы современной структурной лингвистики, М., 1966; Ревзин И. И., Метод моделирования и типология славянских языков, М., 1967; Маркус С., Теоретико-множественные модели языков, пер. с англ., М., 1970; Хомский Н., Аспекты теории синтаксиса, пер. с англ., М., 1972.
И. И. Ревзин.
Моделизм
Модели'зм спортивный, конструирование и постройка действующих и стендовых моделей летательных аппаратов, автомобилей, судов, локомотивов и других средств транспорта для спортивных соревнований и демонстраций. См. Авиамоделизм , Автомодельный спорт , Судомодельный спорт .
Моделирование
Модели'рование, исследование объектов познания на их моделях ; построение и изучение моделей реально существующих предметов и явлений (живых и неживых систем, инженерных конструкций, разнообразных процессов — физических, химических, биологических, социальных) и конструируемых объектов (для определения, уточнения их характеристик, рационализации способов их построения и т. п.).
М. как познавательный приём неотделимо от развития знания. По существу, М. как форма отражения действительности зарождается в античную эпоху одновременно с возникновением научного познания. Однако в отчётливой форме (хотя без употребления самого термина) М. начинает широко использоваться в эпоху Возрождения; Брунеллески , Микеланджело и другие итальянские архитекторы и скульпторы пользовались моделями проектируемых ими сооружений; в теоретических же работах Г. Галилея и Леонардо да Винчи не только используются модели, но и выясняются пределы применимости метода М. И. Ньютон пользуется этим методом уже вполне осознанно, а в 19—20 вв. трудно назвать область науки или её приложений, где М. не имело бы существенного значения; исключительно большую методологическую роль сыграли в этом отношении работы Кельвина, Дж. Максвелла , Ф. А. Кекуле , А. М. Бутлерова и других физиков и химиков — именно эти науки стали, можно сказать, классическими «полигонами» методов М. Появление же первых электронных вычислительных машин (Дж. Нейман , 1947) и формулирование основных принципов кибернетики (Н. Винер , 1948) привели к поистине универсальной значимости новых методов — как в абстрактных областях знания, так и в их приложениях. М. ныне приобрело общенаучный характер и применяется в исследованиях живой и неживой природы, в науках о человеке и обществе (см. Модели в биологии, Модели в экономике, Модели в языкознании, Ядерные модели ).
Единая классификация видов М. затруднительна в силу многозначности понятия «модель» в науке и технике. Её можно проводить по различным основаниям: по характеру моделей (т. е. по средствам М.); по характеру моделируемых объектов; по сферам приложения М. (М. в технике, в физических науках, в химии, М. процессов живого, М. психики и т. п.) и его уровням («глубине»), начиная, например, с выделения в физике М. на микроуровне (М. на уровнях исследования, касающихся элементарных частиц, атомов, молекул). В связи с этим любая классификация методов М. обречена на неполноту, тем более, что терминология в этой области опирается не столько на «строгие» правила, сколько на языковые, научные и практические традиции, а ещё чаще определяется в рамках конкретного контекста и вне его никакого стандартного значения не имеет (типичный пример — термин «кибернетическое» М.).
Предметным называется М., в ходе которого исследование ведётся на модели, воспроизводящей основные геометрические, физические, динамические и функциональные характеристики «оригинала». На таких моделях изучаются процессы, происходящие в оригинале — объекте исследования или разработки (изучение на моделях свойств строительных конструкций, различных механизмов, транспортных средств и т. п.). Если модель и моделируемый объект имеют одну и ту же физическую природу, то говорят о физическом М. (см. Моделирование физическое ). Явление (система, процесс) может исследоваться и путём опытного изучения каких-либо явления иной физической природы, но такого, что оно описывается теми же математическими соотношениями, что и моделируемое явление. Например, механические и электрические колебания описываются одними и теми же дифференциальными уравнениями; поэтому с помощью механических колебаний можно моделировать электрические и наоборот. Такое «предметно-математическое» М. широко применяется для замены изучения одних явлений изучением других явлений, более удобных для лабораторного исследования, в частности потому, что они допускают измерение неизвестных величин (см. Моделирование аналоговое ). Так, электрическое М. позволяет изучать на электрических моделях механических, гидродинамических, акустических и другие явления. Электрическое М. лежит в основе т. н. аналоговых вычислительных машин .
При знаковом М. моделями служат знаковые образования какого-либо вида: схемы, графики, чертежи, формулы, графы, слова и предложения в некотором алфавите (естественного или искусственного языка) (см. Знак , Семиотика ).
Важнейшим видом знакового М. является математическое (логико-математическое) М., осуществляемое средствами языка математики и логики (см. Математическая модель ). Знаковые образования и их элементы всегда рассматриваются вместе с определенными преобразованиями, операциями над ними, которые выполняет человек или машина (преобразования математических, логических, химических формул, преобразования состояний элементов цифровой машины, соответствующих знакам машинного языка, и др.). Современная форма «материальной реализации» знакового (прежде всего, математического) М. — это М. на цифровых электронных вычислительных машинах, универсальных и специализированных. Такие машины — это своего рода «чистые бланки», на которых в принципе можно зафиксировать описание любого процесса (явления) в виде его программы , т. е. закодированной на машинном языке системы правил, следуя которым машина может «воспроизвести» ход моделируемого процесса.
