English
03.2014 - том 18 выпуск 1 (PDF)
Излагается методология построения феноменологического словаря теории интеллектуальных систем, основанная на постнеклассических информационно-эволюционном подходе к системному анализу и моделированию объективной реальности, атрибутивно-ингредиентной концепции информации и концепции управляемой эволюции естественного языка. В качестве терминологического базиса предлагаемой методологии определены понятия «информация», «эволюция» и «моделирование».
Ключевые слова: информация, моделирование, мышление, знания, систем интеллектуальных теория, феноменология, филогенезис, эволюция.
В статье рассмотрены основные способы реализации поиска по регулярным выражениям, используемым в сетевых системах обнаружения вторжений для исследования содержимого сетевых пакетов. Представлены как простейшие недетерминированные и детерминированные конечные автоматы, так и различные их модификации, показывающие более высокую производительность и (или) использующие меньшие объемы оперативной памяти.
Ключевые слова: конечные автоматы, регулярные выражения, сетевые системы обнаружения вторжений, исследование содержимого сетевых пакетов.
В работе исследуются свойства операции умножения с параметром, существенно использующейся в криптографических стандартах республики Узбекистан. Изучается структура группы обратимых элементов; устанавливается сложность операции дискретного логарифмирования.x
Ключевые слова: мультипликативная группа, криптография, электронная подпись, дискретный логарифм.
Рассматривается задача разработки современной системы онлайн-сопровождения научно-образовательных процессов ДвинемНауку (http://dvinemnauku.ru). Система позволяет сопровождать научно-образовательные процессы онлайнотображениями этих процессов. Система разделена на две части: на серверную и на клиентскую. Серверная часть используется для хранения, обработки и выдачи данных. Клиентская часть используется для представления и сбора данных. В рамках работы реализована подсистема управления процессами, событиями и комментариями, спроектирована архитектура системы и структура базы данных, а также реализованы вспомогательные модули.
Ключевые слова: научно-образовательный процесс, проектирование баз данных, научное событие, ДвинемНауку, вебприложение.
Рассматривается задача разработки сайта для ознакомления с материалами семинаров, проводимых ректором МГУ В. А. Садовничим. Создан сайт http://sa.msu.ru, позволяющий выкладывать для общественности результаты семинаров: статьи, доклады и фотографии. Архитектура сайта подразумевает использование уже готовой системы онлайн-сопровождения научно-образовательных процессов ДвинемНауку http://dvinemnauku.ru для хранения и ведения связанных с семинарами событий.
Ключевые слова: сайт, ДвинемНауку, база данных, программный интерфейс, материалы семинара.
В данной работе рассматривается математическая модель динамических баз данных, которая обрабатывает три типа запросов: поиск, вставка и удаление. Она построена на взаимодействие информационного графа [1] и конечного детерминированного автомата [2]. Модель позволяет решать динамические задачи поиска и оценивать сложность их решения. В качестве примера, иллюстрирующего работу модели, рассмотрена и решена известная динамическая задача поиска идентичных объектов.
Ключевые слова: динамические базы данных, математическое моделирование, информационный граф.
В работе показано, что правильность семейства функций эквивалентна правильности семейств, возникающих на сильных компонентах и блоках компонент графа существенной зависимости семейства функций. Решается задача упрощения семейства, граф существенной зависимости которого содержит «тривиальный» путь. При этом упрощении семейства свойство правильности не меняется. Полученные результаты справедливы для семейств функций k-значной логики, где \(k \geq 2\).
Ключевые слова: правильные семейства функций, латинские квадраты.
В работе рассматривается задача конструирования движущихся изображений клеточным автоматом на экране, представляющем из себя конечную либо бесконечную полосы. Найдены алгоритмы построения движущихся изображений для некоторых классов изображений. Показано, что для любого бесконечного экрана существует закон движения, не реализуемый на этом экране.
Ключевые слова: клеточный автомат, бесконечный экран, универсальный экран, конструирование движущихся изображений, автономное движение, скорость движения.
В рамках дискретно-геометрического подхода к распознаванию образов представлен алгоритм, вычисляющий по коду все классы а’-эквивалентных изображений с данным кодом. Алгоритм применим к изображениям произвольной размерности \(n \geq 2\), причем его временная сложность линейно зависит от числа точек в изображении.
Ключевые слова: распознавание образов, код изображения, алгоритм восстановления изображения, временная сложность.
Естественные языки обладают свойством постоянной частоты встречаемости букв и пар букв. В статье изучены регулярные языки с этим свойством.
Ключевые слова: естественный язык, регулярный язык, цепь Маркова, марковский язык.
В работе изучаются спектры класса тонких языков. Дается классификация языков по их спектральным свойствам. Для спектра тонкого языка определяется два понятия размерности. Оказывается, что для произвольного натурального числа n можно привести пример спектра, у которого и первая, и вторая размерности равны n. Рассматривается вопрос о том, какие значения пар этих размерностей в совокупности бывают у спектров тонких языков. Для каждой пары m, n натуральных чисел таких, что \(m = n = 1\) или \(2 \leq m \leq m\) удается построить тонкий язык со спектром, у которого первая размерность равна m, а вторая равна n. Используемая при этом техника нетривиальна и позволяет поставить и решить сразу несколько теоретико-числовых задач, которые сами по себе представляют определенный интерес.
Ключевые слова: тонкие языки, регулярные выражения, алфавитное кодирование.
В работе доказывается свойство сохранения периодических последовательностей автоматами с магазинной памятью и исследуются оценки на длину периода выходящей последовательности в зависимости от периода входящей и характеристик автомата.
Ключевые слова: автомат с магазинной памятью, детерминированная функция, периодические последовательности.
Найдены все А-предполные подклассы в классах линейноавтоматных функций над конечными полями. Доказана алгоритмическая разрешимость проверки А-полноты конечных подмножеств в рассматриваемых классах.
Ключевые слова: конечный автомат, линейный автомат, линейно-автоматная функция, оператор А-замыкания, проблема А-полноты, критерий полноты, А-предполный класс, сумматор, задержка.
В статье уточнена верхняя оценка слоистости произвольных полных систем булевых функций. Также приведен ответ на вопрос, верно ли, что слоистость любой полной системы в классе функций k-значной логики конечна. Введено понятие слоистости замкнутых классов фунций k-значной логики и приведены оценки слоистости всех замкнутых классов булевых функций.
Ключевые слова: булева функция, функция k-значной логики, полная система, сложность, слоистость, замкнутый класс.