ЗАЩИТА ИНФОРМАЦИИ И НАДЕЖНОСТЬ СИСТЕМ
Рассматривается формальный подход к оценке рисков в информационных технологиях, связанных с их основными особенностями. Вводятся формализованные определения риска, угрозы и ее составляющих, компонентов информационной технологии, факторов, влияющих на наличие и проявление угроз. Наряду с определениями данных понятий вводятся элементы их классификации. На простом примере показывается невозможность гарантированной минимизации риска проявления угрозы класса для компонентов, относящихся к классу, и как следствие формулируется основная теорема риска, обобщающая полученный результат для классов и . Демонстрируется возможность построения формальных моделей оценки рисков, основанных на использовании в качестве элементной базы предложенных определений.
ОБРАБОТКА СИГНАЛОВ, ИЗОБРАЖЕНИЙ, РЕЧИ, ТЕКСТА И РАСПОЗНАВАНИЕ ОБРАЗОВ
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
Разрабатывается метод решения пространственных краевых задач для упрочняющихся упругопластических тел на основе специальных представлений функций нескольких комплексных переменных. Применяются метод разложения по параметру нагружения и ряды в однородных полиномах матричных переменных. Находятся представления решений основных краевых задач. Строится приближенное аналитическое решение упругопластической краевой задачи о напряженно-деформированном состоянии толстостенного цилиндра и исследуется влияние пластических свойств на напряженное состояние.
ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ
Предлагается метод тестирования последовательностных схем, элементами памяти которых служат D-триггеры. Метод основывается на инициализации триггера и продвижении установленного в триггере значения на один из внешних полюсов схемы. Для выполнения инициализации предлагается оригинальный метод поиска установочной последовательности входных воздействий.
КРАТКИЕ СООБЩЕНИЯ
Приводятся результаты экспериментов схемной реализации на FPGA (Field-Programmable Gate Arrays – программируемые пользователями вентильные матрицы) устройств проверки симметричности булевых функций, задаваемых векторами их значений согласно таблицам истинности.
ISSN 2617-6963 (Online)