Дискретные системы
- Алгоритмы и сложность идентификации автоматов спротта над кольцом
В.А. Сухинин, В.Г. СкобелевИсследуется класс аналогов над конечным кольцом
...
- Задача идентификации линейных автоматов над кольцом
В.В. СкобелевУстановлены основные конечно-автоматные характеристики класса всех линейных автоматов над кольцом и его подкласса, состоящего из линейных БПИ-автоматов. Для исследуемых моделей решены задачи параметрической идентификации и идентификации начального состояния. Построены канонические представления
...
- Структурная идентификация криптосистем на основе определения их базовых параметров
К.Г. Кирьянов, А.А. ГорбуновПредложен и проверен экспериментально способ оценки и сравнения стойкости криптосистем по «функции ненадежности» и «расстоянию единственности» К. Шеннона путем структурной идентификации шифратора по его оптимальным векторным базовым параметрам входных и выходных процессов,
...
- Некоторые функциональные свойства булевых функций
В настоящей работе рассматривается соответствие между допустимыми наборами и булевыми функциями. Из инвариантности допустимого набора относительно применения s-процедуры следует тот факт, что каждому допустимому набору соответствует не одна булева функция, а
... - Активная часть цифровых схем и ее применение в области автоматизации проектирования схем
Работа посвящена выделению активной части цифровой схемы из полученных элементов с одним выходом и ее применение в области автоматизации проектирования этих схем. Схемы со многими выходами рассматриваются по отдельным выходам, относительно
... - Моделирование систем, устойчивых к отказам заданной кратности
В.А. МелентьевСистема задана множеством существенных функций, графом, устанавливающим среду для реализации этих функций, и предикатом адекватности, ставящим условия соответствия графа системы множеству существенных функций. Такая формальная модель позволяет исследовать устойчивость системы к
...
- Идентификация технического состояния в самореконфигурируемых сбое- и отказоустойчивых многомашинных вычислительных системах
А.В. ЛобановПредставлен метод обнаружения и идентификации последовательно возникающих кратных враждебных неисправностей по месту возникновения и по типу. Метод используется в процессе организации сбое- и отказоустойчивой работы на основе репликации задач в многомашинной
...
