Browsing by Author "Федасюк, Д."

Now showing 1 - 20 of 20

Адаптивний алгоритм ієрархічно розподіленого розв’язування СЛАР великої розмірності
(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Сердюк, П.; Семчишин, Ю.
У контексті систем розподілення обчислень адаптивністю називають здатність таких систем продовжувати працювати та повністю використовувати обчислювальні ресурси після зміни конфігурації мережі чи швидкодії окремих її вузлів. Предметом цього дослідження є реалізація адаптивного підходу до ієрархічно розподіленого розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. У роботі сформульовано задачу адаптивного підходу, розроблено та досліджено алгоритм та програмну реалізацію адаптивного підходу. Результати серії експериментів підтвердили ефективність адаптивного підходу. In the context of the distributed computing systems, adaptability is an ability of such systems to continue functioning and fully utilizing computing resources even after changing network configuration or performance of its nodes. The subject of this study is to implement an adaptive approach to hierarchically-distributed solving of high dimensional linear algebraic equations. The problem of an adaptive approach is stated, the algorithm and the software implementation of an adaptive approach are researched and developed in the work below. The experimental results proved the effectiveness of an adaptive approach.
Алгоритм автоматичного синтезу теплоелектричних сіток для теплового моделювання МЕП різного конструктивно-технологічного виконання
(Видавництво Національного університету «Львівська політехніка», 2002) Федасюк, Д.; Петров, Д.
Наводиться розроблений авторами алгоритм автоматичного синтезу оптимальних теплоелектричних сіток для теплового моделювання МЕП різного конструктивно-технологічного виконання. Проводиться порівняльний аналіз ефективності запропонованого алгоритму та підходу на основі ручної побудови сіткових моделей на прикладі теплового моделювання тестової структури ГІС. Author’s algorithm of automated synthesis of the optimal thermal electrical grids for thermal modeling of different constructional and technological design of MED is given. Comparing analysis of effectiveness of this algorithm and approach based on manual building of grid model on the example of GIC test structure thermal modeling is conducted.
Архітектура та функціонування системи теплового моделювання TAFC
(Видавництво Національного університету «Львівська політехніка», 2002) Левус, Є.; Федасюк, Д.
Розглянуто призначення та можливості системи TAFC, яка дозволяє аналізувати стаціонарні та нестаціонарних температурні поля МЕП з кристалами, установленими на жорсткі виводи. Possibilities and usage of TAFC system that allows performing analysis of stationary and non-stationary thermal fields of MED with crystals based hard outputs are shown in this article.
Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення
(Видавництво Львівської політехніки, 2013) Яковина, В.; Сердюк, П.; Нитребич, О.; Федасюк, Д.
У моделях прогнозування надійності програмного забезпечення (ПЗ) засобами архітектурного підходу припущення про незалежність виконання компонент є спрощенням реального процесу роботи програмного забезпечення. Вдосконалено модель Гокаля з використанням Марковських ланцюгів вищого порядку, що дає змогу врахувати залежності виконання ПЗ у прогнозуванні його надійності. Assumption of independent components execution in software reliability models built using architectural approach is a simplification of real software execution. In this paper Gokhale model with higher order Markov chains has been improved to appreciate software execution dependencies in it's reliability prediction.
Використання інформаційного критерію Акаїке в задачах моделювання надійності програмного забезпечення
(Видавництво Львівської політехніки, 2012) Яковина, В.; Нитребич, О.; Федасюк, Д.
У багатьох моделях прогнозування надійності програмного забезпечення (ПЗ) припущення про незалежність виконання компонент є спрощенням реального характеру програмного продукту. Врахувати залежності виконання ПЗ у прогнозуванні його надійності можна за допомогою марковських ланцюгів вищих порядків. Запропоновано використовувати інформаційний критерій Акаїке (АІС) для визначення порядку марковського ланцюга, що є головною проблемою під час роботи з ними. In lots of models for prediction software reliability the assumption of independent software runs is just a simplification of real software. High-order Markov chains are used to count these dependencies between software runs and prediction of software reliability. In this article it is proposed to use Akaike information criterion (АІС) for Markov chain’s order calculation, which is the main problem of its usage.
Знаходження розв'язку нелінійної задачі теплопровідності з використання випаровування для інтенсифікації тепловідведення
(Видавництво Львівської політехніки, 2011) Федасюк, Д.; Муха, Т.
Побудовано нелінійну модель нестаціонарного процесу теплообміну в тепловідвідній пластині мікроелектронного пристрою, тепло від якої відводиться за рахунок випаровування рідини з її поверхні. Отримано числовий розв’язок нелінійної модельної задачі методом Ньютона–Канторовича з використанням дискретизації за часом. Досліджено зміну температурного поля з часом та вплив випаровування на процес тепловідведення.The non-linear model of the transient heat exchange process in a heat dissipation plate of a microelectronic device, heat from which is dissipated due to evaporation from it’s surface, has been built. The numerical solution of the non-linear model problem has been obtained by the Newton-Kantorovych method. Changes of temperature field in time and evaporation influence on the heat dissipation process have been investigated.
Критерій достатності процесу тестування програмного забезпечення
(Видавництво Львівської політехніки, 2010) Яковина, В.; Сенів, М.; Чабанюк, Я.; Федасюк, Д.; Хімка, У.
Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Здійснено формалізацію критерію достатності процесу тестування програмного забезпечення на основі запропонованої моделі. The new mathematical model for software reliability with dynamic index of software project size has been developed. The comparative analysis of existing and proposed models using real test examples has been carried out. The criterion of software testing process sufficiency has been formulated on the basis of developed model.
Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
(Видавництво Львівської політехніки, 2017-03-28) Федасюк, Д.; Волочій, С.; Національний університет “Львівська політехніка”
У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації.
Моделювання процесу охолодження при критичних умовах за рахунок випаровування рідини
(Видавництво Львівської політехніки, 2011) Федасюк, Д.; Муха, Т.
Побудовано модель процесу теплообміну в плоскій пластині, з поверхні якої на початковій стадії відведення тепла відбувається лише за рахунок конвекції. В момент, коли температура пластини стає критичною, на поверхню пластини подається рідина, за рахунок випаровування якої відбувається охолодження. Отримано числовий розв’язок модельної задачі. Проаналізовано динаміку тепловідведення та зміну температурного поля пластини. The model of the heat exchange process in a flat plate, which surface during fist stage dissipates heat only due to convection, has been built. When temperature becomes critical, the liquid is supplied on the surface of the plate, which evaporating cools the plate. The solution of the model problem has been found by a numerical method. The analysis of transient heat dissipation and changes of temperature fields have been made.
Моделювання теплових режимів в термочутливому шарі з тепловиділяючим чужорідним включенням
(Видавництво Національного університету "Львівська політехніка", 2009) Гавриш, В.; Федасюк, Д.
Розглядається стаціонарна осесиметрична нелінійна задача теплопровідності для зотропного шару з чужорідним циліндричним включенням, що нагрівається внутрішніми джерелами тепла з тепловіддачею. Припускається, що на поверхнях спряження відбувається ідеальний тепловий контакт. Запропонована методика розв’язування цієї задачі та її застосування для конкретної залежності коефіцієнтів теплопровідності матеріалів шару і включення від температури. The fixed axially symmetric nonlinear problem of thermal conduction for isotropic layer with foreign cylindrical inclusion (particulate) which heats at internal thermal source with heat dissipation has been considered. It is supposed that on the contact surface the ideal hermal contact takes place. The methodology of this problem solution and its application for he specific dependence of the layer and inclusion substances thermal-conductivity coefficients on temperature has been offered.
Моделювання теплових режимів у термочутливому кусково-однорідному шарі з чужорідним тепловиділяючим включенням
(Видавництво Національного університету "Львівська політехніка", 2010) Гавриш, В.; Федасюк, Д.
Розглядається стаціонарна осесиметрична нелінійна задача теплопровідності для кусково-однорідного ізотропного в сенсі теплофізичних властивостей шару з чужорідним циліндричним включенням, що нагрівається внутрішніми джерелами тепла з тепловіддачею. Припускається, що на поверхнях спряження відбувається ідеальний тепловий контакт. Запропонована методика розв’язування цієї задачі та її застосування для трьохелементного шару з конкретною залежністю коефіцієнтів теплопровідності від температури. The steady state axially symmetric nonlinear problem of thermal conduction for piecewise homogeneous isotropic, in the sense of thermophysical properties, layer with foreign cylindrical inclusion which heats at internal thermal source with heat dissipation has been considered. It is supposed that on the contact surface the ideal thermal contact takes place. The methodology of this problem solution and its application for the 3-D layer with the specific dependence of the thermal-conductivity coefficients on temperature has been offered.
Моделювання теплообміну з урахуванням випаровування на поверхні пластини
(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Муха, Т.
Досліджено процес теплообміну в одновимірній області з врахуванням випаровування. Побудовано модель цього процесу. Знайдено аналітичний і числовий розв’язки цієї задачі і перевірено точність числового розв’язку. Здійснено порівняння між охолодженням з використанням випаровування та охолодженням без випаровування. A process of heat exchange in a one-dimensional region with taking into accoun evaporation is investigated. A model of this process is built. For this problem are found numerical and analytical solutions and is made verification of accuracy of numerical solution Comparison between cooling with and without using evaporation is made.
Побудова системи внутрішнього забезпечення якості освітньої діяльності та якості вищої освіти в Національному університеті "Львівська політехніка"
(Видавництво Львівської політехніки, 2017-02-11) Бобало, Ю.; Павлиш, В.; Лозинський, О.; Загородній, А.; Давидчак, О.; Федасюк, Д.; Пилипенко, Л.; Національний університет "Львівська політехніка"
Побудова системи внутрішнього забезпечення якості освітньої діяльності та якості вищої освіти в Національному університеті «Львівська політехніка»
(Видавництво Львівської політехніки, 2017) Бобало, Ю.; Павлиш, В.; Лозинський, О.; Загородній, А.; Давидчак, О.; Федасюк, Д.; Пилипенко, Л.; Національний університет "Львівська політехніка"
Порівняння швидкодії програмної реалізації алгоритмів симетричного (DES) та асиметричного (RSA) шифрування
(Видавництво Національного університету "Львівська політехніка", 2007) Яковина, В.; Федасюк, Д.; Сенів, М.; Білас, О.
Виконано дослідження швидкодії програмної реалізації алгоритму шифрування з відкритим ключем RSA та алгоритму симетричного шифрування DES. Швидкість шифрування на процесорі Intel Celeron D 351 становить 306,4±0,6 кбайт/с та 11,08±0,06 Мбайт/с для алгоритмів RSA та DES відповідно. Подано рекомендації щодо ефектив¬ності застосування цих алгоритмів залежно від обсягу даних, що підлягають шифру¬ванню. Показано, що засоби CryptoAPI в поєднанні з платформою Microsoft .NET є гнучким архітектурно незалежним інструментом для створення ефективних та безпеч¬них модулів криптографічного захисту інформації. The studies of software performance of public key RSA algorithm as well as symmetric DES algorithm have been performed. The encryption velocity at Intel Celeron D 351 processor is 306.4±0.6 kbytes/s and 11.08±0.06 Mbytes/s for RSA and DES correspondingly. The recommendations concerning effective usage of these algorithms depending of input data amount are given. It is shown that CryptoAPI methods in connection with Microsoft .NET are flexible, device transparent tools for building fast and secure cryptographic software modules.
Програмний модуль прогнозування надійності системи теплового проектування
(Видавництво Національного університету "Львівська політехніка", 2008) Федасюк, Д.; Сенів, М.; Сердюк, П.; Мамроха, Н.
Для прогнозування надійності програмного забезпечення (ПЗ) використано модель оцінювання надійності ПЗ, що ґрунтується на випадковому процесі Пуассона, яка визначає та дає змогу прогнозувати імовірність відмови ПЗ та його надійність на заданому етапі (ітерації) тестування. Розроблено програмний засіб автоматизованого тестування для верифікації системи теплового проектування.
Розрахунок температурного поля багатошарових структур з тепловими джерелами на поверхні
(Видавництво Національного університету «Львівська політехніка», 2001) Винник, Т.; Засименко, В.; Федасюк, Д.
Наведено обгрунтування, алгоритм і математичну модель розподілу температури на поверхні sa апріорно відомими залежностями випромінювальної здатності від температури. Приводятся обоснования, алгоритм и математическая модель распределения температуры на поверхности за априорно известными зависимостями излучателыюй способности от температуры. The grounding, algorithm and the mathematical model of the temperaturing area's distribution with aprior certain radiation emissivity are presented.
Сучасні методи та засоби розпаралелення і розподілення обчислень
(Видавництво Національного університету "Львівська політехніка", 2007) Семчишин, Ю.; Федасюк, Д.
Здійснено класифікацію та аналіз сучасних методів та засобів розпаралелення і розподілення обчислень, а також запропоновано метод оцінки обчислювальної складності та часових затрат систем розподілення обчислень. In this paper the classification and analysis of modern methods and facilities of parallel and distributed computing is performed. Also, the method of estimation of computational complexity and time losses of distributed computing systems is offered.
Тепловий аналіз МЕП із кристалами на жорстких виводах у середовищі Інтернет
(Видавництво Національного університету "Львівська політехніка", 2001) Петров, Д.; Федасюк, Д.; Левус, Є.
Авторами розроблено систему теплового аналізу WebTAFC, призначену для моделювання поширених в сучасній мікроелектроніці структур з кристалами на жорстких виводах. Система орієнтована на застосування в глобальній мережі Інтернет та локальних мережах і реалізує взаємодію з користувачем через звичайний web-браузер.
Ієрархічне розподілення розв’язування блоково-стрічкових систем лінійних рівнянь великої розмірності
(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Сердюк, П.; Семчишин, Ю.
Запропоновано застосування розподілення обчислень з використанням ієрархічного підходу для розв’язування систем лінійних рівнянь великої розмірності.