ПРОГРАММНЫЕ И АППАРАТНЫЕ СРЕДСТВА УДК 681.5.017 doi:10.15217/issn1684-8853.2016.4.68 КОМПЬЮТЕРНАЯ РЕАЛИЗАЦИЯ ПРОЦЕССОВ НА ОСНОВЕ ИХ ЛОГИКО-ДИНАМИЧЕСКОЙ СПЕЦИФИКАЦИИ В. М. <...> Важное значение имеют трудоемкости разработки спецификации и программной реализации модели системы на ее основе, а также эффективность этой реализации. <...> Логико-динамическая спецификация процессов пока не получила широкого распространения, ее свойства не известны широким кругам разработчиков моделей. <...> Цель: экспериментальное исследование технологии разработки имитационных моделей динамических систем, основанной на использовании логико-динамической спецификации процессов; оценка трудоемкости разработки и выразительных возможностей спецификаций, а также качества получаемых моделей. <...> Результаты: разработаны методики логико-динамической спецификации моделей систем, исходные знания о функционировании которых представлены в виде физических моделей, структурных схем элементарных процессов, систем дифференциальных уравнений. <...> Свойства спецификаций иллюстрируются на примерах разработки трех моделей процессов. <...> Приведенные спецификации и проведенное компьютерное моделирование процессов позволяет сделать вывод о широких выразительных возможностях логикодинамической спецификации процессов, пригодности ее для эффективной программной реализации процессов и об удобстве валидации и модификации получаемых на ее основе моделей. <...> Практическая значимость: использование логико-динамических спецификаций процессов позволит существенно упростить разработку моделей сложных динамических систем, особенно в тех случаях, когда исходная информация о динамике отдельных частей системы представлена в различных формах. <...> Ключевые слова — имитационное моделирование, логико-динамические системы, основанное на правилах проВведение Функционирование динамических систем определяется происходящими в них процессами. <...> По характеру динамики различают <...>