Необходимым этапом на пути к адекватной теории является идеализация реальной системы в соответствии с поставленной задачей исследования или проектирования. Свойства идеализированной системы абстрагируются и отождествляются со свойствами математических объектов, в результате чего приходим к тому, что называют математической моделью системы.
Замена реальной системы соответствующей моделью позволяет использовать для ее исследования методы адекватной математической теории. В рамках прикладной теории эти методы, как правило, получают дальнейшее развитие в соответствии с характером решаемых задач и интерпретируются в терминах реальных объектов.
Итак, математический аппарат инженера можно определить как взаимосвязанную совокупность языка, моделей и методов математики ориентированную на решение инженерных задач.
5. Язык математики. В математике, как и в других науках, наряду с естественными языками, используются искусственные языки, формализация которых достигает такого уровня, что при некоторых условиях саму математику рассматривают как специально организованный язык (формальная математика).
Естественные языки служат средством связи в человеческом обществе, на них говорят и пишут в повседневной жизни. В мире существует несколько тысяч различных языков и диалектов и всем им присущи некоторые общие черты. Такие сильные стороны естественных языков, как универсальность и выразительность, проявляются в их способности выразить любые человеческие чувства и знания. В то же время фразеологическая громоздкость, неоднозначность слов и неточность грамматики затрудняют использование естественных языков в научных целях.
Присущие естественным языкам недостатки устраняют построением формального языка, словарем которого служит система символов, обозначающих математические объекты и переменные, а также операции над объектами и отношения между ними. Формулы и любая совокупность символов, отвечающая определенным требованиям, играют роль предложений такого языка. Важнейшая особенность формального языка математики состоит в том, что переход от одних формул к другим совершается по строго определенным правилам, не допускающим двусмысленного толкования.
- 11 -
Естественные и формальные языки взаимно дополняют друг друга и каждый из них используется по своему назначению. На естественных языках осуществляется часть рассуждений, даются дополнительные пояснения, обсуждаются полученные результаты и т.п. Кроме того, естественный язык играет роль метаязыка, при помощи которого задаются свойства и правила (синтаксис) формального языка и вводятся содержательные определения объектов.
Следует признать, что в специальной технической литературе элементы формального языка математики нередко употребляются без особой надобности, когда то же самое можно выразить достаточно строго и лаконично на естественном языке. Это происходит либо в силу привычки, если автором является математик, либо из стремления придать изложению внешнюю солидность. Подобная мнимая математизация, не внося ничего полезного, создает излишние барьеры для понимания существа дела и обмена информацией.
Применение формального языка математики оправдано всегда, если речь идет о сложных вещах, изложение которых на естественном языке требует синтаксически сложных предложений и может привести к неточному их толкованию. Важно также и то, что работа с формальными языками развивает способности к логическому мышлению в любой прикладной области.
6. Математические модели. Реальные объекты, с которыми имеет дело инженер, обладают бесконечным множеством свойств и характеризуются бесконечным множеством связей как внутри самого объекта, так и вне его (связи с другими объектами и окружающей средой). Переход к соответствующим моделям является наиболее сложным и ответственным этапом применения математического аппарата в инженерном деле. В значительной мере успешное решение этой задачи определяется опытом и интуицией специалиста в данной конкретной области. В то же время можно указать и ряд общих требований, которые обычно предъявляются к математической модели: достаточная точность, предельная простота и стандартная форма.
Обеспечить достаточную точность модели — это значит учесть при идеализации реального объекта все существенные свойства и связи, отвлекаясь от второстепенных. Несущественных свойств и связей. Решение этого вопроса зависит не только от характера самого объекта, но и от поставленной задачи. Поэтому для одного и того же объекта может потребоваться не одна, а несколько моделей, обслуживающих различные задачи при его проектировании или исследовании. Например, усилительная электронная цепь при определении начального режима описывается нелинейными алгебраическими уравнениями, а в режиме усиления слабых сигналов — линейными дифференциальными уравнениями.
- 12 -
Для определения нелинейных искажений такой цепи в ее модели необходимо учесть нелинейность характеристик электронных ламп или транзисторов.
Представляя реальный объект с достаточной точностью, математическая модель в то же время должна быть оп возможности проще, так как дальнейшая работа со сложной моделью не только затруднительна, но может оказаться и практически невозможной. Противоречивость этих требований нередко вынуждает поступиться точностью в интересах простоты, однако такой компромисс допустим только в тех пределах, при которых модель еще отражает существенные свойства реального объекта. Разработка методов упрощения реальных объектов и систем с целью построения предельно простых математических моделей является одной и центральных задач любой прикладной области.
При моделировании реальных объектов целесообразно ориентироваться на математические модели стандартного вида, которые обеспечены соответствующим аппаратом. Физические процессы характеризуются пространственно-временными соотношениями и в общем случае описываются дифференциальными уравнениями в частных производных. Важным методом упрощения модели является представление объекта или совокупности объектов в виде системы таких ее частей (компонентов), связь между которыми можно с достаточной точностью охарактеризовать функциями только одно переменной (времени). В одних случаях этот путь предсказывается самой структурой объекта (например, электронные цепи или системы управления), в других случаях требуется искусственное расчленение объекта на отдельные части (например, балку с распределенной нагрузкой представляют в виде участков с сосредоточенными нагрузками). Если известны модели компонентов в виде некоторых зависимостей относительно их внешних связей, то модель системы можно представить обыкновенными дифференциальными уравнениями. Тем самым осуществляется переход от модели с распределенными параметрами к более простой модели с сосредоточенными параметрами.
Моделирование компонентов системы само по себе может представлять серьезные трудности, однако эта задача всегда проще, чем рассмотрение системы в целом. Кроме того, несмотря на огромное разнообразие систем, набор различных компонентов весьма ограничен, и их модели, полученные один раз в стандартной форме, могут затем многократно использоваться при моделировании сложных систем. В общем случае модели компонентов характеризуются нелинейными зависимостями. Однако многие задачи допускают их линеаризацию, что соответственно сильно упрощает и модели систем, которые в таких случаях описывается линейными уравнениями. Если параметры компонентов можно считать не зависящими от времени, то система представляет стационарной моделью
- 13 -
в виде дифференциальных уравнений с постоянными коэффициентами.
Параметры системы и приложенные к ней воздействия можно рассматривать как детерминированные или случайные величины, что приводит соответственно к детерминированным или стохастическим моделям. Выбор той или иной модели зависит от характера протекающих процессов и поставленной задачи исследования.
Стохастические модели имеют особенно важное значение при исследовании и проектировании больших систем со сложными связями и трудно учитываемыми свойствами. В подобных ситуациях близость математической модели к исходной системе усиливается приданием ей вероятностного или статистического характера, учитывающего существенные свойства и связи, которые не поддаются детерминированному описанию.
