?
Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов
Научные ведомости Белгородского государственного университета. Серия: История. Политология. Экономика. Информатика. 2010. Т. 14. № 7. С. 94-101.
Захаров В. А., Подымов В. В.
В настоящей работе рассматриваются полугруппы программных операторов, подчиняющихся тождествам коммутативности и поглощения. Полугруппы такого вида возникают при решении задач верификации пропозициональных моделей последовательных программ, построенных на основании результатов анализа потоков данных в императивных программах. Установлены необходимые и достаточные условия, при которых отношения равенства операторных цепочек в рассматриваемых полугруппах может быть описано посредством детерминированных двухленточных односторонних автоматов. На основании этих условий получены оценки сложности решения проблемы эквивалентности программ, семантика операторов которых определяется тождествами коммутативности и поглощения.
Язык:
русский
Подымов В. В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2012 № 4 С. 37-43
В работе предложен метод решения проблемы эквивалентности линейных унарных рекурсивных программ. Основная его идея состоит в сведении проблемы эквивалентности к известным задачам на графах и задачам теории групп. Выделен класс программных семантик, для которых проблема эквивалентности рассматриваемых программ разрешима за полиномиальное время с использованием предложенной методики. ...
Добавлено: 29 сентября 2015 г.
Подымов В. В., Захаров В. А., Труды Института системного программирования РАН 2014 Т. 26 № 3 С. 145-166
В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы которых обладают свойствами перестановочности и подавления. Два оператора считаются перестановочными, если результат их последовательного выполнения не зависит от порядка, в котором эти операторы выполняются. Считается, что оператор b подавляет оператор a, если последовательное выполнение операторов a и b дает такой же результат, что и выполнение ...
Добавлено: 29 сентября 2015 г.
Подымов В. В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2013 № 1 С. 21-27
В работе предложен метод решения проблемы сильной эквивалентности металинейных унарных рекурсивных программ, позволяющий описать полиномиальный по времени работы разрешающий алгоритм. Основная идея метода состоит в анализе ориентированного графа, описывающего всевозможные совместные вычисления программ, и сведении проблемы сильной эквивалентности к проблеме достижимости вершины в графе. ...
Добавлено: 29 сентября 2015 г.
Подымов В. В., Молчанов А. Э., В кн. : Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.). : М. : МАКС Пресс, 2017. С. 174-176.
Проблема эквивалентности программ формулируется так: выяснить, имеют ли две программы схожие (эквивалентные) поведения. Известен алгоритм полиномиального сведения проблемы эквивалентности в перегородчатых моделях программ с процедурами к двум проблемам в моделях программ без процедур с той же семантикой программных операторов: эквивалентности и совместного останова. Проблема совместного останова формулируется так: выяснить, существует ли общий контекст работы программ, ...
Добавлено: 22 октября 2017 г.
М. : Физматлит, 2013
Конференция посвящена применению интегрированных моделей и мягких вычислений в искусственном интеллекте. ...
Добавлено: 26 мая 2013 г.
Barcelona : IEEE, 2017
Добавлено: 17 января 2018 г.
Шмид А. В., Novopashin M. A., Berezin A. A., IOSR Journal of Computer Engineering (IOSR-JCE) 2017 Vol. 19 No. 3 P. 113-121
The paper deals with the Forrester’s approach to analysis of heart electrical dynamics based on the hypothesis that heart belongs to the class of Complex Systems and its dynamics can be described by coupled Van der Pol differential equations with a time lag. The chain of such equations suggested by Ginzburg and Landau was used ...
Добавлено: 13 июня 2018 г.
Малышев Д. С., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2020 Vol. 14 No. 4 P. 706-721
Добавлено: 30 января 2021 г.
Lanham : University Press of America, 2012
The history of logic and analytic philosophy in Central and Eastern Europe is still known to very few people. As an exception to the rule, only two scientific schools became internationally popular: the Vienna Circle and the Lvov-Warsaw School. Nevertheless, the countries included in this region have not only joint history, but also joint cultural ...
Добавлено: 13 февраля 2013 г.
Springer, 2020
Добавлено: 11 марта 2021 г.
Гольденгорин Б. И., European Journal of Operational Research 2009 Vol. 198 No. 1 P. 102-112
Добавлено: 31 июля 2012 г.
Kalyagin V.A., Koldanov A.P., Koldanov P.A. и др., Physica A: Statistical Mechanics and its Applications 2014 Vol. 413 No. 1 P. 59-70
Добавлено: 19 июля 2014 г.
М. : ИКИ РАН, 2011
Добавлено: 26 марта 2013 г.
Сироткин Д. В., Малышев Д. С., Дискретная математика 2017 Т. 29 № 3 С. 114-125
Задача о независимом множестве для заданного обыкновенного графа состоит в вычислении размера наибольшего множества его попарно несмежных вершин. Предлагается новый способ редукции графов. С его помощью получено новое доказательство NP-полноты задачи о независимом множестве в классе планарных графов и доказана NP-полнота данной задачи в классе плоских графов, имеющих только треугольные внутренние грани, с максимальной степенью ...
Добавлено: 7 сентября 2017 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.
Зайцев А. А., Панов П. А., Известия высших учебных заведений. Геодезия и аэрофотосъемка 2015 № 5 С. 115-119
Рассматривается задача компьютерной визуализации высокочастотных колебаний, ак- туальная в приборостроении, электротехнике, волновой оптике и имеющая другие многочисленные приложения. Проведен анализ серии примеров, демонстрирующих трудности, возникающие при реа- лизации этой задачи. Указан ряд факторов, приводящих к нежелательным эффектам при построении соответствующих изображений. Даны необходимые рекомендации для адекватного изображения вы- сокочастотных колебаний. ...
Добавлено: 23 января 2017 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Марширов В. В., Марширова Л. Е., Сибирский журнал индустриальной математики 2013 Т. XVI № 4 С. 111-120
Рассматривается задача определения скорости охлаждения металла в процессе затвердевания при пересечениии температуры ликвидуса при интенсивном теплоотводе с его поверхности. Решение данной задачи необходимо для определения технологических режимов, граничных и начальных условий при которых могут буть получены новые сплавы с микрокристаллическими структурами. Приведены необходимые конечно-разностные уравнения, описан алгоритм, с использованием известных экспериментальных данных проведено тестирование созданной ...
Добавлено: 17 ноября 2013 г.
Blakeway S., Громов Д. В., Громова Е. В. и др., Vestnik Sankt-Peterburgskogo Universiteta, Prikladnaya Matematika, Informatika, Protsessy Upravleniya 2019 Vol. 15 No. 1 P. 22-38
Добавлено: 13 марта 2020 г.
Малышев Д. С., Алексеев В. Е., Дискретный анализ и исследование операций 2008 Т. 15 № 1 С. 3-10
Доказывается полиномиальная разрешимость задачи о независимом множестве для бесконечного семейства подмножеств класса планарных графов. ...
Добавлено: 31 августа 2012 г.
Boissard E., Ле Г. Т., Loubes J., Bernoulli: a journal of mathematical statistics and probability 2015 P. 740-759
Добавлено: 13 октября 2018 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
ООО Фирма "Элист", 2014
В книге представлены тезисы докладов I тура XV Всероссийской научно-технической конференции и школы молодых ученых, аспирантов и студентов. ...
Добавлено: 17 октября 2014 г.