Статьи журнала - Проблемы информатики

Все статьи: 524

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

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

Камилов Мирзоян Мирзаахмедович, Ахатов

Статья научная

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

Бесплатно

Система поиска, выделения и распознавания лиц на изображениях..

Система поиска, выделения и распознавания лиц на изображениях..

Друки Алексей Алексеевич

Статья научная

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

Бесплатно

Система удаленного доступа к корпоративной геоинформационной системе в режиме офлайн на платформе Windows Mobile

Система удаленного доступа к корпоративной геоинформационной системе в режиме офлайн на платформе Windows Mobile

Грязнов Геннадий Игоревичв, Ковин Роман Владимирович

Статья научная

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

Бесплатно

Система удаленного извлечения фрагмента растрового изображения изменяемой детализации, адаптированная к его размеру

Система удаленного извлечения фрагмента растрового изображения изменяемой детализации, адаптированная к его размеру

Шокуров Антон Вячеславович

Статья научная

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

Бесплатно

Современное состояние компьютерного моделирования в Интернете: краткий обзор сайтов

Современное состояние компьютерного моделирования в Интернете: краткий обзор сайтов

Тарнавский Александр Геннадьевич, Чесноков Сергей Сергеевич, Жибинов Сергей Борисович

Статья научная

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

Бесплатно

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

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

Шапченко Кирилл Александрович

Статья научная

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

Бесплатно

Современные проблемы персонификации и экстракции данных

Современные проблемы персонификации и экстракции данных

Артамонова Елена Валерьевна

Статья научная

В настоящее время в Web размещено много данных, структура и семантика которых не формализованы. Статья описывает современные проблемы поиска и извлечения из Web неструктурированных данных, в том числе проблему генерации «информационного портрета» на основе данных из различных источников данных, а также проблему персонификации данных. В статье кратко описаны также общие принципы построения Linked data ("связанных данных") как наиболее перспективной основы для решения, Resource Description Framework (RDF) и современный уровень развития концепции "связанных данных".

Бесплатно

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

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

Мухамедгалиев Арстан Фазулович, Разакова Майра Габбасовна, Смирнов Владимир Викторович

Статья научная

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

Бесплатно

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

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

Платов Геннадий Алексеевич, Рапута Владимир Федотович, Крупчатников Владимир Николаевич, Голубева Елена Николаевна, Малахова Валентина Владимировна, Леженин Анатолий Александрович, Боровко Ирина Владимировна, Крылова Алла Ивановна, Якшина Дина Фаруковна, Крайнева Марина Владимировна, Кравченко Виктория Викторовна, Коробов Олег Алексеевич

Статья научная

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

Бесплатно

Создание системы мониторинга пожарной опасности по условиям погоды

Создание системы мониторинга пожарной опасности по условиям погоды

Тогидний Роман Леонидовичй, Иванова Полина Сергеевнаа, Шкуратов Антон Викторовичв

Статья научная

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

Бесплатно

Сосредоточенная сила в однородной пористой среде

Сосредоточенная сила в однородной пористой среде

Имомназаров Холматжон Худайназарович, Имомназаров Шерзад Холматжонович, Туйчиева Сайера Тохировна

Статья научная

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

Бесплатно

Спектральный анализ сети цитирования журналов. Часть II

Спектральный анализ сети цитирования журналов. Часть II

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

Статья научная

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

Бесплатно

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

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

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

Статья научная

Исследуются спектральные методы анализа сети научных публикаций, организованной на отношении цитирования и представленной орграфом GD = (V,E). Сравниваются результаты работы двух спектральных алгоритмов кластеризации. Орграф GD преобразуется в три неориентированных графа: A + AT (граф Gu), A х AT (граф Gbib) и AT х A (граф Gcoc); здесь A матрица смежности GD. Кластеризации графов Gu, Gbib и Gcoc выполнены с помощью алгоритмов WTR и LEV. Агломеративный алгоритм WTR основан на матрице случайного блуждания P = D-1A, алгоритм бикластеризации LEV - на матрице модульности. Для сравнения результатов разбиения используются индексы NMI, RAND, ADJUSTED_RAND. В результате исследования выявлена зависимость результатов кластеризации от способа приведения GD к неориентированному виду; кластеры журналов, построенные с помощью алгоритма WTR, могут быть проинтерпретированы в терминах принадлежности к тематическим областям. Результаты представлены в виде таблиц.

Бесплатно

Спецификация онтологий для потоков задач

Спецификация онтологий для потоков задач

Плесневич Геральд, Карабеков Бауржан, Нгуен Тхи Минь By

Статья научная

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

Бесплатно

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

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

Носов В.С., Сонькин Д.М., Сонькин М.А., Чурсин Ю.А.

Статья научная

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

Бесплатно

Сравнение возможностей MPI и LUNA на примере реализации модели клеточно-автоматной интерференции волн

Сравнение возможностей MPI и LUNA на примере реализации модели клеточно-автоматной интерференции волн

Маркова Валентина Петровна, Остапкевич Михаил Борисович

Статья научная

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

Бесплатно

Сравнение языковых и бисимуляционных эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией

Сравнение языковых и бисимуляционных эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией

Зубарев Алексей Юрьевич

Статья научная

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

Бесплатно

Становление микроэлектроники в Новосибирске

Становление микроэлектроники в Новосибирске

Косцов Эдуард Геннадьевич

Статья научная

Представлены документальные материалы и воспоминания автора об истории возникновения и развития исследований в области микроэлектроники в Институте математики им. С.~Л.~Соболева и на электронных промышленных предприятиях Новосибирска.

Бесплатно

Журнал