Системный анализ в информационных технологиях - 25 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

комбинаций конкретных значений параметров. Скажем, для процесса механических колебаний – это лю-
бые значения массы и жесткости пружины.
В знаковых моделях возможен дедуктивный вывод свойств, количество следствий в них обычно более
значительно, чем в моделях других типов. Они отличаются компактной записью и удобством рабо-
ты, возможностью изучения в форме, абстрагированной от конкретного содержания. Все это позво-
ляет считать знаковые модели наивысшей ступенью и рекомендовать стремиться к такой форме мо-
делирования.
Заметим, что деление моделей на вербальные, натурные и знаковые в определенной степени услов-
но. Так, существуют смешанные типы моделей, скажем, использующие и вербальные, и знаковые по-
строения. Можно даже утверждать, что нет знаковой модели без сопровождающей описательной – ведь
любые знаки и символы необходимо пояснять словами. Часто и отнесение модели к какому-либо типу
является нетривиальным. Так мы уже упоминали ситуацию с чертежами и с изучением словес но опи-
сываемого, но формализуемого поведения человека. В принципе, условность деления модели на типы,
означает, что это не более чем их удобная характеристика. Последнее отнюдь не опровергает приведен-
ные выше утверждения о знаковом описании как наивысшей ступени моделирования, а лишь подчерки-
вает, что такая форма описания выступает желаемой, обладающей наибольшим числом достоинств ха-
рактеристикой.
1.3.2 Общие и конкретные модели
Все типы моделей необходимо перед их применением к конкретной системе наполнить информаци-
ей, соответствующей используемым символам, макетам, общим понятиям. Наполнение информацией в
наибольшей степени свойственно знаковым моделям, в наименьшей – натурным. Так, для математиче-
ской модели – это численные (вместо буквенных) значения физических величин коэффициентов, пара-
метров; конкретные виды функций и операторов, определенные последовательности действий и графо-
вые структуры (там, где они не были фиксированы однозначно) и др. Наполненную информацией мо-
дель принято называть конкретной.
Модель без наполнения информацией до уровня соответствия единичной реальной системе называ-
ется общей (теоретической, абстрактной, системной).
Таким образом, если хотя бы часть параметров в модели не фиксирована, то она еще является об-
щей. Практически всегда создаются и разрабатываются общие модели, описывающие классы по край-
ней мере близких однотипных систем. Но уровни их общности различны. Можно создать модель давле-
ния коленчатого вала на поддерживающие его подшипники, ограничившись при этом силовыми и гео-
метрическими характеристиками, типичными, скажем, для автомобильных двигателей. Но можно рас-
смотреть модель реакций вращающегося твердого тела – и две модели будут очень близки, но, естест-
венно, различны по уровню общности. Первую из них есть смысл рассматривать, если в ней учтены
особенности, характеризующие именно данный узкий класс систем.
Наибольший интерес представляют общие модели с достаточно высоким уровнем абстракции. Такие
модели могут самостоятельно изучаться, анализироваться, дополняться доказанными свойствами и
утверждениями. Сведения, полученные при их теоретическом рассмотрении, будут применимы ко
всем конкретным системам, содержащимся в них. Эти уровни общности или абстракции могут об-
разовывать целые иерархические структуры, в которых переход к конкретной модели
будет проходить в несколько этапов («спуск» к все более и более частному).
Особенно широко распространено и известно исследование абстрактных математических моделей.
Типичными с точки зрения практики являются модели в виде наборов формул, систем линейных и не-
линейных алгебраических уравнений, дифференциальных уравнений, дискретных переходов, статисти-
ческих описаний, аппроксимирующих представлений, описания игровых ситуаций и т.д. Можно гово-
рить о ряде общих моделей в химии, физике, биологии, экономике. Абстрактное моделирование часто
относят к области теории сложных систем
[1 – 3]. В ней имеется ряд результатов, скажем, по теории линейных непрерывных нестационарных де-
терминированных или линейных дискретных стационарных стохастических систем. Каждая такая ком-

Страницы