Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
18 results
Search Results
Item Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення(Видавництво Львівської політехніки, 2017-03-28) Федасюк, Д.; Волочій, С.; Національний університет “Львівська політехніка”У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації.Item Алгоритм автоматичного синтезу теплоелектричних сіток для теплового моделювання МЕП різного конструктивно-технологічного виконання(Видавництво Національного університету «Львівська політехніка», 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.Item Архітектура та функціонування системи теплового моделювання 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.Item Сучасні методи та засоби розпаралелення і розподілення обчислень(Видавництво Національного університету "Львівська політехніка", 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.Item Порівняння швидкодії програмної реалізації алгоритмів симетричного (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.Item Розрахунок температурного поля багатошарових структур з тепловими джерелами на поверхні(Видавництво Національного університету «Львівська політехніка», 2001) Винник, Т.; Засименко, В.; Федасюк, Д.Наведено обгрунтування, алгоритм і математичну модель розподілу температури на поверхні sa апріорно відомими залежностями випромінювальної здатності від температури. Приводятся обоснования, алгоритм и математическая модель распределения температуры на поверхности за априорно известными зависимостями излучателыюй способности от температуры. The grounding, algorithm and the mathematical model of the temperaturing area's distribution with aprior certain radiation emissivity are presented.Item Тепловий аналіз МЕП із кристалами на жорстких виводах у середовищі Інтернет(Видавництво Національного університету "Львівська політехніка", 2001) Петров, Д.; Федасюк, Д.; Левус, Є.Авторами розроблено систему теплового аналізу WebTAFC, призначену для моделювання поширених в сучасній мікроелектроніці структур з кристалами на жорстких виводах. Система орієнтована на застосування в глобальній мережі Інтернет та локальних мережах і реалізує взаємодію з користувачем через звичайний web-браузер.Item Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення(Видавництво Львівської політехніки, 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.Item Використання інформаційного критерію Акаїке в задачах моделювання надійності програмного забезпечення(Видавництво Львівської політехніки, 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.Item Знаходження розв'язку нелінійної задачі теплопровідності з використання випаровування для інтенсифікації тепловідведення(Видавництво Львівської політехніки, 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.