Этот веб-сайт создан для того, чтобы поддерживать исследования в области логического программирования систем интеллектуального видеонаблюдения в терагерцовом и тепловизионном диапазонах частот.

Хотите принять участие в экспериментах? Добро пожаловать!

Вот краткая дорожная карта и перечень направлений исследований, в которых Вы могли бы принять участие.

1. Загрузите установочный пакет системы Акторный Пролог с этого веб-сайта и установите систему на своём компьютере. Обратите внимание, что эта версия системы Акторный Пролог предназначена для работы под Windows, но некоторые люди успешно установили её и под Linux. Обратите внимание, что установочный пакет системы Акторный Пролог представляет собой просто файл EXE, который распаковывает и записывает на жёсткий диск набор файлов. Кроме того, он помещает в реестр Windows информацию о том, что файлы с расширением A являются логическими программами. Это означает, что после установки системы можно дважды щелкнуть мышью по программам, и Windows автоматически вызовет систему Акторный Пролог.

2. После установки Вы увидите набор логических программ (в подкаталоге Examples рабочего каталога системы). Пожалуйста, обратите внимание на следующие подкаталоги:

Вообще, Вам нужны логические программы из подкаталога «Demo programs / Multimedia»:

Multimedia_01_recorder_12 – это логическая программа для записи и чтения многоканальных видеоданных. Вы можете использовать её для просмотра файлов AP2J, опубликованных на этой веб-странице.

Multimedia_02_3D_viewer_02 – эта логическая программа считывает многоканальные видеоданные и реализует объединение видеоданных: ТГц и тепловизионные данные проецируются на трёхмерные поверхности. Эта программа использует трёхмерные таблицы соответствий, которые можно скачать здесь вместе с AP2J-файлами.

Multimedia_04_3D_normalize_video_03 – эта логическая программа реализует те же операции объединения данных и записывает PNG-изображения, готовые для использования в экспериментах с методами машинного обучения.

3. Пожалуйста, изучите примеры логических программ, которые содержатся в установочном пакете. Обратите внимание – система Акторный Пролог может интерпретировать логические программы, а также компилировать их в EXE-код Windows и в язык Джава, но основные логические программы требуют компиляции в Джаву. Поэтому для запуска таких примеров как 3D-графика (на основе Java3D, см. каталог «Demo Programs / Java3D»), интеллектуальное видеонаблюдение (см. «Demo Programs / Vision») и др. Вы должны установить на свой компьютер JDK7 (или более позднюю версию Java Development Kit). Краткая инструкция по установке JDK приведена в разделе «Программное обеспечение» на данном веб-сайте.

4. Пожалуйста, загрузите ТГц и тепловизионные видеофайлы, перечисленные в таблицах на этой веб-странице. Эти файлы данных имеют формат AP2J, разработанный для системы Акторный Пролог. Обратите внимание, что эти файлы данных сопровождаются трёхмерными таблицами соответствий в формате TXT. Пожалуйста, загрузите эти таблицы соответствий и поместите их в те же каталоги, где будут находиться соответствующие файлы AP2J. Таблицы соответствий будут автоматически использованы логическими программами для обработки ТГц-видеоданных, указанными выше.

5. Пожалуйста, изучите примеры логических программ, которые реализуют обработку ТГц и тепловизионных данных. Если у Вас нет опыта работы с языком Пролог, Вы можете использовать готовые примеры логических программ для чтения и предварительной обработки данных. Если это необходимо, Вы можете изменить программы.

6. Вы можете разработать свои собственные логические правила, реализующие интеллектуальное видеонаблюдение. Вы можете также разработать собственные методы анализа видео и встроить их в систему Акторный Пролог для проверки и тестирования. Самый простой способ сделать это – реализовать Ваши алгоритмы на Джаве в виде предопределённого класса языка Акторный Пролог. Подробности реализации можно узнать, изучив исходные коды предопределённых классов Акторного Пролога, опубликованные на GitHub. Опубликуйте на GitHub и свои исходные коды!

7. Вы можете принять участие в разработке компилятора Акторного Пролога и системы программирования. Пожалуйста, свяжитесь с нами, если Вы разработчик в области логического программирования и хотите принять участие в исследованиях.

Пожалуйста, не стесняйтесь обращаться к нам по электронной почте и задавайте вопросы, особенно если Вы не знакомы с техникой логического программирования и нуждаетесь в дополнительной помощи.