Информатика

Конвергентные и гиперконвергентные вычислительные системы

В работе рассмотрены вопросы построения гиперконвергентных вычислительных систем и их функционирование на основе программно-конфигурируемой сети. Приведены особенности протокола OpenFlow и технологические решения, переносящие управление программно-конфигурируемой сетью на выделенный контроллер (сервер). Предложена графовая модель управления ресурсами гиперконвергентной вычислительной системы, отвечающая требованиям заданного качества обслуживания, с одной стороны, и экономическим требованиям, с другой.

Разработка системы распознавания речи на основе скрытых марковских моделей отдельных слов

Приведены результаты разработки программных модулей, реализующих систему распознавания речи на основе скрытых Марковских моделей отдельных слов и использования линейного предсказания при кодировании признаков звукового сигнала. Обосновывается структура системы распознавания речи, использующая скрытые марковские модели отдельных слов, состоящая из четырех модулей: модуль выделения слов из звукового потока, модуль анализа признаков слова, модуль обучения скрытых марковских моделей и модуль распознавания слов.

Программная реализация, анализ эффективности и оценка качества алгоритмов кластеризации графовых моделей социальных сетей

Рассматривается задача поиска сообществ (кластеров) в неориентированных графах (задача кластеризации). Кластеризация - объединение в группы схожих объектов- является одной из фундаментальных задач в области анализа данных. Список прикладных областей, где она применяется, широк: сегментация изображений, маркетинг, борьба с мошенничеством, прогнозирование, анализ текстов и многие другие. На сегодняшний момент не существует универсального эффективного решения данной задачи.

О сходимости жадного алгоритма для решения задачи построения монотонной регрессии

В статье представлены жадные алгоритмы, которые используют подход типа Франка - Вульфа для нахождения разреженной монотонной регрессии.  Проблема нахождения монотонной регрессии возникает при сглаживании эмпирических данных, в задачах динамического программирования, математической статистике и во многих других прикладных задачах.  Для решения данной задачи требуется найти неубывающую последовательность точек, имеющую наименьшую ошибку приближения к заданному множеству точек на плоскости.

Генетический алгоритм размещения контрольных точек в цифровом устройстве

В статье рассматривается задача размещения контрольных точек в цифровом устройстве с целью повышения его контролепригодности. Известные ранее методы решения этой задачи базировались на предварительном анализе топологии (структуры) устройства для оценки таких его показателей, как управляемость, наблюдаемость и тестируемость. Соответствующие показатели во многих известных системах анализа контролепригодности вычислялись с использованием программных средств. Проведение такого анализа является достаточно трудоемким процессом.

НЕДОСТИЖИМЫЕ СОСТОЯНИЯ В ДИНАМИЧЕСКИХ СИСТЕМАХ, АССОЦИИРОВАННЫХ С ЦЕПЯМИ И ЦИКЛАМИ

Приводятся формулы для подсчета количества недостижимых состояний в динамических системах, образованных двоичными векторами, кодирующими ориентации цепей и циклов.

О НИЖНЕЙ ОЦЕНКЕ ЧИСЛА РЕБЕР МИНИМАЛЬНОГО РЕБЕРНОГО 1-РАСШИРЕНИЯ СВЕРХСТРОЙНОГО ДЕРЕВА

Граф G∗ называется реберным 1-расширением графа G, если граф G можно вложить в каждый граф, получающийся из графа G∗ , удалением любого его ребра. Реберное 1-расширение G∗ графа G называется минимальным, если графы G и G∗ имеют одинаковое число вершин, а среди всех реберных 1-расширений графа G с тем же числом вершин граф G∗ имеет минимальное число ребер. Дерево называется сверхстройным, если только одна его вершина имеет степень больше двух.

ИНДЕКСЫ В ДИНАМИЧЕСКОЙ СИСТЕМЕ (B, δ) ДВОИЧНЫХ ВЕКТОРОВ

Описывается алгоритм вычисления индексов состояний динамической системы (B, δ), состояниями которой являются двоичные векторы, а эволюционная функция δ преобразует вектор с помощью одновременного выполнения следующих действий: начальный 0 (если он есть) заменяется на 1, каждая диграмма 10 – на 01, финальная 1 (если она есть) –- на 0. Доказывается корректность алгоритма.

НЕПРЕРЫВНОЕ РАСПИСАНИЕ С ДВУХЭЛЕМЕНТНЫМИ ПРЕДПИСАНИЯМИ

Для двухэлементных предписаний найдены условия существования непререрывного расписания.

О решении шахматных позиций с помощью формул логики ветвящегося времени

В работе по произвольной шахматной позиции описано построение 4 формул логики ветвящегося времени. Как минимум, одна из этих формул выполнима, и по ее модели строится решение позиции: оценка позиции (ничья или победа одной из сторон), а также необходимая для ее достижения стратегия. Построение по позиции формул и получение модели и решения иллюстрировано примерами.

Страницы