?
Towards a Translation from Nested Petri Nets into Colored Petri Nets
P. 55–63.
Дворянский Л. В., Ломазова И. А.
Вложенные сети Петри (NP-nets) это сети Петри с сетевыми фишками. NP-nets являются расширением сетей Петри высокого уровня для моделирования активных объектов, мобильности и динамики в распределенных системах. В этой работе мы представляет алгоритм перевода двухуровневых NP-nets в поведенчески эквивалентную цветную сеть Петри, с целью применения методов и инструментов цветных сетей Петри для анализа NP-nets. Мы доказываем, что предложенная трансляция сохраняет динамическую семантику, с точностью до бисимуляционной эквивалентности.
Язык:
английский
Ключевые слова: simulationtranslationnested Petri netsвложенные сети Петриcoloured Petri netsтрансляциясимуляцияраскрашенные сети Петри
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Program Semantics, Specification and Verification: Theory and Applications. The conference materials
Nizhny Novgorod: Nizhny Novgorod State University, 2012.
СПб.: Институт лингвистических исследований РАН, 2021.
В сборнике представлены статьи участников проекта РНФ «Перевод и языковая адаптация в литературных текстах средневековой Европы», демонстрирующие различные подходы к проблематике перевода на широком материале многочисленных литературных традиций и разных временных срезов. Сборник также содержит
раздел,предлагающий переводы средневековых текстов на современный русский язык.
Издание подготовлено при поддержке гранта РНФ No 17-18-01624. ...
Добавлено: 30 июня 2026 г.
Кузнецова А. Д., Славяноведение 2025 № 6 С. 5–18
В статье рассматривается текст о Речи Посполитой в «Описании света» ‒ русском переводе латинской космографии «Descriptio Orbis» Луки де Линды. Именно описание Речи Посполитой, которому автор уделяет особое внимание, подвергается при переводе изменениям: части про географию, чины, польских королей переработаны и содержат детали, которых нет в оригинале. Тактика переводчика – замалчивание и смена акцентов: так, ...
Добавлено: 15 мая 2026 г.
Раменская А. В., Бектемиров Р. Р., Корнейченко Е. Н., В кн.: Имитационное моделирование. Теория и практика (ИММОД 2025).: СПб.: АО "ЦТСС", 2025. С. 463–470.
Для стабильного функционирования банкам необходимо анализировать предпочтения и поведение своих клиентов. Высокое значение ключевой ставки отразилось на депозитной политике банков. Цель исследования - разработка имитационной модели поведения клиентов на региональном рынке банковских вкладов. Предложена агентная имитационная модель, описывающая рынок банковских вкладов в регионе с тремя банками и ограниченным количеством потенциальных вкладчиков. Рассмотрены два сценария внедрения ...
Добавлено: 20 апреля 2026 г.
Sultanov R., Safin R., Martinez-Garcia E. и др., , in: Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - (Volume 1) ICINCO 2024.: SciTePress, 2024. P. 519–526.
Добавлено: 17 марта 2026 г.
Gamberov T., Safin R., Tsoy T. и др., , in: Proceedings of the Fifth International Conference on Agriculture Digitalization and Organic Production (ADOP 2025), Volume 1. Robotics in Agriculture. (SIST, volume 453).: Springer, 2026. P. 175–187.
Добавлено: 17 марта 2026 г.
Егорова А. А., Детские чтения 2023 Т. 23 № 1 С. 299–331
В статье описаны адаптации романа Чарльза Диккенса «Дэвид Копперфильд», выполненные на русском языке для детей. Основная цель работы заключалась в том, чтобы определить, менялись ли подходы к работе с романом в разные исторические периоды — в дореволюционные годы, во времена советской власти и в современной России. Для этого были проанализированы доступные на сегодняшний день переводы ...
Добавлено: 27 февраля 2026 г.
Бритов И. В., В кн.: Русский язык и русская культура во Вьетнаме: проблемы обучения и исследования.: Ханой: Ханойский государственный университет, 2025. С. 135–148.
В ХХI веке значительно уменьшилось количество переводов вьетнамской литературы на русский язык. Если в советский период переводами занимались профессиональные переводчики, то в настоящее время большинство переводов вьетнамских произведений на русский язык выполнено преподавателями вьетнамского языка российских вузов. Новой тенденцией также стало активное участие вьетнамских русистов в переводах с вьетнамского языка на русский. На русском языке ...
Добавлено: 18 января 2026 г.
Филатов А. С., Толочин И. В., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 149–168
Статья посвящена проблеме функциональной эквивалентности перевода художественного текста. На примере анализа канонического перевода рассказа О. Генри «The Gift of the Magi» на русский язык в русле функционально-семиотического подхода к смысловой структуре языковых высказываний формулируется принцип обязательности реконструктивного метода прочтения текста оригинала как основы для работы над переводом. В статье раскрывается механизм реконструктивного прочтения, заключающийся в ...
Добавлено: 24 ноября 2025 г.
Баринова Е. В., В кн.: Компаративные филологические исследования: язык и литература.: Екатеринбург: Издательство Уральского университета, 2025. Гл. 3.1 С. 167–177.
В статье рассматривается литературная сказка Джеймса Джойса "Кот из Божанси" и два ее перевода на русский язык. Цель исследования – проанализировать трансформации не только текста сказки, но и сопровождающих его иллюстраций, и выяснить, насколько переводчик, художник и издатель отступают от оригинала и какие литературные и культурные изменения претерпевает текст. Авторы двух переводов сказки, А. Ливергант ...
Добавлено: 23 ноября 2025 г.
Голядкин М. Ю., Humonen I., Plevokas Y. и др., , in: SIGGRAPH Posters '25: Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference Posters. Vancouver, British Columbia, Canada. August 10 - 14, 2025.: Association for Computing Machinery (ACM), 2025. Ch. 39.
Добавлено: 8 ноября 2025 г.
Борькина А. Ю., Японские исследования 2025 № 3 С. 129–143
В статье рассматривается роман японской писательницы Кудан Риэ «Токийская башня сочувствия», в 2024 г. удостоенный престижной литературной премии имени Акутагава. Присуждение премии вызвало широкую дискуссию в связи с использованием писательницей в работе генеративного искусственного интеллекта, который не только подсказал ей некоторые ходы для произведения, но также буквально стал прототипом для одного из персонажей романа, чат-бота ...
Добавлено: 1 ноября 2025 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Zanko Georgii, MULTIDISCIPLINARY SCIENCE JOURNAL 2025 Vol. 8 No. 1 P. e2026126
Добавлено: 12 сентября 2025 г.
Университет Дмитрия Пожарского, 2025.
Эта книга продолжает двуязычную публикацию многотомной "Естественной истории" римского писателя-энциклопедиста Плиния Старшего (23/24 гг. н. э. - 79 г. н. э.), в которой содержится практически весь опят античной культуры и науки, накопленный ко времени жизни Плиния. В настоящем томе публикуются латинский текст и русский перевод VIII и IX книг "Естественной истории" Плиния Старшего, а также ...
Добавлено: 19 июня 2025 г.
Ivanov D., Рожков М. И., , in: Handbook of Ripple Effects in the Supply Chain.: Springer, 2025. Ch. 11 P. 215–247.
Добавлено: 15 мая 2025 г.
Дубинина М. Н., Ученые записки национального общества прикладной лингвистики 2024 № 4(44) С. 186–199
России различные сферы услуг устремляют внимание на Восток. Туристическая сфера в ожидании иностранных гостей из КНР готовит информационные указатели и баннеры на китайском языке. Однако не всегда они помогают ориентироваться в новой среде и вызывают еще больше вопросов о культуре и быте местности. Цель работы заключается в рассмотрении перевода культурно-маркированных единиц. В нашем исследовании проанализированы ...
Добавлено: 17 апреля 2025 г.
Anna Volodkevich, Ivanova V., Васильев А. В. и др., , in: Advances in Information Retrieval: 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part IV.: Springer, 2025. P. 425–430.
Добавлено: 10 апреля 2025 г.
Рожков М. И., Алямовская Н. С., Заходякин Г. В., International Journal of Production Research 2025 Vol. 63 No. 18 P. 6630–6647
Добавлено: 24 марта 2025 г.
Добавлено: 13 марта 2025 г.
Поликарпова Д. А., Новое литературное обозрение 2025 № 1(191) С. 54–66
В статье вводится и анализируется понятие экстрафильмического — элементов и практик, сопутствующих показу, но находящихся вне неизменного от демонстрации к демонстрации «платонического фильма» (Л. Маркс). На примере разного устройства кинотеатральных показов, кураторских и переводческих практик, цензурных вмешательств автор демонстрирует, как экстрафильмическое меняет восприятие фильма, становится источником вернакулярности и акцентности кино. В статье также утверждается, что ...
Добавлено: 12 марта 2025 г.
Sulaiman S., Eryomin A., Pillai A. и др., , in: 2024 4th International Conference on Computer, Control and Robotics (ICCCR).: IEEE, 2024. P. 300–304.
Добавлено: 19 февраля 2025 г.
Sulaiman S., Eryomin A., Tsoy T. и др., , in: 2024 IEEE 7th Eurasian Conference on Educational Innovation (ECEI).: IEEE, 2024. P. 410–413.
Добавлено: 19 февраля 2025 г.