English language
2025 год, том 29, выпуск 4 (PDF)
В статье описывается алгоритмический язык ЛОС (логическое описание ситуаций). Описываются основные операторы языка, редактор программ ЛОС, и показано как можно отлаживать программы на ЛОС.
Ключевые слова: решатель математических задач, логические процессы, логический язык, логическая формализация задач.
Рассматриваются фазовые переходы в многокомпонентных растворах нефти. Предложены зависимости для молярных объемов газовой и жидкой фаз, учитывающие особенности поведения растворов — изменения концентраций на фазовых переходах. Функции позволяют с высокой точностью аппроксимировать реальные зависимости, строить аналитические модели с фазовыми переходами в широких диапазонах давлений и температур.
Ключевые слова: углеводородные растворы, фазовое равновесие, математическое моделирование, термодинамика.
Для графа \[H\] в задаче \[Surj-Hom(H)\] по данному графу \[G\] требуется определить, существует ли сюръективный гомоморфизм из \[G\] на \[H\]. В данной работе мы изучаем сложность задачи \[Surj-Hom\] для графов, которые получаются из неориентированных циклов добавлением ориентации некоторым рёбрам, и в которых каждая вершина содержит петлю. Мы рассматриваем задачу \[Surj-Hom\] как частный случай массовой задачи сюръективного удовлетворения ограничениям \[SCSP\]. Мы вводим свойство, которое позволяет определять сложность \[SCSP\] с помощью сведения. Мы используем это свойство и определяем сложность \[Surj-Hom\] для всех рассматриваемых циклов, кроме трёх циклов длины \[4\], \[5\] и \[6\].
Ключевые слова: cюръективный гомоморфизм графов, сложность вычислений, удовлетворение ограничениям, полиморфизм.
У линейных дефинитных автоматов выходные сигналы в каждый момент зависят лишь от ограниченного числа последних входных значений. В работе исследуется вопрос функциональной полноты относительно оператора аппроксимационного замыкания для класса линейных дефинитных автоматов над полем из двух элементов. Для обозначенного множества автоматов получен критерий полноты, сформулированный в виде системы предполных классов.
Ключевые слова: аппроксимационное замыкание, линейные автоматы, дефинитные автоматы.
Класс конечных автоматов конечно порожден по операциям композиции [1]. Важными его подклассами являются классы автоматов с линейными функциями выходов. Набор операций над автоматами, состоящий из подстановки переменных, подстановки автоматов и обратной связи, мы называем ограниченной композицией. По операциям ограниченной композиции класс одноместных автоматов замкнут. В настоящей работе показано, что в классе одноместных конечных автоматов с линейными функциями выходов и операциями ограниченной композиции отсутствуют конечные полные множества, но автоматы из этого класса, реализуемые схемами с не более чем одной задержкой, порождают этот класс.
Ключевые слова: конечные автоматы, операции композиции для автоматов, конечные автоматы с линейными выходами.