Методы синтеза схем и получение оценок различной степени точности для сложности, контролепригодности и информационной защищённости дискретных управляющих системНИР

Methods of circuit synthesis and acquisition of various precision degree estimates for discrete control systems complexity, testability and information security

Источник финансирования НИР

грант РФФИ

Этапы НИР

# Сроки Название
1 1 января 2018 г.-31 декабря 2018 г. Методы синтеза схем и получение оценок различной степени точности для сложности, контролепригодности и информационной защищённости дискретных управляющих систем
Результаты этапа: Проект направлен на решение следующих задач. Первое направление. Построение эффективных методов синтеза схем из некоторых классов как для «типичных» или «самых сложных» дискретных функций, так и для ряда специальных функций, встречающихся в приложениях, получение с помощью этих методов достаточно точных оценок различных параметров (сложность, задержка, площадь, степень информационной защищенности и др.), характеризующих оптимальную реализацию указанных функций в рассматриваемых классах схем. Второе направление. Разработка методов синтеза легкотестируемых схем и получение на основе этих методов оптимальных или близких к ним тестов, позволяющих выявлять те или иные неисправности, которые могут возникать в схеме, реализующей данную функцию. В соответствии с общим планом выполнения проекта на весь срок его реализации и планом работ на период, на который был предоставлен грант, получены следующие результаты. В рамках первого направления проекта: 1. Разработаны новые методы синтеза формул в некоторых полных базисах из функциональных элементов с прямыми и итеративными входами. При этом для ряда специальных симметричных базисов установлены новые АОВСТ функции Шеннона для сложности реализации ФАЛ, зависящих от заданного числа переменных. 2. Созданы методы синтеза рефлексивно-рекурсивных СФЭ над произвольным конечным полным базисом, имеющих ограниченную глубину рекурсии. С помощью этих методов установлено асимптотическое поведение функции Шеннона для сложности указанных СФЭ. 3. Получены новые оценки степени защищенности асимптотически оптимальных по сложности (на уровне АОВСТ) СФЭ в произвольном конечном полном базисе, реализующих «типичные» ФАЛ, в рамках одной модели сокрытия функциональности. 4. Вместо запланированного в заявке п. 4 разработано 2 алгоритма для решения математических задач, возникающих в процессе функциональной коррекции СФЭ, первый из которых решает задачу локализации функциональной разницы между корректируемой СФЭ и эталонной, а второй — задачу построения схем-заплаток, оптимизированных по сложности их внедрения. 5. Исследован ряд новых моделей задержки СФЭ (и, в частности, формул) и разработаны методы синтеза схем в этих моделях. С помощью разработанных методов в указанных моделях задержки СФЭ получены асимптотические оценки, близкие к АОВСТ, функции Шеннона для задержки ФАЛ, а также асимптотические оценки задержки мультиплексорной ФАЛ. 6. Установлена асимптотика минимально возможной площади прямоугольной решетки, допускающей гомеоморфное вложение полного двоичного дерева с расположением листьев дерева на ее противоположных сторонах. 7. Разработан метод синтеза клеточных схем ограниченной высоты с кратными входами, реализующих не всюду определенные ФАЛ, и установлена асимптотика функции Шеннона для их площади. 8. Разработан метод синтеза и вложения СФЭ в стандартном базисе, реализующих произвольные ФАЛ, в единичные кубы, размерность которых отличается от минимально возможной не более, чем на константу, с оптимизацией глубины СФЭ на уровне более точных по сравнению с известными ранее оценок. 9. Разработан метод синтеза оптимизированных по глубине формул в стандартном базисе, реализующих мультиплексорные ФАЛ. В рамках второго направления проекта: 10. Для каждой булевой функции f от n переменных разработан метод синтеза двухполюсной контактной схемы от n+9 переменных, реализующей функцию, подфункцией которой является f, и допускающей единичный проверяющий тест длины 20. 11. Доказано, что значение функции Шеннона длины единичного диагностического теста относительно инверсных неисправностей на выходах элементов в базисе «штрих Шеффера», в базисе «стрелка Пирса», а также во всех базисах, содержащих конъюнкцию или дизъюнкцию двух переменных, не превосходит четырех.
2 1 января 2019 г.-31 декабря 2019 г. Методы синтеза схем и получение оценок различной степени точности для сложности, контролепригодности и информационной защищённости дискретных управляющих систем
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".