Математическое, лингвистическое и программное обеспечение построения математических моделей в САПР электромеханических приборов

• Автор: Ковтун, Игорь Вадимович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Ленинград
• Количество страниц: 201 c. : ил

ОГЛАВЛЕНИЕ
Введение .
1. Применение аналитических преобразований на ЭВМ для построения математических моделей ММ электромеханических приборов ЭМП.II

1.1. Анализ состояния аналитических преобразований

на ЭВМII

1.2. Построение ММ динамических систем

в аналитическом виде на ЭВМ.

1.3. Методика построения на ЭВМ ММ ЭМП

2. Лингвистическое обеспечение подсистемы

построения ММ ЭМП.

2.1. Формы проблемноориентированных языков ПОЯ

в процессе проектирования ЭМП.
2.2. Инструментальная система создания ПОЯ
2.3. ПОЯ построения ММ ЭМП
3. Программное обеспечение ПО подсистемы
построения ММ ЭМП.
3.1. Структура ПО подсистемы построения ММ ЭМП.
3.2. Методика создания минимальных по памяти
оверлейных программ.
3.3. Оверлейная программа для программного
обеспечения САПР ЭМП.
4. Построение ММ проектируемых в промышленности ЭМП . .
4.1. Тестовые ММ ЭМП.
4.2. ММ гировертикали на подвижном основании.
4.3. ММ гравиметрического устройства.
Заключение .
Стр.
Литература


Судя по публикациям (просмотрено более 0 работ), к году за рубежом в основном использовались четыре универсальных САП, это MACSYMA j REDUCE -2, SCRATCHPAD , FOR MAC . У нас в стране сейчас получает широкое распространение система REDUCE - 2 . Кроме этой системы имеются также SCHOQHSCHIР, SYMBAL, CLAM t САМ AL} ASHMEDAI} FOR MAC /, /. АУМ //, УШ //, GRAT0S //, САВАГ //, САНТ /, /, ОСИАЛ- //, ВИБРАН //. ЕС для ЕС ЭВМ //. В настоящее время развитые универсальные САП обладают возможностями для решения широкого круга практических задач. Не останавливаясь на особенностях той или иной САП, дадим примерный перечень аналитических операций, решаемых системами с помощью встроенных функций или операторов входного языка. Основные арифметические операции над различными типами выражений (рациональные, трансцендентные, полиномиальные, ряды Пуассона и т. Работу с целыми числами неопределенной точности /2/, с дробями, вещественными и мнимыми числами. Нахождение наибольшего общего делителя /3/. Разложение на простейшие сомножители (факторизация) /4, 5, 6/. Различные виды упрощений, в частности приведение к каноническим формам, доказательство тождественности выражения нулю /7, , , , 8/. Арифметические операции с матрицами, элементы которых являются аналитическими выражениями. Обращение матрицы в аналитическом виде /1/. Аналитическое решение систем линейных алгебраических уравнений /0, / и систем полиномиальных уравнений /2/. Аналитическое рфиение трансцендентных уравнений /4/. Векторный и тензорный анализ, нахождение градиента, дивергенции, Лапласиана, символов Кристоффеля /3/. Сравнение двух выражений: сопоставление выражения с образцом /, , , 5, 4, 6, 8, 9, /. Генерация рекуррентно заданных функций, например, полиномов Лежандра. Аналитическое дифференцирование /0/. Разложение в ряд Тейлора. Вычисление пределов, асимптотик /1, 2/. Работа с бесконечными степенными рядами /3/. Интегрирование (нахождение первообразной) /4, 5, , , 6, 7/. Прямое и обратное преобразования Лапласа /8, /. Аналитическое решение систем линейных дифференциальных уравнений. Аналитическое решение систем нелинейных дифференциальных уравнений, например, с помощью разложения в ряд. Генерирование уравнений для интегрирования обыкновенных дифференциальных уравнений методом Гунге-Кутта /9/. Наиболее полный перечень проблем, решаемых с помощью САП, классификация вопросов, связанных с разработкой и применением САП, дается в /0/. Перспективы. Прошедшие с момента появления первых САП тридцать лет - немалый срок для программных систем такого уровня. И, тем не менее, САП за этот срок не только не достигли "внутреннего совершенства", но и, а может и вследствие этого, не получили достаточно широкого распространения /9/. Автор этой работы предполагает, что такое положение сложилось, в частности, из-за медленного понимания пользователями новых вычислительных возможностей. Действительно, требуемая оперативная память для наиболее развитых САП давно перешагнула за мегабайт (САП MAC&YMA занимает приблизительно 1,2 Мб, SCRATCHPAD - 1,6 Мб /, 0/), а в перспективе значительный рост этой цифры: 4 Мб и более /1, 3/. SAC-I ( К /2/). PI СО MATH , написанный на БЭЙСИКе. Перспективы развития САП с точки зрения форм представления выражений и процесса их упрощения даны в /8/. Автор этой работы считает, что САП, предоставляющие все заботы о проведении упрощений пользователю (так называемые консервативные системы), так же как и системы, имеющие слишком общие формы представления выражений и потому не имеющие эффективных алгоритмов упрощения (либеральные системы), не имеют перспектив в будущем. Перспективу имеют компактные и эффективные системы, работающие с узкими классами выражений (радикальные и близкие к ним новые левые системы), а также универсальные САП, имеющие не одну форму представления выражений (католические системы). Причем, отмечает автор, пользователи будут тяготеть к использованию предпоследних, а разработчики САП - к развитию последних, т. В следующем параграфе будут отмечены программы, написанные на языках универсальных САП и созданных для построения ММ или их преобразований.