Рассматриваются технологические процессы производства, описываемые с помощью вероятностных сетевых графиков,особенности имитации и способы формализации технологического процесса. Предложена методика верификацииимитационных ...

В статье в качестве обобщающего формализма непрерывно-дискретных систем рассматривается гибридный автомат.Важной задачей исследования гибридных автоматов является устойчивость нулевого стационарного состояния. Известныеусловия ...

Створена система імітаційного моделювання транспортного руху, керованого світлофорами. Конструктивні елементисистеми дозволяють складати моделі різноманітних мереж доріг. Розроблена інформаційна технологія визначенняоптимальних ...

Предложена новая версия формального описания сложных дискретных систем – APRO-сети. Изложены структурные иалгоритмические особенности APRO-сетей. Приведен пример описания модели распределенной вычислительной системы,орие ...

Проведене комп‘ютерне моделювання процесу зміни величини активної реакції середовища (рН), що проходить приочищенні стічних вод від іонів важких металів у гідравлічному реакторі-змішувачі трубчатого типу на основі ...

Рассматривается проблема снижения временной эффективности алгоритмов при превышении объемом обрабатываемыхданных размера кэш-памяти ЭВМ – эффекта недостатка кэша. Предложены статистические показатели оценки этогоэффекта. ...

Виявлено, що суміщеність є однією із характеристик ознак об’єкта, які використовуються як параметри моделювання, щовпливає на якість синтезу структури моделі. Описано метод дослідження впливу цієї властивості параметрів ...