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

Бесплатно

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

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

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

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

Бесплатно

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

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

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

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

Бесплатно

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

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

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

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

Бесплатно

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

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

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

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

Бесплатно

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

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

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

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

Бесплатно

Спектральный анализ сети цитирования журналов. Часть 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 на примере реализации модели клеточно-автоматной интерференции волн

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

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

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

Бесплатно

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

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

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

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

Бесплатно

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

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

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

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

Бесплатно

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

Калимолдаев Максат Нурадилович, Пак Александр Александрович, Нарынов Сергазы Сакенович

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

Рассматривается алгоритм рекурсивной самоорганизующейся карты (Recursive Self Organizing Map, RSOM) для выделения статистически значимых временных паттернов из символьного потока контекстно-зависимых грамматик. Главной идеей метода является, предложенное Thomas Voegtlin в 2002, объединение классического алгоритма Teuvo Kohonen и неявного представления времени в виде комбинации текущего входа и контекстного отклика сети. В статье приведены результаты экспериментов над текстами на казахском и английском языках.

Бесплатно

Структура и параметры невзвешенной сети соавторства на основе данных БД REPEC

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

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

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

Бесплатно

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

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

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

Идея определения важности научного журнала нутом измерения его цитирусмоети возникла в 19271'. Идея получила развитие: на основе информации о цитировании журналов, статей и других научных единиц строятся сети цитирования, а структура сетей рассматривается как основа для библиометричеткого анализа. При этом применяются концепции и методы, используемые в теории графов и социальных сетей. В статье рассматривается есть цитирования научных журналов, моделируемая взвешенным ориентированным графом, а также модели производных сетей коцитирования и библиографического сочетания. Исследованы методы, позволяющие вычислять параметры среднее расстояние, плотность, радиус и диаметр для случая слабой связности и/или взвешенности графа. На основе реальной информации, извлеченной из распределенной библиографической базы данных RcPEc, вычислены значения указанных параметров для графа цитирования и производных сетей. Результаты анализа представлены в виде таблиц и рисунков.

Бесплатно

Структура сети цитирования научных статей

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

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

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

Бесплатно

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

Мухопад Юрий Федорович, Мухопад Александр Юрьевич

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

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

Бесплатно

Журнал