Этот веб-сайт создан для того, чтобы поддерживать исследования в области логического программирования систем интеллектуального видеонаблюдения в терагерцовом и тепловизионном диапазонах частот.
Хотите принять участие в экспериментах? Добро пожаловать!
Вот краткая дорожная карта и перечень направлений исследований, в которых Вы могли бы принять участие.
1. Загрузите установочный пакет системы Акторный Пролог с этого веб-сайта и установите систему на своём компьютере. Обратите внимание, что эта версия системы Акторный Пролог предназначена для работы под Windows, но некоторые люди успешно установили её и под Linux. Обратите внимание, что установочный пакет системы Акторный Пролог представляет собой просто файл EXE, который распаковывает и записывает на жёсткий диск набор файлов. Кроме того, он помещает в реестр Windows информацию о том, что файлы с расширением A являются логическими программами. Это означает, что после установки системы можно дважды щелкнуть мышью по программам, и Windows автоматически вызовет систему Акторный Пролог.
2. После установки Вы увидите набор логических программ (в подкаталоге Examples рабочего каталога системы). Пожалуйста, обратите внимание на следующие подкаталоги:
-
2.1 «For Russian-speaking students» – это набор простых логических программ, которые объясняют основные синтаксические особенности Акторного Пролога. Если коротко, Акторный Пролог реализует некоторые базовые идеи старого Turbo / PDC Prolog. Если Вы знакомы с этими системами, Вам наверняка понравятся объявления DOMAINS и PREDICATES в логических программах.
2.2. «Predefined classes» – это набор коротких логических программ, которые объясняют различные предикаты встроенных классов Акторного Пролога.
2.3. «Demo programs» – это набор полезных логических программ, в том числе, программ для обработки терагерцовых и тепловизионных видеоданных.
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. Вы можете принять участие в разработке компилятора Акторного Пролога и системы программирования. Пожалуйста, свяжитесь с нами, если Вы разработчик в области логического программирования и хотите принять участие в исследованиях.
Пожалуйста, не стесняйтесь обращаться к нам по электронной почте и задавайте вопросы, особенно если Вы не знакомы с техникой логического программирования и нуждаетесь в дополнительной помощи.
Каталог терагерцовых и тепловизионных видеоданных
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |
![]() |
![]() |
![]() |
![]() |
Скачать |
---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
![]() |
![]() |
![]() |
![]() |
Скачать |
1. LookUpTable_K2_TEV1.txt 2. LookUpTable_K2_THz.txt |