Скачать книги серии «Прикладная информатика: Научные статьи»

Вычисление групп гомоморфизмов и проверка гомоморфной устойчивости пар конечных групп

Рассматриваются все пары групп G и H порядка не выше 12. В случае если группа H абелева, с помощью компьютерного моделирования с точностью до изоморфизма вычислена группа гомоморфизмов G в H и найдена подгруппа в H, являющаяся объединением образов всех гомоморфизмов. Аналогичные конструкции рассматриваются для случая неабелевой группы H, который значительно сложнее.

Система интеллектуального анализа данных для принятия решений при оценке качества воды

В работе приводится метод построения модели предметной области на основе интеллектуального анализа данных. Метод базируется на теории решеток Биркгофа и представляет собой сформировавшийся в последнее время логико-алгебраический подход, известный как формальный концептуальный анализ. Метод применен к структурированию и формированию логических правил при оценке качества воды.

Структурно-функциональная модель интеллектуальной информационной системы управления предприятием газотранспортной отрасли

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

Применение MS Excel для решения задачи стоимостной оценки с использованием метода корреляционно-регрессионной зависимости

Несмотря на имеющиеся программные комплексы, позволяющие производить финансовые расчеты в рамках оказания услуг по оценке, большинство практикующих оценщиков при определении рыночной или иной стоимости используют средства MS Excel. Это обусловлено эффективностью, удобством и доступностью редактора формул. В предлагаемой статье авторами рассмотрен пример расчета рыночной стоимости в MS Excel одним из методов сравнительного подхода к оценке – методом корреляционно-регрессионной зависимости.

Параметрическая идентификация класса нечетких систем с помощью устойчивого рекуррентного алгоритма

Нечеткие модели Такаджи-Суджено в последнее время стали довольно мощным средством для моделирования и управления сложными системами. Тем не менее, многие вопросы, в том числе проблема устойчивости нейронечеткой идентификации и управления, требуют решения. В статье предложен рекуррентный релаксационный алгоритм для идентификации параметров последователей правил нейронечеткой модели Такаджи-Суджено. Приводится доказательство устойчивости данного алгоритма на основе метода анализа устойчивости «входа к состоянию».

Реализация нейронной сети для распознавания изображений с помощью технологии NVIDIA CUDA

В работе представлена реализация нейронной сети, обучаемой по алгоритму на основе метода Левенберга-Марквардта. С помощью технологии NVIDIA CUDA обучение построенной нейронной сети ускорено от 8 до 100 раз. Построенная нейронная сеть применена для распознавания зашумленных изображений.

Пакетный способ сравнения изображений

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

Ситуационная адаптация пространственных данных для бортовых геоинформационных задач

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

R-функции в компьютерном моделировании дизайна 3D-поверхности автомобиля

В работе с помощью R-функций рассмотрено поэтапное моделирование кузова автомобиля многопараметрическими уравнениями с буквенными параметрами для геометрических характеристик и методика построения уравнений поверхностей с непрерывной функцией кривизны. Проиллюстрирована работа новой быстродействующей системы визуализации уравнений поверхностей геометрических объектов в 3D.

Виртуальная реконструкция объектов историко-культурного наследия

В статье изложен опыт трехлетней работы научного коллектива Гуманитарного института Сибирского федерального университета в области создания виртуальных реконструкций объектов историко-культурного наследия. Представлены методические подходы к построению сложных трехмерных объектов на примере построения 3d-моделей Троицкой, Успенской, Воскресенской и Преображенской церквей, Богоявленского собора и Спасского мужского монастыря. Реализация авторского подхода в части трехмерного моделирования, позволяет использовать трехмерные модели в реальном времени на базе 3d-engine.

Лётный симулятор с пилотским интерфейсом комбинированной реальности

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

Метод оперативного анализа нестационарных случайных процессов на основе разложения исследуемой функции в интеграл Фурье

Исследуется метод решения задачи анализа технического состояния объектов управления на основе имитационного моделирования нестационарных случайных процессов функционирования данных объектов в виде разложения в интеграл Фурье в среде Anylogic и проверки данных процессов на стационарность. Данный метод позволяет существенно повысить оперативность принятия решений по предотвращению нештатных ситуаций.

Чувашско-русский переводчик: программная реализация

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

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

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

Опыт разработки и тестирования встраиваемой микроядерной операционной системы

Описан процесс разработки встраиваемой операционной системы на основе микроядра GNU/Mach. Разработка осуществлялась путем переноса микроядра GNU/Mach на архитектуру ARM с последующей разработкой драйвера Ethernet и запуском TCP/IP стека в виде отдельных модуль-серверов. Приводятся сравнительные оценки производительности.

Метод снижения временных затрат на обработку результатов тестирования

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

Информационные технологии как инструмент повышения конкурентоспособности образовательных программ в системе корпоративного обучения

Статья посвящена вопросам применения информационных образовательных технологий в корпоративном университете «Норильский никель». Масштабное применение дистанционных курсов позволяет удовлетворить потребность в оперативном и качественном обучении сотрудников. Для поддержания требуемого в компании уровня квалификации персонала активно используются компьютерные тренажеры. Такие технологии обучения повышают эффективность образовательного процесса, положительно влияя на уровень конкурентоспособности университета.

Механизмы интеграции внутрикорпоративных справочников

Рассмотрена задача интеграции внутрикорпоративных справочников при создании системы поддержки нормативно-справочной информации. Указано место рассматриваемой задачи в общей проблеме управления нормативно-справочной информацией. Автором предложена математическая модель объединения справочников и разработан программный продукт, в котором она реализована на практике.

Нестационарная мультиагентная модель регионального рынка интернет-услуг

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

Организация эффективных полиморфных алгоритмов в сложных системах управления информацией

В статье предложен метод полиморфного выполнения алгоритмов на множественном контексте данных, что характерно для современных систем управления. Метод позволяет строить эффективные алгоритмы без дублирования кода, способные напрямую работать с реляционными структурами данных.

Метод динамической реконфигурации и обучения сети на основе радиально-базисных функций

Описан новый метод настройки параметров искусственной нейронной сети РБФ. В основе метода лежит определение качества текущего покрытия обучающей выборки базисными функциями и их динамический пересчет. Модель, которая отличается высокой производительностью и допускает автоматизацию подбора параметров радиальных функций, может применяться для построения новых и оптимизации существующих сетей.

Лаг-генераторы для моделирования рисковых ситуаций в системе Actor Pilgrim

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

Моделирование операции резервного копирования на нагруженной системе

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

Сравнительный анализ эффективности методов сжатия изображений на основе дискретного косинусного преобразования и фрактального кодирования (продолжение)

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