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