English
12.2014 - том 18 выпуск 4 (PDF)
В данной статье речь пойдёт о решении задачи распознавания нелегального контента в объявлениях на сайте Avito [1], опубликованной на популярном сервисе по решению задач машинного обучения Kaggle [2]. Нами был рассмотрен алгоритм, основанный на преобразовании текстовых полей методами обработки естественных языков [3] и нахождении правил из слов и словосочетаний, идентифицирующих объявление спамом. В работе были изучены основные варианты обработки текстовой информации, а также на основе экспериментов доказано, что сложная обработка, такая как построение биграмм и стемминг, не приводит к увеличению точности.
Ключевые слова: большие данные, анализ текста, обработка естественных языков, интеллектуальный анализ данных, ассоциативные правила.
Для решения ряда задач медицинской диагностики разработаны и исследованы возможностные методы моделирования медицинских объектов и процесса постановки диагноза, основанные на современной теории возможностей [1]. Статья посвящена применению вероятностных и возможностных алгоритмов и программ обучения и распознавания в условиях нечёткого описания медицинских объектов и изменчивости во времени их вероятностных характеристик. Программный комплекс диагностики заболеваний позволяет проводить процедуру обучения и постановки диагноза в диалоговом режиме с участием врача и применяется в данной работе для решения задачи диагностики острого аппендицита.
Ключевые слова: распознавание образов, программный комплекс, задача идентификации, вероятностная модель диагностики, возможностная модель диагностики, гранулирование, алгоритм классификации Кора, острый аппендицит.
В данной работе рассматривается возможность применения многоагентного подхода для расчета энергетического баланса города Калининград и его стран-соседей. Показаны этапы построения многоагентной модели в имитационной среде Anylogic, приведены результаты моделирования. Обсуждаются преимущества и ограничения данного подхода и возможности его применения для решения других задач.
Ключевые слова: энергетика, агент, модель, умная электросеть.
Впервые изложена фундаментальная методология интеллектуальных систем полного разума с интуицией для широкого практического назначения, способных динамически и эффективно самообучаться, самоорганизовываться и быстро принимать решения. Представлены технические решения практической реализации интеллектуальной системы с полным разумом и интуицией.
Ключевые слова: интеллектуальная система, полный разум, интуиция, обучение, распознавание информационных образов.
Предлагается система контроля состояния оператора сложной технической системы, ориентированная на анализ его речевого ответа. Для возможности работы в сильных шумах предусматриваются дополнительные каналы ввода информации, а также специальный сценарий диалога оператора с компьютером.
Ключевые слова: распознавание речи, сильный шум, самосравнение.
Рассмотрен вариант теории возможностей, позволяющий описать договоренность исследовательской группы об общей для них интерпретации некоторых значений возможности и необходимости. Это дает возможность уточнить критерий оптимальности решающего правила в задаче идентификации. Для случая моделирования стохастического объекта описан алгоритм восстановления возможности, принимающей значения в шкале с неподвижными точками, и самих этих точек.
Ключевые слова: возможность, необходимость, договоренность, оптимальное решающее правило.
В данной работе вводятся в рассмотрение итеративные пропозициональные исчисления, представляющие собой конечные множества пропозициональных формул вместе с операцией modus ponens и операцией суперпозиции, заданной множеством операций Мальцева. Для таких исчислений изучается вопрос разрешимости проблемы выразимости. В частности будет показано, что существуют неразрешимые итеративные исчисления. Будет предложен подход описания разрешимых итеративных исчислений, основанный на задании таких исчислений клонами k-значных логик. Кроме того, будет описана решетка клонов трёхзначной логики, порождающих итеративные исчисления, и доказана континуальность множества разрешимых итеративных исчислений.
Ключевые слова: итеративное пропозициональное исчисление, интерпретация, конечная модель, клоны трёхзначной логики.
Технология информационного мониторинга была разработана для анализа сложных, слабоформализованных проблем (процессов) на основе всей доступной информации, построения прогнозов их развития и выработки рекомендаций по управлению их развитием. В настоящей работе технология информационного мониторинга формализуется с использованием классического аппарата дискретной математики — схем функциональных элементов и функций k-значной логики. В этой формализации решаются две ключевые задачи технологии информационного мониторинга — проверка устойчивости модели и задача оптимального распределения ресурсов.
Ключевые слова: информационный мониторинг, оптимальное распределение ресурсов, устойчивость дискретных систем.
В статье рассматриваются задачи генерации спецификаций, характеристик и схем вентиляционных установок в формате dxf, а также генерации собранных установок в 3D-формате. Данный функционал должен быть реализован на веб-технологиях, поскольку будет встраиваться в веб-приложение по расчёту вентиляционного оборудования. В частности, должна быть реализована возможность вращения 3D-модели установки в браузере.
Ключевые слова: генерация чертежей, AutoCAD, openjscad, 3D, dxf, вентиляционные установки.
В статье рассматривается задача разработки конфигуратора промышленного вентиляционного оборудования в виде вебприложения. Мы реализуем веб-интерфейс, позволяющий собрать в браузере любую приточную, вытяжную и приточновытяжную установку простым перетаскиванием секций мышкой или пальцем. Данное решение готово для встраивания в веб-приложение по расчету вентиляционных установок.
Ключевые слова: JavaScript, HTML, CSS, конфигуратор, промышленная вентиляция.
Рассмотрен метод решения проблемы «экспоненциального взрыва» числа состояний конечного автомата, распознающего множество регулярных языков, задаваемых объединением регулярных выражений вида . \(* R_1. * R_2.*\), где \(R_1\) и \(R_2\) — произвольные регулярные выражения. Предложено расширение этого метода на случай объединения произвольного числа регулярных выражений данного вида. Приведены оценки на число состояний автомата при таком изменении в случае алфавита, состоящего из не менее чем трех символов. Показывается, что относительное уменьшение числа состояний может быть произвольным. Анализируется практическая эффективность предложенного метода применительно к регулярным выражениям системы Snort.
Ключевые слова: конечные автоматы, регулярные выражения, системы обнаружения вторжений.
В данной работе изучается функционирование лёгких курящего человека в чистой среде. Выявлена зависимость ухудшения эффективности ресничек от времени, в течение которого в лёгких находился никотин. Также получена временная оценка сложности процесса самоочищения лёгких от никотина.
Ключевые слова: лёгкие, процесс самоочищения, чистая среда, никотин.
В данной работе мы рассмотрим пропозициональные исчисления, формулы которых образованы логическими связками, содержащими классическую импликацию, а правилами вывода выступают операции modus ponens и подстановка. Известно, что в общем случае проблема распознавания выразимости одних исчислений через другие алгоритмически неразрешима. В данной работе будут рассмотрены частные случаи этой проблемы: распознавание аксиоматизации, распознавание расширения и распознавание полноты. В частности будет показано, что проблема распознавания расширения алгоритмически неразрешима для любого исчисления, а проблемы распознавания аксиоматизации и полноты алгоритмически неразрешимы для любого исчисления, из которого выводима формула \(x \rightarrow (y \rightarrow x)\).
Ключевые слова: классическое и интуиционистское исчисления высказываний, импликативное исчисление, разрешимость распознавание аксиоматизации, расширения и полноты, тэг система.
Понятие звездной высоты было впервые введено Эгганом в 1963 г. наряду с понятием циклической сложности конечного автомата. Циклическая сложность автомата связана со звездной высотой принимаемого им языка: звездная высота регулярного языка равна минимальной циклической сложности среди автоматов, принимающих данный язык. Однако проблема нахождения минимального (по отношению к циклической сложности) автомата до сих пор остается открытой. В данной работе рассматривается вопрос о соотношении циклической сложности минимального автомата регулярного языка и его звездной высоты.
Ключевые слова: конечные автоматы, регулярные языки, звездная высота, циклическая сложность, минимальный автомат.
Задача нахождения хроматического числа графов — одна из наиболее привлекательных и сложных задач теории графов. Известно, что для бипланарных графов (графов, реализуемых без пересечений рёбер на двух сторонах плоскости), хроматическое число не меньше 9 и не больше 12. В данной работе показывается, что хроматическое число бипланарных графов без треугольников не меньше 5 и не больше 8.
Ключевые слова: бипланарный граф, хроматическое число, граф без треугольников, граф толщины 2.
В работе продолжается исследование вопросов алгоритмического распознавания свойства обратимости для клеточных автоматов. Построен класс двухмерных бинарных клеточных автоматов с фиксированной локальной функцией переходов c 91 переменной, в котором задача распознавания свойства обратимости является алгоритмически не разрешимой.
Ключевые слова: клеточные автоматы, обратимые клеточные автоматы, машины Тьюринга, проблема остановки.
В статье излагается новое доказательство теоремы Гёделя о неполноте формальных логических систем, основанное на понятиях функционального программирования.
Ключевые слова: математическая логика, неполнота формальных систем, теорема Гёделя, функциональное программирование.
В этой статье предлагается новый подход для работы с вероятностными графическими моделями, основанный на недавно предложенном разложении тензорного поезда (Tensor Train, TT). TT-разложение позволяет хранить тензор в компактном виде и эффективно применять к нему операции линейной алгебры. В данной работе предложен метод для перевода тензоров энергии и ненормированной вероятности марковского случайного поля в TT-формат. Свойства этого формата используются для подсчета нормировочной константы и поиска конфигурации наибольшей вероятности. Предоставлены теоретические гарантии точности оценки нормировочной константы. Предложенные методы сравниваются с аналогами на различных наборах данных.
Ключевые слова: Марковское случайное поле, Тензорный Поезд, вывод, нормировочная константа.
В данной статье исследуется поведение однородных структур с точки зрения сохранения ими различных целочисленных характеристик своих конфигураций. Для характеристики, являющейся суммой значений данной функции на наборах ячеек конфигурации, был построен алгоритм, вычисляющий принадлежность однородной структуры к классу однородных структур, сохраняющих эту характеристику для любой своей конфигурации.
Ключевые слова: однородная структура, конфигурация, характеристика, консервативость, однородное отображение, Фконсервативность.