Дослідження складності конструктивно-продукційних моделей зон рекуперації постійного струму

UKR: Магістерська робота виконана на 80 сторінках, містить 20 рисунків, 28 таблиць та 30 використаних джерел. У магістерській роботі розглянуто підхід до кількісної оцінки складності конструктивно-продукційних моделей зон рекуперації постійного струму на основі метрик Холстеда. Запропоновано інтерпретацію елементів формалізованого опису, де операції та зв’язки розглядаються як оператори, а позначення, константи та параметри – як операнди, що дає змогу обчислювати показники 𝑛1, 𝑛2, 𝑁1, 𝑁2 та похідні метрики обсягу, складності й зусилля. Розроблено програмний засіб на базі Electron, Svelte та TypeScript, який виконує вилучення LaTeX-виразів з документів, автоматично розраховує метрики та візуалізує результати для порівняння моделей. Мета роботи полягає у дослідженні та кількісному порівнянні складності КПМ зон рекуперації за допомогою розробленого інструментарію. Об’єкт дослідження – процеси аналізу та оцінки складності формалізованих моделей на прикладі КПМ зон рекуперації постійного струму.

ENG: Master’s thesis is performed on 80 pages, contains 20 figures, 28 tables, and 30 sources used. In the master’s thesis, an approach to quantitative complexity assessment of constructive-production models of DC recuperation zones based on Halstead metrics is considered. An interpretation is proposed in which operations and relations are treated as operators, while symbols, constants, and parameters are treated as operands, enabling the calculation of 𝑛1, 𝑛2, 𝑁1, 𝑁2 and the derived volume, difficulty, and effort metrics. A software tool based on Electron, Svelte, and TypeScript was developed to extract LaTeX expressions from documents, convert them into the MathJSON semantic representation, automatically compute the metrics, and visualize results for model comparison. The purpose of the work is to study and quantitatively compare the complexity of CPMs of DC recuperation zones using the developed tool. The object of the research is the processes of analyzing and assessing the complexity of formalized models using CPMs of DC recuperation zones as an example.