PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Геоінформаційні інтелектуальні системи на базі сучасних інформаційних технологій для цифрового моделювання місцевості
Full text linkThe article presents a comprehensive analysis of modern approaches to digital terrain modeling based on intel ligent geographic information systems and advanced information technologies. It highlights the evolution of terrain modeling methods — from traditional GIS technologies to the integration of artificial intelligence ap proaches (the GeoAI concept). The purpose of the study is to generalize the capabilities and advantages of ap plying artificial intelligence (machine learning, deep learning, and computer vision) to digital terrain modeling tasks and to identify prospects for the development of such intelligent systems. The study explores the application potential of supervised machine learning algorithms (decision trees, Random Forest, SVM) for landform classification and remote sensing data processing, as well as deep learning methods (CNN) for automatic pattern recognition and semantic terrain segmentation. Examples of intelligent GIS solu tions are provided in various applied fields: slope stability monitoring systems with landslide forecasting, flood risk assessment models, and military terrain planning systems with drone route optimization. The main results demonstrate that the implementation of AI technologies enables unprecedented detail and automation in terrain analysis. Modern geospatial intelligent systems are capable of integrating heterogeneous data sources (LiDAR scans, satellite imagery, drone data, ground sensors) and updating digital terrain models in real time, thereby supporting decision-making in land management and emergency response.The future development of GeoAI is defined by the continued integration of diverse data sources, the transition from static 3D models to dynamic 4D terrain representations, semantic enrichment of digital models (land scape ontologies, object detection), and their integration into the concept of territorial digital twins. It is con cluded that the synergy of traditional GIS tools with state-of-the-art artificial intelligence technologies is transforming the field of digital terrain modeling, opening new horizons for scientific research and practical applications.Problems in programming 2025; 3: 79-90Статтю присвячено аналізу сучасних підходів до цифрового моделювання рельєфу на основі геоінфо рмаційних інтелектуальних систем і новітніх інформаційних технологій. Висвітлено еволюцію методів моделювання місцевості – від традиційних ГІС-технологій до інтеграції методів штучного інтелекту (GeoAI). Метою дослідження є узагальнення можливостей і переваг застосування штучного інтелекту (машинного та глибинного навчання, комп’ютерного зору) у задачах цифрового моделювання місце вості та визначення перспектив розвитку таких інтелектуальних систем. Розглянуто можливості застосування керованих алгоритмів машинного навчання (дерева рішень, Random Forest, SVM) для класифікації форм рельєфу та обробки даних дистанційного зондування, а також методів глибинного навчання для автоматичного розпізнавання шаблонів і семантичної сегме нтації рельєфу. Наведено приклади інтелектуальних ГІС-рішень у різних прикладних сферах: систем моніторингу стійкості схилів із прогнозуванням зсувів, моделей оцінки ризику повеней, військових систем планування місцевості з оптимізацією маршрутів дронів тощо. Основні результати демонстру ють, що впровадження AI-технологій забезпечує відповідну деталізацію та автоматизацію аналізу ре льєфу. Сучасні геоінформаційні інтелектуальні системи здатні поєднувати різнорідні дані (LiDAR-ска нування, супутникові знімки, дані дронів, наземні сенсори) й оперативно оновлювати цифрові моделі місцевості в режимі реального часу, підтримуючи ухвалення рішень у сфері управління територіями та надзвичайними ситуаціями. Перспективи розвитку GeoAI вбачаються уподальшому поєднанні різнорідних джерел даних, переході від статичних 3D-моделей до динамічних 4D-моделей рельєфу, семантичному збагаченні цифрових моделей (онтології ландшафту, виділення об’єктів) та інтеграції з концепцією цифрових двійників те риторій. Зроблено висновок, що поєднання традиційних ГІС-засобів із технологіями штучного інтеле кту трансформує галузь цифрового моделювання рельєфу, відкриваючи нові горизонти для наукових досліджень і практичного застосування.Problems in programming 2025; 3: 79-90
Використання технологій штучного інтелекту для оптимізації методології та організації наукових досліджень
Full text linkThe rapid digitalization of science puts forward new requirements for the methodology and organization of research. Artificial intelligence (AI) tools are able to accelerate data analysis, support hypothesis generation, and automate routine procedures, but at the same time exacerbate issues of reproducibility, transparency, and academic integrity. The purpose of the work is to substantiate and test approaches to integrating AI technol ogies to optimize the methodology and organization of scientific research in the field of digital development. The work applied a systematic analysis of modern practices, mathematical modeling of processes (optimiza tion of the choice of modes "human/AI/hybrid", Bayesian assessment of reliability, regularization of bias and interpretability, POMDP-planning of scientific cycles), as well as the design of a modular architecture for supporting research. Empirical testing was carried out on prototypes of workflows: automated literature re view, intelligent processing of experimental data, preparation of publication materials. An integrated model of scientific process management was proposed, combining: (i) formal selection of human and AI roles under resource and quality constraints; (ii) aggregation of evidence from human and machine channels through a Bayesian scheme; (iii) simultaneous limitation of algorithmic bias and increase of explainability; (iv) strategic POMDP-planning of experiments taking into account risks and costs. The paper showed that the use of the proposed model reduces the time for preparing reviews and analyzing data, increases the reproducibility of conclusions and transparency of decisions, as well as reduces the risks associated with the “black box” and data bias. Practical recommendations for implementing AI in research units are formulated: regulations for disclosing the use of AI, data quality control, requirements for the explainability of models, and the role of the researcher as a responsible interpreter. AI should be considered as a tool for strengthening scientific work. The integration of the proposed models into the methodology and organization of research increases the effi ciency, reproducibility, and ethical reliability of scientific results, opening the way to scalable, resource-effi cient research practices. Problems in programming 2025; 3: 91-101Стрімка цифровізація науки висуває нові вимоги до методології та організації досліджень. Інструме нти штучного інтелекту (ШІ) здатні прискорювати аналіз даних, підтримувати формування гіпотез і автоматизувати рутинні процедури, однак водночас загострюють питання відтворюваності, прозорості та академічної доброчесності. Мета роботи — обґрунтувати та апробувати підходи до інтеграції тех нологій ШІ для оптимізації методології й організації наукових досліджень у сфері цифрового розви тку. В роботі було застосовано системний аналіз сучасних практик, математичне моделювання проце сів (оптимізаційні постановки вибору режимів «людина/ШІ/гібрид», байєсівське оцінювання достові рності, регуляризація упередженості та інтерпретованості, POMDP-планування наукових циклів), а та кож проєктування модульної архітектури підтримки досліджень. Емпіричну перевірку здійснено на прототипах робочих потоків: автоматизований огляд літератури, інтелектуальна обробка експеримен тальних даних, підготовка публікаційних матеріалів. Запропоновано інтегровану модель управління науковим процесом, що поєднує: (i) формальний вибір ролей людини й ШІ під обмеження ресурсів і якості; (ii) агрегування доказів із людських і машинних каналів через байєсівську схему; (iii) одночасне обмеження алгоритмічної упередженості та підвищення пояснюваності; (iv) стратегічне POMDP-пла нування експериментів з урахуванням ризиків і вартості. В роботі було показано, що використання запропонованої моделі забезпечує скорочення часу на підготовку оглядів і аналіз даних, зростання відтворюваності висновків та прозорості рішень, а також зменшення ризиків, пов’язаних із «чорною скринькою» і зміщеннями даних. Сформульовано практичні рекомендації щодо впровадження ШІ у дослідницькі підрозділи: регламенти розкриття використання ШІ, контроль якості даних, вимоги до пояснюваності моделей і ролі дослідника як відповідального інтерпретатора. ШІ доцільно розглядати як інструмент підсилення наукової праці. Інтеграція запропонованих моделей у методологію та орга нізацію досліджень підвищує ефективність, відтворюваність і етичну надійність наукових результатів, відкриваючи шлях до масштабованих, ресурсоефективних дослідницьких практик.Problems in programming 2025; 3: 91-10
Високоточне паралельне розв’язання задачі про дифракцію хвиль зсуву на системі пружних включень у півпросторі із защемленою межею
No full textWe offer a parallel algorithm of numerical solution of stationary dynamic problems of the elasticity theorem about interaction of SH-waves with a system of elastic inclusions of an arbitrary cross-section located in a half-space with a restrained boundary. The boundary value problem is reduced to a system of singular integral equations that can be solved numerically. A scheme of parallel calculations has allowed to investigate situations with a big number of reflective discontinuities. New numerical results are given.Prombles in programming 2013; 1: 116-124Запропоновано паралельний алгоритм чисельного розв’язання стаціонарних динамічних задач теорії пружності про взаємодію SH-хвиль з системою пружних включень довільного поперечного перетину, що розміщені у півпросторі з защемленою межею. Крайову задачу зведено до системи сингулярних інтегральних рівнянь, яка розв’язується чисельно. Схема паралельних обчислень дозволила дослідити ситуації зі збільшеною кількістю відбиваючих неоднорідностей. Наведено нові числові результати. Prombles in programming 2013; 1: 116-12
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
Full text linkWe introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantifier elimination. Such properties will be the basis for construction of corresponding sequent calculi.Prombles in programming 2011; 4: 36-48Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень секвенційного типу.Prombles in programming 2011; 4: 36-4
Реєстрація та облік інформації про події у спеціалізованих інформаційно-телекомунікаційних системах
Full text linkThe analysis of detailed decomposition of process of registration, the account and processing in the specialized information-telecommunication systems of the information on supernumerary events in control to the environment of organizational structures. Such analysis allows to develop algorithm of the mentioned process and to define structure and functional loading of the necessary software for its realization.Problems in programming 2011; 1: 49-62Проводиться аналіз детальної декомпозиції процесу реєстрації, обліку та оброблення в спеціалізованих інформаційно-телекомунікаційних системах інформації про нештатні події в контрольованому середовищі організаційних структур. Такий аналіз дозволяє розробити алгоритм зазначеного процесу і визначити склад та функціональне навантаження необхідного програмного забезпечення для його реалізації.Problems in programming 2011; 1: 49-6
Реалізація концепції адаптивного мовлення та системи автоматичної підготовки контенту
Full text linkWe proposed the realization of the concept of adaptive broadcast using streaming media server solution for "last mile" – providing sufficient data rate to the user when using online services of broadcast media.Problems in programming 2013; 1: 78-84Запропоновано реалізацію концепції адаптивного мовлення за допомогою сервера потокового медіа для вирішення проблеми «Останньої милі» – забезпечення достатньої швидкості передачі даних користувачу при використанні сервісів он-лайн медіа трансляції.Предложена реализация концепции адаптивного вещания с помощью потокового медиа сервера для решения проблемы «последней мили» – обеспечение достаточной скорости передачи данных пользователю при использовании сервисов он-лайн медиа трансляции.Problems in programming 2013; 1: 78-8
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
Full text linkAn analysis of development for Computer Science’s basic disciplines such as cybernetics, informatics, system and software engineering and so on is presented. These disciplines’ definition, their essence and content are given. Each discipline development, their links and mutual influence are analyzed. An international program for teaching in these disciplines, recommended for usage in higher school, is explored. Its core is Software Engineering that enriches these disciplines with the new tools and improves itself being aimed at industrialization of various software application.Problems in programming 2010; 1: 3-14Представлен анализ развития базовых дисциплин Computer Science – кибернетики, информатики, системной и программной инженерии и др. Дано определение этих дисциплин, их содержание и состав. Проанализировано развитие каждой из дисциплин, связи между ними и влияние друг на друга. Исследована международная программа обучения этим дисциплинам, рекомендованная для использования в высших учебных заведениях. В ней программная инженерия занимает центральный место, она обогащает их новыми средствами и сама совершенствуется в направлении индустриализации прикладных и программных систем разного назначения.Problems in programming 2010; 1: 3-14Подається аналіз розвитку базових дисциплін Computer Science – кібернетика, інформатика, комп’юте-рна системна та програмна інженерія. Дано визначення цих дисциплін, їхній зміст і склад. Проаналізо-вано розвиток кожної з дисциплін, зв’язки між ними і вплив кожної на іншу. Досліджено міжнародну програму навчання цим дисциплінам, яку рекомендовано для застосування у вищих навчальних закладах з інформатикою. В ній програмна інженерія займає центральне місто, вона збагачує усі дисципліни новими засобами і сама удосконалюється у напряму індустріалізації програмних і прикладних систем різного призначення.Problems in programming 2010; 1: 3-1
Секвенциальные исчисления композиционно-номинативных модальных логик функционально-эквационального уровня
No full textComposition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theorems for these calculi are proved.Problems in programming 2011; 1: 17-28Исследуются композиционно-номинативные модальные и темпоральные логики функционально-эквационального уровня. На основе свойств отношения логического следствия для множеств формул построены исчисления секвенциального типа для общих и темпоральных композиционно-номинативных модальных логик такого уровня. Для построенных исчислений доказаны теоремы корректности и полноты. Problems in programming 2011; 1: 17-2
Технологія використання машинного навчання для побудови композиційного веб-сервісу
Full text linkWe analyze dynamic programming and machine learning algorithms (on example of Q-learning) used for automatic adaptive composition of web services based on service quality assessments, their input parameters and work specifics. Software implementation of these algorithms on sets of services of different volumes is developed for comparison their performance parameters. We determine that the considered methods allow finding the optimal set of services only for composition with a predefined fixed-length route. This restriction causes a need to generalize the problem formulation for an arbitrary set of service classes in the composition route. On base of the performed analysis, we developed an algorithm that solves this problem of building a composite service with a route of arbitrary length (using the Q-Learning method), that has the best overall quality ratings. A software implementation of both this algorithm and other algorithms for solving this problem (genetic algorithm, greedy search, dynamic programming, SARSA, etc.) are developed to compare the speed of their work and the evaluation of the resulting composite service on data sets of different volumes.Prombles in programming 2024; 4: 3-13Проаналізовано алгоритми динамічного програмування та машинного навчання (на прикладі Q-learning), що використовуються для автоматичної адаптивної композиції веб-сервісів на основі оцінок якості сервісів, їхні вхідні параметри та особливості роботи. Для порівняння параметрів роботи цих алгоритмів на наборах сервісів різного обсягу розроблено програмну реалізацію. Визначено, що розглянуті методи дозволяють знаходити оптимальний набір сервісів тільки для композиції з попередньо визначеним маршрутом фіксованої довжини. Тому виникає потреба узагальнити постановку задачі для довільного набору класів у маршруті композиції сервісів. На основі виконаного аналізу розроблено алгоритм розв’язання цієї задачі – побудови композитного сервісу з маршрутом довільної довжини методом Q-Learning, що має найкращі сумарні оцінки якості. Розроблено програмну реалізацію як цього алгоритму, так і інших алгоритмів розв’язання цієї задачі (генетичний алгоритм, жадібний пошук, динамічне програмування, SARSA), яка дозволила порівняти швидкість їх роботи та оцінки результуючого композитного сервісу на наборах даних різного обсягу.Prombles in programming 2024; 4: 3-1
Теоретический и прикладной аспекты отношений и операций для последовательностей временных интервалов
Full text linkPrombles in programming 2013; 3: 61-68Рассмотрены понятия момента времени, временного интервала и временной цепочки ― последовательности интервалов времени. Определены основные отношения и операции над этими объектами. Приведены эффективные алгоритмы для реализации операций над временными цепочками. Рассматривается практическое применение временных цепочек.Prombles in programming 2013; 3: 61-6