МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

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

Демонстрируется применение средств семантического фреймворка Apache UIMA с использованием разработанного способа автоматического выделения имен собственных из документов на естественном языке. Идея метода заключается в использовании шаблонов на основе регулярных выражений. При последующем морфологическом анализе подходящих под шаблон частей текста происходит определение начальных форм термов и проверка их по словарю. Задача решается средствами семантического фреймворка Apache UIMA путем использования входящих в его состав модулей (аннотаторов), а также реализации собственных. Способ тестировался на коллекции произведений русской классической литераторы, а также на искусственно сгенерированных текстах. Оценивалось число правильно обнаруженных имен, а также число ложных срабатываний.

Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы model checking, к верификации протоколов когерентности памяти. Предлагается инструмент верификации протокола когерентности памяти. Определяется ограничение на количество процессорных узлов системы, которая может быть проверена с помощью Spin.