http://dspace.nbuv.gov.ua:80/handle/123456789/190332 Sat, 04 Apr 2026 16:48:12 GMT 2026-04-04T16:48:12Z http://dspace.nbuv.gov.ua:80/bitstream/id/568351/ http://dspace.nbuv.gov.ua:80/handle/123456789/190332 http://dspace.nbuv.gov.ua:80/handle/123456789/190444 Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах Погорілий, С.Д.; Слинько, М.С. Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано використання математичних апаратів системи алгоритмічних алгебр/модифікованої системи алгоритмічних алгебр та транзиційних систем. Для другого етапу проаналізовано використання мережевих та автоматних моделей і наведено переваги кожної моделі. Зокрема, проведено дослідження моделі обчислень в архітектурі NVIDIA CUDA за допомогою мереж Петрі, а також формул лінійно-темпоральної логіки та автоматної моделі.; Предложена методология проектирования приложений для систем с массовым параллелизмом на примере GPGPU-систем, ориентированная на алгоритмический этап проектирования. Рассмотрены две фазы проектирования: создание формальной спецификации и ее исследование и верификация. Для первого этапа предложено использование математических аппаратов системы алгоритмических алгебр/модифицированной системы алгоритмических алгебр и транзиционных систем. Для второго этапа проанализировано использование сетевых и автоматных моделей и приведены преимущества каждой из них. В частности, проведено исследование модели вычислений в архитектуре NVIDIA CUDA при помощи сетей Петри, а также формул линейно-темпоральной логики и автоматных моделей.; An application design methodology for massively parallelized systems (GPGPU systems) focused on the algorithmic design phase is proposed. Two design sub-steps are considered: creation of the formal specification of the system; and its research and verification. The use of mathematical apparatuses SAA/SAA-M as well as transition systems is proposed for the first step. Advantages and specifics of using network and automaton models for the second step are given. NVIDIA CUDA architecture computation model analysis is proposed using Petri nets (network model) and using linear-temporal logic formulas and Buchi automaton (automaton model). Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/190444 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/190443 Использование технологии CUDA для ускорения вычислений в задачах химической кинетики Сарсембаев, М.C.; Урмашев, Б.А.; Младенович, Н.; Заславский, B.А. Рассмотрена задача химической кинетики, проведен расчет изменений концентраций веществ в реакциях по времени и созданию массивно-кинетического инструментария для решения задачи с использованием современных технологий распараллеливания. Описана математическая модель изменения концентраций веществ в системе с одномерным приближением и возможностью ускорения вычислений с использованием технологией CUDA. Расчет на графических процессорах NVIDIA показал, что с увеличением числа химический реакций время вычисления намного уменьшается по сравнению со временем расчета на центральных процессорах; Розглянуто задачу хімічної кінетики, проведено розрахунок змін концентрації речовин в реакціях за часом і створення масивно-кінетичного інструментарію для розв'язання задачі з використанням сучасних технологій розпаралелювання. Описано математичну модель зміни концентрацій речовин в системі з одновимірним наближенням і можливістю прискорення обчислень з використанням технології CUDA. Розрахунок на графічних процесорах NVIDIA показав, що зі збільшенням кількості хімічних реакцій час обчислення набагато зменшується в порівнянні з часом розрахунку на центральних процесорах.; The paper focuses on the problem of chemical kinetics, calculation of changes in the concentration of substances in the reactions over time, and creation of a mass kinetic solver to solve the problem using modern parallelization technologies. A mathematical model of variation in the concentration of substances in a system with a one-dimensional approximation and the possibility of accelerating the calculations using the CUDA technology are described. The calculation performed on NVIDIA graphic processor showed that an increase in the number of responses much reduces the computing time as compared with the computing time on the central processors. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/190443 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/190432 Новые подходы к анализу и интерпретации формы циклических сигналов Файнзильберг, Л.С. Предложены новые методы извлечения локализованной диагностической информации из циклических сигналов сложной формы. Показаны преимущества альтернативного метода оценки формы усредненного цикла, основанного на переходе от скалярного сигнала к его отображению на фазовой плоскости. Предложены оригинальные методы оценки динамики параметров, характеризующих форму информативных фрагментов сигнала, основанные на построении выпуклой оболочки фазового портрета перестановочной энтропии и расстоянии Левенштейна.; Запропоновано нові методи вилучення локалізованої діагностичної інформації з циклічних сигналів складної форми. Показано переваги альтернативного методу оцінювання форми усередненого циклу, який базується на переході від скалярного сигналу до його відображення на фазовій площині. Запропоновано оригінальні методи оцінювання динаміки параметрів, що характеризують форму інформативних фрагментів сигналу, основані на побудові опуклої оболонки фазового портрета переставної ентропії та відстані Левенштейна.; New methods for extracting localized diagnostic information from cyclic signals of complex shape are proposed. The advantages of an alternative method for estimating the shape of an averaged cycle based on the transition from a scalar signal to its mapping on the phase plane are shown. Original methods for estimating the dynamics of parameters characterizing the shape of informative fragments of the signal based on the construction of the convex hull of the phase portrait of the permutation entropy and the Levenshtein distance are proposed. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/190432 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/190431 Інформаційна модель ціноутворення на електронних ринках Саженюк, В.С.; Чорноус, Г.О.; Ярмоленко, Ю.А. Розроблено підхід до моделювання та прогнозування ціни ринкового блага на основі змін інформаційного фактору з використанням апарату диференціальних рівнянь першого порядку. Побудовано інформаційну модель ціноутворення шляхом розв’язання задачі Коші. Показано, що запропонована модель може бути корисною як для прогнозування цін активів на фондовій та валютній біржі, так і на товарних електронних ринках. Представлено процес підготовки даних для реалізації моделі.; Разработан подход к моделированию и прогнозированию цены рыночного блага на основе изменений информационного фактора с использованием аппарата дифференциальных уравнений первого порядка. Построена информационная модель ценообразования путем решения задачи Коши. Показано, что предложенная модель может быть полезной как для прогнозирования цен активов на фондовой и валютной бирже, так и на товарных электронных рынках. Представлен процесс подготовки данных для реализации модели.; The research is focused on the development of an approach to modeling and forecasting a market good prices based on information changes. The process is described by first order differential equations, and the solution of a corresponding Cauchy problem made it possible to develop an information pricing model. The proposed model is shown to be useful both for predicting asset prices on the stock and currency exchanges, and on commodity electronic markets. Data preparation stage before modeling is presented too. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/190431 2020-01-01T00:00:00Z