?
О задаче минимизации последовательных программ
Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 415–433.
Захаров В. А., Жайлауова Ш. Р.
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ с отношением логико-термальной эквивалентности и конечные детерминированные автоматы-преобразователи, работающие над полугруппами подстановок, взаимно транслируются друг в друга. Отсюда следует, что также разрешимы задачи проверки эквивалентности и минимизации для преобразователей указанного вида. Кроме того, на основе обнаруженной взаимосвязи выделен подкласс стандартных схем программ, минимизация которых осуществима за полиномиальное время при помощи ранее известных методов минимизации автоматов-преобразователей, работающих над полугруппами. В заключении приведен пример, свидетельствующий о том, что в общем случае задача минимизации автоматов-преобразователей над полугруппой подстановок может иметь несколько неизоморфных решений
Ключевые слова: эквивалентностьполугруппакомпьютерная программаминимизацияequivalencesemigroupавтоматminimization problemprogramfinite automaton
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Добавлено: 26 мая 2026 г.
Андросов И. А., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3 P. 87–114
В работе рассматриваются сети эхо-состояний (Echo State Network, ESN), которые являются одними из самых распространенных способов реализации резервуарных вычислений. Они состоят из рекуррентной нейронной сети, веса которой выбираются один раз и не обучаются, и выходного, обычно линейного, обучаемого слоя. Такой подход позволяет создавать энергоэффективные и быстрые нейронные сети, способные обучаться в режиме реального времени. Но ...
Добавлено: 26 мая 2026 г.
Караваева Е. А., Кулигин Л. А., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 67–94
В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), ...
Добавлено: 24 мая 2026 г.
Трофимова Н. А., Akay O., , in: Science and Global Challenges of the 21st Century - Innovations and Technologies in Interdisciplinary ApplicationsVol. 622. Issue Lecture Notes in Networks and Systems .: Perm: Springer, 2023.
Добавлено: 23 февраля 2026 г.
Матвеев А. Г., Вестник Пермского университета. Юридические науки 2024 С. 311–326
Мировой IT-рынок уверенно развивается. В международном праве и в национальных правовых системах компьютерные программы охраняются как объекты авторского права. Защита авторских прав в отношении этих объектов сопряжена с доказыванием факта их использования. В судебной практике возникает ряд проблем, связанных с установлением эффективных, сбалансированных и в то же время справедливых правил и стандартов доказывания факта использования компьютерной программы. Цель: определить ...
Добавлено: 23 декабря 2025 г.
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Добавлено: 3 февраля 2025 г.
Карабанова Е. Н., Вестник Университета прокуратуры Российской Федерации 2024 № 3 С. 64–72
Статья посвящена анализу признаков преступлений, совершенных в сфере высоких технологий, проблемам их определения в разъяснениях Верховного Суда Российской Федерации, направленных на обеспечение единообразного применения судами законодательства об уголовной ответственности за преступления в указанной сфере. Рассматриваются предпосылки к появлению таких разъяснений, предлагаются пути совершенствования правоприменительной практики. ...
Добавлено: 5 ноября 2024 г.
Савельев А. И., М.: Статут, 2024.
Настоящее издание представляет собой комплексное исследование юридических вопросов, связанных с созданием, защитой и коммерциализацией программных продуктов. Особое внимание уделяется договорным отношениям между разработчиками, заказчиками и пользователями, с акцентом на технические и коммерческие факторы, влияющие на такие отношения. В книге проанализирован большой массив отечественной и зарубежной судебной практики, что делает книгу ценным ресурсом для юристов, разработчиков ...
Добавлено: 9 сентября 2024 г.
Жукова Н. И., Regular and Chaotic Dynamics 2024 Vol. 29 No. 1 P. 174–189
Добавлено: 11 февраля 2024 г.
Бурков А. А., Информационно-управляющие системы 2021 Vol. 5 P. 51–58
Введение: В настоящее время активно изучаются вопросы работы технологии Интернета Вещей (IoT) в существующих стандартах связи и разрабатывающемся стандарте 6G. В соответствии с различными требованиями к системе (скорость передачи, задержка и т. д.) выделяют следующие типы IoT: массовый IoT, критический IoT, широкополосный IoT и промышленный IoT. Работа большого числа различных датчиков с автономным питанием входит в ...
Добавлено: 26 сентября 2023 г.
Мальбин Д. А., Вестник арбитражной практики 2023 № 2 С. 20–27
Действующее законодательство закрепляет институт защиты добросовестного приобретателя, одним из условий защиты которого является возмездность приобретения им имущества. В настоящее время в судебной практике воспринят подход, в соответствии с которым имущество считается приобретенным возмездно, если отчуждатель получил в полном объеме плату за имущество. Автор ставит под сомнение такой подход, указывая, что при разрешении вопроса о том, ...
Добавлено: 18 июля 2023 г.
Кантонистова Е. О., Родионов И. В., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 507 № 1 С. 36–39
Предложен метод проверки гипотезы об эквивалентности хвоста распределения данных с выбранным хвостом распределения – аналога гипотезы согласия для статистики экстремумов. Метод основан на новом преобразовании данных, переводящем k максимальных порядковых статистик выборки из стандартного равномерного закона U[0,1] в случайные величины, похожие в своем асимптотическом поведении на выборку из U[0,1] размера k. Доказано, что критерии, построенные ...
Добавлено: 9 июля 2023 г.