Кафедра комп'ютерних систем та мереж (Кафедра КС та М)
Permanent URI for this community
Browse
Browsing Кафедра комп'ютерних систем та мереж (Кафедра КС та М) by Title
Now showing 1 - 20 of 560
Results Per Page
Sort Options
Item 3D моделювання для роботів(Національний університет «Запорізька політехніка», 2023) Донг, Ю; Dong, YuUK: У цій статті представлено метод 3D-моделювання на основі навчання та його наслідки. Значення 3D-моделювання, його історичний розвиток, сучасне основне програмне забезпечення ілюструє його використання, і 3D-модель одного з них ми самі завершуємо. Я використав програмне забезпечення під назвою Blender 3.4 для обробки відповідності між вхідним зображенням та вихідною 3D-моделлю, яка використовує представлення 3D-моделі у формі даних хмари точок. Ми провели експерименти на кількох наборах даних і порівняли їх з існуючими методами. Результати експериментів показують, що наш метод добре працює при створенні високоякісних 3D-моделей з високою ефективністю та стабільністю. Метод, описаний у цій роботі, може бути застосований у кількох сферах, таких як віртуальна реальність, розробка ігор та промисловий дизайн. EN: This paper presents a learning-based 3D modeling method and implications. The significance of 3D modeling, its historical development, the current mainstream software illustrates its use, and a 3D model of one is completed by ourselves. I used a software called Blender 3.4 to handle the correspondence between the input image and the output 3D model, which utilizes a representation of the 3D model in the form of point cloud data. We conducted experiments on several datasets and compared it with existing methods. The experimental results show that our method performs well in generating high-quality 3D models with high efficiency and stability. The method in this paper can be applied to several fields, such as virtual reality, game development, and industrial design.Item 3D-моделювання для створення короткометражного ролика(Національний університет «Запорізька політехніка», 2022) Мошинець, Дарина Дмитрівна; Moshynets, Daryna D.UK: Метою роботи є дослідження основних особливостей створення 3D об'єктів та методи анімації на базі короткометражного ролика EN: The purpose of the work is to study the main features of creating 3D objects and animation methods based on a short filmItem An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification(Faculty of Computer Systems & Software Engineering (FSKKP), 2018) Шкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, ЖамильUK: Запропоновано підхід до підвищення ефективності TLC-верифікації стосовно TLA+ специфікації з паралельною структурою. Паралелізм представлено як чергування. Досліджено два різних підходи до перевірки на моделі методом TLC. Перший підхід ґрунтується на здійсненні перевірки на моделі шляхом обходу простору станів в ширину (BFS), другий – шляхом обходу в глибину (DFS). Для аналітичного представлення TLA+ специфікацій з паралельною структурою використано структуру Кріпке. Одержано аналітичні та експериментальні оцінки використання запропонованого підходу. EN: Modern approaches to distributed software systems engineering are tightly bounded with formal methods usage. The effective way of certain method application can leverage significant outcome, in terms of corresponding time costs reduction for instance. To this end the TLC model checker has been considered – with respect to TLA+ specifications with concurrent structure. The concurrency itself has been implemented as interleaving. Two different approaches to TLC model checking have been used. The first approach is based on model checking via breadth-first state space search (BFS), the second one – via depth-first search (DFS). The main result of a paper is the new approach to increasing the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification. To analytically represent synthesized TLA+ specifications with concurrent structure, the Kripke structure has been taken. To assess the measures of state space explosion problem, taking place during the experimentation, the appropriate estimations have been proposed. These estimations have been proved during the case study. The composite web service usage scenario has been considered as a case study. The results, obtained during the experimentation, can be used to increase the effectiveness of automated TLC verification with respect to the concurrent structure of TLA+ specification. RU: Предложен подход к повышению эффективности TLC-верификации применительно к TLA+ спецификации с параллельной структурой. Параллелизм представлен как чередование. Исследованы два различных подхода к проверке на модели методом TLC. Первый подход основывается на осуществлении проверки на модели путем обхода пространства состояний в ширину (BFS), второй – путем обхода в глубину (DFS). Для аналитического представления TLA+ спецификаций с параллельной структурой использована структура Крипке. Получены аналитические и экспериментальные оценки использования предложенного подхода.Item Cloud storage technology for the system of detecting software plagiarism in student projects on the programming(Донецький національний технічний університет, 2012) Kirichek, Galina G.; Киричек, Галина Григорівна; Киричек, Галина ГригорьевнаUK: Запропоновано використання технології хмарного зберігання даних SQL Azure для системи оцінки плагіату при вивченні дисциплін з програмування. Система забезпечує аналіз і обробку результатів студентських програмних проектів, визначення випадків повторного використання коду. Дослідження спрямоване на вирішення актуальних завдань масштабування потужностей серверів, можливості збільшення обсягів баз даних і стійкості до втрати інформації. RU: Предложено использование технологии облачного хранения данных SQL Azure для системы оценки плагиата при изучении дисциплин по программированию. Система обеспечивает анализ и обработку результатов студенческих программных проектов, определение случаев повторного использования кода. Исследование направлено на решение актуальных задач масштабирования мощностей серверов, возможности увеличения объёмов баз данных и устойчивости к потере информации. EN: Propose used of the technology of cloud storage the SQL Azure for the system of assessment of plagiarism in learning subjects on the programming. The system provides analysis and processing of the student's program of projects, identification of cases of re-usable code. The study is aimed at solving urgent problems of scaling capacity of servers, the possibility of increasing amounts of data bases and resistance to loss of information.Item Development of stratified approach to software defined networks simulation(Приватне підприємство "Технологічний Центр", 2017) Шкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна АлексеевнаUK: Запропоновано стратифікований підхід до імітаційного моделювання програмно-конфігурованих мереж. Запропоновано імітаційні моделі мережі, активних і пасивних компонентів – контролера, комутатора, хоста та комунікаційних каналів. Придатність підходу до цільового використання підтверджено шляхом співставлення одержаних результатів імітаційного моделювання із результатами емуляції мережі у середовищі Mininet EN: The stratified approach to software defined networks simulation has been proposed. It is based on Discrete Event System Specification formalism, atomic and coupled models concepts usage. The approach is aimed at simulation within the Windows environment, with an accent on the easiness of model reconfiguration. The proposed approach is also devoted to simulation-related overheads decrease. The atomic models of active (controller, switch, host) and passive (link) network components have been proposed. The coupled model of a software defined network comprising atomic models of active and passive components has been proposed. The estimations of the resulting coupled model complexity, with respect to the number of components basic atomic models, have been given. During experimentation, the pingall command usage scenario has been considered. For this purpose, the emulation via Mininet environment and the simulation on a basis of the proposed approach have been conducted. It has been shown that discrete-event simulation on a basis of the proposed approach is significantly less time-consuming. During the approach usage within the Windows environment, the absence of the need to utilize the Xming X Server and PuTTY utility for the purpose of visualization has been faced. The validity of the approach has been proven on a basis of the obtained experimental data. The adequacy of the resulting coupled simulation model of the network has been proven with t-criterion. The proposed approach can be used for the purpose of software defined networks validation with an accent on non-functional properties. RU: Предложен стратифицированный подход к имитационному моделированию программно-конфигурируемых сетей. Предложены имитационные модели сети, активных и пассивных компонентов – контроллера, коммутатора, хоста и коммуникационных каналов. Пригодность подхода к целевому использованию подтверждена путем сопоставления полученных результатов имитационного моделирования с результатами эмулирования сети в среде MininetItem 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-модели. Проверка выполнена согласно предложенному подходу, состоящему в сравнении результатов валидации путем имитационного моделирования с результатами валидации путем тестирования. По результатам проведенных исследований обоснована целесообразность использования предложенной методики при проектировании композитных сервисов, которая заключается в уменьшении временных затрат на валидацию. Акцентировано внимание на уместности использования методики при итерационной разработке.Item FPGA система віддаленого моніторингу(Національний університет «Запорізька політехніка», 2023) Іл’янцев, Владислав Вадимович; Iliantsev, Vladyslav V.UK: В роботі розкривається тема використання в системах віддаленого моніторингу. Зосереджено увагу на тому, як технології неперервно розвиваються, і як важливою частиною сучасного життя та промисловості стає віддалений моніторинг, що включає спостереження за об'єктами, процесами, середовищем, а також збір та аналіз даних на відстані. Основна увага звертається на важливість забезпечення надійності та ефективності цих систем, особливо при моніторингу в реальному часі та обробці великих обсягів даних. Документ висвітлює актуальність теми у контексті зростаючих вимог до віддаленого моніторингу в різних сферах, таких як безпека, сільське господарство, медицина, і наголошує на значенні дослідження використання FPGA для створення надійних, продуктивних систем моніторингу, які відрізняються низькою латентністю та здатністю реагувати на події в реальному часі. Ціль роботи полягає у вирішенні актуальних проблем та наданні практичних рекомендацій щодо використання FPGA в системах віддаленого моніторингу. EN: In this work, the topic of using remote monitoring systems is explored. Attention is focused on how technologies are continuously developing, and how remote monitoring becomes an important part of modern life and industry. This includes observation of objects, processes, and the environment, as well as data collection and analysis from a distance. Main emphasis is placed on the importance of ensuring the reliability and efficiency of these systems, especially in real-time monitoring and processing of large data volumes. The document highlights the relevance of the topic in the context of growing demands for remote monitoring in various fields, such as security, agriculture, medicine, and underscores the significance of researching the use of FPGA to create reliable, productive monitoring systems characterized by low latency and the ability to respond to events in real time. The aim of the work is to address current problems and provide practical recommendations for the use of FPGA in remote monitoring systems.Item FPGA система для хешування блокчейну(Національний університет «Запорізька політехніка», 2023) Пилипенко, Павло Анатолійович; Pylypenko, Pavlo А.UK: В першому розділі підкреслюється значущість технології блокчейн у сучасному світі, з акцентом на важливість хешування для забезпечення безпеки, конфіденційності та надійності системи. В другому розділі описується використання AMD Varium C1100 і AMD Ryzen 3700x, розглядається Ubuntu 20.04, AMD Vitis Unified Software Platform, і AMD Xilinx AMD-Xilinx Run Time (XRT) для Ubuntu 20.04, підсумовується аналіз апаратного та програмного забезпечення для системи. В третьому розділі визначаються ключові вимоги до системи хешування, описується процес створення дизайну, розглядається процес реалізації запропонованої архітектури, описується процес емуляції програмного і апаратного забезпечення, а також аналіз та редагування та синтез кернела. Подаються висновки щодо розробки FPGA системи для хешування блокчейну EN: The first chapter emphasizes the significance of blockchain technology in the modern world, with a focus on the importance of hashing for ensuring the security, confidentiality, and reliability of the system. The second chapter describes the use of AMD Varium C1100 and AMD Ryzen 3700x, considers Ubuntu 20.04, AMD Vitis Unified Software Platform, and AMD Xilinx AMD-Xilinx Run Time (XRT) for Ubuntu 20.04, and summarizes the analysis of hardware and software for the system. In the third chapter, the key requirements for the hashing system are defined, the design process is described, the implementation process of the proposed architecture is considered, the emulation process of software and hardware is described, as well as the analysis, editing, and synthesis of the kernel. Conclusions are presented regarding the development of an FPGA system for blockchain hashingItem Guidelines in “Interdisciplinary term project”(Національний університет «Запорізька політехніка», 2023) Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання міждисциплінарного курсового проєкту. Студентам пропонуються теми, які потребують самостійного виконання. Окрім цього, є короткі відомості щодо вимог до написання курсового проєкту. EN: The methodological recommendations offer instructions on the stages of performing Interdisciplinary term project. Students are offered topics which require self-guided implementation. In addition, there is requirements for the design of the term paper.Item Guidelines in “Term paper” of the discipline “Integrated Computer Systems”(Національний університет «Запорізька політехніка», 2023) Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання курсової роботи з дисципліни «Інтегровані компʼютерні системи». Студентам пропонуються теми, які потребують самостійного виконання. Окрім цього, є короткі відомості щодо вимог до написання курсового проєкту. EN: The methodological recommendations offer instructions on the stages of performing Term paper in the discipline “Integrated Computer Systems”. Students are offered topics which require self-guided implementation. In addition, there is requirements for the design of the term paper.Item Laboratory guidelines in the discipline "Modern methods and models of Intelligent Systems"(Національний університет «Запорізька політехніка», 2023) Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання лабораторних робіт з дисципліни «Сучасні методи та моделі інтелектуальних систем». Студентам пропонуються завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing laboratory work in the discipline “Modern methods and models of Intelligent Systems”. Students are offered tasks which require self-guided implementation. In addition, there is brief theoretical information.Item Laboratory guidelines in the discipline “Embedded Computer System”(Національний університет «Запорізька політехніка», 2023) Грушко, Світлана Сергіївна; Тіменко, Артур Валентинович; Hrushko, Svitlana S.; Timenko, Artur V.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання лабораторних робіт з дисципліни «Вбудовані комп’ютерні системи». Студентам пропонуються індивідуальні завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing laboratory work in the discipline “Embedded Computer System”. Students are offered individual tasks which require self-guided implementation. In addition, there is brief theoretical information.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.Item Laboratory guidelines іn the discipline "Integrated Computer Systems"(Національний університет «Запорізька політехніка», 2023) Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання лабораторних робіт з дисципліни «Інтегровані компʼютерні системи». Студентам пропонуються завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing laboratory work in the discipline “Integrated Computer Systems”. Students are offered tasks which require self-guided implementation. In addition, there is brief theoretical information.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.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 вычислений.Item The aggregation of point defects in dislocation-free silicon single crystals(Functional Materials, 2007) Таланін, Віталій Ігорович; Таланін, Ігор Євгенович; Сирота, Анатолій Васильович; Talanin Vitaliy I.; Talanin, Igor E.; Sirota, Anatoliy V.; Таланин, Виталий Игоревич; Таланин, Игорь Евгеньевич; Сирота, Анатолий ВасильевичUK: Розглянута кінетика процесу формування центрів зародження вторинних мікродефектів в бездіслокаційних монокристалах кремнію. Показано що процес агрегації точкових дефектів, керований їх дифузією обусловлює ростові мікродефекти. EN: This papers considers the formation kinetics for grown-in microdefects nucleation centers in dislocation free silicon monocrystals. It demonstrates that diffusion-controlled aggregation of point defects determines the process of grown-in microdefects formation. RU: Рассмотрена кинетика процесса формирования центров зарождения ростовых микродефектов в бездислокационных монокристаллах кремния. Показано, что процесс агрегации точечных дефектов, управляемый их диффузией, обусловливает образование ростовых микродефектов.Item The investigation of TLC model checker properties(University of Zagreb, Varaždin, Croatia, 2016) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.UK: У роботі проведено дослідження і порівняння властивостей методу перевірки на моделі TLC (TLA Checker). Розглянуто два підходи до використання методу. Перший підхід полягає в обході станів системи переходів методом обходу в ширину (BFS), другий – методом обходу в глибину (DFS). У якості моделі системи переходів використано структуру Кріпке. Проведено експериментальне дослідження, де в якості сценарію предметної області розглянуто використання композитного веб-сервісу. Одержані результати дослідження можуть бути використані для підвищення ефективності автоматизованої верифікації TLA+ специфікацій. EN: This paper presents the investigation and comparison of TLC model checking method (TLA Checker) properties. There are two different approaches to method usage which are considered. The first one consists of a transition system states attendance by breadth-first search (BFS), and the second one by depth-first search (DFS). The Kripke structure has been chosen as a transition system model. A case study has been conducted, where composite web service usage scenario has been considered. Obtained experimental results are aimed at increasing the effectiveness of TLA+ specifications automated verification. RU: В работе проведены исследование и сравнение свойств метода проверки на модели TLC (TLA Checker). Рассмотрены два подхода к использованию метода. Первый подход состоит в обходе состояний системы переходов методом обхода в ширину (BFS), второй подход – методом обхода в глубину (DFS). В качестве модели системы переходов использована структура Крипке. Проведено экспериментальное исследование, где в качестве сценария предметной области рассмотрено использование композитного веб-сервиса. Полученные результаты исследования могут быть использованы для повышения эффективности автоматизированной верификации TLA+ спецификаций.Item The modeling of high-perfect silicon single crystals defect structure(Одеський національний університет імені І. І. Мечникова, 2007) Таланін, Віталій Ігорович; Таланін, Ігор Євгенович; Воронін, Олександр Олександрович; Сирота, Анатолій Васильович; Корягин, Сергій Андрійович; Talanin, Vitaliy I.; Talanin, Igor E.; Voronin, Alexander A.; Sirota, Anatolij V.; Koryagin, Sergey A.; Таланин, Виталий Игоревич; Таланин, Игорь Евгеньевич; Воронин, Александр Александрович; Сирота, Анатолий Васильович; Корягин, Сергей АндреевичUK: Розробка моделі дефектної структури бездислокаційних мнонокрісталлов кремнію. Моделювання процесів формування та взаємодії вирощених микродефектов, з використанням адекватної фізичної моделі. EN: Development of a model of the defective structure of dislocation-free silicon single crystals. Modeling the processes of formation and interaction of grown microdefects, using an adequate physical model. RU: Разработка модели дефектной структуры бездислокационных мнонокристаллов кремния. Моделирование процессов формирования и взаимодействия выращенных микродефектов, с использованием адекватной физической модели.Item The system for control and accounting of working time(Faculty of Management Science and Informatics University of Zilina, 2017) Плахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей БорисовичUK: Проведено порівняльний аналіз існуючих систем обліку робочого часу для висування вимог до власної системи. Створено специфікацію вимог програмного забезпечення системи контролю і обліку робочого часу. Проаналізовано залежності між компонентами запропонованого рішення. Для цього було використано інструментарій Electron. На основі результатів проведеного аналізу розроблено систему контролю і обліку робочого часу. Запропонована система є кросплатформним рішенням, що дозволяє контролювати та вести облік діяльності співробітника упродовж робочого часу. EN: The comparative analysis of existing timesheet systems for creating a number of requirements to own solution has been conducted. Software requirements specification for working time control and accounting system (time tracking) has been created. The dependencies between the components of proposed solution have been analyzed. For this purpose, the Electron framework has been used. Basing on the results of the analysis conducted the system for working time control and accounting has been proposed. The proposed system is a cross-platform solution that allows to control and account the activity of employee during the working time. RU: Проведен сравнительный анализ существующих систем учета рабочего времени для выдвижения требований к собственной системе. Создано спецификацию требований программного обеспечения системы контроля и учета рабочего времени. Проанализированы зависимости между компонентами предложенного решения. Для этого был использован инструментарий Electron. На основе результатов проведенного анализа разработана система контроля и учета рабочего времени. Предложенная система является кроссплатформенным решением, которое позволяет контролировать и вести учет деятельности сотрудника в течении рабочего времени.