ЧЕБЫШЕВСКИЙ СБОРНИК

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

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

В работе рассматривается плоский биллиард, ограниченный эллипсом, в поле потенциальной силы. Была найдена явная формула полиномиального потенциала, сохраняющего интегрируемость такого биллиарда. Для него была изучена структура слоения Лиувилля на всех неособых уровнях энергии с помощью метода разделения переменных. А именно, был предложен алгоритм, который строит бифуркационную диаграмму, а также инвариант Фоменко-Цишанга, исходя из значений параметров потенциала. Кроме того, была изучена топология изоэнергетического многообразия и обнаружены случаи динамики твердого тела, лиувиллево эквивалентные нашему биллиарду.

В статье рассматривается проблема суммируемости для тригонометрических интегралов с квадратичной фазой. Аналогичная задача рассмотрена в работах [2], [3], [4] в частных
случаях. Наши результаты обобщают результаты этих работ на кратные тригонометрические интегралы.

Задача классификации целочисленных квадратичных форм имеет долгую историю, на протяжении которой многие математики внесли свой вклад в ее решение. Бинарные фор-
мы были всесторонне изучены Гауссом. Он и позднейшие исследователи наметили также основные пути решения проблемы классификации тернарных форм и форм более высоких размерностей. Величайшими достижениями последующего периода явились глубокое развитие теории рациональных квадратичных форми проведенная Эйхлером полная классификация неопределенных форм в размерностях 3 и выше в терминах спинорных родов.

В работе предлагается алгоритм для вычисления неэквивалентные соответствующий квадратичные формы граням области Вороного второй совершенный формы от много переменных и с помощью этого алгоритма вычислено все соответствующий неэквивалентные квадратичные формы.

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

Количественная характеристика такого приближения называется мерой иррациональности числа. С конца 19 века учёными разрабатывались методы оценки меры иррациональности и были получены её значения для огромного количества иррациональных и трансцендентных чисел. Наиболее часто используемый метод получения таких оценок – построение линейных форм с целыми коэффициентами, приближающих данную величину и исследование их асимптотического поведения. Приближающие линейные формы конструируется на основе цепных дробей, аппроксимаций Паде, бесконечных рядов, вещественных и комплексных интегралов. Способы исследования асимптотики таких форм в настоящее время достаточно стандартны, но построение линейной формы, обладающей хорошими приближающими свойствами, и есть главная задача.