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