книги / Основы автоматизации проектирования в строительстве

с помощью этих систем основана на технологии обычного про­ граммирования.

-Оболочки (или пустые) ЭС (EM YCINЭкперт-микро) пред­ ставляют собой готовые экспертные системы без базы знаний. Тех­ нология создания и использования оболочки ЭС заключается в том, что из готовой ЭС удаляются знания из БЗ, затем база заполняется знаниями, ориентированными на другие приложения.

-Системы автоматизированного создания ЭС (EXSYS, Personal Consultant Plus. GURU’ Leonardo...). Это гибкие программ­ ные системы, допускающие несколько моделей представления зна­ ний, способов логического вывода и содержащие вспомогательные средства создания ЭС.

4. Перспективы применения ЭС в САПР

САПР - одно из наиболее перспективных областей приложе­ ния ЭС, т.к требует постоянного привлечения экспертных знаний

вбольшом объеме. Это связано со следующим:

-слабой структуризацией большинства проектных (и управ­ ленческих) задач;

-участием в постановке специалиста-эксперта;

-возможностью получения различных, но практически равно­ ценных решений;

-отсутствием единого алгоритма для решения задач;

-возрастанием сложности проектируемых объектов и увели­ чением их номенклатуры и т.п.

Рассматривая возможные направления совершенствования специализированных программных комплексов САПР, можно гово­ рить о том, что основные усилия разработчиков в ближайшем бу­ дущем будут направлены на интеллектуализацию программ. Уже сегодня разрабатываются программные комплексы, обладающие встроенной экспертной системой (например «МОНОМАХ»), кото­ рая в процессе расчета сообщает пользователю о некорректных приемах решения: недостаточное сечение элемента, переармирование и т.п.

Контрольные вопросы

1.На какие знания опирается человек, решая конкретные за­

дачи?

2.Раскройте понятия «искусственный интеллект», «база зна­

ний».

3.Основные идеи процесса человеческого мышления, лежащие

воснове систем искусственного интеллекта.

4.Какие основные модели представления знаний используются

всистемах искусственного интеллекта?

5.Что такое экспертные системы?

6.Основные отличия экспертных систем от информационных систем.

7.Перспективы применения ЭС в САПР.

ЛЕКЦИЯ 9

МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ САПР

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

Материал настоящего раздела рассчитан на подготовку буду­ щих инженеров к активной работе с современными наукоемкими пакетами расчетных программ.

§1. М а т е м а т и ч е с к о е м о д е л и р о в а н и е в САПР

Как уже было сказано выше, математическое обеспечение

САПР (МО) представляет собой совокупность математических моделей (ММ), методов и алгоритмов, необходимых для выполне­ ния АП, а также формализованных описаний проектных процедур.

Математическое моделированиепроцесс создания модели и оперирование ею с целью получения сведений о реальном объек­

те. Последние десятилетия характеризуются резким	подъемом
в развитии науки о математическом моделировании	различных

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

1.Математические модели

Математическая модель является приближенным, выражен­ ным в математических терминах представлением объектов, систем или процессов, которые называют объектами моделирования. Все объекты и явления в большей или меньшей степени взаимосвязаны.

но при моделировании обычно большинством взаимосвязей пре­ небрегают, и объект моделирования рассматривают как отдельную систему.

Если объект моделирования определен как отдельная система, то необходимо учесть принцип селективности, обеспечивающий выбор лишь некоторых связей системы с внешней средой. Напри­ мер, при моделировании строительных конструкций (плит перекры­ тия, покрытия, несущих стен) обычно пренебрегают тепловым, аку­ стическим, химическим воздействием с внешней средой и рассмат­ ривают только механические воздействия (силы, моменты и т.д.). Принцип селективности вводит в систему ошибку, т.е. разницу в поведении модели и объекта моделирования.

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

Параметрами математической модели являются входящие

всистемы уравнений различные коэффициенты, которые вместе

суравнениями и граничными условиями образуют законченную мате­ матическую модель.

Все системы существуют во времени и в пространстве. Мате­ матически это означает, что время (t) и три пространственные пе­ ременные (х, у, z) могут рассматриваться в качестве независимых переменных. Но учет всех четырех независимых переменных при­ водит к усложнению математической модели. И чаще всего в каче­ стве независимых переменных берут одну или две переменные. Так, расчет на прочность пространственной конструкции здания или со­ оружения обычно стремятся свести к плоской расчетной схеме, за­ меняя трехмерные конструктивные элементы их одномерными или

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

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

Существует много признаков классификации ММ. Приведем некоторые из них, выделив основные модели, имеющие место в САПР объектов строительства.

По типу функциональной зависимости между переменными

выделяют:

1)линейные ММ, область применения которых очень широка. Традиционно в строительной механике сооружений изучаются ме­ тоды расчета моделей с линейными физическими свойствами (подчиняющихся закону Гука), для которых применим принцип суперпозиции;

2)нелинейные ММ, методы исследования которых в настоя­ щее время быстро развиваются, складываясь в новые научные на­ правления.

Взависимости от поведения объекта во времени ММ под­ разделяют на:

1)статические или квазистатические модели (поведение сис­ темы не зависит или слабо зависит от времени). Например, если скорость появления микротрещин в конструкциях здания, связанная

ссезонными колебаниями температур и переменностью нагрузок,

невелика, то расчет его несущей способности можно проводить в рамках статической модели. Срок службы здания в этом случае можно определить с помощью квазистатической модели, исполь­ зующей зависимость прочностных свойств материала здания от суммарного числа циклов нагружения до разрушения;

2)динамические модели (поведение системы меняется во вре­ мени, время играет роль независимой переменной). Например, дей­ ствие на сооружение нагрузок от оборудования или сейсмических воздействий.

По признаку используемых параметров и независимых пере­ менных ММ классифицируют следующим образом:

взависимости от определенности параметров:

1)детерминированные модели (значения всех параметров моде­

ли определяются конкретными величинами); 2) стохастические модели (значения всех или отдельных па­

раметров определяются случайными величинами, заданными плот­ ностями вероятности);

взависимости от состава параметров:

1)модели с распределенными параметрами (все независимые переменные берутся в непрерывной форме);

2)модели с сосредоточенными параметрами (все независимые пространственные переменные - дискретные, а временная перемен­ ная - непрерывна);

3)модели с дискретными параметрами (все независимые пере­ менные берутся в дискретной форме).

По признаку методов реализации математические модели классифицируют на:

1.Аналитические модели, в которых метод реализации модели позволяет получить выходные параметры в виде аналитических вы­ ражений. Применение аналитических методов возможно и без при­ менения ЭВМ, но появление пакетов математических вычислений

(Mathead, MatLab, Maple, Derive, Mathematica и др.) в настоящее время вызвало всплеск интереса к аналитическим методам реализа­ ции моделей. К сожалению, современные математические методы позволяют получать аналитические решения только для относи­ тельно несложных математических моделей в узком диапазоне зна­ чений параметров.

2.Численные модели, применение которых возможно лишь при наличии вычислительной техники. Несомненным достоинством этих моделей является отсутствие принципиальных ограничений на

сложность модели. Эти модели являются основными моделями, ко­ торые реализованы в большинстве расчетных программных ком­ плексов САПР объектов строительства.

При численном подходе совокупность математических соот­ ношений модели заменяется их конечномерным аналогом. Это чаще всего достигается дискретизацией исходной задачи, то есть перехо­ дом от функций непрерывного аргумента к функциям дискретного аргумента. После этого выбирается какой-либо численный метод [29, 55]. При этом строится вычислительный алгоритм (последова­ тельность арифметических и логических операций, выполняемых на ЭВМ), дающий за конечное число действий решение дискретной задачи. Основным требованием к вычислительному алгоритму яв­ ляется необходимость получения решения исходной задачи с за­ данной точностью за конечное число действий (за допустимое машинное время).

Результатом реализации ЧМ на ЭВМ является число или таб­ лица чисел. Полученное решение обычно принимается за прибли­ женное решение исходной математической задачи. Степень при­ ближения определяемых с помощью численного метода искомых параметров модели зависит как от погрешностей самого метода, связанных с заменой исходной модели ее дискретным аналогом, так

иот ошибок округления при выполнении расчетов на ЭВМ.

3.Имитационные модели. Имитационное моделирование ос

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

Если при численном подходе дискретизации подвергается сис­ тема математических соотношений, то при имитационном под­ ходе на отдельные элементы разбивается сам объект исследования [37]. В этом случае система математических соотношений не запи­ сывается, а заменяется некоторым алгоритмом, моделирующим ее поведение и учитывающим взаимодействие друг с другом моделей отдельных элементов системы.

2. Методы реализации математических моделей в САПР

Все методы решения задач, реализующих математические модели, можно подразделить на аналитические и алгоритмические.

В практике проектирования, строительства и эксплуатации соору­ жений накоплен большой набор аналитических решений, на кото­ рых базируются многочисленные нормативные документы и рас­ четные методики. Вся история строительной механики в докомпь­ ютерный период сводилась к поиску таких методов и приемов расчета конструкций, которые позволяли бы избежать большого количества вычислений. При этом основная часть литературы по строительной .механике и механике твердого тела касалась различ­ ных приложений к линейным краевым задачам. Точное решение краевых задач удается получить лишь для немногих частных случаев. Поэтому общий способ их решения, в том числе и в САПР, заключа­ ется в использовании различных приближенных методов.

Положение в корне изменилось с появлением ЭВМ, а затем и численных методов, таких как метод конечных разностей (МКР),

метод конечных элементов (МКЭ), метод граничных элементов

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

тересовало многих ученых возможностью	расчета пластинчатых
и трехмерных (пространственных) систем	на основе стержневых
аппроксимаций [11, 14, 59].

Настоящую революцию в строительной механике и теории уп­ ругости, значение которой в полной мере осознается только сейчас, произвело появление метода конечных элементов. Это объясняется тем, что МКЭ, с одной стороны, снабжен всеми атрибутами «серь­ езной теории», основанной на применении абстрактной математики и теории сплошных сред, с другой стороны, открывает неограни­ ченные возможности компьютерного моделирования, основанные на непосредственной дискретизации расчетных схем. МКЭ в настоя­

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

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

В САПР целесообразно использовать математические и про­ граммные средства, обеспечивающие моделирование всей номенкла­ туры проектируемых объектов и способные адаптироваться к изме­ няющимся условиям эксплуатации зданий и сооружений.

3. Алгоритмы реализации методов расчета в САПР

Решение задач в САПР предполагает реализацию этого реше­ ния по программе на ЭВМ по некоторому алгоритму.

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

Решение же, основанное на численных или имитационных мо­ делях, использует алгоритмический подход, применение которого не

позволяет получить решение задачи в аналитической форме, что за­ трудняет и усложняет процесс анализа результатов моделирования.

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

§2. Т е о р е т и ч е с к и е о с н о в ы р а с ч е т о в о б ъ е к т о в

С Т Р О И Т Е Л Ь С Т В А

Если всмотреться в содержание наиболее значимых глав СНиП, посвященных нормам проектирования: «СНиП 52-01-2003. Бетонные и железобетонные конструкции. Основные положения; СНиП 2.02.01-83*. Основания зданий и сооружений; СНиП П-23-81*. Стальные конструкции» и др., то можно увидеть, что центральное место в них принадлежит методам расчета строительных конст­ рукций и оснований. Разделы, включающие необходимые для рас­ четов базы данных (константы материалов, описания силовых воз­ действий, коэффициенты надежности и условий работы), конструк­ тивные требования и указания, исполняют роль нормативно­ справочной информации.

Из сказанного следует, что в обширном материале, который можно определить как математическое обеспечение САПР, ключе­ выми разделами являются вопросы теории расчета строительных объектов, на которых остановимся подробнее, так как это является основой работы с прикладным программным обеспечением САПР.

1. Составные части технического расчета

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

1) формирование расчетной схемы сооружения;