Вісники та науково-технічні збірники, журнали

Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12

Browse

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    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.
  • Thumbnail Image
    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.
  • Thumbnail Image
    Item
    Моделювання температурних режимів у плоских елементах мікроелектронних пристроїв із наскрізними чужорідними включеннями
    (Видавництво Львівської політехніки, 2012) Гавриш, В.; Нитребич, О.
    Розглядається стаціонарна задача теплопровідності для ізотропної смуги з наскрізним чужорідним теплоактивним прямокутним включенням. За допомогою кусково-лінійної апроксимації температури на краях включення та інтегрального перетворення Фур’є побудовано аналітично-числовий розв'язок задачі з крайовими умовами другого роду. Виконано числові розрахунки температурного поля та проаналізовано їх для заданих геометричних і теплофізичних параметрів. The steady state problem of thermal conduction for isotropic strip with heat-generating foreign reach-through rectangular inclusion has been considered. Using piecewise linear approximation of the temperature on the inclusion edges and applying the Fourier integral transform the analytical-numerical solution of the heat conduction problem with boundary conditions of second order has been formed. The numerical calculations of temperature fields have been conducted and analyzed for given geometrical and thermophysical parameters.