Классификация моделей и параметров, используемых а автоматизированном проектировании

В автоматизированных проектных процедурах вместо еще не существующего проектируемого объекта оперируют некоторым квазиобъектом — моделью, которая отражает некоторые интересующие исследователя свойства объекта. Модель может быть физическим объектом (макет, стенд) или спецификацией. Среди моделей-спецификаций различают упомянутые выше функциональные, поведенческие, информационные, структурные модели (описания). Эти модели называют математическими, если они формализованы средствами аппарата и языка математики.

В свою очередь, математические модели могут быть геометрическими, топологическими, динамическими, логическими и т.п., если они отражают соответствующие свойства объектов. Наряду с математическими моделями при проектировании используют рассматриваемые ниже функциональные IDEF0-модели, информационные модели в виде диаграмм сущность-отношение, геометрические модели-чертежи. В дальнейшем, если нет специальной оговорки, под словом “модель” будем подразумевать математическую модель.

Математическая функциональная модель в общем случае представляет собой алгоритм вычисления выходных параметров при заданных параметрах элементов и внешних параметрах.

Математические модели могут быть символическими и численными. При использовании символических моделей оперируют не значениями величин, а их символическими обозначениями (идентификаторами). Численные модели могут быть аналитическими, т.е. их можно представить в виде явно выраженных зависимостей выходных параметров от параметров внутренних и внешних, или алгоритмическими, в которых связь задана неявно в виде алгоритма моделирования. Важнейший частный случай алгоритмических моделей — имитационные, они отображают процессы в системе при наличии внешних воздействий на систему. Другими словами, имитационная модель — это алгоритмическая поведенческая модель.

Классификацию математических моделей выполняют также по ряду других признаков.

Так, в зависимости от принадлежности к тому или иному иерархическому уровню выделяют модели уровней системного, функционально-логического, макроуровня (сосредоточенного) и микроуровня (распределенного).

По характеру используемого для описания математического аппарата различают модели лингвистические, теоретико-множественные, абстрактно-алгебраические, нечеткие, автоматные и т.п.

Например, на системном уровне преимущественно применяют модели систем массового обслуживания и сети Петри, на функционально-логическом уровне — автоматные модели на основе аппарата передаточных функций или конечных автоматов, на макроуровне — системы алгебро-дифференциальных уравнений, на микроуровне — дифференциальные уравнения в частных производных. Особое место занимают геометрические модели, используемые в системах конструирования.

Кроме того, введены понятия полных моделей и макромоделей, моделей статических и динамических, детерминированных и стохастических, аналоговых и дискретных, символических и численных.

Полная модель объекта в отличие от макромодели описывает не только процессы на внешних выводах моделируемого объекта, но и внутренние для объекта процессы.

Статические модели описывают статические состояния, в них не присутствует время в качестве независимой переменной. Динамические модели отражают поведение системы, т.е. в них обязательно используется время.

Стохастические и детерминированные модели различаются в зависимости от учета или неучета случайных факторов.

В аналоговых моделях фазовые переменные — непрерывные величины, в дискретных - дискретные, в частном случае дискретные модели являются логическими (булевыми), в них состояние системы и ее элементов описывается булевыми величинами. В ряде случаев полезно применение смешанных моделей, в которых одна часть подсистем характеризуется аналоговыми моделями, другая — логическими.

Информационные модели модели относятся к информационной страте автоматизированных систем, их используют прежде всего при инфологическом проектировании баз данных (БД) для описания связей между единицами информации.

Наибольшие трудности возникают при создании моделей слабоструктурированных систем, что характерно прежде всего для системного уровня проектирования. Здесь значительное внимание уделяется экспертным методам. В теории систем сформулированы общие рекомендации по подбору экспертов при разработке модели, организации экспертизы, по обработке полученных результатов. Достаточно общий подход к построению моделей сложных слабоструктурированных систем выражен в методиках IDEF.

Обычно в имитационных моделях фигурируют фазовые переменные. Так, на макроуровне имитационные модели представляют собой системы алгебро-дифференциальных уравнений.

К примерам фазовых переменных можно отнести токи и напряжения в электрических системах, силы и скорости — в механических, давления и расходы — в гидравлических.

Выходные параметры систем могут быть двух типов. Во-первых, это параметры-функционалы, т.е. функционалы зависимостей. Примеры таких параметров: амплитуды сигналов, временные задержки, мощности рассеивания и т.п. Во-вторых, это параметры, характеризующие способность проектируемого объекта работать при определенных внешних условиях. Эти выходные параметры являются граничными значениями диапазонов внешних переменных, в которых сохраняется работоспособность объекта.