Browsing by Author "Kudermetov, Ravil K."

Now showing 1 - 20 of 27
  • Thumbnail Image
    Item
    DEVS-орієнтована методика валідації композитних веб-сервісів
    (Запорізький національний технічний університет, 2015) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
    UK: Запропоновано методику валідації композитних веб-сервісів за рахунок синтезу імітаційних дискретно-подійних моделей на основі формалізму DEVS. Це дозволяє виконувати автоматизовану перевірку придатності таких систем до цільового використання при проектуванні шляхом імітаційного моделювання. В якості вхідних даних використано формальну специфікацію на основі темпоральної логіки TLA, що дозволяє математично строго представляти функціональні характеристики композитних сервісів у форматі обчислювальних процесів. За аналітичну модель в основі TLA-специфікації взято структуру Кріпке. У межах методики запропоновано правила синтезу із вихідної TLA-специфікації DEVS-моделі композитного сервісу, призначеної бути засобом валідації. Результуюча DEVS-модель складається із моделей атомарних сервісів, моделі клієнта композитного сервісу та моделі координатора атомарних сервісів, що функціонує згідно специфікації WS-BPEL. Для перевірки методики проведено експериментальні дослідження, що підтвердили адекватність результуючої DEVS-моделі. Перевірку здійснено згідно запропонованого підходу, що полягає у порівнянні результатів валідації шляхом імітаційного моделювання із результатами валідації шляхом тестування. За результатами проведених досліджень обґрунтовано доцільність використання запропонованої методики при проектуванні композитних сервісів, що базується на зменшенні часових витрат на валідацію. Наголошено на доречності використання методики при ітераційній розробці. EN: A technique for Composite Web Services validity checking has been proposed. It is based on discrete-event DEVS-models synthesis, which provides the ability to conduct the automated validation by way of simulation during the design process. Temporal Logic of Actions has been chosen as the basis for input data – formal specification of Composite Web Service. It allows to specify the functional properties of such systems mathematically strictly. Functional properties has been represented as computational processes. The Kripke structure has been used as TLA-specification analytical model. Our technique leans on the proposed rules, aimed at simulation DEVS-model synthesis from given TLA-specification. The resulting coupled Composite Web Service DEVS-model consists of atomic web services models, model of client, simulated as job-requests generator, and coordinator model. Coordinator represents the WS-BPEL-engine, functioning in accordance with centralized orchestration model. A case study has been conducted to verify the proposed technique. Its artifacts confirmed the adequacy of resulting DEVS-model. The technique verification is based on the proposed approach: simulation-driven validation results are compared with the ones, obtained with test-driven validation. Technique expediency has been grounded by Composite Web Services validity checking time costs reduction. RU: Предложена методика валидации композитных веб-сервисов путем синтеза имитационных дискретно-событийных моделей на основе формализма DEVS. Это позволяет осуществлять автоматизированную проверку пригодности таких систем к целевому использованию при проектировании путем имитационного моделирования. В качестве входных данных использована формальная спецификация на основе темпоральной логики TLA, что позволяет математически строго представлять функциональные характеристики композитных сервисов в формате вычислительных процессов. В качестве аналитической модели в основе TLA-спецификации взята структура Крипке. В рамках методики предложены правила синтеза из исходной TLA-спецификации DEVS-модели композитного сервиса, предназначенной быть средством валидации. Результирующая DEVS-модель состоит из моделей атомарных сервисов, модели клиента композитного сервиса и модели координатора атомарных сервисов, функционирующего согласно спецификации WS-BPEL. Для проверки методики проведены экспериментальные исследования, подтвердившие адекватность результирующей DEVS-модели. Проверка выполнена согласно предложенному подходу, состоящему в сравнении результатов валидации путем имитационного моделирования с результатами валидации путем тестирования. По результатам проведенных исследований обоснована целесообразность использования предложенной методики при проектировании композитных сервисов, которая заключается в уменьшении временных затрат на валидацию. Акцентировано внимание на уместности использования методики при итерационной разработке.
  • Thumbnail Image
    Item
    Internet of Things for Ecology, Safety and Security Monitoring Systems: Trainings
    (Національний аерокосмічний університет (Харківський авіаційний інститут), 2019) Морщавка,Сергій Володимирович; Morshchavka, Sergey; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; та інші
    UK: Наведена структура робіт з перевірки знань з курсу, відповідний тренінговий матеріал, приклади виконання завдань та критерії оцінювання. У процесі навчання аналізуються теоретичні та практичні аспекти використання IoT для систем екологічного моніторингу. Вивчаються структури, моделі та технології розробки IoT для систем моніторингу екології та безпеки, сучасні методики і засоби проектування, модернізації та впровадження таких систем, застосування IoT технологій в інженерії інформаційної, функціональної та фізичної безпеки. Книга призначена для студентів магістратури та аспірантури, які вивчають технології Інтернету речей, програмну та комп’ютерну інженерію, комп’ютерні науки. Може бути корисним для викладачів університетів і навчальних центрів, дослідників і розробників систем IoT. EN: The structure of work on verification of residual knowledge in the course, the corresponding training material, examples of tasks and criteria of evaluation are given. In the learning process, the theoretical and practical aspects of IoT application for ecology monitoring systems are presented. The structures, models and technologies for development of IoT-based systems for ecology, safety and security monitoring, advanced techniques and means for design, modernization and implementation of IoT-based systems for ecology, safety and security monitoring, application of IoT technologies in engineering are examined. The book is intended for MSc and PhD students studying IoT technologies, software and computer engineering and science. It could be useful for lecturers of universities and training centers, researchers and developers of IoT systems.
  • Thumbnail Image
    Item
    Laboratory guidelines in the discipline “Introduction to multi-criteria decision making methods”
    (Національний університет «Запорізька політехніка», 2023) Кудерметов, Равіль Камілович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Polska, Olga V.
    UK: В методичних вказівках наводяться рекомендації щодо етапів виконання лабораторних робіт з дисципліни «Вступ до багатокритеріальних методів прийняття рішень». Студентам пропонуються індивідуальні завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing laboratory work in the discipline “Introduction to multi-criteria decision-making methods”. Students are offered individual tasks which require self-guided implementation. In addition, there is brief theoretical information.
  • Thumbnail Image
    Item
    Practical guidelines in the discipline " Smart Systems" for students of specialty 123 Computer Engineering according to the educational program "Specialized Computer Systems" for all forms of education
    (Національний університет «Запорізька політехніка», 2023) Тягунова, Марія Юріївна; Кудерметов, Равіль Камілович; Tiahunova, Mariia Yu.; Kudermetov, Ravil K.
    UK: В методичних вказівках наводяться рекомендації щодо етапів виконання практичної робіт з дисципліни «Смартсистеми». Студентам пропонуються завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing practical work in the discipline “Smart Systems”. Students are offered tasks which require self-guided implementation. In addition, there is brief theoretical information.
  • Thumbnail Image
    Item
    SIMD - реализация алгоритма SAXPY на GPU
    (Східно-європейський журнал передових технологій, 2009) Скрупський, Степан Юрійович; Skrupsky, Stepan Y.; Скрупский, Степан Юрьевич; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
    UK: Досліджені архітектури ядер CPU та GPU. Реалізовано алгоритм SAXPY на GPU. Отримані залежності часу виконання алгоритму на CPU і GPU від розмірів обчислюваних векторів. Зроблено висновок про доцільність використання GPU для SIMD обчислень. EN: Research of architecture of kernel CPU and GPU is executed. Algorithm SAXPY on GPU is realised. Dependences of the performance time of algorithm on CPU and GPU from the sizes of calculated vectors are received. The conclusion is drawn on expediency of application GPU for SIMD calculations. RU: Исследованы архитектуры ядер CPU и GPU. Реализован алгоритм SAXPY на GPU. Получены зависимости времени выполнения алгоритма на CPU и GPU от размеров вычисляемых векторов. Сделан вывод о целесообразности применения GPU для SIMD вычислений.
  • Thumbnail Image
    Item
    Диспетчер заданий распределенной компьютерной системы
    (Донецький національний технічний унівеситет, 2011) Тягунова, Марія Юріївна; Tyagunova, Mary Y.; Тягунова, Мария Юрьевна; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Тягунов, Дмитро Валерійович; Tyagunov, Dmitry V.; Тягунов, Дмитрий Валерьевич
    UK: Розроблено структуру диспетчера завдань розподіленої комп'ютерної системи. Описано особливості програмної реалізації диспетчера завдань розподіленої комп'ютерної системи. При цьому файли оцінки завдань запропоновано формувати у форматі XML, завдання є програми, розроблені на мові Java. EN: Developed the structure of the Task Manager of the distributed computer system. Described the features of the software implementation of the Task Manager of the distributed computer system. The file assessment tasks proposed to form in XML, the task is a program developed with Java. RU: Разработана структура диспетчера заданий распределенной компьютерной системы. Описаны особенности программной реализации диспетчера заданий распределенной компьютерной системы. При этом файлы оценки заданий предложено формировать в формате XML, задания представляют собой программы, разработанные на языке Java.
  • Thumbnail Image
    Item
    Имитационные модели распределенных систем компрессии видеоинформации
    (Донецький національний технічний університет, 2012) Скрупський, Степан Юрійович; Skrupsky, Stepan Y.; Скрупский, Степан Юрьевич; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
    UK: Представлені імітаційні моделі розподілених систем компресії відеоінформації, що дозволяють планувати вибір обчислювальних ресурсів для досягнення бажаної продуктивності в процесі компресії відеоінформації. Експериментально перевірена адекватність запропонованих моделей EN: The simulation models of videoinformation compression distributed systems are presented. They allow planning the selection of the computing resources to achieve the desired performance in the process of videoinformation compression. The adequacy of the proposed models is verified experimentally RU: Представлены имитационные модели распределенных систем компрессии видеоинформации, позволяющие планировать выбор вычислительных ресурсов для достижения желаемой производительности в процессе сжатия видеоинформации. Экспериментально проверена адекватность предложенных моделей
  • Thumbnail Image
    Item
    Комплексный подход к автоматизации композиции веб-сервисов
    (ЧНУ ім. Ю. Федьковича, 2011) Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
    UK: Проведено аналіз проблеми автоматизації композиції веб-сервісів. Запропоновано критерії аналізу під-ходів до автоматизації композиції веб-сервісів. На основі запропонованих критеріїв розроблено підхід, що передбачає виконання формальної специфікації композиції на мові темпоральної логіки TLA та акцентуєть-ся на аспектах верифікації, валідації та планування. EN: The analysis of Web Service Composition automation challenge has been conducted. The criterions for the analysis of approaches to Web Service Composition automation have been proposed. The approach based on these criterions has been developed. The approach envisages composition formal specification by using TLA temporal logic and covers the aspects of verification, validation and planning. RU: Проведен анализ проблемы автоматизации композиции сервисов. Предложены критерии анализа подходов к автоматизации композиции сервисов. На основе предложенных критериев разработан подход, предполагающий выполнение формальной спецификации композиции на языке темпоральной логики TLA и акценти-рующийся на аспектах верификации, валида-ции и планирования.
  • Thumbnail Image
    Item
    Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів
    (Донецький національний технічний університет, 2012) Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Паромова, Тетяна Олександрівна; Paromova, Tetyana O.; Паромова, Татьяна Александровна
    UK: Запропоновано концептуальну модель процесу автоматизованого синтезу композитних веб-сервісів. Модель процесу представлена як послідовність етапів концептуалізації, специфікації, верифікації та валідації. Модель композитного веб-сервіса представлена як ієрархічна система з функціональними та нефункціональними характеристиками. EN: The conceptual model of automated Composite Web Services synthesis process has been proposed. Process model has been represented as the sequence of steps: Conceptualizing, Specification, Verification & Validation. Composite Web Service model has been represented as hierarchical system with functional and nonfunctional properties. RU: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.
  • Thumbnail Image
    Item
    Лабораторні роботи з дисципліни "Моделювання систем"
    (Запорізький національний технічний університет, 2019) Кудерметов, Равіль Камілович; Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Lutsenko, Natalia V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Луценко, Наталья Владимировна
    UK: Наведені методичні матеріали та індивідуальних домашніх завдань за темою "Дослідження систем масового обслуговування" із дисципліни "Моделювання систем". EN: The methodical materials and instructions for implementation of individual homework on the topic "Research queueing systems" on discipline "Simulation of Systems" are given. RU: Приведены методические материалы и указания к выполнению индивидуальных домашних заданий по теме "Исследование систем массового обслуживания" по дисциплине "Моделирование систем".
  • Thumbnail Image
    Item
    Лабораторні роботи з дисципліни «Високопродуктивні обчислення»
    (Запорізький національний технічний університет, 2016) Неласа, Ганна Вікторівна; Кудерметов, Равіль Камілович; Верещак, Максим Ігорович; Неласая, Анна Викторовна; Кудерметов, Равиль Камилович; Верещак, Максим Игоревич; Nelasa, Ganna V.; Kudermetov, Ravil K.; Vereschak, Maxim I.
    UK: Наведені методичні рекомендації та вказівки до виконання лабораторних робіт з дисципліни "Високопродуктивні обчислення" EN: Methodical recommendations and instructions for laboratory work on disciplins "Highly productive computing" RU: Приведены методические рекомендации и указания по выполнению лабораторных работ по дисциплине "Высокопродуктивные вычисления"
  • Thumbnail Image
    Item
    Лабораторні роботи з комп'ютерних мереж. Принципи модуляції сигналів
    (Запорізький національний технічний університет, 2013) Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Бєдняк, Олег Григорович; Бедняк, Олег Григорьевич; Bednyak, Oleh H.
    Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни 'Комп'ютерні мережі. Принципи модуляції сигналів".
  • Thumbnail Image
    Item
    Лабораторні роботи з паралельних та розподілених обчислень. Багатопоточне програмування у С++ та Java. Потоки у паралельних та векторних обчисленнях
    (2018) Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга Владимировна
    UK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни " Паралельні та розподілені обчислення ". EN: The methodical materials and instructions for implementation of laboratory work on discipline "Parallel and distributed computing ". RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Параллельные и распределенные вычисления".
  • Thumbnail Image
    Item
    Лабораторні роботи з паралельних та розподілених обчислень. Паралельні обчислення з використанням технології MPI. Паралельні обчислення з використанням технології OpenMP.
    (Запорізький національний технічний університет, 2020) Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга Владимировна
    UK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни «Паралельні та розподілені обчислення». EN: The methodical materials and instructions for implementation of laboratory work on discipline «Parallel and distributed computing». RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине «Параллельные и распределенные вычисления».
  • Thumbnail Image
    Item
    Методичні вказівки до виконання дипломної роботи бакалавра для студентів спеціальності 123 «Комп’ютерна інженерія» всіх форм навчання
    (Національний університет «Запорізька політехніка», 2020) Кудерметов, Равіль Камілович; Польська, Ольга Володимирівна; Луценко, Наталя Володимирівна; Щербак, Наталя Володимирівна; Зелік, Олена Валеріївна; Kudermetov, Ravil K.; Polska, Olga V.; Lutsenko, Natalia V.; Shcherbak, Natalia V.; Zelik, Elena V.; Кудерметов, Равиль Камилович; Польская, Ольга Владимировна; Луценко, Наталья Владимировна; Щербак, Наталья Владимировна; Зелик, Елена Валерьевна
    UK: Наведені методичні матеріали та вказівки до виконання дипломної роботи бакалавра для студентів спеціальності 123 «Комп’ютерна інженерія». EN: Methodical materials and instructions for the bachelor's thesis for students of 123 «Computer Engineering» are given. RU: Приведены методические материалы и указания к выполнению дипломной работы бакалавра для студентов специальности 123 «Компьютерная инженерия».
  • Thumbnail Image
    Item
    Методичні вказівки до виконання курсового проєкту з дисципліни «Організація баз даних»
    (2023) Щербак, Наталя Володимирівна; Польська, Ольга Володимирівна; Кудерметов, Равіль Камілович; Shcherbak, Natalia V.; Polska, Olga V.; Kudermetov, Ravil K.
    UK: В методичних вказівках наводяться рекомендації щодо етапів виконання та вимоги до оформлення курсового проєкту з дисципліни «Організація баз даних» EN: The methodological recommendations offer instructions on the stages of completing and formatting course project in “Organization of Databases”
  • Thumbnail Image
    Item
    Методичні вказівки до виконання магістерських робіт для студентів спеціальності 123 “Комп’ютерна інженерія”
    (Запорізький національний технічний університет, 2018) Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Тягунова, Марія Юріївна; Tyagunova, Mary Y.; Тягунова, Мария Юрьевна; Щербак, Наталія Володимирівна; Shcherbak, Natalya V.; Щербак, Наталья Владимировна; Голуб, Тетяна Василівна; Golub, Tatiyna V.; Голуб, Татьяна Васильевна; Зелік, Олена Валеріївна; Zelik, Elena V.; Зелик, Елена Валерьевна
    UK: Подані загальні вимоги до організації та проведення випускної кваліфікаційної роботи, тематики, змісту, обсягу, планування, оформлення пояснювальної записки й графічної частини та захисту магістрів спеціальності 123 “Комп’ютерна інженерія” EN: General requirements are presented to organization and realization of final qualifying work, subjects, content, volume, planning, registrations of explanation message and graphic part and defence of master's degrees of speciality 123 "Computer engineering" RU: Представлены общие требования к организации и проведению выпускной квалификационной работы, тематики, содержания, объема, планирования, оформления пояснительной записки и графической части и защиты магистров специальности 123 "Компьютерная инженерия"
  • Thumbnail Image
    Item
    Методичні вказівки до лабораторних робіт з дисципліни «Комп’ютерні системи контрольно-вимірювальних комплексів»
    (Запорізький національний технічний університет, 2015) Кудерметов, Равіль Камілович; Тягунова, Марія Юріївна; Сирота, Анатолій Васильович; Kudermetov, Ravil K.; Tyagunova, Mary Y.; Sirota, Anatoliy V.; Кудерметов, Равиль Камилович; Тягунова, Мария Юрьевна; Сирота, Анатолий Васильевич
    UK: Наведено методичні вказівки до лабораторних робіт з дисципліни «комп’ютерні системи контрольно-вимірювальних комплексів”, метою якої є навчити створювати динамічні мнемосхеми GraphWorX32 та завантажувати екранні форми GWX32, візуалізувати параметри технологічних процесів, впроваджувати екранні форми й графічні об'єкти, використовувати бібліотеку символів технологічної графіки. EN: The methodical instructions for laboratory work in the discipline "Computer systems of control and measurement systems" are presented, the purpose of which is to teach to create dynamic memocharts of GraphWorX32 and to load screen forms GWX32, to visualize parameters of technological processes, to introduce screen forms and graphic objects, to use libraries technological graphics. RU: Приведены методические указания к лабораторным работам по дисциплине «компьютерные системы контрольно-измерительных комплексов", целью которой является научить создавать динамические мнемосхемы GraphWorX32 и загружать экранные формы GWX32, визуализировать параметры технологических процессов, внедрять экранные формы и графические объекты, использовать библиотеку символов технологической графики.
  • Thumbnail Image
    Item
    Методичні вказівки до лабораторних робіт з дисципліни «Основи Інтернету речей» Частина 1
    (Запорізький національний технічний університет, 2019) Тіменко, Артур Валентинович; Timenko, Artur V.; Тіменко, Артур Валентинович; Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.; Тягунова, Мария Юрьевна; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович
    UK: Наведено рекомендації та завдання для виконання лабораторних робіт з дисципліни «Основи Інтернету речей» EN: The methodical recommendations for test on discipline " Basics Internet of things ". RU: Приведены методические рекомендации по выполнению контрольных работ по дисциплине «Основы Интернета вещей»
  • Thumbnail Image
    Item
    Методичні вказівки до лабораторних робіт з дисципліни «Основи Інтернету речей» Частина 2
    (Запорізький національний технічний університет, 2019) Тіменко, Артур Валентинович; Timenko, Artur V.; Тіменко, Артур Валентинович; Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.; Тягунова, Мария Юрьевна; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович
    UK: Наведено рекомендації та завдання для виконання лабораторних робіт з дисципліни «Основи Інтернету речей» EN: The methodical recommendations for test on discipline " Basics Internet of things ". RU: Приведены методические рекомендации по выполнению контрольных работ по дисциплине «Основы Интернета вещей»