Когда: Среда, 17 сентября 2025 г., в 13:00
Где: Ауд. 307 ИППИ РАН + онлайн (ссылка для подключения в Zoom будет доступна позже на сайте)
Тема семинара: «R1/R2-замыкания в трёхзначной логике: предполные классы и малые базисы монотонных функций, синтез схем и применение в задачах моделирования систем передачи информации»
Докладчик: Антон Есин (ИППИ РАН)
Аннотация.
В первой части доклада рассматриваются усиленные операторы замыкания R₁ и R₂ в трёхзначной логике P₃, позволяющие корректно описывать эквивалентности между состояниями в задачах передачи данных. Показано, что для R₁ существует ровно три предполных класса, а для R₂ — пять, включая классы, отражающие строгую обработку стираний и ограничения по арности устройств.
Во второй части представлен конструктивный подход к конечнопорождаемости монотонных классов, включая использование функций выбора и мажоритарных операций. На основе этих результатов формулируются малые базисы и нормальные формы, пригодные для синтеза многозначных логических схем.
Полученные результаты образуют строгий теоретический фундамент для практических задач управления QoS и агрегацией трафика в LTE/5G/6G-сценариях в подвижных сетях, где важны устойчивость к «стираниям» сигналов и возможность локальной перекалибровки тернарных уровней. В заключительной части будет показано, как нормальные формы и малые базисы используются при синтезе многозначных блоков агрегации метрик и приоритизации в подвижных сценариях HSR. Будут продемонстрированы fail-safe-схемы с гарантированным переходом в безопасное состояние и их верифицируемые инварианты для сетевых контроллеров.
| 14.09.2025 | Кириллова Варвара Артуровна |