Рассматриваются системы, описываемые начально-краевыми задачами для параболических уравнений второго порядка в частных производных с разрывными коэффициентами. По наблюдениям за состоянием систем на конечном временном интервале найдены минимаксные оценки для функционалов от решений этих начально-краевых задач в произвольный момент времени в будущем.При этом предполагалось, что правые части уравнений, граничные условия, условия сопряжения и ошибки измерений точно не известны, а известны лишь множества, которым они принадлежат, и что информация о начальных условиях отсутствует.
Все статьи журнала
Журнал:
Журнал:
В статье рассмотрен подход к решению задач распознавания образов, который основан на использовании гиббсовских случайных полей. Критичным в гиббсовских моделях является оценивание параметров гиббсовского распределения. Один из возможных подходов к решению этой задачи использует принцип максимума ентропии, согласно которому в качестве искомого гиббсовского распределения выбирается распредиление вероятностей, которое бы было настолько неинформативным, это возможно при условии наличии частичной информации.
Журнал:
Описывается, предложенная авторами методика поиска потенциальных характеристик глубинных синтаксических актантов предикатного слова по элементам лексикографического толкования. Более подробно рассматривается идея алгоритма распознавания ролевых ориентаций семантических валентностей.
Журнал:
В статье рассматривается задача преследования с простым движением на плоскости. Показывается, что при помощи специально сконструированной фитнес-функции, оценивающей время захвата и расстояние до цели, и при размещении преследователя на архимедовой спирали во время обучения, выбранный метод топологической нейроэволюции NEAT способен эффективно решить задачу. Полученная нейронная сеть сравнивается с двумя известными теоретическими решениями.
Журнал:
В настоящей работе доказывается аналог доминантной эргодической теоремы для абсолютных сжатий в пространствах Орлича измеримых функций на положительной полуоси.
Журнал:
В работе описывается подход к верификации асинхронных дискретных динамических реактивных систем, основанный на использовании темпоральной логики (CTL - Computation Tree Logic), сетей Петри (СП) и систем линейных диофантовых ограничений (СЛДО).
Журнал:
Статья посвящена ACM-Олимпиадам как форме подготовки специалистов в области информационных технологий.
Журнал:
В настоящей работе вводится определение дефектного подмодуля кососимметрического оператора, действующего в гильбертовом кватернионном бимодуле. Установлена связь между дефектными подмодулями кососимметрического оператора и его симплектического образа, приведены формулы фон Неймана для сопряженного оператора.
Журнал:
Анализ последних достижений и публикаций, посвященных проблеме синтеза высокоэффективных и точных алгоритмов классификации, показывает, что остается открытым вопрос о методах решения задач в ситуациях, когда требуется построить в некотором смысле «простое» решающее правило. В статье предлагается подход к решению этой проблемы, основанный на синтезе «виртуальных» прецедентов, для классификации которых используются высокоточные, но недопустимо «сложные» алгоритмы. Основные идеи подхода иллюстрированы на модельных примерах.
Журнал:
В работе рассмотрены алгоритмы построения поверхностных моделей объектов трехмерных медицинских изображений при помощи деформируемых моделей — алгоритм, основанный на симплекс-сетях и на 2.5D активных контурах. Были проведены эксперименты по генерации объемных моделей по поверхностным моделям при помощи средств автоматизированного проектирования и моделированию реакции объектов на воздействие нагрузок.
Журнал:
В статье получены получены новые верхние оценки для числа независимых множеств в графах большой минимальной степенью вершины.
Журнал:
Прослеживается развитие известного в принятии решений принципа Эджворта-Парето от «наивной» версии девятнадцатого века до наиболее общего к настоящему времени его аксиоматического варианта в терминах нечеткой функции выбора.
Журнал:
В данной работе предлагается подход, позволяющий осуществить автоматический выбор наиболее информативных элементов многокомпонентных сигналов разной длительности, определенных вдоль оси дискретного аргумента, а также приводится пример применения данного подхода для верификации личности по динамике подписи.
Журнал:
В статье рассматривается (на материале русского языка) методика использования информации теории Семантического Класса (сорта) объекта реальности, обозначаемого словом, для устранения неоднозначностей при построении дерева глубинного синтаксиса анализируемой фразы Естественного Языка. Особое внимание уделяется формализованному описанию теорий для Лексических Значений слов и задаваемых ими отношений. Предлагается основанный на идеях и методах Формального Концептуального Анализа подход к систематизации указанных теорий.
Журнал:
В работе рассматривается задача восстановления косучно-линейных ограничений, возникающая в проблемах оптимизации с неполными данными. Для восстановления ограничений используется перцептрн и предлагается лексикографическая процедура оптимизации полученного решения. На основе исходных данных и перцептрона строится квадратная матрица, которая приводится к оптимальному виду за счет выделения сравнимых пар векторов-строк и вычеркивания из матрицы строк и столбцов, соответствующих нижнему вектору. При этом из перцептрона также удаляется соответствующий выходной нейрон.
Журнал:
В работе доказано, что любое тупиковое доопределение частичной булевой функции из класса (n,1,k) имеет нулевую область неопределенности. Выделены условия, при которых доопределение функции из класса (n,1,k) является однозначным.
Журнал:
Язык L используется для спецификации конечных автоматов и представляет собой фрагмент логики первого порядка с одноместными предикатами. Проверка выполнимости спецификации играет важную роль при проектировании реактивных алгоритмов. Ограниченный синтаксис этого языка и интепретация его на множестве целых чисел дают возможность существенно улучшить резолюционные методы проверки выполнимости формул. В данной работе предлагается усовершенствованный резолюционный метд для проверки выполнимости формул, основенный на ограничении вида атомов, по которым допускается резольвирование.
Журнал:
В статье приведено описание программной реализации задачи многокритериальной псевдобулевой оптимизации с неполной начальной информацией о критериях. Основные теоретические результаты изложены в [8], приведены описания алгоритмов решения таких задач в случае с полной и частичной информацией о критериях. Алгоритмы полного перебора, линейной свертки критериев и локального поиска реализованы программно в среде Visual С++6.
Журнал:
В статье предлагается весьма простой для реализации алгоритм решения очень важной при распознавании неизвестных объектов задачи определения степени зависимости между случайными выборками наблюдений для случая гауссовских случайных величин.
Журнал:
Рассматриваются две комбинаторных задачи, связанные с обучением распознаванию образов: задача проверки существования аффинного разделяющего комитета из 3-х элементов (3-А8С) и задача о минимальном по числу элементов аффинном разделяющем комитете (МА8С). Показано, что задача 3-А8С ЖР-полна, а задача МА8С .ЛГР-трудна и не принадлежит классу Арх. Обсуждается новый приближенный алгоритм для задачи МА8С.
Оценка неслучайности интервальных импликативных зависимостей, содержащихся в булевых таблицах данных
Журнал:
В статье рассматривается понятие интервальной импликативной зависимости и статистическая оценка неслучайности возникновения такой зависимости в булевых таблицах эмпирических данных.
Журнал:
Для разработки естественно-языкового интерфейса автоматизированной системы управления (АСУ) в статье предлагается методология создания семиотико-алгебраической (СЕМАЛ) модели технического языка, на котором осуществляется взаимодействие между человеком и АСУ. В рамках этой методологии излагается методика анализа и синтеза форм слов.
Журнал:
Рассмотрен переход от задачи ВЫПОЛНИМОСТЬ к задаче минимизации функционала специального вида. Исследованы уравнение относительно стационарных точек функционала и производные операторы ассоциированного с уравнением оператора. Предложена модификация метода последовательных приближений для решения уравнения относительно стационарных точек.
Журнал:
При создании систем распознавания речи важную роль играет выбор признаков, на основе которых формируются эталоны звуков речи. Для решения этой задачи в статье разработана методика формирования эталонов фонем, базирующаяся на вейвлет-преобразовании. Для повышения вероятности распознавания для каждой пары классов фонем из имеющегося набора признаков выбирается оптимальный, по которому производится разделение этих классов.
Журнал:
В работе предлагается алгоритм выявления чистых выбросов на основе эмпирического решающего леса ранга r. Эмпирически обосновывается увеличение обобщающей способности решающего дерева после фильтрации по сравнению с решающим деревом, построенным до фильтрации.
Математическая модель для исследования влияния флуктуации на трансформацию пространства безопасности
Журнал:
Предложена математическая модель для исследования влияния флуктуации различного генеза на трансформацию полей техногенных, социогенных, экономических и природных рисков с использованием методов теории катастроф, теории хаоса и бифуркаций. Модель позволяет исследовать нелинейную динамику катастроф и оценивать уровни техногенной и природной уязвимости, эффективность политики в области социальной и экономической безопасности.
Журнал:
В данной работе рассматривается один из подходов решения задачи обучения по прецедентам, основанный на минимизации сложности модели искомой функции. Вводятся понятия модели функции, шаблона класса функций, сложности модели функции, сложности функции. На основании предложенного подхода решается задача восстановления псевдобулевой функции по прецедентам. Приводится пример решения подобной задачи.
Журнал:
Доказано двойное неравенство VCD(S) ≤ Kl(S)< VCD(S)log l, где VCD(S) - размерность Вапника-Червоненкеса некоторого семейства общерекурсивных функций, Kl(S) - колмогоровская сложность этого семейства функций S,l - длина выборки. Предложен новый pVCD подход для оценивания VCD на основании приведенного выше двойного неравенства.
Журнал:
В данной работе вводится понятие шаблона множества функций и определяются различные виды таких шаблонов. Рассматриваются простые k-параметрические шаблоны вида t=t[+,•], для образа которых вычисляется ёмкость (VCD). Находятся оценки ёмкости клосса полиномов над полем вещественных (рациональных) чисел и класса полиномов Жегалкина.