PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Алгебро-динамічні моделі для розпаралелювання програм
No full textWe propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiveness of program parallelization.Problems in programming 2010; 1: 39-55Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений.Problems in programming 2010; 1: 39-55Запропоновано алгебро-динамічні моделі та метод перевірки коректності оптимізуючих перетворень для мультипоточних програм та програм для графічних прискорювачів. Описано використання цих моделей за допомогою техніки переписувальних правил для доведенні коректності перетворень та підвищення ефективності розпаралелювання обчислень.Problems in programming 2010; 1: 39-5
Онтологічне моделювання предметної області з проблематикою e-scienсe
Full text linkThe problem of application of results of ontological design of subject domains is examined with problems of e-science for the construction of e-infrastructures of informative-technological support of conduct of research works. Considered the most determining aspects of the use of Protégé tool for thedecision of this problem. An example of application of Protégé for the decision of the indicated problems is presented.Prombles in programming 2011; 3: 30-37Розглядається проблема застосування результатів онтологічного моделювання предметних областей з проблематикою e-Science для побудови e-інфраструктур інформаційно-технологічної підтримки ведення науково-дослідних робіт. Розглянуті найбільш визначальні аспекти використання інструментарію Protégé для рішення цієї проблеми. Наведено приклад застосування Protégé щодо рішення зазначеної проблематики.Prombles in programming 2011; 3: 30-3
Про застосування машинного навчання для проектування адаптивних програм сортування в алгебрі алгоритмів
No full textThe experiment on development of adaptive sorting program on the basis of usage of algorithm selection method, machine learning system and algebra-algorithmic approach is conducted. Machine learning facilities allow to automatize constructing of adaptive algorithm on the basis of analysis of experimental data, related to execution of initial algorithms. Designing of algorithms is based on usage of systems of algorithmic algebras.Prombles in programming 2011; 2: 23-33Проведен эксперимент по разработке адаптивной программы сортировки на основе использования метода выбора алгоритмов, системы машинного обучения и алгеброалгоритмического подхода. Средства машинного обучения позволяют автоматизировать построение адаптивного алгоритма на основе анализа экспериментальных данных, связанных с выполнением исходных алгоритмов, имеющихся в распоряжении разработчика. Для проектирования алгоритмов использован язык, основывающийся на системах алгоритмических алгебр.Prombles in programming 2011; 2: 23-33Проведено експеримент з розробки адаптивної програми сортування на основі використання методу вибору алгоритмів, системи машинного навчання і алгеброалгоритмічного підходу. Засоби машинного навчання дозволяють автоматизувати побудову адаптивного алгоритму на основі аналізу експериментальних даних, пов'язаних з виконанням початкових алгоритмів, які є у розпорядженні розробника. Для проектування алгоритмів використана мова, що ґрунтується на системах алгоритмічних алгебр.Prombles in programming 2011; 2: 23-3
Огляд методів нейроуправління
No full textWe consider methods of using neural networks to control dynamic objects. Schemes of neural networks training and connecting inside the control systems are presented in details. Analysis of benefits and disadvantages of described methods is presented.Problems in programming 2011; 2: 79-94Рассматриваются методы применения нейронных сетей для решения задач управления динамическими объектами. Для каждого вида нейроуправления приводятся схемы соединения нейросетей внутри системы управления и детально описываются процедуры их обучения. Анализируются преимущества и недостатки описанных методов.Problems in programming 2011; 2: 79-94Розглянуто способи використання нейронних мереж для вирішення задач управління динамічними об’єктами. Для кожного виду нейроуправління наводяться схеми з’єднання нейромереж всередині системи управління і детально викладаються процедури їх навчання. Приводиться аналіз переваг та недоліків описаних методів.Problems in programming 2011; 2: 79-9
Національна локалізація послуг електронного цифрового підпису в сучасних офісних пакетах
No full textoai:pp.isofts.kiev.ua:article/829An article describes a typical process of signing on the basis of the requirements of the standard model of qualified public key infrastructure. Article deals with comparison of technological capabilities of MS Office 2010 and model of the signature process. Specific recommendations on the national Ukrainian localization of MS Office 2010 are given in article.Prombles in programming 2011; 4: 85-89Описан типовой процесс подписания, исходя из требований эталонной модели квалифицированной инфраструктуры открытых ключей. Проведено сравнение технологических возможностей офисного пакета MS Office 2010 и типового процесса подписания. Даны конкретные рекомендации по национально-украинской локализации офисного пакета MS Office 2010.Prombles in programming 2011; 4: 85-89Описано типовий процес підписування, виходячи з вимог еталонної моделі кваліфікованої інфраструктури відкритих ключів. Проведено порівняння технологічних можливостей офісного пакету MS Office 2010 і типового процесу підписання. Дані конкретні рекомендації щодо національно-української локалізації офісного пакету MS Office 2010.Prombles in programming 2011; 4: 85-8
Створення розвинених інтернет-програм на прикладі побудови віджет-програм
No full textConsiders use of methodology for advanced internet-programs creation on base of Adobe Flex 2.0, using design patterns and architecture shell. Approach illustrated by developing widget-programs.Problems in programming 2011; 4: 49-55Рассмотрено применение методологии создания развитых Интернет-программ на основе Adobe Flex 2.0 с применением паттернов проектирования и архитектурного каркаса. Подход проиллюстрирован построением виджет-программ.Problems in programming 2011; 4: 49-55Розглянуто застосування методології створення розвинених інтернет-програм на основі Adobe Flex 2.0 з використання патернів проектування та архітектурного каркасу. Підхід проілюстровано побудовою віджет-програм.Problems in programming 2011; 4: 49-5
Использование онтологических знаний в рекомендующих системах
Full text linkThe main functions of recommender systems and criteria of their classification are analysed. Methods of recommendation generation based on the ontological model of knowledge about users and resources and its use in the semantic search system MAIPS are proposed.Problems in programming 2013; 2: 71-86Проанализированы основные функции рекомендующих систем и критерии их классификации. Предложены методы выработки рекомендаций на основе онтологической модели знаний о пользователях и ресурсах и ее использование в семантической поисковой системе МАИПС.Problems in programming 2013; 2: 71-8
Інтегрована система безпеки для захисту синхронізації платежів від МІТМ-атак
Full text linkThe article addresses the challenge of securing payment synchronization against Man-in-the-Middle (MITM) attacks in multichannel payment systems, where cash, card, and online transactions are integrated with CRM and accounting platforms. It examines MITM attack scenarios and their impact on transaction integrity. A multi-layered security framework is proposed, leveraging artificial intelligence techniques, cryptographic methods (digital signatures and timestamps), and additional client verification mechanisms. The model enhances resilience against fraud, replay attacks, and data substitution, ensuring high reliability and scalability across electronic transaction systems.Prombles in programming 2025; 2: 28-39У статті вирішується проблема захисту синхронізації платежів від MITM-атак у багатоканальних платіжних системах, де готівкові, карткові та онлайн-платежі інтегровані з CRM і бухгалтерськими платформами. Розглянуто сценарії атак «людина посередині» та їхній вплив на цілісність транзакцій. Запропоновано багаторівневу систему захисту з використанням методів штучного інтелекту, крипто графії (цифрові підписи й часові мітки) та додаткової верифікації клієнтів. Модель підвищує стій кість до фальсифікацій, повторних атак і підміни даних, забезпечуючи високу надійність і масштабо ваність у системах, що працюють із електронними транзакціями.Prombles in programming 2025; 2: 28-3
Потокові моделі динамічного планування черг в комп’ютерних мережах умов конфлікту
Full text linkThis paper deals with the general problem of network control under a situation of conflict – the denial of service attack. Work focused on the problem of dynamic scheduling in fluid models and relationship between stochastic and fluid models. There is proposed network control strategy under denial of service attack. There is found the conditions under which the game can be finished.Problems in programming 2010; 1: 88-95Рассматривается общая проблема управления сетями в условиях конфликта – атаки на отказ. Основное внимание сосредоточено на задачах динамического планирования в потоковой модели. Рассмотрены вопросы взаимосвязи между стохастической и потоковой моделями. Для задачи управления найдена стратегия работы сети в условиях атаки на отказ. Определены условия и функции управления, которые гарантируют работоспособность системы не ниже заданного уровня.Problems in programming 2010; 1: 88-95Розглядається загальна проблема керування мережами за умов конфлікту – атаки на відмову. Основну увагу зосереджено на задачі динамічного планування у потоковій моделі. Розглянуті питання зв’язку між стохастичною і потоковою моделями. Розглядається задача пошуку стратегії роботи мережі в умовах атаки на відмову. Знайдено умови та функції керування, які гарантують працездатність системи не нижче заданого рівня.Problems in programming 2010; 1: 88-9
ГЕОРГІЙ ОВСІЙОВИЧ ЦЕЙТЛІН (1940-2013)
Full text linkThe editorial board of the journal "Problems in Programming" is saddened to announce that after a long illness, a member of the editorial board, leading researcher at the Institute of Software Systems of the National Academy of Sciences of Ukraine, Doctor of Technical Sciences, Professor Georgy Ovsievich Tseitlin passed away at the age of 73.Редколегія журналу «Проблеми програмування» з сумом сповіщає, що пі сля тривалої хвороби на 73-ому році пішов з життя член редколегії журналу, провідний науковий співробітник Інституту програмних систем НАН України, доктор технічних наук, професор Георгій Овсійович Цейтлін