Раздел 1. О моделях и моделировании в науке и технике
Так же, как отдельного названия «заслужили» химические, био-
логические, экономические модели и т.д. То есть осязаемые мо-
дели, макеты и прототипы, выполненные из какого-либо реального
вещества и объективно существующие независимо от восприятия
человеком, мы будем называть материальными, натурными или
вещественными. Масштабные образцы изделий, модели само-
летов и автомобилей, продуваемые в аэродинамических трубах,
модели для литья. Это все примеры материальных моделей. Ис-
следования, проводимые с материальными объектами и моде-
лями, часто называют натурным экспериментом. В ряде случаев
создание материальных моделей может оказаться весьма эффек-
тивным при проектировании технических объектов и систем.
Однако преобладающее большинство моделей, используемых
для инженерных целей, являются абстрактными.
Под абстрактными моделями мы будем подразумевать все не-
материальные виды моделей, которые иногда называют теоре-
тическими, идеальными, формально-логическими, моделями-
описаниями и даже спецификациями.
Абстрактная, теоретическая модель, в отличие от материаль-
ной, может существовать в невещественном виде и не является
объективной реальностью. Абстрагирование от объективной ре-
альности, связанное с мысленным моделированием окружаю-
щего нас мира, считается субъективным, чисто человеческим
качеством. Обязательно лишь, чтобы необходимые характери-
стики модели материальной адекватно отражались в модели
теоретической.
Модель по определению не может быть полностью тожде-
ственна оригиналу, и обязательно отражает только часть его
свойств. Однако при этом модели часто могут называться «пол-
ными» либо «частичными». В обоих случаях подразумевается
определенная мера полноты, нарочитое выделение в модели
не всех существенных сторон, например структуры, а толь-
ко некоторых определенных свойств объекта либо только вы-
полняемых им функций (в последнем случае модель называют
«функциональной»). Например, с помощью функциональных
моделей отображаются процессы преобразования информации
при проектировании автоматизированных систем обработки ин-
формации (АСОИ), разновидностью которых являются САПР
14
1.1. Классификация моделей, используемых в технике
И АСТПП [41]. Основные принципы и средства структурно-
функционального моделирования освещены в шестом разделе.
Среди теоретических моделей (описаний) различают упомя-
нутые выше функциональные [92], логические [65], структурные
[41], информационные [30] модели и т.д. Эти модели называют ма-
тематическими, если они формализованы средствами понятий
и языка математики. В свою очередь, математические модели
могут быть геометрическими, топологическими [12], вероятност-
ными [22] и т.п., если они отражают соответствующие свойства
объектов.
Можно заметить, что границы, проводимые между многими
теоретическими моделями, достаточно условны, а названия од-
них и тех же моделей могут значительно отличаться в разных об-
ластях науки и техники или даже у разных авторов, работающих
в одной или смежных областях. Это лишний раз свидетельствует
о субъективности абстрактно-теоретического моделирования.
Следует говорить о принятых или не принятых обозначениях
и названиях моделей среди специалистов в данной конкретной
области, об устоявшихся или вновь вводимых терминах. Причем
обязательно имея в виду, что в развивающихся науках термино-
логическая и понятийная база должна быть в достаточной мере
подвижной, чтобы не сковывать поступательное, часто противо-
речивое, движение научной теории и практики.
Особо следует обсудить широко используемый в технической
литературе термин «математическая модель». Кстати, его не сле-
дует путать с определениями «модель» и «теория моделей», кото-
рыми пользуются сами математики.
Моделью в математике принято называть любое множество
объектов, на которых определены те или иные предикаты. Под
предикатом понимается функция у = f(x
p
х
п
), аргументы
(Xj,xj которой принадлежат данному множеству
М, а
значе-
ние (у) может являться либо истиной, либо ложью [11].
То есть предикат представляет собой высказывание, описыва-
ющее свойство, которым может обладать или не обладать набор
элементов (x
l
х
п
) множества М. При этом число n элемен-
тов этого набора может быть любым. При п=2 возникает особо
Распространенный тип предиката, который носит наименова-
ние бинарного отношения. Наиболее употребительными видами
15