Логические модели

Информатика тесно связана с современной формальной логикой, анализом логических заключений. Логические моде­ли используются при моделировании рассуждений, описании логических схем автоматики, создании трансляторов. Затем разрабатываются алгоритмы обработки информации в этих мо­делях, конкретные виды символических представлений инфор­мации в созданной модели.

К логическому моделированию примыкает имитационное моделирование — создаются и используются специальные при­емы воспроизведения процессов, протекающих в реальных объектах, в тех моделях этих объектов, которые реализуются в вычислительных машинах.

Теория различает также графические (чертежи, схемы) и вербальные модели.

три основныхнаправления внедрения новых информационных технологий:

обеспечение широкого доступа потребителей (правоохра­нительных органов, организаций и учреждений, граждан) к правовой информации Верховного Суда;

совершенствование судопроизводства и делопроизводства Верховного Суда Российской Федерации;

переход на современные (безбумажные) технологии в ра­боте аппарата Верховного Суда Российской Федерации.

Использование компьютерных технологийв сфере рас­следования включает следующие направления:

1) автоматизация информационно-поисковых систем и бан­ков данных;

2) создание автоматизированных систем уголовной регис­трации и идентификации;

3) создание автоматизированных систем планирования и учета деятельности следователя;

4) другие направления.

Компьютер позволяет:

увеличить объем методической информации;

облегчить поиск необходимых рекомендаций по конкрет­ному делу, получить методические рекомендации в различ­ных формах (таблицах, схемах, перечнях и т.п.) на экране дис­плея;

комбинировать значимые обстоятельства;

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

учет персонального состава следователей;

формирование сведений о преступных эпизодах;

группировка данных обо всех лицах, фигурирующих в ма­териалах следственного производства;

накопление информации о каждом подозреваемом (обви­няемом);

классификация признаков, черт и свойств задержанных лиц;

систематизация полученных в ходе расследования дока­зательств по эпизодам;

контроль за сроками задержания и содержания под стра­жей;

подготовка данных для обвинительного заключения;

составление справок и других отчетных документов.

Применение компьютерных технологий в судебно-экспертных исследованияхсвязано с созданием в данной сфере авто­матизированных информационно-поисковых систем. Создание таких систем стимулируется тем, что объектом этих исследо­ваний выступают тысячи разновидностей различных материа­лов, веществ и изделий, каждая из которых характеризуется множеством свойств и признаков. Традиционно в учреждениях судебной экспертизы создавались справочно-информационные фонды (СИФ) — собрания различных объектов, образцов ору­жия, боеприпасов, обуви, марок бензина, осколков фар и т. д.

Методы математической статистикии теории вероятнос­тей могут быть применены для:

оценки идентификационного значения количественных признаков;

оценки идентификационного значения качественных при­знаков;

исследования взаимозависимости признаков;

оценки идентификационного значения комплекса призна­ков;

оценки надежности идентификации.

Основанием применения вероятностно-статистических ме­тодов для оценки идентификационных признаков является мас­совый характер последних, случайность их появления в силу действия закона больших чисел.

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

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