- •1. Общие сведения о сапр
- •1.1 Этапы проектирования
- •1.2. Схема процесса проектирования
- •3. Структура системы автоматизированного проектирования систем управления
- •4. Техническое обеспечение сапр
- •5. Лингвистическое обеспечение сапр
- •6. Программное обеспечение сапр
- •6.1 Принципы и этапы разработки по.
- •7. Информационное обеспечение сапр.
- •8. Математическое обеспечение сапр
- •8.1. Требования к математическому обеспечению сапр су
- •8.2. Требования к математическим моделям су
- •8.3. Классификация математических моделей сау
- •9. Автоматизация построения математических моделей су
- •. Методы синтеза сау и их применение в сапр
- •1.1 Алгебраические методы синтеза
- •1.2 Частотные методы синтеза
- •1.3 Корневые методы синтеза
- •2. Машинные методы синтеза
- •2.1 Метод последовательного синтеза
- •9.1 Применение формализма Лагранжа при построении математических моделей су.
- •Некоторые проблемы, возникающие при применении эвм
- •Литература Основная
- •Дополнительная
Некоторые проблемы, возникающие при применении эвм
Задачу устойчивости линейных систем можно решать,, например, с использованием критерия Гурвица, который позволяет сделать заключение об устойчивости линейной системы, анализируя коэффициенты характеристического уравнения, т.е. утверждать, что все корни имеют отрицательные вещественные части или нет.
Пусть характеристическое уравнение
тогда определитель Гурвица
По критерию должно быть: n > 0; n-1 > 0; ..., 1 > 0.
Т.о. возникает проблема вычисления определителей.
Например, один определитель 20-го порядка теоретически содержит 20! слагаемых, каждый из которых требует 19 умножений, т.е. всего требуется 20!19 4.61019 умножений и (20! 1) сложений.
ЭВМ, имеющая производительность 106 умн./сек, потребует для выполнения умножений около 1.5 млн. лет (prod(1:20)*19/1e6/3600/24/365 = 1.4658e+006).
Т.о. возникает проблема рациональных вычислений.
Однако более важное значение имеет проблема точности вычислений. В частности, для определителей (где часто возникает задача вычитания близких величин, при котором резко теряется точность) эта проблема еще не решена до конца.
Лучше всего найти решение проблемы без вычисления определителей.
Например, для решения системы линейных уравнений используется метод Гаусса, который позволяет свести матрицу системы к треугольной и найти решение т.н. обратной подстановкой. Попутно можно вычислить и определитель через произведение диагональных элементов треугольной матрицы.
Ряд проблем возникает также из-за того, что числовая ось в ЭВМ дискретна. Но в дискретной математике не выполняются некоторые законы, справедливые для непрерывной математики (например, сочетательный закон). Пусть, например:
В непрерывной математике u = 1 и v = 1 при любых x и y; на ЭВМ при x = 1 и y = 10-40 получим u = 0 и v = 1.
Литература Основная
Автоматизированное проектирование систем автоматического управления. Под ред. В.В.Солодовникова. М.: Машиностроение, 1990. 332 с.
Сольницев Р.И. Автоматизация проектирования систем автоматического управления. М.: ВШ, 1991. 335 с.
Дополнительная
Норенков И. П. Введение в автоматизированное проектирование технических устройств и систем. Издание второе. Москва: Высшая школа, 1986. 304 с. 658.512.2(075) / Н 825
Системы автоматизированного проектирования в радиоэлектронике. Справочник. Под ред. проф. И.П.Норенкова (4 автора). М.: Радио и связь. 1986, 368 с.
Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь. 280 с. (механика)
Основы систем автоматизированного проектирования. Учебное пособие. Под ред. проф. Ю.В.Кожевникова (10 авторов). Изд-во Казанского университета, 1988. 254 с.
Справочник по САПР. Под ред. акад. АН УССР В.И.Скурихина (6 авторов). Киев: Техника, 1988. 375 с.
Автоматизированное проектирование систем управления. Под ред. М. Джамшиди, Ч. Дж. Хергет (M. Jamshidi, C. J. Herget - 1985 - North-Holland - Amsterdam . New York . Oxford) М.: Машиностроение, 1989. 344 с.
Дж. Л. Мелса, Ст. К. Джонс (J. L. Melsa, S. K. Jones) Программы в помощь изучающим теорию линейных систем управления. М.: Машиностроение, 1981. 200 с. (оригинал 1970, 1973)
Анализ и оптиальный синтез на ЭВМ систем управления. Под ред. А. А. Воронова и И. А. Орурка. М.: Наука, 1984. 344 с.
Болнокин В. Е., Чинаев П. И. Анализ и синтез систем автоматического управления на ЭВМ. Алгоритмы и программы. М.: Радио и связь, (1986, 248 с.) 1991. 256 с.
Крутько П. Д., Максимов А. И., Скворцов П. М. Алгоритмы и программы проектирования автоматических систем. М.: Радио и связь, 1988.
Разработка САПР. В десяти книгах. Под ред. д.т.н. А.В.Петрова. М.: ВШ, 1990.
Башарин А. В., Постников Ю. В. Примеры расчета автоматизированного электропривода на ЭВМ. Л.: Энергоатомиздат, 1990. 512 с.
Афанасьев В. Н., Колмановский В. Б., Носов В. Р. Математическая теория конструирования систем управления. М.: ВШ, 1989. 447 с. Гл. 13. Численные методы исследования общих управляемых систем, стр. 396-430.
Вопросы к экзамену по АПС и СУ
Определение понятия автоматизированного проектирования. Описание процесса проектирования.
Особенности автоматизации проектирования систем управления и задачи автоматизации проектирования.
Операции, процедуры и этапы проектирования. Уровни автоматизации проектирования. Признаки системности.
Структура САПР САУ. Компоненты обеспечения САПР. Подсистемы САПР.
Технические средства автоматизации проектирования.
Лингвистическое обеспечение САПР. Требования к ПОЯ. Грамматики ПОЯ.
Программное обеспечение САПР. Состав и задачи ОС.
Прикладное программное обеспечение. Пакеты прикладных программ.
Информационное обеспечение САПР. Виды БД и требования к СУБД.
Автоматизация построения математических моделей. Использование уравнений Лагранжа второго рода.
Методы упрощения моделей в подсистеме построения математических моделей.
Критерий Гурвица и автоматизация анализа устойчивости. Проблемы применения ЭВМ в САПР.
Трудности, связанные с переходом от матрицы к характеристическому уравнению. Формулы Леверрье.