Випуск № 88

Permanent URI for this collection

https://ir.kneu.edu.ua/handle/2010/3900

Browse

Browsing Випуск № 88 by Author "Бєгун, Анатолій Володимирович"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Особливості перевірки властивостей безпеки програм методом статичного аналізу
    (ДВНЗ «Київський національний університет імені Вадима Гетьмана», 2013-04-24) Бєгун, Анатолій Володимирович
    Стаття присвячена аналізу розвитку засобів безпеки програмних систем. Основну увагу приділено перевірки програмних продуктів методом статичного аналізу, який дозволяє розпізнавати властивості обчислень програм без проведення тестових експериментів.
  • Thumbnail Image
    Item
    Оцінка методів дослідження системних характеристик діяльності елеватора
    (ДВНЗ «Київський національний університет імені Вадима Гетьмана», 2013-04-19) Бєгун, Анатолій Володимирович; Ігнатова, Юлія Володимирівна
    У статті розглянуто переваги і недоліки аналітичного метода дослідження імовірнісних моделей у порівнянні з чисельним методом розв’язання системи рівнянь. На прикладі елеватора показано головні практичні особливості застосування цих методів і доведено, що основні операційні характеристики системи можна легко знайти, якщо використовувати чисельний метод розв’язку.