?
A semigroup identity for tropical 3x3 matrices
Cornell University
,
2014.
No. 1406.2601.
Шитов Я. Н.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Providence : American Mathematical Society, 2014
This volume contains the proceedings of the International Workshop on Tropical and Idempotent Mathematics, held at the Independent University of Moscow, Russia, from August 26-31, 2012. The main purpose of the conference was to bring together and unite researchers and specialists in various areas of tropical and idempotent mathematics and applications. This volume contains articles ...
Добавлено: 1 февраля 2015 г.
Шитов Я. Н., International Journal of Algebra and Computation 2014 Vol. 24 No. 8 P. 1183-1189
Добавлено: 8 января 2015 г.
Р.С. Авдеев, Горфинкель Н. Е., Функциональный анализ и его приложения 2012 Т. 46 № 3 С. 1-15
Для всех сферических однородных пространств G/H, где G — односвязная полупростая алгебраическая группа, а H — её связная разрешимая подгруппа, вычисляются спектры представлений группы G в пространствах регулярных сечений однородных линейных расслоений над G/H. ...
Добавлено: 25 февраля 2014 г.
Шитов Я. Н., St Petersburg Mathematical Journal 2014 Vol. 26 No. 2 P. 216-228
Добавлено: 24 мая 2014 г.
Р.С. Авдеев, Известия РАН. Серия математическая 2010 Т. 74 № 6 С. 3-26
Расширенная полугруппа старших весов однородного пространства G/H связной полупростой алгебраической группы G характеризует спектры представлений группы G в пространствах регулярных сечений однородных линейных расслоений над G/H, в частности в пространстве регулярных функций на G/H. Вычисляются расширенные полугруппы старших весов для всех строго неприводимых аффинных сферических однородных пространств G/H, где G – односвязная непростая полупростая комплексная ...
Добавлено: 25 февраля 2014 г.
Шитов Я. Н., Linear and Multilinear Algebra 2015
Добавлено: 14 апреля 2015 г.
Р.С. Авдеев, Математический сборник 2012 Т. 203 № 11 С. 3-22
Для аффинного сферического однородного пространства G/H связной полупростой алгебраической группы G рассматривается морфизм факторизации по действию на G/H максимальной унипотентной подгруппы группы G. Доказывается, что этот морфизм равноразмерен тогда и только тогда, когда выполнено некоторое простое условие на полугруппу старших весов однородного пространства G/H. ...
Добавлено: 25 февраля 2014 г.
Матвеенко В. Д., В кн. : Модели и методы тропической математики в прикладных задачах экономики и управления. Вып. 2.: СПб. : ВВМ, 2014. Гл. 1. С. 4-23.
Рассматриваются различные варианты CES-функций, получившие распространение в экономике. С точки зрения тропической математики CES-функция без весов интересна тем, что при изменении параметра, связывает идемпотентные операции max и min со стандартной динейно-алгебраической операцией +. Мы рассматриваем CES-функции с позиций тропической математики на основе введения операции обобщенного сложения. Исследуются свойства монотонности, взаимосвязь различных видов CES-функции, а также ...
Добавлено: 29 декабря 2014 г.
Подымов В. В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2012 № 4 С. 37-43
В работе предложен метод решения проблемы эквивалентности линейных унарных рекурсивных программ. Основная его идея состоит в сведении проблемы эквивалентности к известным задачам на графах и задачам теории групп. Выделен класс программных семантик, для которых проблема эквивалентности рассматриваемых программ разрешима за полиномиальное время с использованием предложенной методики. ...
Добавлено: 29 сентября 2015 г.
Матвеенко В. Д., , in : Contemporary Mathematics. Vol. 616: Tropical and idempotent mathematics and applications.: Providence : American Mathematical Society, 2014. Ch. 11. P. 211-220.
Добавлено: 1 февраля 2015 г.
Vladislav Podymov, Fundamenta Informaticae 2016 Vol. 147 No. 2-3 P. 315-336
Добавлено: 9 октября 2016 г.
Горбатов В. В., В кн. : Именование, необходимость и современная философия. : СПб. : Алетейя, 2011. Гл. 12. С. 135-148.
В статье обсуждается проблема тождества в модальной перспективе. Сравниваются два логических подхода - нефрегевская логика (разработанная Романом Сушко) и теория жестких десигнаторов (созданная Солом Крипке и другими авторами). Несмотря на все различия между ними, эти две теории трактуют проблему тождества в сходном ключе. Это дает основание предположить, что некоторые уязвимые стороны первой (в частности, проблема, ...
Добавлено: 17 февраля 2013 г.
Подымов В. В., Захаров В. А., Труды Института системного программирования РАН 2014 Т. 26 № 3 С. 145-166
В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы которых обладают свойствами перестановочности и подавления. Два оператора считаются перестановочными, если результат их последовательного выполнения не зависит от порядка, в котором эти операторы выполняются. Считается, что оператор b подавляет оператор a, если последовательное выполнение операторов a и b дает такой же результат, что и выполнение ...
Добавлено: 29 сентября 2015 г.
Захаров В. А., Temerbekova G., Системная информатика 2016 No. 7 P. 33-44
Добавлено: 13 октября 2016 г.
Гутерман А. Э., Шитов Я. Н., Linear Algebra and its Applications 2012 Vol. 437 No. 7 P. 1793-1811
Исследуются свойства функции ранга Гондрана-Мину матриц над R. Вводится понятие шаблона матрицы над R. Показывается, что с точностью до умножения строк на ненулевые элементы, GM-зависимость строк матрицы равносильна GM-зависимости строк шаблона. Показывается, что при фиксированном k задача распознавания свойства GMr(A)<k решается за полиномиальное по размеру матрицы A ∈| n×m (R) время. Доказываются неравенства trop(A) ≥ ...
Добавлено: 9 ноября 2012 г.
Набебин А. А., Тарасиков А. С., M. : -, 2012
Пособие содержит необходимые сведения из однородных и неоднородных универсальных алгебр, системы аксиом для основных алгебраических структур (арифметика, моноид, полугруппы, группы, частичное упорядочение, кольца, поля). Описывается аксиоматический язык программирования OBJ3 с примерами программ на этом языке. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики. ...
Добавлено: 13 марта 2013 г.
Захаров В. А., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 128-130.
Показано, каким образом задача проверки эквивалентности двухленточных детерминированных автоматов может быть сведена к задаче проверки эквивалентности слабо недетерминированных конечных автоматов-преобразователей, работающих над полугруппой префиксных регулярных языков с операцией конкатенации. ...
Добавлено: 14 июня 2018 г.
Захаров В. А., Темербекова Г. Г., Моделирование и анализ информационных систем 2016 Т. 23 № 6 С. 741-753
Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных реагирующих программ, работающих в постоянном взаимодействии со своим окружением. Получив очередную порцию данных, реагирующая программа выполняет некоторую последовательность действий и предъявляет результат. Такие программы возникают при проектировании компьютерных драйверов, алгоритмов, работающих в оперативном режиме, сетевых коммутаторов. Во многих случаях проблема верификации программ такого рода может быть ...
Добавлено: 13 октября 2016 г.
Gorsky Evgeny, Mazin M., Journal of Algebraic Combinatorics 2014 Vol. 39 No. 1 P. 153-186
Добавлено: 9 декабря 2014 г.
Шитов Я. Н., Linear Algebra and its Applications 2016 Vol. 499 P. 26-30
Добавлено: 9 марта 2016 г.
Горбатов В. В., В кн. : Логическая семантика: перспективы для философии языка и эпистемологии. Сборник научных статей, посвященных юбилею Е.Д. Смирновой. : М. : Креативная экономика, 2011. Гл. 10. С. 168-182.
В статье вводится различие между "онтологически нефрегевскими" логиками и "прагматически нефрегевскими логиками"; на основе этой дистинкции строится более детальная классификация нефрегевских логик. Мы полагаем, что нефрегевские логики следует рассматривать как многоуровневые структуры, где каждый отдельно взятый уровень может варьироваться в широких пределах - от классического, до неклассического. Однако не столько устройство этих уровней самих по ...
Добавлено: 17 февраля 2013 г.
Бланк М. Л., Russian Mathematical Surveys 2019 Vol. 74 No. 4 P. 758-760
Добавлено: 8 октября 2019 г.
Захаров В. А., Джусупекова З., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 190-192.
Автоматы-преобразователи в качестве модели последовательных реагирующих программы используются в системном программировании, в компьютерной лингвистике, в криптографии, при проектировании микроэлектронных схем и др. Преобразователь принимает на входе последовательность сигналов и выполняет некоторую последовательность действий, преобразуя тем самым конечные слова входного алфавита в полугрупповое выражение, значения которых и являются результатами вычислений.
Мы рассматриваем автоматы-преобразователи над произвольной полугруппой $S$, ...
Добавлено: 13 октября 2016 г.