Найти

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

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

  Е.С. Абрамов

  45-68

  2026-07-07

  Аннотация ▼

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

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

  А. А. Курносов

  2021-01-19

  Аннотация ▼

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