PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Метод розрахунку параметрів фазових переходів дискретних технологічних та інформаційних процесів стратегічного планування з розпаралелюванням обчислень
Full text linkProblems in programming 2013; 4: 86-93Розглянуто проблему підвищення ефективності управління дискретними технологічними та інформаційними процесами. Запропоновано метод розрахунку параметрів фазових переходів для вирішення задач стратегічного планування з використанням технології автоматизації управління дискретними технологічними та інформаційними процесами з розпаралелюванням обчислень.Problems in programming 2013; 4: 86-9
Про метод найближчої точки як метод управління стратегіями переслідування/утікання агентів
Full text linkProblems in programming 2013; 4: 94-99Розглядається проблема управління стратегіями переслідування/утікання агентів на площині. Аналізується існуючий підхід з управління стратегіями переслідування/утікання, запропонований Р. Айзексом, та обґрунтовується недоцільність його використання для випадку управління агентами. Пропонується метод найближчої точки та обґрунтовуються переваги його використання для управління стратегіями переслідування/утікання для довільної кількості агентів.Problems in programming 2013; 4: 94-9
Програмно-апаратна система безконтактного виявлення мін на основі непружного розсіювання нейтронів та машинної обробки спектрів характеристичного γ-випромінювання
No full textThis paper proposes а software-hardware system for remote mine detection using the neutron nondestructive analysis method. The method is based on the analysis of the interaction of fast neutrons with nitrogen, car bon, and oxygen nuclei in explosives and computer processing of the spectra of characteristic γ-radiation re sulting from inelastic scattering. The γ-spectra are simulated for typical mine components, the possibilities of implementing the method in field conditions are considered, and recommendations are given for the selec tion of neutron sources and methods for calculating spectra, taking into account distorting factors.Problems in programming 2025; 1: 118-123Запропоновано програмно-апаратну систему дистанційного виявлення мін з використанням методу нейтронного неруйнівного аналізу. Метод заснований на аналізі взаємодії швидких нейтронів з ядра ми азоту, вуглецю та кисню у складі вибухових речовин і машинному обробленні спектрів характе ристичного γ-випромінювання, що виникає в результаті непружного розсіювання. Проведено моде лювання γ-спектрів для типових компонентів мін, розглянуто можливості реалізації методу в польо вих умовах, а також надано рекомендації щодо вибору джерел нейтронів і методик розрахунку спек трів з урахуванням спотворювальних факторів.Problems in programming 2025; 1: 118-12
Програмне рішення для зберігання та аналізу електрокардіограм
Full text linkSoftware solutions for medical and healthcare fields are becoming increasingly popular due to advancements in information technology. Over the past decades peak detection algorithms as well as detection of other segments on ECG, arrhythmias detection and other pathologies detection algorithms achieved significant accuracy. This study proposes an approach for integrating such algorithms into a unified systems by developing a software solution that analyzes available ECGs from various sources, standardizes them into a common format, and provides detailed reporting that is easily understandable for medical experts or patients. The implementation is carried out as a web application that can provide users with information about cardiograms, process ECGs depending on the integrated algorithms, store necessary ECG segments, diagnostic results, and more. The system incorporates a newly developed algorithm for detecting R-peaks and visualizing ECG signals processed by the algorithm with annotations obtained both automatically and with the participation of cardiology specialists.Prombles in programming 2024; 4: 43-50Розробка програмних рішень для роботи у медичній сфері з кожним роком стає популярнішою завдяки розвитку інформаційних технологій. За останні десятиліття алгоритми знаходження окремих ділянок на електрокардіограмі (ЕКГ), виявлення та класифікація аритмій та інших патологій на ЕКГ досягли значної точності. У даній роботі запропоновано підхід до інтеграції таких алгоритмів у єдину систему шляхом розробки програмного рішення, яке аналізує наявні ЕКГ з різних джерел, приводить їх до спільного формату та надає звітність щодо пацієнтів. Реалізація здійснена у вигляді веб-застосунку, що може надати користувачеві інформацію із кардіограм, обробляти ЕКГ залежно від доданих алгоритмів, зберігати потрібні ділянки ЕКГ, результати діагностування захворювань тощо. В систему імплементовано новий алгоритм знаходження R-піків та візуалізація ЕКГ-сигналу обробленим алгоритмом з анотаціями, отриманими як автоматично, так і за участі спеціалістів-кардіологів. Prombles in programming 2024; 4: 43-5
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Full text linkThe paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space.Prombles in programming 2014; 2-3: 145-150Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.Prombles in programming 2014; 2-3: 145-15
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
Full text linkThe analysis state and using factories in industrial developing software are done. Basics of fabric scientific software and ground them to decision task are proposed. Industrial approach to computing of different scientific tasks e–science is elaborated. New disciplines for production program artifacts, reuses and training those students on specialties of informatics and Computer Sciences are development.Prombles in programming 2011; 1: 3-16Дано аналіз сучасного стану і застосування фабрик в індустріальному виробництві програмної проду кції. Запропоновані базові складові фабрики наукового софтвера, обґрунтовано їх зміст і призначення у рішенні наукових завдань. Розглянуто підхід до індустрії обчислень різних наукових задач. Сформу льовані нові дисципліни з індустріального виробництва програмних артефактів і reuses та навчання цим дисциплінам студентів за відповідними спеціальностями з інформатики і Computer Sciences.Prombles in programming 2011; 1: 3-1
Часткові обчислення у системі інсерційного моделювання
No full textThe paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of insertion modeling are stated. The main features of partial evaluation are described in the paper. The concep-tion of partial evaluation in insertion modeling is presented.Problems in programming 2013; 1: 14-22 Стаття відноситься до практичних аспектів інсерційного моделювання. Система інсерційного моделювання – це середовище для розробки інсерційних машин, які використовуються для представлення інсерційних моделей для розподілених систем. В статті описано основні поняття інсерційного моделювання та основні поняття змішаних обчислень. Основна концепція реалізації змішаних обчислень у інcерційному моделюванні представлена у статті.Problems in programming 2013; 1: 14-2
Інфраструктура для трансформації XML-моделей
No full textThis paper offers an approach to building lightweight infrastructure for model-oriented development of complex software systems. It supposes usage of domain-dependent XML-format for primary models. The model has compact representation, admits using advanced tools for changing and extending, allows defining transformations for converting from domain-dependent XML to any other models (for sample, UML) in simplified manner. The use of XSL for describing transformations provides ability to organize both vertical and horizontal transformations (with any number of abstraction layers); enables optimum conditions for collaborative work.Prombles in programming 2011; 3: 52-57Предложен вариант упрощенной инфраструктуры для модель-ориентированной разработки больших программных систем. База построения – первичное представление модели в виде доменно-зависимого XML-формата. Модель имеет максимально компактное представление, допускает использование развитых средств изменения и расширения, позволяет легко определить трансформации для преобразования созданных доменно-зависимых моделей в любые другие модели (например, UML). Использование XSL для описания трансформаций дает возможность эффективно организовывать как вертикальные трансформации с произвольным количеством слоев абстракции, так и горизонтальные; создает оптимальные условия для командной работы.Prombles in programming 2011; 3: 52-57Запропоновано варіант полегшеної інфраструктури для модель-орієнто-ваної розробки великих програмних систем. Основою є первинне подання моделі у вигляді доменно-залежного XML-формату. Модель має макси-мально компактне уявлення, надає мож-ливість застосовувати розвинені засоби зміни та розширення, дозволяє легко визначити трансформації для перетво-рення створених доменно-залежних моделей: в будь-які інші моделі (напри-клад, UML). Використання XSL для опису трансформацій з довільною кіль-кістю шарів абстракції, так і горизон-тальні; створює оптимальні умови для командної роботи.Prombles in programming 2011; 3: 52-5
Рольова функціональність суб'єктів експертизи програмного забезпечення інформаційно-телекомунікаційних систем.
Full text linkVariants of role functionality of subjects of scientific and scientific and technical examination of the software of information-telecommunication systems during pro-conducting expert tests by various structure of subjects are considered. Ways of a choice of the most comprehensible variants of structure of subjects from the point of view of their practical realisation and the decision of the put tasks depending on a kind of expert tests and the purpose of their carrying out are offered.Problems in programming 2013; 1: 23-44Розглядаються варіанти рольової функціональності суб'єктів наукової та науково-технічної експертизи програмного забезпечення інформаційно-телекомунікаційних систем під час проведення експертних випробувань різними складами суб’єктів. Пропонуються шляхи вибору найбільш прийнятних варіантів складів суб’єктів експертизи з точки зору їх практичної реалізації та вирішення поставлених завдань в залежності від виду експертних випробувань та мети їх проведення.Problems in programming 2013; 1: 23-4
Модернізація системи управління господарсько-майновим комплексом Національної академії наук України
Full text linkIn 2023 the Institute of Software Systems of the National Academy of Sciences of Ukraine created and imple mented a computer information and analytical system known as the Digital Real Estate Management System of the NASU. It was aimed at creating effective management of the NASU as a unified economic and property complex. The system is designed to manage the accounting, storage and use of reliable and up-to-date infor mation on real estate, as well as lease and use agreements. The system was developed using a modern software platform without using software from the aggressor country. The article describes a modernized version of the system, in which new subsystems were introduced and existing ones were improved. That allows more efficient management of the property complex of the National Academy of Sciences of Ukraine.Prombles in programming 2025; 2: 98-111Для ефективного управління господарсько-майновим комплексом Національної академії наук України 2023 року Інститутом програмних систем НАНУ було створено та впроваджено комп’ютерну інформа ційно-аналітичну систему. Вона отримала назву Цифрова система управління нерухомим майном НАН України. Система призначена для управління обліком, зберіганням та використанням достовірної та ак туальної інформації щодо нерухомого майна, а також- ведення договорів оренди та користування. Сис тема розроблена з використанням сучасної програмної платформи без використання програмного забез печення країни-агресора. В статті описана модернізована версія системи, в якій було впроваджено нові підсистеми та вдосконалено вже існуючі, що дає змогу більш ефективно управляти майновим комплек сом Національної академії наук України. Prombles in programming 2025; 2: 98-111