PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Про один метод переслідування на площині
Full text linkPrombles in programming 2013; 3: 117-124Розглядається проблема формування стратегій переслідування на площині для агентів. Пропонується метод переслідування, який зводиться як до метода паралельного зближення, так і до метода окружності Аполлонія. Описуються функціональні можливості прототипу системи «Навігація», в якому реалізовано запропонований метод переслідування для випадку «один переслідувач – один утікач».Prombles in programming 2013; 3: 117-12
Програмно-апаратна система безконтактного виявлення мін на основі непружного розсіювання нейтронів та машинної обробки спектрів характеристичного γ-випромінювання
No full textHigh-level modeling systems for multi-agent systems can significantly accelerate the process of developing and implementing software for autonomous multi-agent missions. Since different tasks require attention to specific aspects of modeling, an interface-oriented approach can be an effective means of adapting different models of the environment to given behavioral interfaces. Modeling of multi-agent systems covers a wide range of processes– from the physical movement of agents to the formation of behavioral strategies and the organization of their interaction. The interface-oriented approach makes it possible to create flexible multi agent modeling systems that can perform a wide range of tasks, ensuring the rapid development of behavioral models in a multi-agent environment and SITL testing of low-level autopilot code. As part of the approach, the design of the system begins with the definition of interface interaction between its components, which makes it possible to reuse the code and create individual implementations of components for specific experimental tasks. Work is underway on a prototype of the Blefusku multi-agent modeling system, one of the features of which is an interface-oriented approach and support for high-level behavioral description models. The main modules of the system are a modeling environment that contains a model of the environment and generates sensor signals, and an agent container that is responsible for the behavior of objects and the content of the communication environment. The interface is described as a gRPC service that allows connecting different components written in different programming environments. The communication layer is based on the MAVLink protocol. Behavior is determined by an object that is programmed to respond to sensor data and messages and periodic activities. A fragment of a search and rescue mission scenario with drones is given as an example.Problems in programming 2025; 1: 110-117Високорівневі системи моделювання мультиагентних систем здатні суттєво прискорити процес розроб ки та впровадження програмного забезпечення для автономних мультиагентних місій. Оскільки різні задачі вимагають уваги до специфічних аспектів моделювання, інтерфейсно-орієнтований підхід може стати ефективним засобом адаптації різних моделей середовища до заданих інтерфейсів поведінки. Моделювання мультиагентних систем охоплює широкий спектр процесів – від фізичного руху агентів до формування стратегій поведінки та організації їхньої взаємодії. Інтерфейсно-орієнтований підхід дає змогу створювати гнучкі мультиагентні системи моделювання, які можуть виконувати широкий спектр завдань, забезпечуючи швидку розробку моделей поведінки в мультиагентному середовищі та SITL тестування низькорівневого коду таких складних систем як автопілоти. В рамках підходу проєктування системи розпочинається з визначення інтерфейсної взаємодії між її компонентами, що дає можливість повторного використання коду та створення індивідуальної реалізації компонентів для специфічних експериментальних завдань. Ведуться роботи над прототипом системи мультиагентного моделювання Blefusku, однією з особливостей якої є інтерфейсно-орієнтований підхід і підтримка високорівневих моделей опису поведінки. Основні модулі системи – це середовище моделювання, яке містить модель середовища та формує сигнали сенсорів, і контейнер агентів, що відповідає за поведінку об’єктів і зміс товну частину комунікаційного середовища. Інтерфейс описаний як сервіс gRPC, що дозволяє з’єднувати різні компоненти, написані у різних середовищах програмування. Комунікаційний рівень ґрунтується на протоколі MAVLink. Поведінка визначається об’єктом, у якому запрограмована реакція на дані з сенсорів та повідомлення і періодичні активності. Як приклад наведено фрагмент сценарію пошуково-рятувальної місії за участі дронів.Problems in programming 2025; 1: 110-117
Парадигмы программирования сборочного типа в программной инженерии
Full text linkA formal apparatus of paradigms of the programming assembling kind, such as modular, objective, component and service programming is presented: The theoretical apparatus of every paradigm secures the formal development of some program elements of these paradigms, determination of interface these elements in the standard kind and their assembling on the single technological basis in environment of complex of ITC IPS.Prombles in programming 2014; 2-3: 121-132 Представлен формальный аппарат парадигм программирования сборочного типа – модульного, объектного, компонентного и сер-висного программирования. Теоретический аппарат каждой парадигмы обеспечивает формальную разработку отдельных программных элементов этих парадигм, определение интерфейсных элементов в стандартном виде и их сборку на единой технологической основе в среде комплекса ИТК. Prombles in programming 2014; 2-3: 121-132
Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
Full text linkThe paper discusses the Kripke structures of two mathematical models of parallel distributed systems that are presented by Petri detailed net and its component net. Bisimularity of these Kripke structures is displayed. The possibility for checking the validity of the logical formula of temporal logic is established, which gives the desired property of investigated parallel distributed system, using reduced Kripke structure of component Petri net. Prombles in programming 2014; 2-3: 93-98В работе рассмотрены модели Крипке двух математических моделей параллельных распределённых систем, представленных детальной и её компонентной сетями Петри. Показана бисимулярность этих моделей Крипке. Установлены возможности проверки истинности логической формулы темпоральной логики, которой задаётся требуемое свойство исследуемой параллельной распределённой системы, с помощью редуцированной модели Крипке компонентной сети Петри.Prombles in programming 2014; 2-3: 93-9
Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності
Full text linkThis paper proposes parallel methods of non-negative huge sparse matrix factorization. The implementation of proposed methods was tested and compared on huge matrix.Prombles in programming 2014; 2-3: 66-71У роботі описано побудову моделі паралелізації обчислення невід’ємної факторизації розріджених матриць надвеликої розмірності. Реалізації запропонованих моделей були порівняні в обробці надвеликої матриці.Prombles in programming 2014; 2-3: 66-7
Метод побудови та оптимізації маршруту для композитного веб-сервісу на основі Q-learning
Full text linkWe propose a method of automated flow generation for the web services composition according to the de fined target state based on reinforcement machine learning. An agent that uses Q-learning gradually accu mulates knowledge about the environment to updates the evaluations of the usefulness of its actions (these actions correspond to the existing services). The task is divided into two subtasks: - construction of possible flows represented as sequences of services where the results of the previous service execution change the current environment state and enable the exe cution of the next service; - choice of the optimal flow according to the history of interactions and to QoS criteria that is adapted to environment changes. We determine the main components of reinforcement learning and analyze their specifics for service com position task. Additional approaches that allow avoiding looping and the use of unnecessary services are considered. We propose modification of the Q-learning method developed for automatic generation of flows based on input and output data of web services and for selecting the optimal flow based on the analysis of their qualitative characteristics. This modified method uses approach with memory where the agent expands its knowledge about the environment at each step. We consider characteristics of proposed method based on analysis of its software implementation. Possibilities of proposed method are considered on example of generation an optimal study sequences used for individual educational trajectories in accordance with the personal needs of students. Every learning ob ject (information object used for educational needs described by metadata) is considered as a specific ser vice where inputs and outputs are represented by required and result competencies.Problems in programming 2025; 1: 82-93Запропоновано метод автоматизованої генерації маршруту для композиції вебсервісів відповідно до поставленої цілі з використанням методів машинного навчання з підкріпленням (reinforcement learning). Агент, використовуючи Q-learning, поступово накопичує знання про середовище та онов лює оцінку корисності своїх дій, яким відповідають наявні сервіси. Задача поділяється на дві підзадачі: побудову можливих маршрутів – таких послідовностей сервісів, що результати виконання попереднього сервісу змінюють середовище, уможливлюючи виконання наступного; та вибір оптимального маршруту відповідно до критеріїв QoS, що адаптується до змін самого середовища. Визначено основні складові навчання з підкріпленням, розглянуто їхню специфіку для аналізу серві сів. Розглянуто додаткові підходи, які дозволяють уникнути зациклення та використання непотріб них сервісів. Запропоновано модифікацію методу Q-learning для автоматичної генерації маршрутів на основі вхідних і вихідних даних вебсервісів і для вибору оптимального маршруту на основі аналі зу їхніх якісних характеристик з використанням підходу з пам’яттю, де агент із кожним кроком роз ширює свої знання про середовище. Запропоновано програмну реалізацію розробленого методу, яка дозволяє оцінити його властивості. Розглянуто можливості запропонованого методу на прикладі генерації оптимальних послідовностей вивчення матеріалів для індивідуальних освітніх траєкторій відповідно до особистих потреб студен тів. Кожен навчальний об’єкт (інформаційний об’єкт, що використовується для освітніх потреб та описаний метаданими) розглядається як окремий сервіс, де входи та виходи представлені необхідни ми та результуючими компетенціями.Problems in programming 2025; 1: 82-93
Нейросимвольні моделі для забезпечення кібербезпеки в критичних кіберфізичних системах
Full text linkThe article presents the results of a comprehensive study on the application of the neuro-symbolic approach for detecting and preventing cyber threats in railway systems, a critical component of cyber-physical infrastructure. The increasing complexity and integration of physical systems with digital technologies have made such infrastructure vulnerable to cyberattacks, where disruptions can lead to severe consequences, including system failures, financial losses, and threats to public safety and the environment.Prombles in programming 2025; 1: 63-73У статті представлені результати всебічного дослідження застосування нейросимвольного підходу для виявлення та запобігання кіберзагрозам у залізничних системах, критичному компоненті кіберфізичної інфраструктури. Зростаюча складність та інтеграція фізичних систем із цифровими технологіями зро били таку інфраструктуру вразливою до кібератак, коли порушення можуть призвести до тяжких наслід ків, зокрема, системних збоїв, фінансових втрат та загроз безпеці громадян і навколишньому середовищу.Prombles in programming 2025; 1: 63-7
Схема параллельных вычислений максимальных контурных SH-напряжений на системе некруговых упругих включений в бесконечной упругой среде
Full text linkPrombles in programming 2014; 1: 99-107 Исследован параллельный алгоритм численного решения стационарных задач теории упругости на примере взаимодействия SH-волн с системой упругих включений произвольного поперечного сечения. Численное решение краевой задачи сведено к системе интегральных уравнений с помощью интегрального представления амплитуды перемещения отраженного волнового поля. Параллельный алгоритм позволил исследовать ситуацию с увеличенным числом упругих включений-отражателей и увеличить точность получаемых величин. Алгоритм исследован и на MIMD-зависимость. Приведены новые уникальные результаты.Prombles in programming 2014; 1: 99-10
Конструктивное представление множественных объектов и их свойства
Full text linkPrombles in programming 2014; 1: 3-17На основе конструктивной структуры предложено унифицированное представление гибридных множественных объектов. Рассмотрены алгебраические свойства и операции над этими объектами.Prombles in programming 2014; 1: 3-1
Методы моделирования поведения агентов в мультиагентной системе "Навигация"
Full text linkThe problem of pursuit on a plane from the point of view multi-agent approach is researched. Setting up of the task of pursuit is carried out and simulation methods of behaviour of the agents, realized in multi-agent system “Navigation” are stated, which intended for modelling of processes of pursuit on the sea of the ships-infringers by the ships of a coast guard.Prombles in programming 2014; 2-3: 212-220Исследуется проблема преследования на плоскости с точки зрения мультиагентного подхода. Выполняется постановка задачи преследования и излагаются методы моделирования поведения агентов, реализованные в мультиагентной системе «Навигация», предназначенной для моделирования процессов преследования на море кораблей-нарушителей кораблями береговой охраны.Prombles in programming 2014; 2-3: 212-22