Следственные зацепки, которые можно проследить до истока
У следователей редко бывает мало данных. Трудно найти закономерность внутри тысяч записей, каждая из которых по отдельности ничем не примечательна. SENTINEL — настольный инструмент, который читает открытые данные о преступлениях, гоняет по ним статистику и ранжирует то, что стоит рассмотреть ближе — и каждый результат прослеживается до тех самых записей, модели и настроек, из которых он взялся. Если аналитик не может показать, почему зацепка встала именно туда, это не зацепка.
Это аналитический софт, который ранжирует места и связи по открытым данным о преступности. Это инструмент, направляющий внимание аналитика, а не система, которая что-то решает о человеке.
Страницы калибровки и справедливости существуют потому, что модель с хорошим ранжированием и плохой калибровкой опаснее, чем отсутствие модели. Планирование фаз 3–5 явно ставит справедливость на первое место, а публикация бенчмарков заявлена как результат, который надо сдать, а не как маркетинговое обещание.
Что это такое за минуту
Кража со взломом, кража из машины, страховое заявление. Каждое само по себе ничем не примечательно, а связь между ними видна только тогда, когда кто-то выстроит сотни таких в ряд и посмотрит. Вручную это медленная работа, а аналитические контракты, которые делают её в масштабе, стоят дороже, чем большинство служб может себе позволить.
SENTINEL считывает записи и прогоняет по ним общепринятые статистические модели: где преступность плотная, какие происшествия похожи на одну серию, а не на разные, из какого района серия скорее всего велась. Он ранжирует то, что стоит рассмотреть ближе. Каждый этап записывает, что он сделал, поэтому зацепка приходит вместе с исходными записями, моделью и настройками за ней.
Небольшим и региональным службам, которым большие аналитические контракты не по карману — это работает на одном обычном настольном компьютере и сделано для одного аналитика, а не для отдела. Следователям по мошенничеству и рецидивистам, где закономерность лежит поперёк происшествий, которые никто не свёл вместе. Исследователям, которые могут проследить любой результат до породивших его записей.
Две настоящие модели, скомпилированные в WebAssembly
models/KDEHotspot и models/HawkesProcess — тот же C++, который аналитик запускает на рабочем столе, собранный с Qt для WebAssembly и накормленный точками, которые вы ставите сами. Кликайте по карте, чтобы добавлять происшествия.
KDEHotspot + HawkesProcess — WebAssembly
не загружено2,4 мегабайта (МБ), потому что вместе с ним идёт Qt6Core. Это честная цена запуска настоящей модели, а не её двойника, и ничего не скачивается, пока вы не попросите.
Загрузка данных → обработка естественного языка (NLP) → признаки → модели → инференс
Каждый этап записывает, что он сделал, в цепочку прослеживаемости, так что зацепка на выходе несёт с собой запись о том, как она туда попала.
Интерфейс прикладного программирования (API) полиции Великобритании и исторические ленты, импорт значений, разделённых запятыми (CSV), с автоопределением британской / американской городской / общей раскладки, погода через Open-Meteo и оценка качества данных с порогами карантина.
Классическое извлечение почерка преступления на правилах и классификация преступлений. Языковой модели в контуре нет — намеренно, потому что вывод должен поддаваться объяснению.
Счётчики Пуассона, самовозбуждающиеся процессы Хоукса, выявление серий пространственной кластеризацией по плотности с шумом (DBSCAN), горячие точки KDE, регрессия на гауссовских процессах, байесовский и ансамблевый слои.
Географическое профилирование Россмо, анализ почерка, оценка улик, выявление аномалий, PageRank по соучастию и выделение сообществ, а также движок подсказок.
Две модели на одних и тех же происшествиях
Расставьте происшествия на карте. KDE спрашивает, где преступность плотнее. Формула Россмо спрашивает другое и более интересное: если преступники избегают буферной зоны вокруг дома, то где вероятнее всего живёт преступник? Обе считаются вживую на одних и тех же точках, которые вы ставите.
sentinel — пространственный вывод
Кликните, чтобы добавить происшествие. Поверхности пересчитываются на каждой точке.
Зацепка на первом месте
Цепочка прослеживаемости
Что работает сегодня
- Сквозной конвейер от загрузки данных до ранжированных зацепок
- 495 автоматических тестов
- Проверка на настоящих данных британских и американских наборов
- Сборка пакетов для Windows и Linux
- Локальный API передачи репрезентативного состояния (REST), только чтение
- Панель из девяти страниц: события, карта, калибровка, дела, граф соучастия, зацепки, журнал аудита, настройки, отладка
Что не работает
- NLP только на правилах. Извлечение почерка преступления классическое, со всеми вытекающими ограничениями по полноте.
- Одна настольная машина. Ни многопользовательского развёртывания, ни общего состояния дел между аналитиками.
- Живых коннекторов мало. Подключено немного источников данных реального времени.
- Карта простая. Отрисовка своя, а не геоинформационная система (ГИС). Необязательная интеграция с ГИС — пункт фаз 3–5.
Фазы 3–5, план
Поддержка нескольких юрисдикций, опциональная интеграция с ГИС, публикация бенчмарков, развёртывание с приоритетом справедливости и, возможно, управляемый сервис. Список задач лежит в
REMAINING.md а не в презентации дорожной карты.
Находит закономерности в данных о преступности и показывает ход рассуждений
Аналитики тонут в записях о происшествиях. Это ищет закономерности поперёк них и ранжирует то, что стоит рассмотреть внимательнее, сохраняя дорожку назад к данным, на которых основано каждое предложение.
Небольшие и региональные полицейские службы
Большие контракты на аналитику при обычном бюджете недоступны. Это работает на одном обычном настольном компьютере и рассчитано на одного аналитика, а не на отдел.
Следователи по мошенничеству и рецидивистам
Страховое мошенничество и организованные кражи в рознице выглядят как не связанные между собой случаи, пока кто-нибудь не выстроит их в ряд. Это выстраивает их в ряд и показывает, где вероятнее всего будет следующий.
Исследователи преступности и работы полиции
Любой результат прослеживается назад до точных записей и настроек, которые его породили, так что другой исследователь может проверить работу, а не принимать её на веру.
У каждой зацепки есть своя квитанция
Исходная запись, модель, параметры и преобразование на каждом этапе. Просмотр журнала аудита — одна из девяти страниц панели, а не заявка на доработку. Для софта, который ранжирует, куда пойдёт внимание полиции, это минимальная планка — и по той же причине исследовательский прототип за ним, ARIA-INTEL, помечен как не готовый к такому же применению.