bluuebunny/crossref_metadata_2025 huggingface dataset:
Анализ подходов к обнаружению атак в зашифрованном трафике
Authors: Полянская М.С.
Published: December 2024

Задача автоматического обнаружения сетевых вторжений активно изучается с 1980-ых годов. Отдельный интерес представляет обнаружение атак в зашифрованном трафике, доля которого в Интернете возрастает. Целью данной работы было проанализировать возможные подходы к обнаружению атак в зашифрованном трафике. В разделе 3 проанализированы подходы, основанные на незашифрованных метаданных, а также на альтернативных криптосистемах. Основными методами контроля трафика являются сигнатурный (на основе правил) и поведенческий (на основе обнаружения аномалий). Задача анализа зашифрованного трафика нетривиальна и будет рассматриваться в контексте второго подхода. В данной статье рассмотрены методы машинного обучения, подходящие для решения задачи анализа зашифрованного трафика, с учётом существующей практики обнаружения атак на основе аномалий. Несмотря на большой потенциал криптографических методов, наиболее практичным подходом, на данный момент, признан анализ метаданных. Также весьма перспективны многосторонние вычисления, которые позволяют анализировать полезную нагрузку пакетов, но не требуют перехода на альтернативное шифрование.

The automatic detection of network intrusions has been under active study since the 1980s. Of particular interest is the detection of attacks in encrypted web traffic, the percentage of which on the Internet is increasing. The purpose of this article was to analyze possible approaches to detecting attacks in encrypted web traffic. Section 3 analyzes approaches based on unencrypted metadata as well as alternative cryptosystems. The main methods for controlling web traffic are the signature method (based on rules) and the behavioral method (based on anomaly detection). The task of analyzing encrypted traffic is not trivial, and it will be considered in the context of the second approach. This article discusses machine learning methods suitable for solving the problem of encrypted traffic analysis, taking into account the existing practice of detecting attacks based on anomalies. Despite the great potential of cryptographic methods, the most practical approach, at the moment, is the analysis of metadata. Multilateral computing, which allows analysis of the payload of packets, but does not require conversion to alternative encryption, is also very promising.
Реализация базовых механизмов платформы развития цифровых навыков и их применение в конструировании семантики типовых ролей кибербезопасности на основе стандарта SFIA
Authors: Белякова О.С.
Published: December 2024

В связи с цифровизацией большинства сфер человеческой деятельности особенно остро стал вопрос массового обучения ИТ-специалистов. Актуальной прикладной проблемой становится создание цифровой платформы, позволяющей организациям в режиме реального времени сообщать о потребности в специалистах, а ВУЗам реагировать на соответствующие требования и корректировать текущую программу обучения. В статье описан процесс выбора современной методологической базы для платформы развития цифровых навыков. Разработка ядра платформы становится первым шагом на пути её создания. В статье приводится пример, как при помощи навыко-ориентированного подхода исследуются профили кибербезопасности. Рассматривается применение системы управления навыками при проведении такого исследования.

Today, the issue of mass training of IT specialists is particularly acute in connection with the digitalization of most areas of human activity. An urgent applied problem is the creation of a digital platform enabling organizations to report their specialist needs in real time, and universities to respond to relevant requirements and adjust the current training program. The article describes the process of choosing a modern methodological framework for a digital skills development platform. Development of the core of the platform becomes the first step towards its creation. The article provides an example of the study of cybersecurity profiles using a skill-based approach. The application of the skills management system in conducting such a study is considered.
Оптимизация аналитических запросов в гетерогенных системах
Authors: Курапов П.А. , Мелик-Адамян А.Ф.
Published: December 2024

Согласно оценке International Data Corporation (IDC) в 2020 году человечество произвело более 64 зеттабайт данных. В ближайшие 5 лет ожидается рост этого показателя на 23% в год, что превышает скорость роста производительности аппаратуры. Агрегация и анализ больших данных потребовали развития таких технологий как Hadoop и Spark. С увеличением количества данных и сложности запросов их производительности оказывается недостаточно и требуются новые пути повышения эффективности анализа. Один из таких методов – использование специализированных аппаратных ускорителей, таких как графический процессор, для выполнения запросов и расширение иерархии используемой памяти. В статье рассматривается проблема оптимизации аналитических запросов к СУБД в основной памяти с помощью использования аппаратных ускорителей и расширения иерархии памяти. Дан обзор классических подходов к оптимизации запросов и текущего состояния области исследования гетерогенного исполнения. Разобраны достоинства и недостатки существующих решений и сформулированы нерешенные проблемы. Предложен вариант эталонной архитектуры.

According to International Data Corporation (IDC) reports, humankind produced more than 64 zettabytes of data in 2020. Global data creation and replication are expected to grow 23% annually between 2020 and 2025. Such a pace exceeds the rate of hardware performance improvement. Technologies such as Hadoop and Spark can not keep up, and new ways of increasing analytic queries performance and efficiency are required. One such technique is expanding the memory hierarchy and using specialized hardware for query processing. The article discusses query optimization problems for in-memory DBMSs using hardware accelerators. We give an overview of classical approaches to query optimization and state-of-the-art in heterogeneous query execution research. The advantages and disadvantages of existing solutions are analyzed, and gaps are identified. A reference architecture for heterogeneous query processing is proposed.
Экстраполяция решения уравнения Дуффинга при помощи RBF-сети
Authors: Лазовская Т.В. , Малыхина Г.Ф. , Пашковский Д.М. , Тархов Д.А.
Published: December 2024

В статье рассматривается проблема аппроксимации решения задачи Коши для обыкновенного дифференциального уравнения второго порядка. Схема аппроксимации основана на разложении решения по Тейлору с остаточным членом в форме Лагранжа. Остаточный член ищется в виде выхода нейронной сети с радиально-базисными функциями (RBF-сети). Представлен алгоритм обучения (выбора оптимальных параметров) RBF-сети. На примере решения задачи Коши для нелинейного дифференциального уравнения второго порядка – осциллятора Дуффинга исследовано влияние различных радиально-базисных функций на качество интерполяции и экстраполяции решения уравнения Дуффинга.

The article considers the problem of approximation of the solution of the Cauchy problem for an ordinary differential equation of the second order. The approximation scheme is based on the Taylor expansion of the solution with a remainder in the Lagrange form. The residual term is sought in the form of the output of a neural network with radial basis functions (RBF networks). An algorithm for learning (choosing the optimal parameters) of the RBF network is presented. Using the example of solving the Cauchy problem for a second-order nonlinear differential equation – the Duffing oscillator, the influence of various radial-basis functions on the quality of interpolation and extrapolation of the solution to the Duffing equation is investigated.
Векторизация программного кода, содержащего маловероятные регионы, в задачах вычислительной геометрии
Authors: Рыбаков А.А.
Published: December 2024

Повышение производительности приложений является важной практической задачей для проведения суперкомпьютерных расчетов. Наряду с распараллеливанием вычислений между узлами кластера (например, средствами MPI), а также с многопоточным программированием (например, с помощью OpenMP) используется векторизация программного кода, обеспечивающая параллелизм на уровне отдельных инструкций. Набор векторных инструкций AVX-512 микропроцессорной архитектуры Intel, обладает рядом уникальных возможностей, с помощью которых можно векторизовать программный код из очень широкого спектра задач. Использование специальных масочных регистров позволяет эффективно векторизовать код, содержащий условные операторы, а использование профильной информации о вероятности выполнения операций в исходной коде позволяет выполнять преобразования кода, приводящие к еще более эффективному применению автоматической векторизации. В работе рассматривается преобразование расщепления плоского цикла по условию, когда известно, что данное условие выполняется с высокой вероятностью. Рассматриваются практические задачи, в которых присутствует данный контекст. Для этих задач выделены условия для расщепления циклов для достижения эффективной векторизации. Описанные преобразования были выполнены, а эффективность результирующего кода проверена запусками на микропроцессорах семейств Intel Xeon Cascade Lake и Intel Xeon Phi Knights Landing, представлены результаты выполнения запусков.

Improving application performance is an important practical task for supercomputer calculations. Along with parallelization of calculations between cluster nodes (for example, using MPI tools), as well as multithreaded programming (for example, using OpenMP), program code vectorization is used, which provides parallelism at the level of individual instructions. The AVX-512 vector instruction set of the Intel microprocessor architecture has a number of unique features that can be used to vectorize program code from a very wide range of applications. The use of special mask registers makes it possible to effectively vectorize code containing conditional statements, and the use of profile information about the probability of performing operations in the source code allows performing code transformations that lead to even more efficient use of automatic vectorization. The paper considers the splitting transformation of a flat loop by a condition when we have knowledge about of a high probability of this condition. Practical problems in which this context is present are considered. For these problems, the conditions for splitting cycles to achieve efficient vectorization are highlighted. The described transformations were performed, and the effectiveness of the resulting code was verified by runs on microprocessors of the Intel Xeon Cascade Lake and Intel Xeon Phi Knights Landing families, the results of the runs are presented.
Data Mining under the System of Managerial Skills: Shipbuilding Sphere Application
Authors: Kirilchuk S.P. , Knyazeva D.S.
Published: December 2024

The article discusses such modern methods and tools of artificial intelligence as applied to solving some problems of the Russian shipbuilding market. Researching cases present an example of an algorithm for experimental model of artificial intelligence and its mathematical formalization under environments of forecasting the dynamic development indicators of Russian shipbuilding industry. The article shows that the use of modern data mining methods and tools is in demand from the point of view of solving a wide class of applied problems, such as modeling the economic environment and business activity, trends and tendencies in various markets of developed and developing countries in the context of the cyclical nature of the world economy as a whole. In addition, such methods and tools are characterized by a high demand on the part of society in terms of developing (designing) experimental models for analyzing the evolutionary processes and functioning of complex socio-economic systems, which include high-tech sectors of the Russian industry, determining effective directions for the development of such systems. The article provides an example of an initiative research project that illustrates the formulation of a specific applied economic problem and its possible solution using methods and tools of artificial intelligence.

применяются к решению некоторых задач судостроительного рынка России. Исследованные случаи представляют пример алгоритма экспериментальной модели искусственного интеллекта и его математической формализации в условиях прогнозирования динамических показателей развития судостроительной отрасли России. В статье показано, что использование современных методов и инструментов интеллектуального анализа данных востребовано с точки зрения решения широкого класса прикладных задач, таких как моделирование экономической среды и деловой активности, трендов и тенденций на различных рынках развитых и развивающихся стран в контексте циклического характера мировой экономики в целом. Кроме того, такие методы и инструменты характеризуются высокой востребованностью со стороны общества в плане разработки (проектирования) экспериментальных моделей для анализа эволюционных процессов и функционирования сложных социально-экономических систем, к которым относятся высокотехнологичные отрасли российской промышленности, определяющие эффективные направления развития таких систем. В статье приводится пример инициативного исследовательского проекта, который иллюстрирует постановку конкретной прикладной экономической проблемы и ее возможное решение с использованием методов и инструментов искусственного интеллекта.
Оптимизация условных переходов с учетом векторных возможностей потока управления Intel GPU
Authors: Владимиров К.И. , Тарасов Ю.В.
Published: December 2024

При оптимизации программ для графических ускорителей и видеокарточек особую роль играют оптимизации потока управления. Кроме оптимизаций скалярного потока управления, широко известных и хорошо представленных в современных компиляторах, существует также актуальная проблема оптимизаций векторного потока управления. Векторный поток управления, с одной стороны, является естественным для языков высокого уровня, таких как ISPC и CM, где векторные управляющие конструкции являются частью семантики обычных программ. С другой стороны, векторные примитивы, в том числе для векторного потока управления представлены в современных графических ускорителях, например Intel XE. Поддержка в аппаратуре позволяет существенно улучшить производительность программ. Главной проблемой на этом пути является отсутствие векторных управляющих конструкций в стабильном промежуточном представлении. В этой работе предлагается промежуточное скалярное представление для векторных управляющих конструкций через явные предикаты и алгоритм восстановления векторного потока управления по этому представлению в графическом оптимизаторе.

Control flow optimizations are of particular importance when optimizing programs for graphics accelerators and video cards. In addition to scalar control flow optimizations, which are widely known and well represented in modern compilers, there is also a current issue of vector control flow optimizations. On the one hand, vector control flow is natural for high-level languages such as ISPC and CM, where vector control constructs are part of the semantics of ordinary programs. On the other hand, vector primitives, including those for vector control flow, are present in modern graphics accelerators, such as Intel XE. Support in the hardware can significantly improve the performance of programs. In this case, the main problem is the lack of vector control structures in a stable intermediate representation. This paper proposes an intermediate scalar representation for vector control structures through explicit predicates and an algorithm for restoring the vector control flow from this representation in a graphical optimizer.
Алгебра конечных автоматов как математическая модель цифрового двойника умного производства
Authors: Гапанович Д.А. , Сухомлин В.А.
Published: December 2024

Статья посвящена разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. Основное внимание уделяется изучению операций композиции де-терминированных конечных автоматов, позволяющих строить модели составных активов из более простых. В алгебру DTA включены как общеизвестные операции, например, операция прямого произведения автоматов и операция суперпозиции автоматов, так и вновь введенные операции, включая: операции группирования конечных автоматов в параллельный блок, группирования иерархической структуры, системной композиции, ассоциации между автоматами, рекурсивного вызова автомата, асинхронного вызова автомата. Предложенный математический аппарат может использоваться для разработки формальных моделей физических активов производства, их цифровых двойников, а также моделей поведения киберфизических систем, включающих как физические, так и виртуальные активы.

The article is devoted to the development of the finite automata algebra of a special type DTA (Digital Twin Algebra), designed for mathematical modeling of production digital twins. The main attention is paid to the study of the composition operations of deterministic finite automata, which allow building models of composite assets from simpler ones. The DTA includes both well-known operations, for example, the operation of direct product of automata and the operation of superposition of automata, and newly introduced operations, including: operations of grouping finite automata into a parallel block, grouping of hierarchical structure, system composition, association between automata, recursive invocation of the automaton, asynchronous call of the automaton. The proposed mathematical apparatus can be used to develop formal models of behavior of production physical assets, their digital twins, as well as models of cyber-physical systems behavior, including both physical and virtual assets
Emulators of Quantum Computers on Qubits and on Qudits
Authors: Andreev A.S. , Khrapov P.V.
Published: December 2024

Quantum computing is still a developing, but an extremely promising area. The article lays out the main ideas behind quantum computing in simple terms. The topic of quantum computers based on qudits - multidimensional analogues of qubits, which have recently received much attention due to their efficiency, is also covered The fundamentals of quantum mechanics, which are necessary for understanding the principles of operation of a quantum computer, such concepts as qubits and qudits, linear operators, the measurement process, etc are introduced. As an example of quantum computing, the principle of operation of the Deutsch-Jozsa algorithm, one of the first quantum algorithms to demonstrate their advantages, and its generalization to qudits, are analyzed in detail. The process of writing the simplest quantum computer emulator in the Python programming language is described step by step. The emulator operates with an arbitrary number of qubits and allows you to apply arbitrary operators to them and carry out multiple measurements of the final state of the qubit. A generalization of this emulator for working with qudits is given after that. To demonstrate the emulator we have written, we present programs that implement the Deutsch-Jozsa algorithm and its generalizations on it, and test them.

Квантовые вычисления — это развивающаяся и чрезвычайно перспективная область. В статье простыми словами изложены основные идеи, лежащие в основе квантовых вычислений. Также освещается тема квантовых компьютеров на основе кубитов - многомерных аналогов кубитов, которым в последнее время уделяется большое внимание благодаря их эффективности. Вводятся основы квантовой механики, которые необходимы для понимания принципов работы квантового компьютера, такие понятия, как кубиты и кудиты, линейные операторы, процесс измерения и т.д. В качестве примера квантовых вычислений подробно анализируются принцип работы алгоритма Дойча-Йожа, одного из первых квантовых алгоритмов, продемонстрировавшего свои преимущества, и его обобщение на кудиты. Пошагово описан процесс написания простейшего эмулятора квантового компьютера на языке программирования Python. Эмулятор работает с произвольным количеством кубитов и позволяет применять к ним произвольные операторы и проводить множественные измерения конечного состояния кубита. После этого дается обобщение этого эмулятора для работы с кудитами. Чтобы продемонстрировать написанный нами эмулятор, мы представляем программы, реализующие алгоритм Дойча-Йожа и его обобщения на нем, и тестируем их.
Вероятностные сетевые модели исследования типовых технологических схем обработки информации в аналитических центрах
Authors: Леонтьев А.С. , Головин С.А. , Гусев К.В.
Published: December 2024

Целью работы является автоматизация исследования процессов подготовки информационно-аналитических материалов (ИАМ) на основе разработки функциональных и сетевых вероятностных моделей анализа типовых технологических схем выпуска ИАМ в вычислительных центрах, построенных на базе локальных вычислительных сетей. Основными методами исследования являются методы теории вероятностей, теории случайных процессов и теории массового обслуживания. На основе теории случайных процессов разработан математический аппарат для аналитического исследования вероятностных сетевых моделей анализа временных характеристик процессов подготовки ИАМ. Результаты. Получены функциональные уравнения и расчетные соотношения, позволяющие провести многовариантный анализ различных схем подготовки документов и выявить узкие места основных типовых технологий подготовки ИАМ.

The aim of the work is to automate the study of the information and analytical materials (IAM) preparation based on the development of functional and network probabilistic models for the analysis of typical technological schemes to produce IAM in computing centers based on local computer networks. The main research methods are probability theory methods, theory of random processes and theory of queuing. Based on the theory of random processes, a mathematical apparatus has been developed for the analytical study of probabilistic network models for analyzing the time characteristics of IAM preparation processes. Results. Functional equations and calculation ratios have been obtained that make it possible to carry out a multivariate analysis of various schemes for preparing documents and to identify bottlenecks in the main typical technologies for preparing IAM.
Программное обеспечение для моделирования сложных динамических систем управления с нестабильными параметрами
Authors: Езангина Т.А. , Гайворонский С.А.
Published: December 2024

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

The article describes the SLIS software package developed to study the robust properties of automatic control systems with interval parameters. This software package allows at various types of uncertainty in the coefficients of the characteristic polynomial of the system to determine the boundaries of the regions of localization of poles and zeros; to build multi-parameter interval root locus; to obtain transient processes and impulse responses of interval systems at the vertices of the polyhedron of coefficients of the characteristic polynomial. The SLIS software package has the ability to simulate control systems with interval parameters in automatic or interactive modes. The operation of the SLIS software package was tested on the example of simulation modeling of the channel for controlling the movement of an uninhabited underwater vehicle along its longitudinal axis.
Моделирование функционирования шахты средствами алгебры конечных автоматов DTA
Authors: Гапанович Д.А. , Сухомлин В.А.
Published: December 2024

Данная статья является продолжением предыдущей работы авторов, посвященной разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. В данной работе для математического моделирования функционирования двойников используется аппарат алгебры DTA в виде систем конечных автоматов, согласованных по событиям или event matched machines - сокращенно – EMM-систем, при этом автоматы (квазиавтоматы) таких систем рассматриваются как имеющие специализированную многосортную структуру и соответствующую интерпретацию поведения. Многосортность структуры автоматов реализуется разбиением состояний квазиавтоматов EMM-систем на непересекающиеся классы, а именно множества их состояний разбиваются на два класса – A (состояния режимов функционирования объекта, моделируемого с помощью КА) и B(состояния производственной деятельности объекта). Такие КА называются двудольными КА или сокращенно BPA (Bipartite automaton). Используя наглядное графическое представление таких двудольных автоматов в виде диаграмм Мура, рассмотрен пример описания функционирования оборудования и средств некоторой воображаемой шахты горнодобывающего предприятия, демонстрирующий наглядность и адекватность средств предложенного аппарата для моделирования поведения аналогичных объектов производства.

This article is a continuation of the authors' previous work devoted to the development of the algebra of finite automata of the special type DTA (Digital Twin Algebra), designed for mathematical modeling of the behavior of digital twins of production. In this work, the mathematical modeling of the functions of twins uses the DTA algebra apparatus in the form of systems of event-matched finite automata or event matched machines - abbreviated - EMM-systems, while automata (quasi-automata) of such systems are considered as having a specialized multi-sorted structure and an appropriate interpretation of behavior. The multi-sorted structure of automata is realized by dividing the states of quasi-automatic machines of EMM systems into non-intersecting classes, namely, the sets of their states are divided into two classes - A (states of the modes of operation of an object modeled using FSA) and B (states of the production activity of an object). Such FSAs are called bipartite FSAs or abbreviated as BPA (Bipartite Automaton). Using a graphical view of such bipartite automata in the form of Moore diagrams, an example of describing the functioning of equipment and facilities of some imaginary mine of a mining enterprise is considered. This example demonstrates the clarity and adequacy of the means of the proposed apparatus for modelling the behavior of similar production facilities.
Об одном режиме работы блочных шифров, используемом для защиты информации на носителях с блочно-ориентированной структурой
Authors: Фирсов Г.В. , Коренева А.М.
Published: December 2024

В 2021 году в Российской Федерации технический комитет по стандартизации «Криптографическая защита информации» (ТК 26) принял методические рекомендации, определяющие режим работы блочных шифров (под названием DEC), используемый для защиты носителей информации с блочно-ориентированной структурой. Несмотря на ряд достоинств, режим DEC имеет эксплуатационные особенности, из-за чего востребован синтез альтернативных режимов для полнодискового шифрования, в частности, применимых для шифрования системных дисков. Известно, что в большинстве существующего ПО для шифрования системных дисков используется режим XTS, однако он имеет особенности, изучение которых является актуальной задачей. В настоящей работе предлагается методика оценки уровня информационной безопасности режимов работы блочных шифров с учётом специфики полнодискового шифрования и использованием техники доказуемой стойкости, рассматриваются некоторые атаки на режим XTS и предлагается его модификация – режим XEH (Xor-Encrypt-Hash), для которого получается нижняя граница оценки уровня информационной безопасности.

This research purpose is to develop a reduction-based method for analysis of cryptographic properties of block cipher modes of operation in context of full disk encryption (FDE) via provable security technique, to study weaknesses of widely spread among existing FDE solutions mode XTS through building an adversary, that breaks security of XTS, and then to create a variation of the mode, that fixes detected weaknesses. This new mode of operation is called XEH (Xor-Encrypt-Hash) and it uses “light-weight” polynomial permutation for mixing blocks of a sector after their “XTS-like” encryption. The proposed block cipher mode of operation does not require any space for additional data, and it allows us to use it for system disk encryption, unlike DEC mode proposed in the end of 2021 by TC 26. XEH was proved to be secure in a provable security model, which is described in this paper. This mode is compared with the existing ones, which can be used to encrypt block-oriented devices: it was shown, that XEH provides higher security bound, than other compared modes, and involves almost no degradation in performance with respect to XTS.
Программное обеспечение для исследования робастных свойств и синтеза регуляторов систем автоматического управления с интервальными параметрами
Authors: Езангина Т.А. , Гайворонский С.А.
Published: December 2024

В статье разработан программный комплекс RASLIS, в основу которого положены полученные авторами алгоритмы робастного анализа и синтеза интервальных систем управления с аффинной неопределенностью коэффициентов характеристического полинома. Программный комплекс RASLIS позволяет формировать на основе многогранника коэффициентов полинома граничный вершинно-реберный маршрут и в результате его отображения на корневую плоскость определять корневые показатели робастного качества системы. Он также позволяет проводить параметрический синтез линейных робастных регуляторов на основе критерия максимальной степени робастной устойчивости. Программный комплекс RASLIS имеет возможность анализировать и синтезировать указанные системы в автоматическом или диалоговом режимах. Работа программного комплекса RASLIS апробирована на примере анализа корневых показателей робастного качества и синтеза робастного регулятора системы управления движительно-рулевым комплексом подводного аппарата.

In the article, the RASLIS software package is developed, which is based on the algorithms of robust analysis and synthesis of interval control systems obtained by the authors with affine uncertainty of the coefficients of the characteristic polynomial. The RASLIS software package allows you to form a boundary vertex-edge route based on the polyhedron of polynomial coefficients and, as a result of its mapping to the root plane, determine the root indicators of the robust quality of the system. It also allows parametric synthesis of linear robust controllers based on the criterion of the maximum degree of robust stability. The RASLIS software package has the ability to analyze and synthesize these systems in automatic or interactive modes. The work of the RASLIS software package was tested on the example of the analysis of the root indicators of robust quality and the synthesis of a robust controller of the control system of the propulsion and steering complex of the underwater vehicle.
Количественные характеристики безопасности программ
Authors: Куликовская А.А. , Доренская Е.А. , Семенов Ю.А.
Published: December 2024

Качество программ принято характеризовать числом ошибок на 1000 строк кода. Эта характеристика получается в результате регрессионного анализа числа выявленных ошибок в последовательных версиях кода с последующей экстраполяцией в отдаленное будущее. Данная процедура является очень трудоемкой даже для крупных компаний. Проверить достоверность такой оценки для обычных пользователей как правило довольно сложно. Такая проблема возникает из-за недоступности исходных данных. Существуют различные способы оценки числа ошибок в программе, например, модель Шумана, Муса, Ла Падула, Джелинского-Моранды, Шика-Волвертона, модель переходных вероятностей, статистическая модель Миллса, простая интуитивная модель, модель Липова, Коркорэна, Бернулли, Нельсонаи т.д.. Часто приходится иметь дело с программами, в которых формально нет ошибок, при этом их качество на первый взгляд не очевидно. В данной статье предложен новый метод количественной оценки качества программ, написанных на языке Perl. Данный метод позволяет выявить места в программах, где могут быть допущены ошибки. В отличие от существующих алгоритмов данный метод позволяет оценивать качество программы, анализируя стиль написания ее кода. Предлагаемый метод оценки качества применим к любым программам, написанным на алгоритмических языках высокого уровня с открытыми кодами (Python, Perl, PHP и т. д.).В том числе его можно использовать для сравнения качества и выбора программ, решающих одну и ту же задачу.

The program quality is used to be characterized with error number per 1000 code lines. This parameter is calculated by a statistical regressive analysis of error numbers for successive code versions, with a subsequent extrapolation for the future. This procedure is very tedious even for large companies. It is very hard to verify this estimate for common users, as they have no initial data. There are a lot of methods to estimate code error number, e.g., models Shooman, Musa, Bell-LaPadula, Jelinski-Moranda, Schick-Wolverton, Mills, Lipov, Corcoran, Bernoulli simple intuitive software reliability model, Nelson's software reliability. But often we deal with programs that formally have no errors, at the same time their quality is not evident. The method is proposed to estimate quantitatively a code quality for Perl-routines. This method can identify weaknesses in certain program components, where errors are possible. The proposed method is based on programming style analysis. The method is applicable for any programs with open sources (Python, Perl, PHP, etc). The method can be used for quality comparison and choice of the programs solving similar tasks.
«Оговорка о публичном порядке» как механизм защиты интересов государства при трансграничном банкротстве
Authors: Свирин Ю.А.
Published: December 2024

В статье рассматриваются некоторые проблемы толкования оговорки о публичном порядке при трансграничном банкротстве. Поскольку конструкция «публичный порядок» в доктрине и практике не нашла единообразного правопонимания, по мнению автора такая гибкость концепции публичного порядка предполагает оставить вопрос о достаточном основании применения оговорки о публичном порядке на рассмотрение суда. Также необходимо дифференцировать материальную и процессуальную сторону оговорки о публичном порядке, поскольку это имеет большое практическое значение при трансграничном банкротстве: последствия применения «процессуального» публичного порядка шире, чем последствия «материального» публичного порядка.

The article discusses some problems of interpretation of the public policy clause in cross-border bankruptcy. Since the construction of “public order” in doctrine and practice has not found a uniform legal understanding, in the author’s opinion, such flexibility of the concept of public order suggests leaving the question of a sufficient basis for applying a public order clause to the court. According to the author, it is also necessary to differentiate the material and procedural aspects of the public order clause, since this is of great practical importance in cross-border bankruptcy, because the consequences of "procedural" public policy are broader than those of "substantive" public policy.
MULTI-VARIANCE ANALYSIS OF CONTENT MARKETING EFFECTS ON CUSTOMER ENGAGEMENT FROM PT WOW INSTAGRAM HALAL COSMETICS
Authors: Noer Bustanul Arifin , Baraja Adibah Ali , Wicaksono Adhika Putra
Published: December 2024

The growth of the global cosmetic industry, including in Indonesia, is supported by technology and internet development, with Instagram content marketing playing a key role in shaping positive brand meaning through customer engagement. This study aims to analyse the role of content marketing aspects on customer engagement. This research used a quantitative approach based on data collected through PT WOW's Instagram posts. MANOVA is used to analyse the influence of several independent variables (content marketing aspects) on more than one dependent variable (number of likes and comments) simultaneously. A total of 1,119 posts were collected over the last 20 months, recorded based on the number of likes, comments, and content. The results of this study state that uploads containing the call to win, the call to act, and the pure question will generate higher customer engagement. Uploads containing benefit-centric content can also create higher customer engagement. Companies can use the managerial implications of this research to select content to be uploaded and aim to attract consumers and increase consumer engagement.JEL: M20, M31.
The Effect of Alkyl Termination on the Optical and Electronic Properties of Silicon Nanoparticles
Authors: Madden Eimear , Zwijnenburg Martijn
Published: December 2024

In this study, we use a combination of (time-dependent) density functional theory and many-body perturbation theory methods to study the impact of alkyl termination on the optical and electronic properties of silicon nanoparticles (SiNPs), as well as the effect of increasing particle size. A comparative study of hydrogen and methyl-terminated SiNPs reveals that replacing hydrogen atoms with methyl groups results in a reduction of the fundamental gap, optical gap, and exciton binding energy. The effect of replacing hydrogen by methyl diminishes with increasing size of the silicon core of the particles, which can be attributed to the decreasing surface-to-volume ratio. Larger hydrogen-terminated SiNPs, therefore, serve as increasingly accurate models for alkyl-terminated SiNPs. The size of the lowest energy excited-state, exciton, increases when replacing (more of the) hydrogen atoms with methyl groups for a given silicon core size, suggesting that the exciton delocalises onto the methyl groups. Analysis of the relevant natural transition orbitals confirms that both the excited electron and hole components of the exciton partially delocalise on to the methyl groups, with increased delocalisation in the case of the excited electron. The reduced fundamental and optical gaps and exciton binding energy in methyl-terminated SiNPs, and probably by extension alkyl terminated SiNPS in general, are likely due to the electron-donating nature of methyl groups combined with exciton delocalisation.
Cage Alkyl Carbenes Provide Experimental Evidence for Isotope-Controlled Selectivity
Authors: Danho Akkad , Bernhardt Bastian , Gerbig Dennis , Alešković Marija , Schreiner Peter Richard
Published: December 2024

We report the gas-phase synthesis and reactivity of adamantylidene and pentacyclo[5.4.0.02.6.03.10.05.9]undecanylidene. The latter, a previously unreported carbene, represents only the second alkyl carbene spectroscopically characterized to date. The singlet carbenes were generated through irradiation of their corresponding diazirine precursors followed by trapping the products in argon or nitrogen matrices at 3.5 K. Analyses using IR and UV/Vis spectroscopy, together with density functional theory computations provide strong evidence for the successful preparation of these reactive species. Adamantylidene (∆EST = –3.0 kcal mol–1) undergoes a slow hitherto unreported but theoretically predicted quantum mechanical tunneling (QMT) C–H-bond insertion and ring-closure to 2,4-dehydroadamantane. In contrast, pentacyclo[5.4.0.02.6.03.10.05.9]undecanylidene (∆EST = –5.2 kcal mol–1) remains unchanged under cryogenic conditions but rearranges to homohypostrophene upon = 627 nm irradiation. Attempts to prepare protoadamantylidene (∆EST = –5.1 kcal mol–1) in a similar fashion did not allow the direct observation of the free carbene, but enabled follow-up QMT reactions, whose selectivities are determined by the 1H and 2H isotopologs, thereby demonstrating isotope-controlled selectivity (ICS).
Adverse reactions in the treatment of patients with non-tuberculous lung mycobacterial pulmonary disease and the possibility of their solution
Authors: Vladimirova Elena B. , Shmelev Evgene I. , Zaytseva Anna S. , Kasimtseva Svetlana A. , Shchepikhin Evgeniy I. , Smirnova Tatiana G. , Makaryants Natalia N.
Published: December 2024

Aim. To study the adverse reactions that develop as a result of complex antibiotic therapy in patients with non-tuberculous lung mycobacterial (NTML) and to determine methods for their elimination without compromising the effectiveness of NTML treatment.
Materials and methods. Examined 147 patients with confirmed NTML, for which they received treatment in accordance with the results of drug susceptibility of the pathogen. Before and during treatment, a study of clinical, biochemical blood tests, urinalysis, electrocardiogram, external respiration function, ultrasound of the abdominal organs and kidneys was performed.
Results. Under the conditions of antimicrobial therapy (AMT) for non-tuberculous mycobacteriosis of the lungs, 41 (27.9%) patients developed adverse drug reaction (ADR). The most frequent adverse reactions were: allergic reactions in the form of urticaria, nausea, vomiting, arthralgia, nephro- and ototoxic reactions; 34 (82.9%) patients required treatment adjustment without discontinuation of AMT, and only in 7 (17.1%) cases, AMT was discontinued. A full course of multicomponent AMT was completed in 124 (84.4%) patients with NTML. An algorithm for monitoring therapy in NTML patients from the standpoint of preventing ADR has been developed. The categories of patients with potential risks of developing ADR under AMT were determined. Patients without the development of ADR had a positive radiological dynamics in 27.9% of cases, sputum conversion – in 42%. Patients with ADR had positive clinical dynamics in 39% of cases, radiological – in 31.7% of cases, sputum conversion – in 36.6% of cases.
Conclusion. The incidence of ADR development remains high when complex AMT is administered to patients with NTML. The patient's comorbid background is the main risk factor for the development of ADR when prescribing multicomponent AMT. A multivariate analysis of the effectiveness of treatment in NTML patients showed comparable data among patients taking complex AMT and receiving only alternative therapies. The success of NTML treatment depends on a comprehensive personalized approach.
Treatment patients with musculoskeletal chest wall pain using standard and complex therapy
Authors: Barinov Aleksey N. , Iakovleva Evgeniya V.
Published: December 2024

Background. Nonsteroidal anti-inflammatory drugs, muscle relaxants, massage, physiotherapy procedures (standard therapy –ST) are widely used in chronic the chest wall pain syndrom (CWPS). Complex therapy (CT) is more effective with CWPS, including additionally personalized kinesiotherapy, psychological treatment methods and the introduction of anesthetics and corticosteroids into the area of identified sources of pain. There are few studies comparing the effectiveness of standard and complex therapy in CWPS, which was the purpose of our study.
Aim. To compare the effectiveness of ST and CT for patients with CWPS.
Materials and methods. One hundred four patients with CWPS were observed, of which 52 patients (19 men and 33 women, 49±14.6 y.o.) received ST, 52 patients (20 men and 32 women, 47±15.8 y.o.) received CT. Pain intensity was assessed using a digital rating scale, the presence of mental disorders – according the Hospital Anxiety and Depression Scale (HADS), functional status – according to the Oswestry questionnaire, quality of life – according to the SF-12 questionnaire.
Results. After 6 months of therapy, the decreases were observed in the intensity of pain from 6.32±0.48 to 3.53±1.9 points in the ST group and from 6.64±0.75 to 2.67±3.2 points in the CT group (p0.001). A decrease in the severity of depression on the HADS scale from 7.78±0.46 to 6.36±2.6 points in the ST group and from 7.69±3.4 to 5.83±3.4 points in the CT group (p0.001). A decrease in the severity of anxiety on the HADS scale from 10.47±0.63 to 7.63±2.5 points in the ST group from 10.53±0.58 to 6.42±4.2 points in the CT group (p0.001). Reduction of functional disorders on the Oswestry scale from 41.14±0.78 to 22.07±14.2% in the ST group and from 40.91±0.56 to 19.1±17.4% in the CT group (p0.001). Improvement of the quality of life according to the SF-12 questionnaire from 35.01±0.84 to 19.3±21.2 points in the ST group and up to 35.12±0.03 to 13.7±9.8 points in the CT group (p0.001).
Conclusion. CT in comparison with ST reduces pain more significantly, improves the functional and emotional state of patients, and improves the quality of life. Widespread introduction of CT CWPS into real clinical practice is recommended.
Artery of Percheron stroke: A review
Authors: Kulesh Aleksey A. , Demin Dmitry A.
Published: December 2024

Ischemic stroke caused by the obstruction of the artery of Percheron is a rare type of ischemic stroke, in which one arterial branch supplying blood to both thalamuses and the middle brain is occluded, which leads to the depression of consciousness, paresis of vertical vision, and cognitive impairment. Due to the atypical symptoms ("stroke-chameleon"), the diagnosis is often not verified in time, which deprives the patient of the most effective treatment – thrombolytic therapy. The review aims to increase clinicians' awareness of this subtype of stroke.