Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Перегляд Проблеми програмування за назвою

Перегляд Проблеми програмування за назвою

Результати 26-45 з 1201

Deductive verification of requirements for event-driven architecture

Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A. (Проблеми програмування, 2013)

The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design ...
Defining degree of semantic similarity using description logic tools

Zakharova, O.V. (Проблеми програмування, 2021)

Establishing the semantic similarity of information is an integral part of the process of solving any information retrieval tasks, including tasks related to big data processing, discovery of semantic web services, ...
Development of decision support system using OLAP-technologies for information security monitoring systems

Dashdamirova, K.Q. (Проблеми програмування, 2022)

The article highlighted the need for continuous monitoring of the computer networks (CN) for information security and analyzed the sources of data for information security monitoring (ISM). Methods of data collection from ...
Development of domain thesaurus as a set of ontology concepts with use of semantic similarity and elements of combinatorial optimization

Rogushina, Y.V.; Gladun, A.Y. (Проблеми програмування, 2021)

We consider use of ontological background knowledge in intelligent information systems and analyze directions of their reduction in compliance with specifics of particular user task. Such reduction is aimed at simplification ...
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

Bača, J.; Korecko, S.; Poruban, J.; Vaclavik, P. (2003)

The Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure ...
Digital health systems: SMART-system for remote support of hybrid E-rehabilitation services and activities

Palagin, O.V.; Malakhov, K.S.; Velychko, V.Yu.; Semykopna, T.V.; Shchurov, O.S. (Проблеми програмування, 2022)

The top-priority challenges were faced by the medical rehabilitation system in Ukraine. Particularly important tasks include, first of all, the rehabilitation of patients who have recovered from COVID-19 disease and people ...
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach

Palagin, O.V.; Velychko, V.Yu.; Malakhov, K.S.; Shchurov, O.S. (Проблеми програмування, 2020)

We design a new technique for the distributional semantic modeling with a neural network-based approach to learn distributed term representations (or term embeddings) – term vector space models as a result, inspired by the ...
Domain engineering approach of software requirements analysis

Chebanyuk, O.V.; Palahin, O.V.; Markov, K.K. (Проблеми програмування, 2020)

Requirement analysis is one of the important processes in software development lifecycle management. In Agile approach requirements software models are the basic of generating other software development artifacts. Improving ...
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1

Колесник, В.Г. (Проблеми програмування, 2015)

Описаны виды деления Р-данных и рассмотрены факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме ...
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2

Колесник, В.Г. (Проблеми програмування, 2015)

Статья – очередная из цикла работ описывающих теорию схем декомпозиции как теорию прикладных алгоритмов. Схема декомпозиции рассматривается как прототип прикладного алгоритма. Цель статьи – рассмотреть преобразование схемы ...
DS-теория. Исследование факторов форматирования Р-данных

Колесник, В.Г. (Проблеми програмування, 2016)

В этой работе продолжается изложение теории схем декомпозиции как теории прикладных алгоритмов. Рассматривается механизм преобразования схемы декомпозиции в реальный прикладной алгоритм, обусловленный разнообразием способов ...
DS-теория как прототип теории прикладных алгоритмов

Колесник, В.Г. (2012)

Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учиты-вая ее алгоритмическую природу, как ...
DS-теория. Научные аспекты и перспективы развития

Колесник, В.Г. (Проблеми програмування, 2017)

В работе представлена теория схем декомпозиции как научная теория. Описаны ее атрибуты – парадигма, поле исследований, цель исследований, основная задача, метод решения , основная теоретическая модель – схема декомпозиции. ...
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка

Колесник, В.Г. (Проблеми програмування, 2015)

Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать ...
E-ditorial – віртуалізація роботи редакційної колегії фахового періодичного видання

Даревич, Р.Р.; Досин, Д.Г.; Литвин, В.В.; Мриглод, O.І.; Шкутяк, Н.В. (2010)

Розглядається архітектура віртуальної самокерованої редакційної колегії фахового періодичного видання як системи штучного інтелекту, яка містить методи і засоби автоматичної підготовки до електронного друку поданих статей. ...
Efficient increasing of the mutation score during model-based test suite generation

Kolchin, A.; Potienko, S.; Weigert, T. (Проблеми програмування, 2020)

The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess ...
Extended performance accounting using Valgrind tool

Rahozin, D.V.; Doroshenko, A.Yu. (Проблеми програмування, 2021)

Modern workloads, parallel or sequential, usually suffer from insufficient memory and computing performance. Common trends to improve workload performance include the utilizations of complex functional units or coprocessors, ...
Extracting structure from text documents based on machine learning

Kudim, K.A.; Proskudina, G.Yu. (Проблеми програмування, 2022)

This study is devoted to a method that facilitates the task of extracting structure from the text documents using an artificial neural network. The method consists of data preparation, building and training the model and ...
Features of building recommendation systems based on neural network technology using multithreading

Komleva, N.O.; Zinovatna, S.L.; Liubchenko, V.V.; Komlevoi, O.M. (Проблеми програмування, 2022)

The article is devoted to the creation of a recommendation system for tourists regarding hotels using a neural network based on a multilayer perceptron. The work uses the mechanism of parallelization of the training sample ...
First experience of using INTSPEI P-Modeling Framework in software development projects

Pavlov, V.L.; Boyko, N.I.; Babich, A.V. (2007)

INTSPEI P-Modeling Framework - це набір принципів, методів та інструментів, який має на меті розширення існуючих методологій розробки програмного забезпечення, що дозволяє зробити командну працю розробників більш ефективною ...

Результати 26-45 з 1201

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Розділ

Перегляд Проблеми програмування за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за назвою

Пошук

Перегляд

Вся бібліотека

Розділ

Мій обліковий запис