Федорук Владимир Геннадьевич

С. 207-215

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

С. 215-225

С. 542-558

С. 225-236

В статье рассмотрена методика решения обратной задачи динамики с помощью систем моделирования сложных технических объектов. Даны математические основы ее решения. Задача решается в два этапа. На первом этапе осуществляется численное моделирование механической системы при заданном внешнем воздействии в виде зависимости координат положения некоторых элементов системы от времени. При этом фиксируются взаимные перемещения точек приложения исполнительных механизмов. На втором этапе ранее приложенные воздействия снимаются. Выполняется моделирование системы под воздействием определенных на первом этапе перемещений в исполнительных механизмах, при этом замеряются создаваемые ими усилия. Приводится пример решения обратной задачи для трипода.

В статье предложен параллельный алгоритм решения систем линейных алгебраических уравнений с многодиагональной (многоленточной) матрицей коэффициентов. Приведена схема алгоритма для многопроцессорных вычислительных систем с общей памятью. Реализованы структуры данных для компактного хранения разреженных матриц с ленточной структурой.  Исследована (теоретически и экспериментально) эффективность алгоритма на различных задачах. Даны зависимости ускорения решения от различных параметров задачи и количества процессоров вычислительной системы. В заключении отмечены достоинства и недостатки алгоритма.

В учебном пособии дается определение формальной системы, описывается исчисление предикатов первого порядка, приводятся примеры "ручного" доказательства теорем, разъясняется понятие интерпретации исчисления предикатов. Рассматривается применение метода резолюции для автоматического доказательства теорем.

Приводится список (более 50) индивидуальных заданий для программирования на языке Пролог.

Дается описание лабораторной работы с использованием языка программирования Пролог