Рассматривается проблема априорного контроля потенциального вырождения непрерывных многоканальных динамических систем. Склонность системы к возможному вырождению, которое может повлечь за собой частичную или полную потерю работоспособности системы, рассматривается как системное свойство, которое необходимо контролировать на этапе проектирования системы наравне со свойствами устойчивости, надежности и инвариантности к изменяющимся условиям. Получена количественная оценка потенциального вырождения системы и организации ее структуры в совокупности с перекрестными связями и задающими воздействиями полиномиального вида. Показано, что процесс вырождения многоканальной динамической системы есть процесс уменьшения ранга ее линейного оператора. На основании этой математической концепции и строится аппарат функционалов вырождения многоканальной динамической системы, который опирается на алгебраические свойства матрицы оператора системы, называемой далее ее критериальной матрицей. Для решения поставленной задачи используется такой показатель, как функционал вырождения, который конструируется на спектре сингулярных чисел критериальной матрицы системы и в предельном случае представляет собой величину, обратную числу обусловленности критериальной матрицы системы (глобальный функционал вырождения). В отличие от существующих ранее решений в данной статье предлагается алгоритм формирования критериальной матрицы системы с использованием резольвенты матрицы ее состояния. Депараметризация линейной алгебраической задачи осуществляется посредством аддитивного разложения вектора выхода системы по производным задающего воздействия и подробно рассмотрена для случая установившегося режима работы системы. Предлагаются процедура априорного контроля потенциального вырождения многоканальной непрерывной динамической системы, а также рекомендации по возможному обеспечению требуемого значения функционала вырождения критериальной матрицы системы с использованием методов модального управления.
В настоящей статье рассмотрены основные принципы построения многоуровневой системы контроля потенциально опасного информационно-психологического воздействия на потребителей мультимедийного контента. Представлены результаты экспериментальных исследований по обнаружению скрытых подпороговых воздействий.
В статье предлагается подход к контролю целостности динамических объектов по их метрическим эталонам. Создание эталона основывается на последовательном преобразовании процесса от дампа памяти до автомата переходов на графе состояний с расчетом структурных, информационных и операционных метрик. Это позволяет выявлять нарушения функциональных состояний объекта в памяти вычислительной системы. Представлен алгоритм контроля целостности динамических объектов антивирусного средства Dr.Web.
Рассматривается новый подход к синтезу самопроверяемых устройств, основанный на контроле вычислений контролируемыми объектами с помощью кодов Хэмминга, проверочные символы (контрольные биты) которых описываются самодвойственными функциями. При этом структура работает в импульсном режиме, что фактические основано на внесении временнóй избыточности при построении самопроверяемого устройства. Это, к сожалению, приводит к некоторому снижению быстродействия, однако существенно повышает характеристики контролепригодности, что особенно актуально для устройств и систем критического применения, входные данные для которых изменяются не столь часто. Дается краткий обзор методов построения схем встроенного контроля на основе свойства самодвойственности вычисляемых функций. Приведены основные структуры организации схем встроенного контроля. Отмечены предполагаемые пути развития теории синтеза схем встроенного контроля на основе проверки принадлежности вычисляемых функций классу самодвойственных булевых функций. Установлены все возможные значения числа информационных символов для кодов Хэмминга, которые будут обладать свойством самодвойственности функций, описывающих контрольные биты. Кодеры таких кодов Хэмминга будут являться самодвойственными устройствами. Так как функции, описывающие контрольные биты кодов Хэмминга, являются линейными, то для того, чтобы они были самодвойственными необходимо, чтобы в каждой из них использовалось нечетное количество аргументов. Доказано, что число разрядов кодовых слов кодов Хэмминга с самодвойственными контрольными функциями равно n =3+4 l , l ∈ N 0 . Приводятся результаты моделирования самодвойственных устройств со схемами встроенного контроля по двум диагностическим признакам в среде Multisim. Предложен способ модификации структуры контроля вычислений по двум диагностическим признакам, позволяющий использовать любой линейный блоковый код (не обязательно код Хэмминга). Он основан на дооснащении кодера устройством преобразования функций в самодвойственные. Фактически это устройство для формирования модифицированного кода. Доказано, что для получения модифицированного кода Хэмминга с самодвойственными контрольными функциями для случаев n≠3+4l, l∈N 0 , достаточно сложить по модулю M =2 несамодвойственную контрольную функцию с функцией старшего информационного бита.
При создании надежных и безопасных компонентов систем автоматического управления часто используются методы помехоустойчивого кодирования — как при передаче данных между узлами системы, так и на уровне архитектуры аппаратных и программных средств. Широко применяется избыточное кодирование при организации контроля комбинационных логических устройств. При этом используются коды, ориентированные именно на обнаружение, а не исправление ошибок. Такие особенности кодов позволяют реализовывать контролепригодные системы автоматики с приемлемой избыточностью, не превышающей избыточности при использовании дублирования. В статье освещается метод синтеза самопроверяемых комбинационных устройств, позволяющий учитывать при решении задачи синтеза технических средств диагностирования особенности архитектуры исходных устройств, а также свойства обнаружения ошибок избыточными кодами. Даются базовые сведения из теории синтеза контролепригодных дискретных систем на основе избыточных кодов с суммированием. Определены ключевые этапы анализа топологий объектов диагностирования с выделением специальных групп выходов — групп структурно и функционально симметрично независимых выходов устройств. Приводятся формулы, позволяющие установить наличие или отсутствие симметричной зависимости выходов объекта диагностирования. Дается пример, иллюстрирующий процесс вычислений. Сформулированы основные этапы анализа применения избыточных кодов при выявлении ошибок на функционально симметрично зависимых выходах. Дан алгоритм синтеза самопроверяемых логических устройств с учетом особенностей структуры объекта диагностирования и свойств избыточных кодов.
В статье предлагается компьютерная модель и описание метода использования электромагнитных волн с длиной 0,1-1 мм для выявления внутренних дефектов изделий, выполненных по аддитивным технологиям. С помощью предложенной модели демонстрируется возможность бесконтактного неразрушающего контроля качества по дифракционным картинам.
В настоящее время аддитивные технологии, и в частности печать на трехмерных принтерах, используют для получения изделия материалы, многие из которых свободно пропускают терагерцовое излучение (частота 3·1011-3·1012 Гц, длина волны 0,1-1 мм). В то же время дефекты, возникающие в изделиях при аддитивном производстве, имеют размеры того же порядка (0,1-1 мм), что и терагерцовые волны. Следовательно, при облучении изделий с такими дефектами монохромным миллиметровым излучением будет возникать дифракция Френеля.
Это позволяет использовать дифракционный метод контроля качества изделий, выполненных методом трехмерной печати. В статье описаны схема проведения контроля, алгоритм моделирования дифракционных картин с использованием выражения Релея-Зоммерфельда и компьютерная программа, реализующая указанный алгоритм. Приведены результаты определения размеров и расположения дефектов в изделиях по дифракционным картинам.
Рассматривается компьютерная модель такого дифракционного метода, который может быть реализован в виде аппаратно-программных средств, позволяющих автоматизировать процесс контроля, обеспечить его низкую себестоимость, безопасность (учитывая свойства электромагнитного излучения указанного диапазона длин волн) и может конкурировать с методами электромагнитной и звуковой томографии.
В статье рассматривается вопросы синтеза адаптивных математических моделей применительно к задачам технического диагностирования бортовых радиоэлектронных систем (БРЭС) космических аппаратов (КА). Сформулирована задача синтеза адаптивной модели БРЭС КА в общем виде с использованием преобразования исходной математической структуры в гомологичную структуру меньшей размерности. Представлен подход к синтезу адаптивных моделей на основе использования математического аппарата конечных автоматов. Новизна подхода заключается в том, что гомологичная структура меньшей размерности синтезирована за счет преобразования отношений между элементами множества телеметрируемых (контролируемых) параметров (выходных переменных конечно-автоматной модели). Приведен пример синтеза адаптивной к процессу контроля технического состояния математической модели центрального блока бортовой радиотелеметрической системы. Выполнено оценивание эффективности синтезированной адаптивной модели БРЭС КА по показателю оперативности путем решения задачи «китайского почтальона».
При построении надежных дискретных систем используются разделимые коды с простыми правилами построения и небольшой избыточностью. Часто применяются коды с суммированием с постоянным значением количества контрольных разрядов вне зависимости от длины информационного вектора. В статье показано, что характеристики обнаружения ошибок данными кодами могут быть улучшены за счет модификации правил вычисления значений разрядов контрольных векторов. Предложен алгоритм построения кода с суммированием, основанный на взвешивании переходов между разрядами, занимающими соседние позиции в информационных векторах, и подсчете суммарного веса информационного вектора по модулю, равному степени числа 2. В статье детально анализируются свойства новых кодов с суммированием в сравнении с известными кодами. Установлены условия построения помехоустойчивых модульных взвешенных кодов с суммированием с максимальным количеством обнаруживаемых ошибок в информационных векторах. Улучшение характеристик обнаружения ошибок в новых кодах по сравнению с классическими кодами с суммированием достигается за счет равномерного распределения информационных векторов между всеми контрольными векторами, что, в свою очередь, вносит в класс необнаруживаемых помимо симметричных, некоторую долю монотонных и асимметричных ошибок. В отличие от модульных кодов с суммированием единичных разрядов модульные взвешенные коды обнаруживают большее количество симметричных ошибок, однако доминирующим их видом практически при любой длине информационного вектора являются асимметричные ошибки. Модульные коды с суммированием взвешенных переходов являются перспективным классом разделимых кодов для решения задач технической диагностики дискретных систем.
В работе рассматривается задача идентификации различных аспектов функционирования взаимодействующих объектов информационно-телекоммуникационных сетей (ИТКС) по результатам мониторинга сетевого трафика. В качестве решения данной задачи в части идентификации типов и операций взаимодействия сетевых объектов обосновывается графовая модель поведения объектов мониторинга. В части деанонимизации отношений взаимодействующих объектов предложены предикатные модели состояний объектов ИТКС на основе отношений между активными и пассивными экземплярами.
Интенсивное развитие цифровых систем неразрушающего рентгеновского контроля открывает возможности по автоматизации этого процесса для разрабатываемых и производимых изделий микроэлектроники с неоднородной структурой. В работе предложена классификация цифровых систем неразрушающего рентгеновского контроля по следующим критериям: способ формирования рентгеновского изображения, тип детектора, способ считывания рентгеновского изображения с детектора. Проведен анализ цифровых систем неразрушающего рентгеновского контроля изделий микроэлектроники и определены системы, наиболее восприимчивые к автоматизации.
Рассматривается метод избыточных переменных для контроля и коррекции вычислительных процессов в реальном времени, что необходимо для повышения на-дежности вычислительных процессов. Рассматриваются вопросы эквивалентности ис-ходных и расширенных систем, повышения помехоустойчивости, коррекции вперед. Приводится сравнение метода избыточных переменных с другими известными методами контроля, диагностики и коррекции вычислительных систем.
Рассматривается метод избыточных переменных для контроля и коррекции вычислительных процессов в реальном времени, что необходимо для повышения на¬дежности вычислительных процессов. Синтезируются и анализируются системы с кор¬рекцией по воспроизводимой функции. Приводятся результаты моделирования для раз¬личных методов интегрирования. Показано, что применение метода избыточных пере¬менных позволяет существенно повысить точность вычислений.
1 - 12 из 12 результатов