В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректнос…
Работа посвящена сравнительному анализу популярного метода сжатия изображений на основе дискретного косинусного преобразования и фрактального кодирования. Рассматриваются принципы сжатия изображений с помощью описанных подходов к кодированию. Приведенные результаты исследования подтверждают перспективность использования фрактального кодирования для сжатия изображений.
Организация динамически разрастающихся массивов и процесс их обработки является одной из важных составляющих информационных технологий. Скорость работы таких алгоритмов определяется не только степенью их сложности, но и организацией обрабатываемых данных. В работе представлен принцип организации бинарной структуры для дихотомического разбиения куба.
Авторами исследуется метод решения задачи анализа технического состояния объектов управления на основе имитационного моделирования стационарных случайных процессов функционирования данных объектов в виде разложения в ряд Фурье в среде AnyLogic и проверки данных процессов на стационарность. Данный метод позволяет существенно повысить оперативность принятия решений по предотвращению нештатных ситуац…
В статье предложена методика управления рисками на предприятиях металлургической промышленности, позволяющая учитывать специфические особенности их деятельности. Она основана на разбиении процесса риск-менеджмента на отдельные этапы, в рамках каждого из которых выделяется конкретная задача, осуществляется ее экономико-математическое описание и выбор метода решения.
Разработанный метод циклического разложения для поиска периодичности числовых рядов с использованием критерия серий вместе с методом информационного разложения был применен для поиска периодичности в обменном курсе €/$ и в курсе финансового индекса Nasdag. В статье показано присутствие периодичности, равной 7 дням, в проанализированных финансовых рядах, обсуждается механизм возникновения данной пе…
В статье предлагается модель структурированного экспертного обсуждения, а также описывается используемое в ней графовое представление знаний, позволяющее хранить и преобразовывать экспертные знания. Приводится ряд алгоритмов возможного изменения мнений участников в процессе структурированного экспертного обсуждения.
В статье представлен краткий обзор проблем из области практических систем распознавания лиц и предлагаемых решений. Делаются выводы о неприменимости предлагаемых решений для систем распознавания с единственным эталоном. Кратко описывается модель распознавания, дающая приемлемые результаты корректности работы в рамках проблемы одного эталона. Предложен математический аппарат, основанный на подпрост…
В работе оценивается эффективность различных модификаций метода муравьиных колоний при решении задачи коммивояжера. Эффективность различных алгоритмов (оригинального, элитного и рангового) рассматривалась с точки зрения скорости сходимости алгоритма в зависимости от количества муравьев в колонии, начального запаса феромона и коэффициента его испарения. Была предложена модификация муравьиных алгори…
В статье анализируется метод представления двух FIFO-очередей в памяти размера m единиц. Предполагается, что на нечетном шаге допускаются операции включения элементов в одну из очередей, а на четном шаге – операции исключения элементов из очередей. Известны вероятности выполнения операций. Решается задача оптимального разбиения общей памяти между очередями в случае последовательного циклического п…
Целью данной статьи является проведение анализа различных подходов к определению понятия интерпретируемости, формирование наиболее полного списка критериев интерпретируемости нечетких множеств и лингвистических шкал, а также содержательное и формализованное определение указанных критериев, с целью их использования при проектировании баз данных и баз правил интерпретируемых нечетких систем.
Автором предлагается гибридная модель поведения толпы, основанная на идее использования набора скалярных полей и статистических данных о наблюдении за поведением реальных толп для его максимального соответствия модели реальной толпы. Настоящая работа расширяет модель continuum crowd способностью выходить из локальных минимумов, а также возможностью поддержки гетерогенных толп. Достоверность предло…
Работа посвящена применению средств компьютерной графики в построении графических способов решения математических задач. Приведены примеры решения компьютерно-графическим способом систем линейных алгебраических уравнений и задач математического программирования.
Основу любого ТСР-подобного протокола составляет алгоритм передачи многопакетных сообщений с адресным переспросом. В данной работе предложен подход к нахождению вероятностно-временных и временных характеристик доведения многопакетных сообщений в протоколах указанного типа на основе теории конечных марковских цепей.
Известно, что в ходе эволюции новые гены могут возникать путем комбинации уже существующих генов, в результате процессов склейки частей генов или вставки фрагмента одного гена в другой ген. Точки склейки и вставки будут восприниматься как точки разладки триплетной периодичности, что может быть удобным признаком для их выявления. Для идентификации в генах точек разладки используются меры сходства и…