Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 457
Ноябрь 2022: состояние и перспективы развития суперкомпьютерной отрасли в мире и в России
Статья научная
Статья посвящена анализу современного состояния суперкомпьютерной отрасли в мире и в России и перспектив ее развития. По методическому подходу и инструментарию данная статья является продолжением серии подобных аналитических обзоров авторов. Новизна данной работы не только в актуализации сведений с учетом последних редакций списка Top500, но и в акценте на следующее: мировая суперкомпьютерная отрасль переживает радикальную перестройку - переход от «петафлопсной эпохи» к «эксафлопсной эпохе». России с некоторым запаздыванием предстоит сделать такой же переход. Поэтому важно понимать технологические тренды и особенности решений для самых мощных систем в мире за последние годы. На это обстоятельство в работе обращается особое внимание и такой акцент при анализе трендов является одной из побудительных целей данной работы.
Бесплатно
Статья научная
В статье в наглядной форме изложены ограничения, накладываемые на управление космическими аппаратами на этапе сближения. Даны рекомендации по эффективному управлению. Описаны маневры зависания.
Бесплатно
О двух видах текстовых временных координат
Ред. заметка
В статье предложена систематизация текстовых выражений, которые в рамках задачи автоматического извлечения темпоральной информации из текста принято рассматривать в качестве временных координат событий. Выделены два типа показателей времени, различающихся способом референции к временным сущностям. Исследована специфика нормализации (определения абсолютного значения) выражений каждого типа
Бесплатно
О декомпозиции метода построения энкодера языковой модели
Статья научная
Энкодер в составе языковой модели является механизмом преобразования текстовой информации в эффективное числовое представление, пригодное для решения широкого круга задач обработки текста при помощи нейросетевых методов. В данной статье предложен способ декомпозиции процесса обучения языкового энкодера. Рассматриваются вопросы целесообразности такой декомпозиции с точки зрения снижения вычислительных затрат, контроля качества на промежуточных стадиях обучения, обеспечения интерпретируемости результатов каждой стадии. Приводятся оценки качества энкодера.
Бесплатно
О длинных атаках на пинг-понг протоколы
Статья научная
Ранее автором было показано, что криптографические пингпонг протоколы в модели угрозы Долева–Яо можно верифицировать посредством моделирования в префиксных грамматиках. В статье рассматриваются примеры атак на пинг-понг протоколы, которые удовлетворяют верхней оценке на длину пути, порожденного модельной префиксной грамматикой, приведенной в предыдущих работах автора
Бесплатно
О зависимых типах и интуиционизме в программировании математики
Статья научная
Обсуждается практическая возможность доказуемого программирования математики на основе подхода конструктивизма и применения языка с зависимыми типами (dependent types, proof carrying code). Принципы конструктивизма и доказуемого программирования объясняются на примерах. Рассмотрение опирается на опыт реализации на языке \textsys{Agda} небольшой библиотеки вычислительной алгебры, включающей арифметику области остатков $R/(b)$ для евклидова кольца $R$.
Бесплатно
О комплексном подходе к разрешению реляционно-аппозитивных неоднозначностей
Статья научная
В статье предложен метод разрешения одного частотного типа синтактико-семантической неоднозначности, предназначенный для использования в рамках задачи извлечения информации. Подход комбинирует различные способы снятия неоднозначностей в пределах предложения с выходом в дискурсивный контекст.
Бесплатно
Статья научная
В статье изложены результаты применения метода когнитивной графики к приближенному решению задачи расчета параметров внеатмосферного участка траектории спуска в атмосферы планет с орбит их искусственных спутников. Дана графическая форма представления общего решения этой задачи на примере спуска в атмосферу Земли.
Бесплатно
О некоторых возможностях локальных вычислений в теории систем и базах данных
Ред. заметка
Применительно к задачам суперкомпьютинга и сверхбольших баз данных рассматривается абстрактная топологическая концепция локальных систем и прямоточной организации вычислений при декомпозиции локальных систем. Она иллюстрируется на примерах и устанавливаются базовые результаты. Устанавливается тесная взаимосвязь абстрактного понятия локальности с конкретным понятием робастности и заодно принципиальные их отличия. Работа предполагается первой в серии работ, посвящённых методам организации вычислений над локальными системами
Бесплатно
О подходе к отождествлению сущностей в рамках задачи извлечения информации из текстов
Статья научная
В статье описан метод отождествления текстовых упоминаний лиц, опирающийся на предметные знания в форме онтологии. В основе лежит понятие референциальной совместимости, определяемой как концептуальная совместимость при условии непротиворечивости индивидных признаков. Приводятся результаты экспериментальных исследований метода.
Бесплатно
О поиске новых методов и форм решения уравнения Ламберта–Эйлера
Статья научная
В статье рассмотрены возможности употребления в качестве независимой переменной в итерационных расчетах параметров орбитальных движений истинной аномалии и эксцентриситета орбиты. Разработаны аналитические формы однозначных решений уравнения Ламберта–Эйлера в функции этих переменных для эллиптических и для всех типов орбит.
Бесплатно
О пополнении группоида до программной алгебры
Статья научная
Задача вложения конечного группоида в конечную программную алгебру имеет прикладное значение для преобразования алгоритма в форму, пригодную для вычисления на алгебраическом процессоре. Она была поставлена и решена Н. Н. Непейводой для полугрупп, затем им же было построено вложение группоида в бесконечную программную алгебру. В данной работе строится вложение конечного группоида в конечную программную алгебру, что завершает решение указанной задачи.
Бесплатно
О практических преобразованиях вырожденных задач оптимального управления
Статья научная
Рассматривается схема применения параметризованной модели управления для преобразования системы с неограниченными управляющими воздействиями к новой модели, регулярной с точки зрения применения известных общих методов оптимального управления. Заданный временной отрезок разбивается на конечное число элементарных, и рассматривается семейство таких преобразований, из которых выбирается конкретное для каждого элементарного отрезка. В результате получается управляемая система, в определенном смысле эквивалентная исходной, с которой можно оперировать как с обычной. При этом ее решение в исходном классе реализуется как импульсный режим.
Бесплатно
О представлении действительных чисел
Статья научная
Поставлена проблема представления численных данных в параллельной системе, в том числе ориентированной на обработку информации без промежуточного запоминания результатов. Проанализированы с конструктивной точки зрения позиционные системы счисления без перекрытия цифр (традиционные) и 5 перекрытием (введены в данной работе). Подробно разбирается проблема представления действительных чисел произвольной точности для целей параллельного выполнения операции сложения и гарантированной точности вычислений.
Бесплатно
О проблеме организации кластеров мультиклиентских баз данных
Статья научная
Переход к парадигме SaaS несет как множество преимуществ конечным пользователям, так и множество проблем разработчикам программного обеспечения. Одной из таких проблем является организация хранилища данных, которое могло бы удовлетворить нужды клиентов компаниипровайдера услуг, обеспечив при этом достаточно простой прикладной интерфейс для разработчиков, а также предоставить широкие возможности для администрирования и масштабирования. В данной работе проводится краткий анализ существующих проблем в области организации облачных систем хранения данных, основанных на реляционной модели, а также предлагается концепция кластера РСУБД, предназначенного для обслуживания приложений с мультиклиентской архитектурой.
Бесплатно
О процессах управления в системах взаимодействующих спинов
Статья научная
Модель управляемой квантовой системы взаимодействующих спинов на основе уравнения Шредингера, содержащего линейное неограниченное управление, преобразуется по известной из теории вырожденных задач схеме к производной системе, эквивалентной исходной, но регулярной и симметричной, что открывает новые возможности исследования для различных частных случаев. Рассматривается характерный случай, когда управляющее воздействие распространяется на все спины равномерно. В этом случае производная система становится обычным уравнением Шредингера с импульсным управлением лишь на границах временного отрезка. Предлагается эффективный алгоритм оптимизации управления.
Бесплатно
О реализации QR-разложения на трехмерном систолическом массиве
Статья научная
Интенсивные потоки данных, формирующихся систем линейных уравнений в режиме реального времени, а также системы линейных уравнений большой размерности обуславливают привлечение систолических массивов для их машинного решения. В представленном систолическом массиве, предназначенном для приведения матриц к треугольному виду, реализация ортогональных преобразований вращения может осуществляться как устройствами двумерного вращения вектора CORDIC, так и его модификациями. Для предложенного систолического массива даны описания его конфигурации, функционирования и технических характеристик, а также структуры входного и выходного потока данных.
Бесплатно
О референциальных аспектах задачи извлечения фактов
Статья научная
В статье рассмотрены некоторые референциальные особенности новостных текстов электронных СМИ, используемых системой извлечения информации в качестве материала для фактографического поиска. Целью поиска является извлечение из текстов информации об объектах и ситуациях заданного типа — о лицах, о должностях лиц в организациях и геополитических единицах, об отношениях между лицами, а также назначениях и отставках.
Бесплатно
О связи между потребностью в медицинском обслуживании и распределением продолжительности жизни
Статья научная
В статье рассмотрена возможность прогнозирования потребности в медицинском обслуживании населения с использованием плотности распределения продолжительности жизни и вероятностной зависимости потребности в медицинском обслуживании от возраста. Установлена связь между распределением продолжительности жизни и распределением возрастов пациентов. Она выражена средней продолжительностью жизни. Приведен пример распределения продолжительности жизни. Представлен в графическом виде, демонстрирующий вид найденного приближения вместе с фактическими данными. По приближению рассчитано распределение продолжительности жизни. Вероятность зависимости потребности в медицинском обслуживании от возраста приведена в статье на основе статистических данных, представлена в графическом виде. Поскольку есть связь между данной зависимостью и распределением пациентов по возрастам реализовано прогнозирование потребности в медицинском обслуживании. Приведены примеры расчета по конкретным возрастам, указана возможность расчета для всех возрастов. В результате в исследовании определена возможность прогнозирования необходимости медицинского обслуживания на основе данных о продолжительности жизни.
Бесплатно
Об одной задаче оптимизации в стационарной популяционной модели логистического типа
Статья научная
Исследуется задача оптимального управления распределением биологического сообщества в зависимости от распределения пищевого ресурса заданного объема. Модель описывается нелинейным эллиптическим уравнением логистического типа с граничными условиями Дирихле. Установлено существование решения задачи. Основной результат работы составляет доказательство необходимых условий оптимальности.
Бесплатно
