Труды КНЦ вып.3 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.1 3/2010(3))

Р Е Ф Е Р А Т Ы УДК 001.123, 001.57 Путилов В.А., Шишаев М.Г., Попова Л.П. Феноменология современной информатизации: основные аспекты и подходы к изучению // Труды Кольского научного центра РАН. Информационные технологии. - Апатиты, 2010. - Вып. 1. - С. 6-17. В статье представлен анализ технологических и социальных проявлений информатизации современного общества. Выявлены основные взаимосвязи между эффектами информатизации, сделано заключение о необходимости системного подхода к их исследованию. Рассмотрены возможные подходы к системному изучению технологических и социальных эффектов информатизации. Ил.- 4, табл.- 4, библиогр.- 25. УДК 004.9, 004.65 Зуенко А.А., Фридман А.Я., Кулик Б.А. Автоматический контроль корректности процесса моделирования в рамках алгебраического подхода // Труды Кольского научного центра РАН. Информационные технологии. - Апатиты, 2010. - Вып. 1. - С. 18-22. Предложена алгебра условных кортежей, расширяющая возможности ранее разработанной алгебры кортежей на задачи обработки контекстных ограничений и запросов, которые можно представить в виде логических формул, содержащих элементарные двуместные предикаты. Развит контекстно-ориентированный подход к формированию ограничений на модель предметной области, позволяющий учитывать и оперативно анализировать как ограничения, общие для всех допустимых моделей, так и ограничения, специфичные для конкретной предметной области. Библиогр.- 6. УДК 004.9, 004.65 Зуенко А.А., Фридман А.Я. Семантическая обработка информации в современных фактографических системах // Труды Кольского научного центра РАН. Информационные технологии. - Апатиты, 2010. - Вып. 1. - С. 23-28. Рассматривается проблема интеллектуализации баз данных в современных фактографических системах. Анализируются достоинства и недостатки реляционных систем управления базами данных, а также рассматриваются основные тенденции их развития. Проведенный анализ показывает, что интеграция баз данных и баз знаний на основе реляционной алгебры в принципе невозможна, и требуется новый математический аппарат для решения обозначенной проблемы. В качестве такого аппарата в статье предлагается алгебра кортежей, которая позволяет представлять данные и знания в виде системы многоместных отношений, а также дает возможность реализовывать процедуры логического вывода. Библиогр.- 14. УДК 004.94 Диковицкий В.В., Шишаев М.Г. Обработка текстов естественного языка в моделях поисковых систем // Труды Кольского научного центра РАН. Информационные технологии. - Апатиты, 2010. - Вып. 1. - C. 29-34. 146