PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Сегментація геопросторових растрів: аналіз часових характеристик алгоритму AREAONAREAOVERLAYER
Get PDFThis paper investigates the performance of the AreaOnAreaOverlayer algorithm used for segmenting geospatial rasters based on elevation features within the FME environment. The main focus is on analyzing the algorithm’s temporal characteristics when processing large volumes of data, particularly in vegetation cover classification tasks. The study describes the experimental setup, typical input data, and the impact of polygon geometric parameters on execution time. The results provide insight into the algorithm’s application limits and reveal dependencies between the structure of input data and computational complexity.Prombles in programming 2025; 2: 87-97У статті досліджується продуктивність алгоритму AreaOnAreaOverlayer, що використовується для сег ментації геопросторових растрів за ознаками висоти в середовищі FME. Основну увагу приділено ана лізу часових характеристик алгоритму під час обробки великих обсягів даних, зокрема, в задачах кла сифікації рослинного покриву. Описано експериментальне середовище, типові вхідні дані та вплив ге ометричних параметрів полігонів на час виконання операції. Отримані результати дають змогу оцінити межі застосування алгоритму та виявити залежності між структурою вхідних даних і обчислювальною складністю.Prombles in programming 2025; 2: 87-9
Агентна модель пошуку інформації на основі метафори бджолиного вулика
Get PDFA new approach to information retrieval that is based on a beehive metaphor is presented. A beehive model simulates several kinds of beehive typical behavior. It is a simple model that describes processes taking place in Web-search. The approach gives possibility of distributed PageRank calculation of Web pages.Prombles in programming 2011; 1: 70-77Представлено новий підхід до пошуку інформації, який заснований на метафорі бджолиного вулика. Запропонована модель бджолиного вулика в тому значенні, що вона імітує окремі види типової поведінки бджіл. Це є проста модель, яка описує процеси, що мають місце у Веб-пошуку. Підхід надає можливість розподіленого обчислення PageRank Веб-сторінок.Prombles in programming 2011; 1: 70-7
Про один підхід до верифікації алгебраїчних обчислень
No full textThe approach to verification of interpreters of multi-sorted algebraic operations by their specifications, based on constructive clarification of expansion concept of multi-sorted algebraic system and provingthe axioms of algebraic system is considered. This approach is illustrated by the examples of verification of interpreters of operations of rational numbers field, polynomials of one variable and propositional algebra. This approach has been used for development of the computer mathematics systems of the educational purpose.Problems in programming 2011; 4: 23-35Рассмотрен подход к верификации интерпретаторов многосортных алгебраических операций по их спецификациям, основанный на конструктивном уточнении понятия расширения многосортной алгебраической системы и доказательстве аксиом алгебраической системы. Этот подход иллюстрируется примерами верификации интерпретаторов операций поля рациональных чисел, многочленов одной переменной и алгебры высказываний. Подход использован при разработке систем компьютерной математики учебного назначения.Problems in programming 2011; 4: 23-35Розглянуто підхід до верифікації інтерпретаторів багатосортних алгебраїчних операцій за їх специфікаціями, оснований на конструктивному уточненні поняття розширення багатосортної алгебраїчної системи і доведенні аксіомалгебраїчної системи. Цей підхід проілюстровано прикладами верифікації інтерпретаторів операцій поля раціональних чисел, багаточленів однієї змінної та алгебри висловлень. Підхід буловикористано при розробці систем комп’ютерної математики навчальногопризначення. Problems in programming 2011; 4: 23-3
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
Get PDFThe data specified in composite schemes of algorithms are considered. Their composition, structure, properties and the possibility of controlling the correctness of their description are shown.Problems in programming 2013; 2: 3-12Рассмотрены данные, специфицируемые в композиционных схемах алгоритмов. Показан их состав, структура, свойства и возможность контроля корректности их описания.Problems in programming 2013; 2: 3-1
Інтелектуальна інформаційна технологія експертно-аналітичної підтримки організаційних рішень
No full textАn intellectual information technology is described for decision-making expert-analytical support. The functional model for this technology is presented. It is based on computer agents using with the roles of Analyst and Viewpoint Consultant. They operate by the problem area knowledge structures that possess an a priori character to expertise for decision making process natural agents’ consulting. The functions for inter-agents communications using the knowledge structures proposed are considered. The framework proposed may be useful for strategic management processes efficiency to increase in complex organizational structures.Problems in programming 2013; 1: 68-77Описано інтелектуальну інформаційну технологію експертно-аналітичної підтримки прийняття рішень. Надано її функціональну модель, яка базується на використанні комп'ютерних агентів з ролями Аналітик і Консультант точки зору. Вони оперують структурами знань щодо предметної області, апріорного по відношенню до експертизи, здійснюючи консультування природних агентів процесів прийняття рішень. Розглянуто функції міжагентних взаємодій, які використовують запропоновані структури знань. Інформаційна технологія може бути корисною для підвищення ефективності процесів стратегічного управління в складних організаційних структурах.Problems in programming 2013; 1: 68-77
Підвищення якості управління освітнім процесом через інтеграцію модуля на основі ERP ODOO в контексті хмарних технологій
Get PDFThe article examines the integration of an education management module based on the Odoo ERP system in the context of cloud technology usage. It highlights the importance of automation and optimization of management processes in educational institutions. The Odoo ERP system is presented as a universal tool for centralized man agement of schedules, academic performance tracking, and communication among all participants in the educa tional process. Special attention is given to adapting the system to the needs of Ukrainian educational institutions, developing customized solutions, and testing the module in a real educational environment. The research results demonstrate the effectiveness of system integration, particularly in automating routine tasks, enhancing trans parency, and improving the productivity of educational institutionsProblems in programming 2025; 1: 124-130У статті розглядається інтеграція модуля управління освітнім процесом на основі ERP-системи Odoo у контексті використання хмарних технологій. Описується важливість автоматизації та оптимізації управ лінських процесів в освітніх установах. Система ERP Odoo представлена як універсальний інструмент для централізованого управління розкладами, обліком успішності та комунікацією між усіма учасниками освітнього процесу. Окрему увагу приділено адаптації системи до потреб українських навчальних закла дів, створенню індивідуальних рішень, а також тестуванню модуля на базі реального освітнього закладу. Результати дослідження демонструють ефективність інтеграції системи, зокрема автоматизацію рутин них завдань, підвищення прозорості та продуктивності роботи закладів освіти.Problems in programming 2025; 1: 124-13
Багатопоточні комп’ютерні обчислення у дослідженні нелінійних динамічних систем
Get PDFPrombles in programming 2013; 3: 109-116Динамічні системи із антисипацією представляють собою новий напрям в математичному моделюванні, котрий знаходить все більше застосувань в таких прикладних областях, як штучні нейронні мережі, клітинні автомати, агентів тощо. Такі нові моделі успішно застосовують у моделюванні різних соціальних явищ (зокрема поведінки натовпу). В роботі розглядаються особливості та проблеми моделювання нелінійних динамічних систем з операторами еволюції, що задаються багатозначними відображеннями. Запропонована архітектурна модель багатопоточних обчислень карт показників (в якості яких можуть виступати як фрактальні розмірності, карти динамічних режимів, так і показники Ляпунова) при моделюванні систем із сильною антисипацією. Детально описані процедури розрахунку карт динамічних режимів та карт старших показників Ляпунова, що адаптовані до такого типу динамічних систем. В ході роботи використовувалися розроблені багатопоточні програмні засоби для обчислювальної системи архітектури СКІТ.Prombles in programming 2013; 3: 109-11
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
Get PDFPrombles in programming 2013; 3: 22-37Досліджено чисті першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для різних відношень логічного наслідку в таких логіках побудовано спеціальні секвенційні числення. При цій побудові використано спеціальні предикати-індикатори наявності значення для змінних. Для пропонованих числень доведено теореми коректності й повноти.Prombles in programming 2013; 3: 22-3
Підхід до побудови інтелектуальних систем підтримки прийняття рішень на основі онтологій
Get PDFProblems in programming 2013; 4: 43-52Розглядається підхід до розроблення інтелектуальних систем підтримки прийняття рішень з використанням онтологій у складі баз знань таких систем. Здійснено класифікацію таких систем з погляду їх функціонування на основі онтологій. Розроблено математичне забезпечення функціонування інтелектуальних систем підтримки прийняття рішень, яке ґрунтується на онтологіях. Для цього введено поняття адаптивної онтології. Модель адаптивної онтології визначено як розвиток класичної моделі додаванням ваг важливості понять та відношень, які зберігаються в онтології.Problems in programming 2013; 4: 43-5
Програмне забезпечення «G_Sim» для симуляції фізіологічних реакцій людини на прискорення Gz
No full textSpecialized software “G_Sim”, providing simulations of human physiological responses to dynamic Gz ac celerations, is created and tested. “G_Sim” is based on a previously developed and published quantitative mathematical model (QMM) that describes human hemodynamics under given Gz profiles without or with special protective tools and algorithms. “G_Sim” is a modern information technology realized as an auto nomic executive module in the Delphi Pascal environment. By default, the biological parameters of QMM are tuned for the mean man, who is 175 cm in height and has a 70 kg mass. “G_Sim” has an intuitive user in terface (UI) that provides the user with procedures necessary to actualize characteristics of QMM, realize a computer experiment (simulation), visualize its results in graph forms for analysis, and save the chosen data for further analysis. The actualization concerns biological data associated with human sex, anthropometrics, age, and non-biological characteristics including acceleration profiles, characteristics of the anti-G suit, breathing techniques, and muscle stressing mode. UI's special windows provide additional tunings of the basic QMM. “G_Sim” upgrades the traditional training techniques on centrifuges and test flights. The novel beneficial effect of “G_Sim” provides the future fighter pilot with realistic-like visual knowledge concerning the dynamics of physiological and protective events. Therefore, simulations will clearly show ways to opti mize the combination of artificial protections to prevent negative effects (loss of vision or consciousness). Such knowledge will shorten training and minimize the anthropogenic risk of serious injuries or catastro phes during the training. Test simulations presented in the paper mainly illustrate the potential of “G_Sim” as an assistant informational technology. Prombles in programming 2025; 1: 13-23Створено та протестовано спеціалізоване програмне забезпечення «G_Sim», що забезпечує моделюван ня фізіологічних реакцій людини на динамічні прискорення Gz. «G_Sim» базується на раніше розроб лені та опубліковані кількісні математичні моделі (КMM), яки описують гемодинаміку людини за зада ними профілями Gz без або з використанням спеціальних захисних інструментів і алгоритмів. «G_Sim» —сучасна інформаційна технологія, реалізована у вигляді автономного виконавчого модуля в середо вищі Delphi Pascal. За замовчуванням біологічні параметри QMM налаштовані на середнього чоловіка, який має зріст 175 см і вагу 70 кг. «G_Sim» має інтуїтивно зрозумілий інтерфейс користувача (ІК), який надає користувачеві процедури, необхідні для актуалізації характеристик КMM, реалізації комп’ютерного експерименту (симуляції), візуалізації його результатів у вигляді графіків для аналізу та збереження вибраних даних для подальшого аналізу. Актуалізація стосується біологічних даних, пов’язаних зі статтю людини, антропометричними показниками, віком і небіологічними характеристи ками, включаючи профілі прискорення, характеристики анти-G костюма, техніки дихання та режим навантаження на м’язи. Спеціальні вікна ІК забезпечують додаткові налаштування основного КMM. «G_Sim» вдосконалює традиційні методи навчання на центрифугах і тестових польотах. Новий ко рисний ефект «G_Sim» є в тому, що симуляції надають майбутньому пілоту винищувача реалістичні візуальні уяви щодо динаміки фізіологічних і захисних подій. Таким чином, симуляції чітко покажуть шляхи оптимізації комбінації штучних засобів захисту для запобігання негативним ефектам (втрата зо ру чи свідомості). Такі знання скоротять навчання та мінімізують антропогенний ризик серйозних травм або катастроф під час навчання. Тестове моделювання, представлене в статті, в основному ілюструє потенціал «G_Sim» в якості допоміжної, інформаційної технології.Prombles in programming 2025; 1: 13-2