Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Статьи журнала - Вестник Пермского университета. Серия: Математика. Механика. Информатика
Все статьи: 842

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

Управление с "поводырем" двухзвенным манипулятором с вращательными парами
Статья научная
Решается игровая задача управления о переводе схвата манипулятора на базовую траекторию движения в предположении, что измерение фазового вектора игры производится с некоторой погрешностью. Численно подтверждено, что процедура управления с "поводырем" является эффективным средством управления конфликтно-управляемым динамическим объектом в условиях неточного измерения фазового вектора дифференциальной игры.
Бесплатно

Уравнения движения в гамильтоновых переменных систем твердых тел c замкнутыми кинематическими цепями
Статья научная
Рассматриваются методы построения математических моделей механических систем, в структуре которых содержатся кинематические циклы. Все связи голономны. На первом этапе механическая система сводится к системе со структурой дерева с помощью раздвоения определенных вершин (тел) первичного графа. Уравнения движения строятся в матричной форме относительно гамильтоновых переменных: обобщенных координат и импульсов. На втором этапе дополнительные связи, приводящие к замыканию кинематических цепей, учитываются в уравнениях движения с помощью множителей Лагранжа на уровне кинематических соотношений. Уравнения движения формируются по рекуррентным формулам с использованием минимального набора первичной информации о структуре, геометрических, кинематических, масс-инерционных и силовых характеристиках механической системы. Построены итерационный и конечный алгоритмы решения полученных уравнений относительно переменных интегрирования. На примере одной механической системы, в структуре которой содержатся два замкнутых цикла, продемонстрирован весь процесс подготовки первичной информации при формировании математической модели в предлагаемой форме. Результаты моделирования показывают, что алгоритмы, описываемые в статье, приводят к более устойчивому к ошибкам вычислений численному решению, чем методы, основанные на классическом подходе, в котором уравнения движения замыкаются дважды продифференцированными уравнениями дополнительных связей.
Бесплатно

Уравнения движения систем связанных твёрдых тел в канонических переменных
Статья научная
В статье представлена новая форма уравнений движения систем многих тел. В качестве независимых параметров, однозначно определяющих положение тел системы и распределение скоростей, взяты канонические переменные. Предложен метод разрешения уравнений движения относительно старших производных, ориентированный на использование ЭВМ.
Бесплатно

Уравнения дробного порядка для диффузии и релаксации в фрактальных средах
Статья научная
Получено решение дробного уравнения, описывающего аномальную релаксацию и диффузию в изотропном фрактальном пространстве, в виде произведения функции Фокса на функцию Миттаг-Леффлера, обобщающее результат, полученный в работе [7] и более простое, чем в работе [6]. Использовалась дробная производная Римана-Лиувилля с (0
Бесплатно

Уравнения энергетического баланса многоствольных строительных откатных артиллерийских систем
Статья научная
Описывается актуальность постановки задачи использования многоствольных артиллерийских пушек для заглубления строительных элементов в грунт. Приводится вывод уравнений энергетического баланса при выстреле из многоствольных пушек с различными техническими характеристиками и условиями заряжания каждого из стволов.
Бесплатно

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

Статья научная
Доказаны утверждения об условиях действия и ограниченности операторов внутренней суперпозиции с весом в пространстве функций на полуоси.
Бесплатно

Условия устойчивости линейных однородных систем с переключениями
Статья научная
Рассматриваются необходимые и достаточные условия устойчивости и асимптотической устойчивости по Ляпунову нулевого решения системы линейных однородных дифференциальных уравнений, правая часть которой принимает конечное число значений, а интервал времени между любыми двумя соседними переключениями не может быть меньше некоторого наперёд заданного положительного числа.
Бесплатно

Статья научная
Построены известные области асимптотической устойчивости и неустойчивости (в этом случае не полностью описана область) одного скалярного дифференциально-разностного уравнения с одним запаздыванием и с постоянными коэффициентами на плоскости параметров уравнения способом, развиваемым автором.
Бесплатно

Статья научная
Построены области асимптотической устойчивости и неустойчивости одного скалярного дифференциально-разностного уравнения с одним запаздыванием и периодическим кусоч- но-постоянным коэффициентом в плоскости параметров уравнения.
Бесплатно

Устойчивость одного дифференциально-разностного уравнения с постоянным коэффициентом
Статья научная
Построены известные области асимптотической устойчивости и неустойчивости одного скалярного дифференциально-разностного уравнения с одним запаздыванием и с постоянным коэффициентом на прямой параметра уравнения способом, развиваемым автором.
Бесплатно

Устойчивость одной линейной модели осциллятора с запаздывающей обратной связью
Статья научная
Найдена новая формулировка критерия асимптотической устойчивости и устойчивости по Ляпунову одной модели линейного осциллятора с запаздывающей обратной связью. С её помощью найдены простые эффективные признаки устойчивости.
Бесплатно

Устойчивость регулярной прецессии гиростата-магнетика в магнитном поле
Статья научная
Рассматриваются условия существования и устойчивости регулярной прецессии гиростата, движущегося относительно центра масс и обладающего магнитными свойствами, в стационарном поле магнитного диполя.
Бесплатно

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

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

Уточнение решений задачи коммивояжера генетическими мутациями
Статья научная
Проведен анализ результатов численных решений классической задачи коммивояжера. Выявлены причины неточности получаемых результатов. Приведен алгоритм применения генетических мутаций для уточнения решений задачи коммивояжера, полученных численными методами.
Бесплатно

Уточнения формул распределения простых чисел
Статья научная
Для теории чисел характерно применение тонких аналитических методов. Поэтому ее называют "жемчужиной математики". Со второй половины XX века для изучения теории чисел стали применять вычислительную технику. В данной статье показано применение персональных компьютеров к проблеме распределения простых чисел. Подбором переменных коэффициентов удалось снизить нормы отклонений четырех наиболее популярных функций распределения простых чисел от реальных значений.
Бесплатно

Учебные демонстрационные программы на C++ в Borland C++ Builder 6
Статья научная
Приведено несколько demo-программ на алгоритмическом языке С++ в объектноориентированной среде компилятора Borland С++ Builder 6, показывающие некоторые "современные" требования к программным продуктам и реализуемым возможностям. Это, во-первых, создание формы на экране дисплея для визуализации задачи, размещение на ней объектов-компонент, предлагающих интерактивное выполнение необходимых действий, а также возможности графики, сервисных функций для работы с файлами (поиск, чтение, запись) и запуск приложений.
Бесплатно

Ученый и педагог (к 110-летию со дня рождения С. И. Мельника)
Персоналии
3 февраля 2013 г. исполняется 110 лет со дня рождения кандидата физико-математических наук, доцента, заведующего кафедрой математического анализа (1947-1972гг.) Пермского государственного университета Семена Ильича Мельника.
Бесплатно