Реальные физические процессы протекают в непрерывно изменяющимся времени, которое является аргументом соответствующих им функций. Роль непрерывного аргумента в различных задачах исследования или проектирования могут играть и другие физические величины (расстояние, объем, масса, температура и т.п.). При этом математические модели, типичными представителями которых являются дифференциальные уравнения, также называют непрерывными. Однако во многих случаях целесообразно рассматривать состояние системы только для последовательности дискретных значений независимой переменной (времени), отвлекаясь от характера происходящих процессов в промежутке между этими значениями. Этот подход обслуживают различные типы дискретных моделей.
Важным типом дискретных моделей являются конечно-разностные дифференциальные уравнения, которые описывают процессы в исследуемой системе относительно конечных (не обязательно равных)приращений независимой переменной. Такая модель представляет собой как бы моментальные фотографии состояний системы, выполненные последовательно через некоторые промежутки времени (или другой независимой перемененной). Ясно, что точность моделирования тем выше, чем меньше приращения независимой переменной, но уменьшение интервалов между дискретными значениями неизбежно приводит к увеличению объема вычислений. Представление непрерывных систем дискретными моделями всегда связано с решением вопроса об оптимальном выборе шага дискретности как компромисса между точностью и простотой.
Для многих систем дискретность является основным свойством их функционирования. В некоторые моменты времени происходит переход их одного состояния в другое, последовательно которых представляет наибольший интерес, а процессы между этими состояниями либо отодвигаются на второй план, либо и вовсе не имеют
- 14 -
значения. В таких случаях дискретная модель представляет собой естественное отображение системы в том смысле, что дискретные моменты времени определяются изменением ее состояний. Более того, вместо времени (или другой независимой переменной) можно рассматривать последовательность состояний, различающихся каким-либо другим признаком. Типичным представителем дискретных моделей этого типа являются, например, конечные автоматы.
Для представления математических моделей широко используется аппарат теории множеств, матриц и графов. Соответственно различают теоретико-множественные, матричные и топологические модели. В последнее время в качестве математических моделей реальных объектов находят применение различные алгебраические структуры: группы, кольца, поля и т.п.
