2013 рік
Permanent URI for this community
Browse
Browsing 2013 рік by Author "Бєгун, Анатолій Володимирович"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Особливості перевірки властивостей безпеки програм методом статичного аналізу(ДВНЗ «Київський національний університет імені Вадима Гетьмана», 2013-04-24) Бєгун, Анатолій ВолодимировичСтаття присвячена аналізу розвитку засобів безпеки програмних систем. Основну увагу приділено перевірки програмних продуктів методом статичного аналізу, який дозволяє розпізнавати властивості обчислень програм без проведення тестових експериментів.Item Оцінка методів дослідження системних характеристик діяльності елеватора(ДВНЗ «Київський національний університет імені Вадима Гетьмана», 2013-04-19) Бєгун, Анатолій Володимирович; Ігнатова, Юлія ВолодимирівнаУ статті розглянуто переваги і недоліки аналітичного метода дослідження імовірнісних моделей у порівнянні з чисельним методом розв’язання системи рівнянь. На прикладі елеватора показано головні практичні особливості застосування цих методів і доведено, що основні операційні характеристики системи можна легко знайти, якщо використовувати чисельний метод розв’язку.