Системная информатика. Рубрика в журнале - Проблемы информатики

Публикации в рубрике (12): Системная информатика
все рубрики
Автогенератор классов

Автогенератор классов

Малахова Елена Сергеевна

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

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

Бесплатно

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

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

Поляков Артем Юрьевич, Молдованова Ольга Владимировна

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

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

Бесплатно

Анализ программного обеспечения на основе структурно-графического представления

Анализ программного обеспечения на основе структурно-графического представления

Демин Антон Юрьевич, Рейзлин Валерий Израилевич

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

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

Бесплатно

Архитектура специализированного программного обеспечения аппаратно-программного комплекса "мобильная оперативная группа"

Архитектура специализированного программного обеспечения аппаратно-программного комплекса "мобильная оперативная группа"

Миньков Александр Сергеевич

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

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

Бесплатно

Многоуровневые алгоритмы отображения параллельных МР1-программ на вычислительные кластеры

Многоуровневые алгоритмы отображения параллельных МР1-программ на вычислительные кластеры

Пазников Алексей Александрович, Курносов Михаил Георгиевич, Куприянов Михаил Степанович

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

В работе рассматривается задача отображения параллельных MPI-программ на иерархические кластерные вычислительные системы (ВС). Требуется по заданному информационному графу программы распределить ее процессы по процессорным ядрам системы с целью минимизации накладных расходов на межмашинные обмены. Для приближенного решения за¬дачи предложены алгоритмы, основанные на эвристических методах разбиения взвешенных графов. Оптимизация достигается за счет распределения интенсивно обменивающихся ветвей параллельной программы по процессорным ядрам, связанным быстрыми каналами связи. В алгоритмах учитываются все иерархические уровни коммуникационной сети ВС. Приводятся результаты экспериментов по отображению MPI-программ из пакетов SPEC MPI и NAS Parallel Benchmarks в пространственно-распределенную мультикластерную вычислительную систему.

Бесплатно

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

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

Бушин Дмитрий Игоревич, Вирбицкайте Ирина Бонавентуровна

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

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

Бесплатно

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

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

Печерская Елена Ивановна, Сонькин Михаил Аркадьевич, Гринемаерч Вячеслав Викторович

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

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

Бесплатно

Особенности программных решений в системе автоматизированного сбора и передачи гидрометеорологической информации с применением измерительных комплексов

Особенности программных решений в системе автоматизированного сбора и передачи гидрометеорологической информации с применением измерительных комплексов

Тогидний Роман Леонидовичй, Добродеева Полина Сергеевнаа, Назмутдинов Ренат Бахтыганиевич

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

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

Бесплатно

Построение ортомодулярных решеток первичных структур событий

Построение ортомодулярных решеток первичных структур событий

Вирбицкайте Ирина Бонавентуровна, Ерофеев Евгений Константинович

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

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

Бесплатно

Построение программного обеспечения системы оповещения и документированной связи в ОС МСВС

Построение программного обеспечения системы оповещения и документированной связи в ОС МСВС

Алыков Алексей Бяширович

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

Описываются особенности построения нового поколения системы оповещения и документированной связи П-166 ИТК ОС на базе Unix-подобной операционной системы МСВС 3.0. Предлагаются один из вариантов разработки и структура программного обеспечения для ОС МСВС.

Бесплатно

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

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

Корчагин Вячеслав Павлович

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

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

Бесплатно

Теоретико-графовые методы и системы программирования

Теоретико-графовые методы и системы программирования

Касьянов Виктор Николаевич, Касьянова Елена Викторовна

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

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

Бесплатно

Журнал