PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Онтолого-ориентированная интеграция данных в Семантическом Вебе
Full text linkThis paper is devoted to the problem of data integration in the Semantic Web. The process of integration, its main components, namely, construction of integration schemes, the development of mappings between models, the development of ways of manipulation are considered.Prombles in programming 2014; 2-3: 188-196Работа посвящена проблеме интеграции данных в Семантическом Вебе. Рассматривается процесс интеграции, основные его составляющие, а именно: выработка схем интеграции, выработка отображений между моделями, выработка способов манипулирования.Prombles in programming 2014; 2-3: 188-19
Сучасний стан та проблеми розвитку сервіс-орієнтованої парадигми
Full text linkBased on the analysis of the development of software engineering, the main principles and sources of the service-oriented paradigm are identified. The architectural features and basic templates of service-oriented applications and the standards on which they are based are considered. The software engineering of service oriented application development and the current state of its support tools are described. The main problems of building service-oriented applications are identified and ways to overcome them are proposed.Problems in programming 2025; 2: 3-19На основі аналізу розвитку програмної інженерії визначені основні принципи та джерела сервіс орієнтованої парадигми. Розглянуті архітектурні особливості та основні шаблони сервіс орієнтованих застосувань та стандарти, на яких вони ґрунтуються. Надана характеристика програм ної інженерії розробки сервіс-орієнтованих застосувань та сучасного стану засобів її підтримки. Ви явлені основні проблеми побудови сервіс-орієнтованих застосувань та запропоновані шляхи їх подо лання.Problems in programming 2025; 2: 3-1
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Full text linkIn this paper first-order composition-nominative multimodal logics of quantifier-equational level are studied. For these logics sequent calculi are constructed. Soundness and completeness theorems are proved for the defined calculi. Problems in programming 2013; 1: 3-13Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.Problems in programming 2013; 1: 3-1
Підхід до створення студентської фабрики програм
Full text linkThis article reviews important steps in program factory project development. This factory will serve as infor-mational and educational internet project in software engineering and become the basis in student research results accumulation in the field of cybernetics. The main theoretical backgrounds and some existing systems are reviewed as factories. Presented the descript-tion of project’s web site and outlined prospects for development.Prombles in programming 2011; 3: 87-93Розглядаються перші кроки з розроблення проекту фабрики програм, що зможе виконувати роль інформаційно-навчального інтернет проекту в галузі програмної інженерії та стати інструментом накопичення студентських наукових робіт у галузі кібернетики.Prombles in programming 2011; 3: 87-9
Програмно-апаратний комплекс захисту на базі не розкривних шифрів
No full textThe article deals with the creation of hardware and software data protection. The analysis of characteristics of a hardware device based on digital signal processors for implementation of perfectly secure encryption. The algorithms of matching the required parameters between two remote devices. Describes software and hardware protection systems streaming.Prombles in programming 2011; 3: 58-68Рассматриваются вопросы создания программно-аппаратного комплекса защиты информации. Приводится анализ особенностей создания аппаратного устройства на базе цифровых процессоров обработки сигналов для реализации не раскрываемых алгоритмов шифрования. Предложены алгоритмы согласования необходимых параметров связи между двумя удаленными устройствами. Описан программно- аппаратный комплекс защиты для систем потокового вещания.Prombles in programming 2011; 3: 58-68Розглядаються питання створення програмно-апаратного комплексу захи-сту інформації. Наводиться аналіз особливостей створення апаратного пристрою на базі цифрових процесорів обробки сигналів для реалізації не розкривних алгоритмів шифрування. Запропоновано алгоритми узгодження необхідних параметрів зв'язку між двома віддаленими пристроями. Описано програмно-апаратний комп-лекс захисту для систем потокового мовлення.Prombles in programming 2011; 3: 58-6
Оптимізація паралельного перцептрона для центральних процесорів
Full text linkThe problem of efficient implementation of multi-layered perceptron is examined for central processing units of the type of i686. Facilities of optimizationby speed of tasks of computation and learning of perceptron on these processors with the use of multithreading and parallel instructions are offered.Prombles in programming 2011; 3: 23-29Розглядається проблема ефективної реалізації багатошарового перцептрона для центральних процесорів класу i686. Запропоновано методику оптимізації за швидкодією процедур обчислення і навчання перцептрона на цих процесорах із застосуванням багатопоточності та використання паралельних інструкцій.Prombles in programming 2011; 3: 23-2
Багаторівнева адитивно-мультиплікативна модель оцінки узагальнених показників при стратегічному управлінні на основі системи збалансованих показників
Full text linkThe problem of generalized indicators assessment on the basis of balanced scorecard strategic management is considered. The multilevel additive-multiplicative model of generalized indicators assessment of balanced scorecard is proposed. The proposed model appears to be easy to use and makes it possible to boost the adequacy of assessments, which are used in strategic management.Problems in programming 2010; 1: 108-115Рассмотрена проблема оценки обобщенных показателей при стратегическом управлении на основе системы сбалансированных показателей. Предложена многоуровневая аддитивно-мультипликативная модель оценки обобщенных показателей системы сбалансированных показателей. Предложенная модель является простой в применении и позволяет повысить адекватность оценок, которые используются в стратегическом управлении.Problems in programming 2010; 1: 108-115Розглянуто проблему оцінки узагальнених показників при стратегічному управлінні на основі системи збалансованих показників. Запропоновано багаторівневу адитивно-мультиплікативну модель оцінки узагальнених показників системи збалансованих показників. Запропонована модель є простою у застосуванні та дозволить підвищити адекватність оцінок, що використовуються при стратегічному управлінні.Problems in programming 2010; 1: 108-11
Метаевристичні методи оптимізації якості обслуговування композитних вебсервісів
Full text linkWith the advent of service-oriented architectures, it has become possible to register, invoke, and aggregate web services based on their identical quality of service attributes to create composite web services with added value that meet user needs. However, the rapid introduction of new web services into a dynamic business environment can negatively affect their quality of service. Therefore, the question of how to capture, aggregate, and use information about the quality of service of individual web services to obtain an optimal end-to-end quality of service of a composite web service is currently one of the priority research areas in software engineering and service-oriented computing. This paper presents the basic theoretical information necessary to understand the importance, multifacetedness, and complexity of the problem of web service composition taking into account their quality of service, as well as a representative overview of the use of methods global optimization metaheuristic, which have been the dominant methods for solving this problem over the past two decades. The purpose of the work is to draw the attention of students and the scientific community to the current problems of web service composition that arise in the Internet of Things, cloud computing, social networks, mobile computer and smartphone technologies, etc., and to involve them in active participation in solving these problems.Problems in programming 2025; 3: 3-18З появою сервіс-орієнтованих архітектур стало можливим реєструвати, викликати та об'єднувати вебсер віси за їхніми ідентичними атрибутами якості обслуговування для створення композитних вебсервісів з доданою вартістю, які відповідають потребам користувачів. Проте швидке впровадження нових веб сервісів у динамічне бізнес-середовище може негативно вплинути на їхню якість обслуговування. Тому питання про те, як залучити, агрегувати та використати інформацію про якість обслуговування окремих вебсервісів для отримання оптимальної наскрізної якості обслуговування композитного вебсервіса, є на разі одним із приорітетних напрямків дослідження в програмній інженерії та сервіс-орієнтованих обчис леннях. У цій роботі представлені базова теоретична інформація, необхідна для розуміння важливості, багатогранності та складності проблеми композиції вебсервісів з урахуванням їхньої якості обслугову вання, а також репрезентативний огляд використання метаевристичних методів глобальної оптимізації, які протягом останніх двох десятиліть є домінуючими методами вирішення даної проблеми. Мета роботи - привернути увагу студентів та наукової спільноти до актуальних проблем композиції вебсервісів, які виникають в Інтернеті речей, хмарних обчисленнях, соціальних мережах, технологіях мобільних комп’ютерів, смартфонів тощо, і залучити їх до активної участі в розв’язанні цих проблем.Problems in programming 2025; 3: 3-1
Першопорядкові логіки з частковими предикатами для перевірки означенності змінної
Full text linkWe study semantic properties of new classes of program-oriented logics of partial quasiary predicates without monotonicity restriction. A feature of these logics is the use of special 0-ary parametric compositions – partial predicates which checks whether a subject name (variable) has a value in a given data. Such predicates-indicators are needed for quantifier elimination: from formulas of the form x we come to formulas of the form To perform such elimination in logics of non-monotonic predicates, the condition of definedness of a name z is needed, meaning a component with the name zis contained in the input data. We propose two types of pure first-order logics with partial predicates-indicators: LQ and LQ. Logics LQ use extended renominations, while LQ use traditional renominations. In this paper we describe composition algebras and languages of these logics, and introduce and investigate logical consequence relations for formulas and sets of formulas of the language: irrefutability (IR), truth (T), falsity (F) and strong (TF) logical consequences. Conditions that guarantee the logical consequence relation are considered, and their main properties are specified. Special attention is paid to the properties related to predicates-indicators and quantifier elimination. Logical consequence relations’ properties are the semantic basis for sequent calculi’s construction. Basic properties of a given logical consequence relation induce respective sequent forms for the corresponding calculus; properties that guarantee the logical consequence relation induce closedness conditions for sequents in this calculus. Construction of such sequent calculi is planned in the future works.Prombles in programming 2024; 4: 23-33В роботі досліджено нові класи програмно-орієнтованих логічних формалізмів – чисті першопорядковілогіки часткових квазіарних предикатів без обмеження монотонності. Їхньою характерною особливістю є наявність спеціальних 0-арних композицій – часткових предикатів, які визначають наявність у вхідних даних компоненти з відповідним предметним іменем (змінною), тобто з’ясовують означеність цього імені. Такі предикати-індикатори необхідні для елімінації кванторів у логіках немонотонних предикатів. Запропоновано два різновиди логік із частковими предикатами-індикаторами: LQ (із традиційними реномінаціями) та LQ (із розширеними реномінаціями). Описано композиційні алгебри та мови цих логік, дослідженовідношення логічного наслідку. Розглянуто умови гарантованої наявності цих відношень, наведено їхні основні властивості. Увагу акцентовано на властивостях, пов’язаних із предикатами-індикаторами та з елімінацією кванторів. Властивості відношень логічного наслідку є семантичною основою побудови для пропонованих логік відповідних числень секвенційного типу, що буде зроблено в наступних роботах.Prombles in programming 2024; 4: 23-3
Властивості функціональної стійкості інтелектуальних систем у процесі ухвалення рішень
No full textThe article describes the concept of functional sustainability of intelligent systems in decision-making as one of the main aspects in the creation of methods for formalizing and modelling knowledge and the possibility of using it for decision support in the energy sector.The concept of functional stability was introduced for dynamic objects. However, for intelligent systems this concept is significantly different.This is due to the fact that the functioning of intelligent systems cannot be considered as the movement of an object. The functions of artificial intelligence for the creation of intelligent systems in the energy sector to support strategic decision-making on energy development, taking into account the requirements of energy security, are formulated. The use of the principles of situational management corresponds to the general scheme of research on the problem of energy security and strategic decision-making related to the assessment of the state of energy facilities and the fuel and energy complex as a whole, as well as the choice of the main directions of their further functioning and development. The article defines the parameters of functional sustainability of intelligent systems in decision-making and formulates the main characteristics of reliability, stability and survivability of intelligent systems, presents in graphical form the main aspects of functional sustainability of intelligent systems in decision-making, reflecting the basic concepts of situational management, including situational analysis and situational modelling from the perspective of studying the problem of energy security. The formulated concept of the functional sustainability of intelligent systems makes it possible to create algorithms for further use in the development of software for research and support of decision-making solutions in the energy sector.Problems in programming 2024; 4: 89-98У статті описується поняття функціональної стійкості інтелектуальних систем під час ухвалення рішень як одного з головних аспектів створення методів формалізації та моделювання знань і можливості застосування для підтримки ухвалення рішень в енергетиці. Сформульовані функції штучного інтелекту для створення інтелектуальних систем в енергетиці для підтримки ухвалення стратегічних рішень щодо розвитку енергетики з урахуванням вимог енергетичної безпеки. Використання принципів ситуаційного управління відповідає загальній схемі досліджень проблеми енергетичної безпеки та ухвалення стратегічних рішень, пов'язаних з оцінкою стану об'єктів енергетики та паливно-енергетичного комплексу загалом, а також із вибором основних напрямів їхнього подальшого функціонування та розвитку. У статті надано означення параметрів функціональної стійкості інтелектуальних систем під час ухвалення рішень та сформульовані основні характеристики надійності, стійкості та живучості інтелектуальних систем, представлено в графічному вигляді основні аспекти функціональної стійкості інтелектуальних систем у процесі ухвалення рішень, що відображають основні поняття ситуаційного керування, включно із ситуаційним аналізом і ситуаційним моделюванням з позиції дослідження проблеми енергетичної безпеки. Сформульоване поняття функціональної стійкості інтелектуальних систем дає можливість створювати алгоритми для подальшого використання під час розроблення програмного забезпечення для досліджень і підтримки ухвалення рішень в енергетиці. Problems in programming 2024; 4: 89-9