- •Глава 1. Введение в автоматизированное проектирование
- •1.1. Понятие проектирования
- •1.2. Принципы системного подхода
- •1.3. Уровни проектирования
- •1.4. Стадии проектирования
- •1.5. Модели и их параметры в сапр
- •1.6. Проектные процедуры
- •1.7. Жизненный цикл изделий
- •1.8. Структура сапр
- •1.9. Введение в cals-технологии
- •1.10. Этапы проектирования автоматизированных систем
- •Лекция 2. Техническое обеспечение сапр
- •2.1. Требования к техническому обеспечению сапр
- •2.2. Вычислительные системы для сапр
- •2.2.1. Процессоры эвм
- •2.2.2. Память эвм
- •2.2.3. Мониторы
- •2.2.4. Периферийные устройства
- •2.2.5. Шины компьютера
- •2.3. Типы вычислительных машин и систем
- •2.4. Персональный компьютер
- •2.5. Рабочие станции
- •2.6. Архитектуры серверов и суперкомпьютеров
- •2. В.Н. Дацюк, а.А. Букатов, а.И. Жегуло/ методическое пособие по курсу "Многопроцессорные системы и параллельное программирование". -http://rsusu1.Rnd.Runnet.Ru/tutor/method/m1/content.Html
- •2.7. Примеры серверов
- •2.8. Суперкомпьютеры XXI века
- •Лекция 3. Математическое обеспечение анализа проектных решений
- •3.1. Требования к математическим моделям и методам в сапр
- •3.2. Фазовые переменные, компонентные и топологические уравнения
- •3.3. Основные понятия теории графов
- •3.4. Представление топологических уравнений
- •3.5. Особенности эквивалентных схем механических объектов
- •3.6. Методы формирования математических моделей на макроуровне
- •3.7. Выбор методов анализа во временной области
- •3.8. Алгоритм численного интегрирования систем дифференциальных уравнений
- •3.9. Методы решения систем нелинейных алгебраических уравнений
- •3.10. Методы решения систем линейных алгебраических уравнений
- •1. Alglib User Guide. - http://alglib.Sources.Ru/linequations/general/lu.Php. - Проверено 15.12.2009. Лекция 4. Математическое обеспечение анализа проектных решений
- •4.1. Математические модели для анализа на микроуровне
- •4.2. Методы анализа на микроуровне
- •4.3. Метод конечных элементов для анализа механической прочности
- •4.4. Моделирование аналоговых устройств на функциональном уровне
- •4.5. Математические модели дискретных устройств
- •4.6. Методы логического моделирования
- •4.7. Системы массового обслуживания
- •4.8. Аналитические модели смо
- •4.9. Уравнения Колмогорова
- •4.10. Пример аналитической модели
- •4.11. Модель многоканальной смо с отказами
- •4.12. Принципы имитационного моделирования
- •4.13. Событийный метод моделирования
- •4.14. Краткое описание языка gpss
- •1. Томашевский в., Жданова е. Имитационное моделирование в среде gpss. — м.: Бестселлер, 2003.
- •4.15. Сети Петри
- •1. В.Э.Малышкин. Основы параллельных вычислений. -2003 цит сгга, http://www.Ssga.Ru/metodich/paral1/contents.Html
- •4.16. Анализ сетей Петри
- •1. В.Э.Малышкин. Основы параллельных вычислений. -2003 цит сгга, http://www.Ssga.Ru/metodich/paral1/contents.Html Лекция 5. Геометрическое моделирование и машинная графика
- •5.1. Типы геометрических моделей
- •5.2. Методы и алгоритмы компьютерной графики
- •5.3. Программы компьютерной графики
- •5.4. Построение геометрических моделей
- •5.5. Поверхностные модели
- •1. Семенов а.Б. Программирование графических процессоров с использованием Direct3d и hlsl. -http://www.Intuit.Ru/department/graphics/direct3dhlsl/6/1.Html
- •5.7. Графический процессор
- •1. Пахомов с. Революция в мире графических процессоров // КомпьютерПресс, № 12, 2006.
- •5.8. Шейдеры
- •5.9. Геометрические шейдеры
- •5.10. Унифицированный графический процессор
- •1. Пахомов с. Революция в мире графических процессоров // КомпьютерПресс, № 12, 2006.
- •5.11. Примеры графических процессоров
- •Лекция 6. Математическое обеспечение синтеза проектных решений
- •6.1. Критерии оптимальности
- •6.2. Задачи оптимизации с учетом допусков
- •6.3. Классификация методов математического программирования
- •6.4. Методы одномерной оптимизации
- •6.5. Методы безусловной оптимизации
- •6.6. Подходы к решению задач структурного синтеза
- •6.7. Морфологические таблицы
- •6.8. Альтернативные графы
- •Лекция 7.
- •7.1. Интеллектуальные системы
- •7.2. Планирование процессов и распределение ресурсов
- •7.3. Методы локальной оптимизации и поиска с запретами
- •7.4. Методы распространения ограничений
- •7.5. Эволюционные методы
- •7.6. Простой генетический алгоритм
- •7.7. Кроссовер
- •7.8. Метод комбинирования эвристик
- •1. Норенков и.П. Эвристики и их комбинации в генетических методах дискретной оптимизации// Информационные технологии, 1999, № 1.
- •7.9. Примеры применения генетических методов
- •Лекция 8. Автоматизированные системы в промышленности
- •8.1. Системы erp
- •8.2. Стандарт mrp II
- •8.3. Логистические системы
- •8.4. Системы scm
- •8.6. Производственная исполнительная система mes
- •8.7. Автоматизированное управление технологическими процессами
- •8.8. Программирование для станков с чпу
- •8.9. Системы scada
- •8.10. Типовой маршрут проектирования в mcad
- •8.11. Типы сапр в области машиностроения
- •8.12. Основные функции cad-систем
- •8.13. Основные функции cae-систем
- •8.14. Основные функции cam-систем
- •8.15. Графическое ядро
- •Лекция 9.
- •9.1. Структура cad/cam систем
- •9.2. Машиностроительные сапр верхнего уровня
- •9.3. Маршруты проектирования сбис
- •9.4. Схемотехническое проектирование
- •9.5. Модели логических схем цифровой рэа.
- •9.6. Конструкторское проектирование сбис
- •9.7. Проектирование печатных плат
- •9.8. Назначение языка vhdl
- •Лекция10. Методическое и программное обеспечение автоматизированных систем
- •10.1. Типы case-систем
- •10.2. Спецификации проектов программных систем
- •10.3. Методика idef0
- •10.4. Методика idef3
- •10.5. Методика idef1x
- •10.7. Методика проектирования информационных систем на основе uml
- •10.8. Программное обеспечение case-систем
- •10.9. Интегрированные среды разработки приложений
- •Лекция 11. Технологии информационной поддержки этапов жизненного цикла изделий
- •11.1. Обзор cals-стандартов
- •11.2. Структура стандартов step
- •11.4. Интегрированная логистическая поддержка
- •11.5. Интерактивные электронные технические руководства
- •11.6. Стандарт aecma s1000d
- •11.7. Электронная цифровая подпись
- •11.8. Стандарты управления качеством промышленной продукции
- •Лекция 12. Технологии информационной поддержки этапов жизненного цикла изделий
- •12.1. Программное обеспечение cals-технологий
- •12.2. Язык html
- •12.3. Язык xml
- •12.5. Форматирование Web-страниц
- •12.6. Доступ к xml-документам
- •12.7. Мультиагентные системы
- •12.8. Технология soap
- •12.9. Компонентно-ориентированные технологии
3.5. Особенности эквивалентных схем механических объектов
Моделирование механических объектов на макроуровне имеет свои особенности. Эти особенности проявляются при формировании эквивалентных схем механических объектов.
Для каждой степени свободы строят свою эквивалентную схему. Каждому телу с учитываемой массой соответствует узел схемы (вершина графа). Один узел, называемый базовым, отводится телу, отождествляемому с инерциальной системой отсчета.
Каждый элемент массы изображают ветвью, соединяющей узел, соответствующий массе тела, с базовым узлом; каждый элемент упругости — ветвью, соединяющей узлы тел, связанных упругой связью; каждый элемент трения — ветвью, соединяющей узлы трущихся тел. Внешние воздействия моделируются источниками сил и скоростей.
В качестве примера на рис. 1,a изображена некоторая механическая система — тележка, движущаяся по дороге и состоящая из платформы A, колес B1, B2 и рессор C1, C2. На рис. 1,б приведена эквивалентная схема для вертикальных составляющих сил и скоростей, на которой телам системы соответствуют одноименные узлы, учитываются массы платформы и колес, упругость рессор, трение между колесами и дорогой; неровности дороги вызывают воздействие на систему, изображенное на рис. 1,б источниками силы.
|
Рис. 1. Эквивалентная схема механической системы
3.6. Методы формирования математических моделей на макроуровне
Характеристика методов формирования ММС
Исходную систему компонентных уравнений и топологических уравнений можно рассматривать как окончательную ММС, которая и подлежит численному решению. Численное решение этой системы уравнений предполагает алгебраизацию дифференциальных уравнений, например, с помощью преобразования Лапласа или формул численного интегрирования. В программах анализа нелинейных объектов на макроуровне, как правило, применяются формулы численного интегрирования, примером которых может служить неявная формула Эйлера:
где
—
значение переменной
на
-м
шаге интегрирования;
—
шаг интегрирования. Алгебраизация
подразумевает предварительную
дискретизацию независимой переменной
(вместо
непрерывной переменной
получаем
конечное множество значений
),
она заключается в представлении ММС в
виде системы уравнений:
(1)
c неизвестными
и
,
где использовано обозначение
.
Эту систему алгебраических уравнений,
в общем случае нелинейных, необходимо
решать на каждом шаге численного
интегрирования исходных дифференциальных
уравнений.
Однако порядок
этой системы довольно высок и примерно
равен
,
где
—
число ветвей эквивалентной
схемы
(каждая ветвь дает две неизвестные
величины — фазовые
переменные
типа потока и типа потенциала, за
исключением ветвей внешних источников,
у каждой из которых неизвестна лишь
одна фазовая переменная),
—
число элементов в векторе производных.
Чтобы снизить порядок системы уравнений
и тем самым повысить вычислительную
эффективность
ММС, желательно выполнить предварительное
преобразование модели (в символическом
виде) перед ее многошаговым численным
решением. Предварительное преобразование
сводится к исключению из системы части
неизвестных и соответствующего числа
уравнений. Оставшиеся неизвестные
называют базисными. В зависимости от
набора базисных неизвестных различают
несколько методов формирования ММС.
Согласно методу
переменных состояния
(более полное название метода — метод
переменных, характеризующих состояние),
вектор базисных переменных
состоит
из переменных
состояния.
Этот вектор включает неизбыточное
множество переменных, характеризующих
накопленную в системе энергию. Например,
такими переменными могут быть скорости
тел (кинетическая энергия определяется
скоростью, так как равна
),
емкостные напряжения, индуктивные токи
и т.п. Очевидно, что число уравнений не
превышает
.
Кроме того, итоговая форма ММС оказывается
приближенной к явной форме представления
системы дифференциальных уравнений,
т.е. к форме, в которой вектор
явно
выражен через вектор
,
что упрощает дальнейшее применение
явных
методов
численного интегрирования. Метод
реализуется путем особого выбора системы
хорд и ветвей дерева при формировании
топологических уравнений. Поскольку
явные методы численного интегрирования
дифференциальных уравнений не нашли
широкого применения в программах
анализа, то метод переменных состояния
также теряет актуальность и его применение
оказывается довольно редким.
В классическом
варианте узлового
метода
в качестве базисных переменных
используются узловые потенциалы (т.е.
скорости тел относительно инерциальной
системы отсчета, абсолютные температуры,
перепады давления между моделируемой
и внешней средой, электрические потенциалы
относительно базового узла). Число
узловых потенциалов и соответственно
уравнений в ММС оказывается равным
,
где
—
число узлов в эквивалентной схеме.
Обычно
заметно
меньше
и,
следовательно, порядок системы уравнений
в ММС снижен более чем в два раза по
сравнению с порядком исходной системы.
Однако классический вариант узлового метода имеет ограничения на применение и потому в современных программах анализа наибольшее распространение получил модифицированный узловой метод.
Узловой метод
Матрицу
контуров и сечений
в
узловом методе формируют следующим
образом. Выбирают базовый узел
эквивалентной схемы и каждый из остальных
узлов соединяют с базовым фиктивной
ветвью. Именно фиктивные ветви принимают
в качестве ветвей дерева, а все реальные
ветви оказываются в числе хорд. Поскольку
токи фиктивных ветвей равны нулю, а
вектор напряжений фиктивных ветвей
есть вектор узловых потенциалов
,
то топологические уравнения принимают
вид:
(2)
(3)
где
и
—
векторы напряжений и токов реальных
ветвей.
Компонентные уравнения алгебраизуются с помощью одной из формул численного интегрирования, линеаризуются с помощью разложения в ряд Тейлора с сохранением только линейных членов, и их представляют в виде:
(4)
где
—
диагональная матрица проводимостей
ветвей, рассчитанная в точке
;
—
вектор, зависящий от значений фазовых
переменных
на предшествующих шагах интегрирования
и потому уже известный к моменту времени
.
Каждая ветвь (за исключением идеальных
источников напряжения) имеет проводимость,
которая занимает одну из диагональных
клеток матрицы проводимостей.
Окончательно ММС получаем, подставляя (4) и затем (2) в (3):
или
(5)
где
—
матрица Якоби,
—
вектор правых частей. Отметим, что
матрица
имеет
размер
,
матрица
—
,
а матрица Якоби —
.
Система (5) является системой линейных алгебраических уравнений, полученной в результате дискретизации независимой переменной, алгебраизации дифференциальных уравнений и линеаризации алгебраических уравнений. Алгебраизация приводит к необходимости пошагового вычислительного процесса интегрирования, линеаризация — к выполнению итерационного вычислительного процесса на каждом шаге интегрирования.
Рассмотрим, каким образом определяются проводимости ветвей.
Для резистивных ветвей проводимость — величина, обратная сопротивлению .
При использовании неявного метода Эйлера проводимость емкостной ветви получается из ее компонентного уравнения следующим образом.
На
-м
шаге интегрирования
проводимость
по
определению равна
и
при
получаем
При этом в вектор
правых частей входит элемент
.
Проводимость
индуктивной ветви можно найти аналогично:
и при
Аналогично
определяют проводимости и при использовании
других разностных формул численного
интегрирования, общий вид которых
где
зависит
от шага интегрирования,
—
от значений вектора
на
предыдущих шагах.
Классический вариант узлового метода имеет ограничения на применение. Так, недопустимы идеальные (с бесконечной проводимостью) источники напряжения, зависимые источники, аргументами которых являются токи, а также индуктивности, поскольку в классическом варианте токи не входят в число базисных переменных. Устранить эти ограничения довольно просто — нужно расширить совокупность базисных координат, включив в нее токи-аргументы зависимых источников, а также токи ветвей индуктивных и источников напряжения. Полученный вариант метода называют модифицированным узловым методом.
Согласно
модифицированному
узловому методу,
в дерево при построении матрицы
контуров и сечений
включают ветви источников напряжения
и затем фиктивные ветви. В результате
матрица
принимает
вид (табл. 1), где введены обозначения:
—
источники напряжения, зависящие от
тока;
—
независимые источники напряжения;
—
источники тока, зависящие от тока;
—
индуктивные ветви;
—
подматрица контуров хорд группы
и
сечений фиктивных ветвей группы
.
Те же обозначения
будем
использовать и для соответствующих
векторов напряжений и токов. Назовем
ветви, токи которых являются аргументами
в выражениях для зависимых источников,
т.е. входят в вектор
,
особыми ветвями. Остальные ветви (за
исключением индуктивных) — неособые.
Введем также обозначения:
—
вектор индуктивных токов;
и
—
векторы токов и напряжений неособых
ветвей;
—
диагональные матрицы проводимостей
ветвей неособых, индуктивных, особых.
Таблица 1
Тип ветви |
Фиктивные |
|
|
Неособые |
|
|
|
L |
|
|
|
|
|
|
|
Уравнение закона
токов Кирхгофа (3) для фиктивных ветвей
имеет вид
Исключим вектор
с
помощью компонентного уравнения (4), а
вектор
с
помощью очевидного выражения:
где
—
матрица передаточных коэффициентов
источников тока. Используем также
выражение (2), принимающее вид
Получаем систему из трех матричных уравнений с неизвестными векторами , и :
(6)
(7)
(8)
где обозначено
.
Эта система и является итоговой ММ в
узловом модифицированном методе.
Примечание 1
Вектор индуктивных
токов нельзя исключить из итоговой
системы уравнений, так как его значения
входят в вектор
на
последующих шагах численного
интегрирования.
Примечание 2
Источники тока,
зависящие от напряжений, относятся к
неособым ветвям, их проводимости
входят
в матрицу
,
которая при этом может иметь недиагональный
вид.
Примечание 3
Источники напряжения,
зависящие от напряжений, в приведенных
выше выражениях не учитываются, при их
наличии нужно в матрице
выделить
столбец для этих ветвей, что приводит
к появлению дополнительных слагаемых
в правых частях уравнений (6) — (8).
