Содержание журнала "Интеллектуальные системы"
Том 16, выпуск 1-4, 2012 г.

Часть 1. Общие проблемы теории интеллектуальных систем

• Абросимов В.К., Демидов Р.С.. Информационный ландшафт организации. Вводятся и анализируются новые понятия, необходимые для анализа эффективности выбора и внедрения информационных систем – информационный ландшафт, совместимость и согласованность, необходимость и достаточность информационного ресурса. Показано, что их совместное использование позволяет методически обоснованно из множества предлагаемых информационных систем с различными характеристиками выбрать наиболее эффективную и потенциально востребуемую бизнесом организации.
  Ключевые слова: информационная система, информационный ресурс, выбор, эффективность внедрения, ландшафт
• Лебедев А.А.. Синтез операторов агрегирования информации по экспертным описаниям. Задача выбора оператора агрегирования информации – определение функции, характеризующей зависимость некоторой величины от наблюдаемых параметров – возникает при разработке большинства систем сбора и обработки информации. В работе развивается подход к описанию функций k-значной логики на основе нечётких условий. Доказывается NP-полнота задачи выбора функции по нечётким описаниям в общем случае, а также приводятся полиномиальные алгоритмы решения этой задачи для некоторых частных случаев.
  Ключевые слова: выбор операторов агрегирования, нечеткие условия
• Топровер Г.Л., Киселев С.Л.. Имитационная модель компьютерного анализа фактов. В статье представлена формальная модель алгоритмического анализа фактов на базе имитационного подхода с применением методов теории распознавания образов.
  Ключевые слова: фактология, анализ фактов, фактография, управление знаниями
• Чмырь И.А.. Естественный диалог: моделирование диалоговой транзакции в контексте представления знаний. Статья посвящена исследованию и моделированию диалога и диалоговых транзакций. Онтологическая модель диалогового взаимодействия, на которой базируются последующие рассуждения, получена на основе анализа диалогов между людьми и иллюстрируется одним из диалогов Платона, под наименованием Протагор. В дальнейшем внимание фокусируется на одном из типов диалога, названного эротетический диалог и на структуре эротетической диалоговой транзакции с точки зрения обмена знаниями в пределах транзакции. Предложен спектр формальных моделей, ориентированных на представление внутренней логической структуры эротетической транзакции. Отличительной особенностью всех моделей является их ориентация на лингво-независимые сущности представление декларативных знаний, ас-социированных с элементами транзакции.
  Ключевые слова: онтологическая модель диалога, эротетический диалог, диалоговая транзакция, декларативные знания, язык тернарного описания

Часть 2. Специальные вопросы теории интеллектуальных систем

• Зубюк А.В.. Критерий отношения правдоподобия в случайной морфологии. Рассмотрены задачи классификации изображений, имеющих случайную форму, и поиска объекта, изображения которого имеют случайную форму, на неизвестном фоне. Предложен метод решения указанных задач, основанный на принципе отношения правдоподобия. Теоретико-возможностный вариант будет рассмотрен в следующей публикации.
  Ключевые слова: морфологический анализ изображений, случайная форма изображений, критерий отношения правдоподобия
• Назаров А.Н.. Об оценках числа виртуальных соединений и качественной доставке трафика данных в сотовых сетях мобильной связи на технологии GPRS. На основе развития энтропийного подхода разработаны оптимизационная модель расчета числа виртуальных соединений и оптимизационная модель расчета числа виртуальных соединений с заданным качеством обслуживания трафика, позволяющие оценивать ресурсное обеспечение узлового оборудования и трактов передачи данных в сотовых сетях мобильной связи на технологии GPRS. Варьируемыми параметрами модели с заданным качеством обслуживания трафика являются значения полос пропускания битового трафика различных категорий. Расчеты по разработанным моделям сводятся к последовательному решению совместных систем линейных уравнений.
  Ключевые слова: GPRS, GGSN, SGSN, QoS, оптимизационная модель
• Пивоваров А.П.. Функциональная сложность задачи подсчёта для двумерной задачи о доминировании. В работе рассматривается задача подсчёта для двумерной задачи о доминировании. В рамках информационно-графовой модели данных приводится три семейства алгоритмов, решающих данную задачу. Оцениваются объёмы требуемой памяти и время обработки запроса в худшем случае. В качестве одного из средств уменьшения времени обработки запросов за счёт увеличения объёма требуемой памяти используется техника частичного каскадирования.
  Ключевые слова: двумерная задача о доминировании, вычислительный информационный граф, информационный граф, функциональная сложность, частичное каскадирование
• Снегова Е.А.. Критерий сводимости задачи об опасной близости к одномерным задачам для полиномиальных законов движения. В статье рассматривается задача об опасной близости в случае, когда законы движения объектов и запросов принадлежат классу полиномов конечной степени. Для этого случая приводится критерий сводимости задачи об опасной близости к одномерным задачам – задаче о прокалывании и задаче одномерного интервального поиска.
  Ключевые слова: базы данных движущихся объектов, пространственно-временные базы данных, информационный граф, сложность
• Тимирова А.Н.. Свойства модели Марковица при задании параметров средствами теории нечетких множеств. В работе представлена модель оценки доходности и риска в анализе формирования инвестиционных портфелей. Доходность ценных бумаг оценивается, как нечеткое число, а риск – как мера неопределенности доходности.
  Ключевые слова: нечеткие числа, степень нечеткости, модель Марковица, инвестиционный портфель
• Титова Е.Е.. Линейное по времени конструирование изображений клеточными автоматами. В работе рассматривается задача конструирования изображений клеточным автоматом на прямоугольном экране. Для случаев, когда элементарный автомат имеет 3, 4 и 5 состояний, и когда число состояний неограниченно растет, получены оценки времени конструирования изображений, линейно зависящие от размеров экрана. Найден алгоритм построения изображений для экрана, имеющего один свободный вход.
  Ключевые слова: клеточный автомат, генератор, универсальный экран, конструирование изображений, оценка времени конструирования изображения
• Цымжитов Д.Н.. О новом подходе к решению задачи мягкого ML-декодирования линейных кодов. В работе представлен метод декодирования для двоичных линейных кодов, основанный на использовании векторов, которые мы называем неприводимыми. Неприводимый вектор представляет собой минимальную структуру определенного вида и является обобщением понятия минимального кодового слова. Нами предложены два алгоритма, реализующие этот подход применительно к двум классам кодов, характеризуемых некоторыми предположениями относительно структуры графа Таннера проверочной матрицы. В первом случае рассматриваются коды с ациклическим графом Таннера, а во втором случае – коды, у которых все символьные вершины в графе Таннера имеют степень не более 2. Если n – длина кода, то первый алгоритм выполняется за время O(n²) при n→∞, а второй – за время O(n⁴) при n→∞.
  Ключевые слова: мягкое декодирование, декодирование по максимуму правдоподобия, линейные коды, сложность декодирования, минимальные кодовые слова

Часть 3. Математические модели

• Бокк Н.Г.. О порядке элемента в группе автоматных подстановок. Построена серия групповых автоматов конечных порядков вида 2n. Для автоматов с абелевой внутренней группой приведен критерий определения порядка по строению группы. Показана невозможность такого критерия для произвольной внутренней группы.
  Ключевые слова: автоматные подстановки, групповые автоматы, внутренняя полугруппа, порядок автомата
• Ишматова Ю.А.. О некоторых свойствах групп алгебр с параметрами. Группы алгебр с параметрами являются основным объектом в ряде криптографических стандартов республики Узбекистан. В работе исследуется ряд свойств таких групп, существенных с точки зрения криптографии. Доказывается критерий обратимости элемента, вычисляется порядок группы, а также устанавливается связь возведения в степень с возведением в степень в мультипликативных группах колец вычетов.
  Ключевые слова: алгебры с параметром, криптографический стандарт, возведение в степень
• Перпер Е.М.. О функциональной сложности поиска подстроки. В работе рассматривается задача поиска подслова во множестве слов. Эта задача состоит в следующем: пусть дано множество слов; надо для произвольного подслова найти все слова из этого множества, содержащие это подслово. В данной работе разработаны 3 алгоритма поиска, с помощью которых получены оценки функциональной сложности поиска.
  Ключевые слова: слово, подслово, поиск, информационный граф, сложность, объём
• Пивоваров А.П.. Об одном способе получения нижних оценок сложности информационных графов. В работе приведен один способ получения нижних оценок сложности информационных графов различных видов (как в худшем случае, так и в среднем). Для этого вводится понятие информационного графа общего вида, под которое подпадают большинство модификаций информационных графов. Для информационных графов общего вида вводится понятие допустимости для выходной функции. Полученные нижние оценки сложности информационного графа общего вида зависят от количества различных значений, принимаемых выходной функцией.
  Ключевые слова: информационный граф общего вида, нижняя оценка сложности, моделирование поиска
• Родин А.А.. О континуальности множества специальных предполных классов во множестве автоматных отображений. В работе рассматриваются предполные классы, содержащие все о.-д. функции, в каждом состоянии которых реализуется функция из некоторого замкнутого класса D k-значной логики. Показано, что мощность множества таких предполных классов равна континууму для любого замкнутого D.
  Ключевые слова: автоматные отбражения, предполный класс, К-значная логика
• Соколов А.П.. О сложности перестройки формальных нейронов. Работа посвящена вопросам сложности обучения нейронов. В качестве математической модели нейронов рассматриваются пороговые функции алгебры логики. Рассматривается вопрос сложности взаимной перестройки (обучаемости) пар пороговых функций в самом сложном случае, в большинстве случаев и внутри классов пороговых функций, инвариантных относительно групп перестановок. В качестве средства задания пороговых функций выстапают целочисленные линейные формы. В качестве меры сложности процесса перестройки рассматривается число элементарных операций над весовыми коэффициентами линейной формы. Получен ряд верхних и нижних оценок сложности взаимной перестройки формальных нейронов для различных случаев. Построен алгоритм, осуществляющий перестройку заданного формального нейрона в желаемый. Получены оценки временной сложности данного алгоритма.
  Ключевые слова: пороговые функции, сложность обучения нейросетей