DSpace Institutional Repository of Vadym Hetman Kyiv National Economic University
 

iRKNEU >
Інститут інформаційних технологій в економіці >
Кафедра інформаційного менеджменту >

Please use this identifier to cite or link to this item: http://ir.kneu.edu.ua/handle/2010/4609

Название: Оцінка методів дослідження системних характеристик діяльності елеватора
Авторы: Бєгун, Анатолій Володимирович
Ігнатова, Юлія Володимирівна
Ключевые слова: імовірнісні твірні функції
система масового обслуговування
потік вимог
математичне сподівання
probabilistic formative functions
queuing system
stream of requirements
mathematical hope
свойство программы
безопасность программ
методы анализа
статический анализ программ
решетка
потоки данных
Submit Date: 2014-07-10T11:43:57Z
Issue Date: 19-Apr-2013
Издатель: ДВНЗ «Київський національний університет імені Вадима Гетьмана»
Библиографическое описание: Бєгун А. В. Оцінка методів дослідження системних характеристик діяльності елеватора / А. В. Бєгун, Ю. В. Ігнатова // Моделювання та інформаційні системи в економіці : зб. наук. пр. / М-во освіти і науки України, ДВНЗ «Київ. нац. екон. ун-т ім. Вадима Гетьмана» ; редкол.: В. К. Галіцин (відп. ред.) [та ін.]. – Київ : КНЕУ, 2013. – № 88. – С. 121–132.
Краткий осмотр (реферат): У статті розглянуто переваги і недоліки аналітичного метода дослідження імовірнісних моделей у порівнянні з чисельним методом розв’язання системи рівнянь. На прикладі елеватора показано головні практичні особливості застосування цих методів і доведено, що основні операційні характеристики системи можна легко знайти, якщо використовувати чисельний метод розв’язку.
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.
Статья посвящена анализу развития средств безопасности программных систем. Основное внимание уделяется проверке программных продуктов методом статического анализа, который позволяет распознавать свойства вычислений программ без проведения тестовых экспериментов.
URI: http://ir.kneu.edu.ua/handle/2010/4609
Appears in Collections:Випуск № 88
Кафедра інформаційного менеджменту

Files in This Item:

File Description SizeFormat
model_is_ekon_88_13_(121-132).pdf424,34 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2010  Duraspace - Feedback