В статье описывается алгоритмический язык ЛОС (логическое описание ситуаций). Описываются основные операторы языка, редактор программ ЛОС, и показано как можно отлаживать программы на ЛОС.

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

Для графа \(\mathcal{H}\) в задаче \(\mbox{Surj-Hom}(\mathcal{H})\) по данному графу \(\mathcal{G}\) требуется определить, существует ли сюръективный гомоморфизм из \(\mathcal{G}\) на \(\mathcal{H}\). В данной работе мы изучаем сложность задачи \(\mbox{Surj-Hom}\) для графов, которые получаются из неориентированных циклов добавлением ориентации некоторым рёбрам, и в которых каждая вершина содержит петлю.

Мы рассматриваем задачу \(\mbox{Surj-Hom}\) как частный случай массовой задачи сюръективного удовлетворения ограничениям \(\mbox{SCSP}\). Мы вводим свойство, которое позволяет определять сложность \(\mbox{SCSP}\) с помощью сведения. Мы используем это свойство и определяем сложность \(\mbox{Surj-Hom}\) для всех рассматриваемых циклов, кроме трёх циклов длины \(4\), \(5\) и \(6\).

У линейных дефинитных автоматов выходные сигналы в каждый момент зависят лишь от ограниченного числа последних входных значений.

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

Класс конечных автоматов конечно порожден по операциям композиции [1]. Важными его подклассами являются классы автоматов с линейными функциями выходов. Набор операций над автоматами, состоящий из подстановки переменных, подстановки автоматов и обратной связи, мы называем ограниченной композицией. По операциям ограниченной композиции класс одноместных автоматов замкнут. В настоящей работе показано, что в классе одноместных конечных автоматов с линейными функциями выходов и операциями ограниченной композиции отсутствуют конечные полные множества, но автоматы из этого класса, реализуемые схемами с не более чем одной задержкой, порождают этот класс.