Оцінка методів дослідження системних характеристик діяльності елеватора

Abstract

У статті розглянуто переваги і недоліки аналітичного метода дослідження імовірнісних моделей у порівнянні з чисельним методом розв’язання системи рівнянь. На прикладі елеватора показано головні практичні особливості застосування цих методів і доведено, що основні операційні характеристики системи можна легко знайти, якщо використовувати чисельний метод розв’язку.

In the article advantages and lacks of analytical method research of probabilistic models are examined in the decisions of the system of equalizations compared to the numeral method. On the example of elevator the main practical features of application of these methods are shown and it is wellproven that basic operating descriptions of the system can be easily found, if to use the numeral method of decision.

Статья посвящена анализу развития средств безопасности программных систем. Основное внимание уделяется проверке программных продуктов методом статического анализа, который позволяет распознавать свойства вычислений программ без проведения тестовых экспериментов.