PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Вирішення оптимізаційних задач для систем масового обслуговування з відмовами в умовах невизначеності
No full textThe mathematical models of the functioning quality of computer networks that can be represented in the form of queuing networks with failures are described. The problems of optimizing the functioning quality of such networks under given constraints on the maximum bandwidth of communication channels and allocated to upgrade the network resources are defined. Algorithms that allow solving optimization problems within the specified limits are built.Prombles in programming 2011; 4: 108-117Построены математические модели расчета показателей качества функционирования вычислительных сетей, которые можно представить в виде сетей массового обслуживания с отказами. Сформулированы задачи оптимизации показателей качества функционирования таких сетей при заданных ограничениях на максимальную пропускную способность каналов связи и на выделяемые для модернизации сети ресурсы. Построены алгоритмы, которые позволяют решать поставленные оптимизационные задачи в рамках оговоренных ограничений.Prombles in programming 2011; 4: 108-117Побудовані математичні моделі розрахунку показників якості функціонування обчислювальних мереж, які можна представити у вигляді мереж масового обслуговування з відмовами. Сформульовано задачі оптимізації показників якості функціонування таких мереж при заданих обмеженнях на максимальну пропускну здатність каналів зв'язку та на ресурси, які виділяються для модернізації мережі. Побудовано алгоритми, які дозволяють вирішувати поставлені оптимізаційні задачі в рамках обумовлених обмежень.Prombles in programming 2011; 4: 108-11
До постановки задачі переслідування на площині
Full text linkWe propose a formulation of the problem of pursuit on a plane from the point of view of a multi-agent approach. The differences that distinguish the proposed formulation of the problem from the formulation of such a problem from the point of view of the theory of differential games are shown. A list of methods to be developed is given.Prombles in programming 2013; 2: 95-100Пропонується постановка задачі переслідування на площині з точки зору мультиагентного підходу. Показуються розбіжності, які відрізняють пропоновану постановку задачі від постановки такої задачі з точки зору теорії диференційних ігор. Наводиться перелік методів, які необхідно розробити.Prombles in programming 2013; 2: 95-10
Гібридний підхід до оброблення неповних потокових даних у розподілених системах реального часу
Full text linkThe article considers the problem of processing incomplete streaming data in distributed real-time systems, in particular in the context of data mining. It is noted that traditional methods of imputation are ineffective in conditions of limited resources, high requirements for processing speed and dynamic nature of streams. A hybrid approach combining federated learning, contextual imputation and adaptation to conceptual drift is proposed. The method allows local distributed computing nodes to train lightweight imputation models on their own data, followed by centralised aggregation, backpropagation of the global model and its dynamic updating. Experimental verification on a real dataset has shown the advantages of the approach in terms of accuracy (RMSE, MAE) and network load compared to the baseline methods. The obtained results prove the effectiveness of the proposed method in distributed environments with limited computing resources.Prombles in programming 2025; 2: 112-121У статті розглянуто проблему оброблення неповних потокових даних у розподілених інформаційних си стемах реального часу, зокрема у контексті інтелектуального аналізу даних. Зазначено, що традиційні методи імпутації є малоефективними в умовах обмежених ресурсів, високих вимог до швидкості оброб лення та динамічного характеру потоків. Запропоновано гібридний підхід, що поєднує федеративне на вчання, контекстну імпутацію та адаптацію до концептуального дрейфу. Метод дозволяє локальним ро зподіленим обчислювальним вузлам тренувати полегшені моделі імпутації на власних даних із подаль шою централізованою агрегацією, зворотним поширенням глобальної моделі та її динамічним оновлен ням. Експериментальна перевірка на реальному датасеті показала переваги підходу за точністю (RMSE, MAE) та навантаженням на мережу порівняно з базовими методами. Отримані результати засвідчують ефективність запропонованого методу в умовах розподілених середовищ з обмеженими обчислюваль ними ресурсами.Prombles in programming 2025; 2: 112-12
Формалізми об’єктного проектування і тестування розподілених програмних систем
Full text linkProblems in programming 2013; 4: 25-34Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення їх брокером ORB сиcтеми CORBA. Запропоновано процес тестування об’єктних структур програм та перетворення даних різнорідних об’єктів для забезпечення їх взаємодії у операційному середовищі.Problems in programming 2013; 4: 25-3
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
Full text linkPrombles in programming 2013; 3: 13-21Показана возможность описания в рамках алгебры алгоритмов с данными параллельных алгоритмов для класса информационно-управляющих систем. Введены средства синхронизации параллельно выполняемых ветвей алгоритма и продемонстрирована возможность построения производных средств синхронизации на основе введенных.Prombles in programming 2013; 3: 13-2
Керування потоками наукових робіт в грід-системах
Full text linkPrombles in programming 2013; 3: 69-78Зроблено короткий огляд проблематики використання систем керування потоками наукових робіт для підтримки наукових досліджень. Приводиться аналіз схожості і відмінностей опису Scientific WorkFlow і Business WorkFlow в інформаційних системах. Аналіз проводиться з урахуванням тих змін, що відбулись за останні роки у зв’язку зі збільшенням можливостей, масштабу та глибини при проведенні наукових досліджень. Акцентовано увагу на системі Кеплер (Kepler), специфічній системі керування науковими процесами, що нині активно розвивається разом із численними науковими проектами керування даними. В роботі відмічені деякі ключові особливості системи Кеплер і її основи – системи Птолемей II (Ptolemey II).Prombles in programming 2013; 3: 69-7
Візуалізація семантик різноформатних текстових описів
Full text link This study is aimed at solving the problem of identifying semantics from arbitrary texts presented in various formats and further visualizing it using modern tools of generative artificial intelligence. The rapid development of artificial intelligence technologies provides fundamentally new opportunities for solving both text analysis tasks and content generation - visualizations (in the form of images or videos). As a result, we can talk about a different, modern level of solving applied problems using similar functionality. The field of generative artificial intelligence is still quite young and contains many unsolved problems. The generated visualization is characterized not only by the technical quality of the image or video, but also by the adequacy of the presentation of the semantics of the input text description, which usually directly depends not only on the possibility of the selected AI tool, but also on the structure and content of the input text prompt. This article describes the algorithm to form a chain of solving the given task, from the criteria for choosing tools of developments and identifying problems that need improvement or resolving, to determining the scheme of a composite solution. The method created within the framework of the proposed study has certain limitations, namely: it does not support multilingual content and does not cover the processing of dialects, slangs, automatic detection of the language of the text.Problems in programming 2025; 1: 94-109Дане дослідження спрямоване на вирішення задачі виявлення семантичного змісту з довільних текстових описів, представлених у різних форматах, з метою подальшої його візуалізації за допомогою сучасних засобів генеративного штучного інтелекту. Стрімкий розвиток технологій штучного інтелекту надає принципово нові можливості для вирішення як задач аналізу тексту, так і генерації контентів – візуалізацій (у вигляді зображень чи відео). Унаслідок чого можна говорити про інший, сучасний рівень вирішення прикладних задач, що використовують по дібну функціональність. Галузь генеративного штучного інтелекту доволі молода і містить чимало не вирішених проблем. Згенерована візуалізація характеризується не лише технічною якістю зображення чи відео, а й адекватністю відображення семантики вхідного текстового опису, яка зазвичай напряму залежить не тільки від можливості обраного застосунку ШІ- генерації, а й від структури та змісту вхідної текстової підказки. Дана стаття описує алгоритм формування ланцюжка вирішення поставленої задачі від критеріїв вибору засобів реалізації та виокремлення проблем, що потребують вдосконалення та доробки, до визначення схеми композитного рішення. Метод, створенний в рамках запропонованого дослідження, має певні об меження, а саме: він не підтримує мультимовний контент та не охоплює обробку діалектів, жаргонів, автоматичне визначення мови тексту.Problems in programming 2025; 1: 94-10
Конструктивно-продукційне моделювання хромосом генетичного алгоритму з закодованими алгоритмами сортування
Full text linkIn the structural adaptation of algorithms using a genetic algorithm, one of the challenges is encoding the struc ture of algorithms into a chromosome. This article explores an approach to structural adaptation and the devel opment of efficient sorting algorithms based on the paradigm of constructive-synthesizing modeling. A method is proposed for representing chromosomes as encoded structures corresponding to various variants of sorting algorithms. This approach allows the solution search space to be formed not only as a set of numerical parameters but also as complete software. Operations of substitution, partial inference, and composition are described, which enable the synthesis of new sorting algorithms. A genetic algorithm is applied to generate and select functionally equivalent algorithms. Examples are provided of constructing chromosome trees that encode sorting procedures of varying complexity. A program has been implemented for generating and evolutionarily improving chromo somes with encoded sorting algorithms. The application of constructive-synthesizing modeling to the problem of encoding structurally different but functionally equivalent algorithms into chromosomes is demonstrated. Ex perimental results confirmed that usage of constructive-synthesizing modeling increases population diversity and accelerates the discovery of efficient solutions compared to classical genetic algorithms. The proposed method ology can be used for automated algorithm construction, optimization of their structure, and adaptation to spe cific usage conditions.Prombles in programming 2025; 3: 39-52 У разі структурної адаптації алгоритмів із використанням генетичного алгоритму однією із проблем є кодування структури алгоритмів у хромосому. У статті розглядається підхід до структурної адаптації та формування ефективних алгоритмів сортування на основі парадигми конструктивно-продукційного мо делювання. Запропоновано метод представлення хромосом у вигляді закодованих структур, що відобра жають різні варіанти алгоритмів сортування. Такий підхід дозволяє формувати простір пошуку рішень не лише у вигляді набору числових параметрів, а й у вигляді цілісних програмних конструкцій. Описано операції підстановки, часткового виведення та композиції, які забезпечують синтез нових алгоритмів со ртування. Для формування і відбору функціонально еквівалентних алгоритмів застосовано генетичний алгоритм. Наведено приклади побудови хромосом-дерев, що кодують сортувальні процедури різної скла дності. Реалізовано програму для генерації та еволюційного вдосконалення хромосом із закодованими алгоритмами сортування. продемонстровано застосування конструктивно-продукційного моделювання для вирішення задачі кодування структурно різних, але функціонально еквівалентних алгоритмів у хро мосомах. Результати експериментів підтвердили, що застосування конструктивно-продукційного моде лювання забезпечує підвищення різноманітності популяцій та прискорює знаходження ефективних рішень у порівнянні з класичними генетичними алгоритмами. Запропонована методика може бути вико ристана для автоматизованого конструювання алгоритмів, оптимізації їхньої структури та адаптації до специфічних умов використання.Prombles in programming 2025; 3: 39-52
Інтеграція великих мовних моделей із засобами семантичної обробки як інструмент цифровізації знань
Full text linkThe paper addresses the task of automating the analysis, generation, and management of complex natural language documents based on the integration of generative artificial intelligence with semantic technologies, in particular Semantic MediaWiki. It analyzes how the use of ontological models of subject domains and semantic markup makes it possible to prevent such critical shortcomings of large language models as the tendency to “hallucinations” (generation of false statements) and the lack of transparency in decision explanations. This integration is explored using the example of the instrumental system “LINZA,” which is being developed for automated intelligent processing of content from heterogeneous documents with complex and weakly formalized structure, with the aim of generating natural language reports according to specified requirements in various domains, such as public administration, jurisprudence, certification, and standardization. The system is based on the combination of the flexibility and adaptability of large language models with formalized ontological knowledge and support for semantic queries about pertinent facts in the Semantic MediaWiki environment or external sources (Retrieval-Augmented Generation). The proposed approach will significantly reduce the risks of typical errors in generative models and ensure factual accuracy and transparency in the decision-making process. Special attention is paid to mechanisms of transparency, reliability, and the possibility of human control to increase trust in the generated data, which is especially important in areas with high information security requirements, and ensures greater confidence in automatically created documents. The multi-level architecture of the system defines the tasks of agents and services that perform specialized functions of data collection, analysis, transformation, and verification, and ensures flexibility, scalability, and adaptability of the system to changes in input data and requirements.Problems in programming 2025; 2: 63-76У роботі розглядається задача автоматизації аналізу, генерації та управління складними природномов ними документами на основі інтеграції генеративного штучного інтелекту із семантичними технологі ями, зокрема, Semantic MediaWiki. Аналізується, яким чином застосування онтологічних моделей пре дметних областей та семантичної розмітки дозволяє запобігати таким критичним недолікам великих мовних моделей, як схильність до "галюцинацій" (генерації неправдивих тверджень) та відсутність прозорості у поясненні рішень. Така інтеграція досліджується на прикладі інструментальної системи “ЛІНЗА”, яка розробляється для автоматизованої інтелектуальної обробки контенту розрізнених документів зі складною слабоформалі зованою структурою з метою генерації природномовних звітів за заданими вимогами у різних галузях, таких як публічне адміністрування, юриспруденція, цифровізації знань, сертифікація та стандартизація. Система базується на поєднанні гнучкості та адаптивності великих мовних моделей із формалізовани ми онтологічними знаннями та підтримкою семантичних запитів щодо пертинентних фактів у середо вищі Semantic MediaWiki, або зовнішніх джерел (Retrieval-Augmented Generation). Запропонований під хід дозволить значно знизити ризики помилок, типових для генеративних моделей, та забезпечити фак тичну правдивість і прозорість процесу ухвалення рішень. Особлива увага приділяється механізмам прозорості, достовірності та можливості контролю людиною для підвищення довіри до згенерованих даних, що особливо важливо у сферах із підвищеними вимогами до безпеки інформації. Такий підхід також забезпечує більшу довіру до автоматично створених документів. Багаторівнева архітектура системи характеризує задачі агентів і сервісів, що виконують спеціалізовані функції збору, аналізу, перетворення та перевірки даних, і забезпечує гнучкість, масштабованість та адаптивність системи до зміни вхідних даних і вимог.Problems in programming 2025; 2: 63-76
Застосування малих мовних моделей для семантичного аналізу доступності веб-інтерфейсів
Full text linkWeb accessibility remains a critical aspect of ensuring equal opportunities for internet resource usage, especially for people with disabilities. The Web Content Accessibility Guidelines 2.5.3 criterion “Label in Name” requires that the accessible name of an interface component include text that is visually presented. Existing automated verification methods for this criterion are predominantly based on primitive string comparison, which does not account for semantic context. Objective: investigate the possibilities of using small language models with up to 1 billion parameters for automated semantic analysis of compliance with Web Content Accessibility Guidelines 2.5.3, as an alternative to resource-intensive large language models and limited algorithmic methods. Methodol ogy: the research involved creating synthetic datasets (7,200 English-language and 5,615 Ukrainian-language samples) and using real-world datasets (Top500 – 380 samples, UaUniv – 319). Sentence Bidirectional Encoder Representations from Transformers models were tested for computing semantic similarity, and fine-tuning of the google/electra-base-discriminator model was performed for 3-class classification of semantic relationships (“similar”, “unrelated”, “opposite”). Results: the trained model of 437 MB demonstrated high accuracy on syn thetic data (0.96) and sufficient accuracy on real datasets (Top500: 0.77, UaUniv: 0.73). The model effectively identifies all three classes of semantic relationships with an accuracy of 95.1 % for “opposite”, 92.7 % for “un related”, and 97.4 % for “similar” texts in the validation sample. Conclusions: the research confirmed the feasi bility of using small language models for automated verification of semantic compliance according to Web Content Accessibility Guidelines 2.5.3. The proposed approach provides acceptable classification accuracy with significantly lower computational costs compared to large language models, allowing for the integration of se mantic analysis into standard development and testing processes. Despite certain limitations, the developed so lution can significantly improve web accessibility testing.Prombles in programming 2025; 2: 77-86 Вебдоступність залишається важливим аспектом для забезпечення рівних можливостей користування ін тернет-ресурсами, особливо для людей з інвалідністю. Критерій Настанов з доступності вебвмісту 2.5.3 «Мітка в імені» вимагає, щоб доступне ім’я компонента інтерфейсу включало текст, представлений візу ально. Існуючі методи автоматизованої перевірки цього критерію базуються переважно на примітивному порівнянні рядків, не враховуючи семантичний контекст. Мета. Дослідити можливості застосування ма лих мовних моделей із кількістю параметрів до 1 мільярда для автоматизованого семантичного аналізу відповідності критерію Настанов із доступністю вебвмісту 2.5.3 як альтернативи ресурсомістким вели ким мовним моделям і обмеженим алгоритмічним методам. Методологія. Дослідження передбачало ство рення синтетичних (англомовних – 7200, україномовних – 5615 прикладів) та використання реальних наборів даних (380 прикладів із 500 найвідвідуваніших вебсайтів, 319 прикладів із вебсайтів українських університетів). Здійснено тестування моделей двоспрямованих кодувальних представлень речень із тра нсформерів для обчислення семантичної схожості та використано тонке налаштування базової дискримі наторної моделі ELECTRA від Google: для 3-класової класифікації семантичних відношень («схожі», «не пов’язані», «протилежні»). Результати. Навчена модель розміром 437 МБ продемонструвала високу точ ність на синтетичних даних (0,96) та достатню точність на реальних наборах даних (0,77 для найвідвіду ваніших вебсайтів та 0,73 для вебсайтів українських університетів). Модель здатна ефективно ідентифі кувати всі три класи семантичних відношень із точністю 95,1 % для «протилежних», 92,7% для «не пов’язаних» та 97,4% для «схожих» текстів на валідаційній вибірці. Висновки. Дослідження підтвердило доцільність застосування малих мовних моделей для автоматизованої перевірки семантичної відповідно сті згідно з критерієм Настанов із доступністю вебвмісту 2.5.3. Запропонований підхід забезпечує прийнятну точність класифікації при значно менших обчислювальних витратах порівняно з великими мов ними моделями, що дозволяє інтегрувати семантичний аналіз у стандартні процеси розроблення та тес тування. Незважаючи на певні обмеження, розроблене рішення може істотно покращити процес тесту вання вебдоступності.Prombles in programming 2025; 2: 77-8