EIRNUZP – Електронний інституційний репозитарій Національного університету «Запорізька політехніка»
Інституційний репозитарій Національного університету «Запорізька політехніка» – це електронний архів, що накопичує, систематизує, зберігає та забезпечує довготривалий відкритий доступ до електронних публікацій та електронних версій документів наукового та навчально-методичного призначення, авторами яких є співробітники, аспіранти, докторанти та студенти Національного університету «Запорізька політехніка».
Communities in DSpace
Select a community to browse its collections.
Recent Submissions
Автоматизированная система анализа и интерпретации ЭКГ
(Національний університет "Запорізька політехніка", 2014) Дубровин, Валерий Иванович; Твердохлеб, Ю. В.; Харченко, В. В.; Дубровін, Валерій Іванович; Твердохліб, Ю. В.; Харченко, В. В.; Dubrovin, V. I.; Tverdohleb, J. V.; Kharchenko, V. V.
RU: В статье выполнен обзор существующих программных продуктов для анализа и интерпретации электрокардиосигнала (ЭКГ), предложен алгоритм идентификации ЭКГ, основанный на обнаружении и временной локализации максимумов модуля вейвлет-преобразования, и нейросетевой классификатор кардиоциклов. Разработана программа для анализа и интерпретации ЭКГ. Проведены эксперименты по делинеации сигнала. Исследованию подвергались записи цифровых сигналов ЭКГ базы данных QTDB. Результаты работы предложенного алгоритма сравнивались с опубликованными результатами работы других алгоритмов идентификации ЭКГ. Наиболее существенное улучшение было обнаружено в определении положения P- и Т-волны.
UK: У статті виконано огляд існуючих програмних продуктів для аналізу та інтерпретації сигналу ЕКГ, запропоновано алгоритм ідентифікації ЕКГ, заснований на виявленні і часовій локалізації максимумів модуля вейвлет-перетворення, та нейромережевий класифікатор кардіоциклів. Розроблено програму для аналізу та інтерпретації ЕКГ. Проведено експерименти по делінеації сигналу. Дослідженню піддавалися запису цифрових сигналів ЕКГ бази даних QTDB. Результати роботи запропонованого алгоритму порівнювалися з опублікованими результатами роботи інших алгоритмів ідентифікації ЕКГ. Найістотніше покращення було виявлено у визначенні положення P- і Т-хвилі.
EN: An existing ECG analysis and interpretation software is reviewed in the paper. A wavelet-based ECG delineation algorithm which performs QRS detection and provides as well the locations of the peak(s) of P, Q, R, S, and T waves, and the P, QRS, and T wave boundaries using a single analysis stage: the dyadic wavelet transform of the ECG signal is proposed. A neural network for the classification of heartbeats is presented. ECG analysis and interpretation program is developed. The delineation algorithm has been validated using QTDB. The results have been compared with those of other published approaches and have shown that the developed algorithm provides a reliable and accurate delineation of the ECG signal, outperforming other algorithms, and with errors well within the observed intercardiologist variations. The most significant improvement was found in the T wave and P wave delineation.
Noisy distorted images recovery using blind deconvolution
(Національний університет «Запорізька політехніка», 2013) Bodyanskiy, Ye.; Kulishova, N.; Бодянський, Є. В.; Кулішова, Н. Є.
EN: The problem of noisy and linearly distorted images recovery is considered. For the solving the blind deconvolution method is proposed. This method ensures contour preservation and high quality of restoration.
UK: Розглянуто проблему відновлення зображень, що зазнають дії шума та лінійних викривлень. Для вирішення запропоновано метод сліпої деконволюції, який забезпечує збереження контурів разом з високою якістю відновлення.
Информационная модель процесса испытаний газотурбинных установок наземного применения
(Національний університет «Запорізька політехніка», 2013) Шитикова, Елена Викторовна; Табунщик, Галина Владимировна; Шитікова, Олена Вікторівна; Табунщик, Галина Володимирівна; Shitikova, Y. V.; Tabunshchik, G. V.
RU: Рассмотрена проблема повышения эффективности управления процессом испытаний газотурбинных установок наземного применения посредством формализации процессов испытаний газотурбинных установок наземного применения. В работе была выполнена декомпозиция данного процесса. Построенные бизнес-модели процессов испытаний и модель предметной области в комплексе образуют информационную модель процесса испытаний ГТУ НП. Авторами предложена архитектура системы мониторинга процесса испытаний и реализованы подсистемы обработки данных по результатам испытаний.
UK: Розглянуті проблеми підвищення ефективності керування процесом випробувань газотурбінних установок наземного використання за допомогою формалізації процесів випробувань газотурбінних установок наземного використання. В роботі була виконана декомпозиція зазначеного процесу. Збудовані бізнес-моделі процесів випробувань і модель предметної області разом складають інформаційну модель процесу випробувань ГТУ НВ. Авторами запропонована архітектура системи моніторингу процесу випробувань і реалізовані підсистеми обробки даних за результатами випробувань.
EN: The problems of increasing the efficiency of controlling the testing process of gas turbine installations for ground use by means of formalizing the testing processes of gas turbine installations for ground use are considered. The work has performed a decomposition of the specified process. The built business models of the testing processes and the model of the subject area together constitute the information model of the testing process of the GTU NV. The authors have proposed the architecture of the testing process monitoring system and implemented subsystems for processing data based on the test results.
Модель TLA-спецификации композитного веб-сервиса с множеством динамик
(Національний університет «Запорізька політехніка», 2013) Шкарупило, Вадим Викторович; Шкарупило, Вадим Вікторович; Shkarupylo, V. V.
RU: Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек.
UK: Розроблено формальну модель специфікування властивостей композитних веб-сервісів на основі формалізму темпоральної логіки TLA. На окремому прикладі виконано верифікацію TLA-специфікації композитного веб-сервіса із множиною властивостей в автоматизованому режимі з використанням реалізації методу Model Checking у складі програмного засобу TLA Toolbox (TLC, TLA Checker). Проведено оцінювання супутніх витрат часу.
EN: Despite the fact that today we have plenty of formal methods to be used during engineering process, the question of automation is still open and there is still the need to reduce Validation costs.
In order to specify the behaviors of Composite Web Service the TLA-formalism has been chosen and, as a consequence, the TLA-verification problem definition has been given. TLA-based Model for the Composite Web Services functional properties formal specification has been proposed: Kripke structure has been chosen as the basis. As a Case Study the Verification of Multi-behavioral Composite Web Service TLA-specification has been conducted. It has been done in an automated manner by TLA Toolbox Model Checking method implementation (TLC, TLA Checker) usage. The associated time costs estimation has been conducted.
Математическая модель оптимизационной задачи размещения пожароопасных объектов с учетом рельефа области размещения
(Національний університет «Запорізька політехніка», 2013) Чуб, И. А.; Чуб, І. А.; Chub, I. A.
RU: Проведены построение и анализ оптимизационной математической модели размещения пожароопасных объектов, являющихся в случае пожара источниками загрязняющих аэрозольных выбросов, с учетом рельефа области размещения. Рассматриваемая задача сводится к оптимизационной задаче размещения многоугольных объектов с изменяемыми метрическими характеристиками и пространственной формой.
UK: Проведено побудова та аналіз оптимізаційної математичної моделі розміщення пожежонебезпечних об’єктів, що є у випадку пожежі джерелами забруднюючих аерозольних викидів, з урахуванням рельєфу області розміщення. Розглянута задача зводиться до оптимізаційної задачі розміщення багатокутних об’єктів із змінними метричними характеристиками і просторової формою.
EN: Carried out the construction and analysis of the optimization mathematical model of placing flammable objects, which in case of fire are the sources of pollution aerosol emissions, taking into account the topography of the placement region. The problem reduces to the optimization problem of placing polygonal objects with variable metric characteristics and spatial form. A system of constraints of the problem was studied. Based on the analysis of the features of the optimization problem a method of searching for a local minimum of the objective function, which consists of three stages, was developed.