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

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

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

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

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

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

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

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

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

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

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

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

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