Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
6 results
Search Results
Item Архітектура віртуального інноваційного простору для ІТ-студентів(Видавництво Львівської політехніки, 2014) Жежнич, П. І.; Завалій, Т. І.; Яковина, В. С.; Сердюк, П.Побудовано компоненту та програмну архітектуру Віртуального інноваційного простору як спеціалізованої Веб-спільноти для ІТ-студентів. Обґрунтовано необхідність ведення високорівневої розробки VIS за допомогою системи керування контентом Drupal. Для побудови програмної платформи VIS вибрано типовий набір Apache, PHP, MySQL. This paper deals with the component and software architecture developed of Virtual Innovation Space as a specialized Web-community for IT-students. VIS development is motivated to be performed at high levels with the content management system Drupal. VIS software platform consists of typical set Apache, PHP, MySQL.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 Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики(Видавництво Львівської політехніки, 2013) Сердюк, П.; Том’як, О.Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв’язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв’язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2. The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.Item Адаптивний алгоритм ієрархічно розподіленого розв’язування СЛАР великої розмірності(Видавництво Національного університету "Львівська політехніка", 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.Item Ієрархічне розподілення розв’язування блоково-стрічкових систем лінійних рівнянь великої розмірності(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Сердюк, П.; Семчишин, Ю.Запропоновано застосування розподілення обчислень з використанням ієрархічного підходу для розв’язування систем лінійних рівнянь великої розмірності.Item Програмний модуль прогнозування надійності системи теплового проектування(Видавництво Національного університету "Львівська політехніка", 2008) Федасюк, Д.; Сенів, М.; Сердюк, П.; Мамроха, Н.Для прогнозування надійності програмного забезпечення (ПЗ) використано модель оцінювання надійності ПЗ, що ґрунтується на випадковому процесі Пуассона, яка визначає та дає змогу прогнозувати імовірність відмови ПЗ та його надійність на заданому етапі (ітерації) тестування. Розроблено програмний засіб автоматизованого тестування для верифікації системи теплового проектування.