517.98 М 26 Марихин, В. Г. Пары коммутирующих гамильтонианов квадратичных по импульсам [Текст] / В. Г. Марихин, авт. В. В. Соколов> // Теоретическая и математическая физика. - 2006. - Т. 149, N 2. - С. 147-160. - Библиогр.: с. 160 (7 назв. ) . - ISSN 0564-6162
Рубрики: Математика--Функциональный анализ Кл.слова (ненормированные): скобки Пуассона -- Пуассона скобки -- уравнение Гамильтона-Якоби -- Гамильтона-Якоби уравнение -- гамильтоновы системы -- интегрируемые системы -- интегрируемые гамильтоновы системы -- разделения переменных -- алгебраические системы Аннотация: В случае двух степеней свободы рассматриваются пары квадратичных по импульсам гамильтонианов, коммутирующих относительно стандартной скобки Пуассона. Найдены многопараметрические семейства пар. Приведена универсальная схема построения полного решения уравнения Гамильтона-Якоби в терминах интегралов на некоторой алгебраической кривой. Для сложных примеров эта кривая является негиперэллиптическим накрытием над эллиптической кривой. Доп.точки доступа: Соколов, В. В. |
Смелов, В. В. Алгебраический аспект дискретного принципа максимума [Текст] / В. В. Смелов> // Доклады Академии наук. - 2008. - Т. 423, N 2, ноябрь. - С. 168-169. - Библиогр.: с. 169 (7 назв. ) . - ISSN 0869-5652
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебраический аспект -- принцип максимума -- дискретный принцип -- дискретный принцип максимума -- принцип максимума в теоремах -- алгебраические системы -- системы уравнений Аннотация: Изложен дискретный принцип максимума для линейных алгебраических систем с коэффициентами произвольных знаков и с числом неизвестных, превышающих число уравнений. Рассмотрены варианты однородных алгебраических систем и систем уравнений с правой частью. Все представлено на языке линейной алгебры. |
Мисриханов, М. Ш. (д-р техн. наук). Метод решения алгебраических систем с локальными изменяемыми матрицами для оперативного управления в электроэнергетике [Текст] / М. Ш. Мисриханов, В. Н. Рябченко> // Автоматика и телемеханика. - 2006. - N 5. - С. 133-141. - Библиогр.: с. 141 (9 назв. ) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Энергетика Энергетические ресурсы Электрические системы Кл.слова (ненормированные): электроэнергетика -- электроэнергетические системы -- ЭЭС -- оперативное управление в электроэнергетике -- алгебраические системы -- локально изменяемые матрицы -- матрицы -- линейная алгебра -- вычислительная линейная алгебра Аннотация: В работе формируется метод решения и строится алгоритм решения алгебраических систем уравнений. Доп.точки доступа: Рябченко, В. Н. (д-р техн. наук) \.\ |
Калимуллин, И. Ш. Соотношения между алгоритмическими сводимостями алгебраических систем [Текст] / И. Ш. Калимуллин> // Известия вузов. Математика. - 2009. - N 6. - С. 71-72. - Библиогр.: с. 72 (2 назв. ). - Примеч.: с. 71 . - ISSN 0021-3446
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): алгебраические системы -- счетные алгебраические системы -- алгоритмические сводимости -- тьюринговые операторы -- операторы перечисления Аннотация: Приведены примеры, отличающие различные алгоритмические сводимости алгебраических систем. |
510.6 Д 185 Даниярова, Э. Ю. Универсальная алгебраическая геометрия [Текст] / Э. Ю. Даниярова, А. Г. Мясников, В. Н. Ремесленников> // Доклады Академии наук. - 2011. - Т. 439, N 6, август. - С. 730-732. - Библиогр.: с. 732 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебраическая геометрия -- теория моделей -- алгебраические системы -- алгебраические множества Аннотация: Под универсальной алгебраической геометрией понимается создание удобного теоретического аппарата для изучения алгебраической геомерии над произвольной алгебраической системой. Доп.точки доступа: Мясников, А. Г.; Ремесленников, В. Н. |
004.8 К 720 Костенко, К. И. (кандидат физико-математических наук; доцент; заведующий кафедрой). Операции унифицированной технологии построения цифровых пространств знаний [Текст] / К. И. Костенко> // Информационные технологии. - 2012. - № 3. - С. 8-13. - Библиогр.: с. 13 (3 назв.) . - ISSN 1684-6400
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): пространство знаний -- алгебраические системы -- гомоморфизм моделей -- интеграция моделей Аннотация: Определена система операций для построения компонентов пространств знаний. С помощью предложенных операций реализуются процессы трансформации и развития системы формальных моделей для компонентов пространств знаний в практически применимые модели, допускающие эффективные программные реализации. |
510.652 Д 810 Дудаков, С. М. Трансляционная теорема для теорий I-сводимых алгебраических систем [Текст] [Текст] / С. М. Дудаков> // Известия РАН. Серия математическая. - 2004. - Т. 68, N 5. - С. 67-90. - Библиогр.: c. 90 (9 назв. ). - Часть текста на англ. яз. . - ISSN 0373-2436
Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебраические системы -- арифметика Пресбургера -- независимые формулы -- теоремы -- трансляционные результаты -- трансляционные теоремы Аннотация: Исследуется I-сводимые алгебраические системы, а также теории I-сводимых систем. Показано, что отсутствие независимой формулы в теории не является необходимым условием для I-сводимости ее моделей даже для расширений арифметики Пресбургера. |
510.6 Д 810 Дудаков, С. М. Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы [Текст] / С. М. Дудаков> // Известия РАН. Серия математическая. - 2011. - Т. 75, N 5. - С. 47-64. - Библиогр.: с. 64 (18 назв. ) . - ISSN 0373-2436
Рубрики: Математика Математическая логика Кл.слова (ненормированные): монадические состояния -- случайные графы -- упорядоченные графы -- универсальные графы -- конечные автоматы -- логика предикатов -- предикаты -- конечные алгебраические системы -- бесконечные алгебраические системы -- монадические системы -- представление Бюхи -- Бюхи представление -- автоматные языки -- алгебраические системы -- арифметические прогрессии Аннотация: Продолжено изучение выразительной силы языка логики предикатов для конечных алгебраических систем, вложенных в бесконечные. Изучено, какие свойства конечной монадической системы можно выразить с помощью формул, если вложить такую систему в линейно упорядоченный произвольным образом случайный граф. |