Найти

Результаты поиска

• АДАПТИВНАЯ СИСТЕМА КОНТРОЛЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ С РАЗНОТОЧНЫМИ ИЗМЕРИТЕЛЬНЫМИ ТРАКТАМИ

  Д.Л. Тукеев , Е. В. Крамарев , О. В. Афанасьева , Д. А. Первухин

  254-264

  2026-07-07

  Аннотация ▼

  Современный этап развития методологии анализа и синтеза сложных технических систем характеризуется существенным повышением требований к скорости их проектирования без потери качества функционирования за счет применения информационных технологий проектирования сложных систем и моделирования процесса их функционирования. В этой парадигме представляется актуальным решение задачи по созданию адаптивных многоагентных систем контроля технического состояния высокоответственных объектов, использующих для измерения каждого типа контролируемого параметра систему разноточных измерительных трактов, которая обеспечит возможность оперативного выбора средства измерения, и  формирования наиболее рационального алгоритма контроля, обеспечивающего требуемую эффективность контроля в условиях существенных финансовых ограничений. Цель работы – обоснование возможности применения разноточных измерительных трактов при формировании структуры каждого канала контроля технического состояния, обеспечивающего заданную достоверность. Для ее достижения поставлены и успешно решены следующие задачи: – рассмотрены современные условия проектирования систем контроля технического состояния сложных технических систем, выявлены сдерживающие факторы и тенденции развития теории проектирования, определены причины возможных недостатков перспективных систем и пути их устранения; – определен вид критерия эффективности функционирования системы в виде обобщенного показателя, полученного на основе аддитивной свертки единичных безусловных показателей достоверности контроля и весовых показателей их важности; –  синтезирована структурная схема адаптивной системы на основе модели однопараметрического канала контроля с измерительными трактами разной точности и возможностью реализации известных способов повышения эффективности контроля; – проведен вычислительный эксперимент, результаты которого позволили уточнить выявленные закономерности и предложить новые рекомендации. Результаты проведённого исследования позволили разработать адаптивный алгоритм контроля многопараметрического ОК на основе многоагентной системы, моделирование поведения агентов которой осуществляется по ретроспективной информации о результатах предыдущих циклов контроля, полученным на их основе прогнозным моделям, а также реализации принципа равной достоверности и штрафных функций в случае отклонения от него

• МЕТОДОЛОГИЯ ВЫЧИСЛИТЕЛЬНОЙ ФОРЕНЗИКИ И ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЭКСПЕРТНЫХ ВЫВОДОВ

  Е.С. Абрамов

  45-68

  2026-07-07

  Аннотация ▼

  Рассматривается фундаментальная проблема преодоления системного гносеологического кризиса в судебной компьютерно-технической экспертизе. Данный кризис вызван нарастающим смысловым (семантическим) разрывом между вероятностной, стохастической природой цифровых следов, подверженных влиянию анти-форензики, и строгими требованиями состязательного правосудия к юридической определённости доказательств. Настоящая статья носит концептуальный характер и закладывает теоретический базис вычислительной форензики как самостоятельной научной дисциплины.
  В работе обосновывается необходимость смены парадигмы: от традиционного эвристического поиска артефактов и субъективного мнения эксперта к методологии, опирающейся на принципы алгоритмической воспроизводимости, измеримости неопределённости и формальной верифицируемости. Автором разработана теоретико-множественная онтологическая модель компьютерного инцидента, базирующаяся на триаде «субъект – способ – объект» (S-M-O) и аксиоме сохранения следа процесса. Эта модель позволяет взаимно-однозначно проецировать технические индикаторы (IoA, IoB, IoC) на юридические признаки состава преступления. Предложена методология формальной проверки истинности гипотез, включающая критерии структурной полноты, причинно-следственной связности, непротиворечивости и фактической обоснованности. Впервые в научный оборот введена математическая модель оценки достоверности экспертного вывода с использованием логистической функции (функции доверия). Данная модель позволяет рассчитать вероятность юридически значимого факта путём агрегации метрик таксономического соответствия, силы каузальных связей на графе инцидента и штрафа за энтропию среды. Применение разработанного подхода трансформирует реконструкцию инцидента из обратной некорректной задачи в детерминированную процедуру, обеспечивая математически доказуемую объективность доказательной базы даже в условиях неполноты данных и активного противодействия расследованию.