Использование логикодинамической спецификации Физическое образование в вузах. <...> 22, № 3, 2016 71 процессов для компьютерной реализации физических моделей динамических систем УДК 531.38 Использование логикодинамической спецификации процессов для компьютерной реализации физических моделей динамических систем Владимир Михайлович Шпаков СанктПетербургский институт информатики и автоматизации РАН 199178, РФ, СанктПетербург, ВО, 14 линия 39; email: vlad@iias.spb.su Обсуждаются требования к компьютерным средствам моделирования процессов, ориентированным на моделирование динамических систем с целью изучения физики. <...> Кратко описывается транзитивный логикодинамический подход к спецификации процессов. <...> На примерах моделирования двух простых динамических систем демонстрируются достоинства использования логикодинамической спецификации процессов как на этапе разработки программ реализации физических моделей систем, так и при проведении модельных экспериментов и обработке их результатов. <...> При проведении моделирования можно выделить следующие этапы: разработка физической модели системы; разработка математической модели системы; разработка компьютерной программы реализации модели; валидация модели и проведение модельного эксперимента; интерпретация результатов моделирования. <...> Функционирование динамической системы определяется совокупностью происходящих в ней взаимодействующих процессов. <...> Разработка физической модели 72 В.М. Шпаков производится на основании законов динамики с учетом отношений, существующих между элементами системы, и ограничений на изменения параметров системы и состояний происходящих процессов. <...> Эта модель делает возможным при компьютерной реализации процессов использовать известные методы численного решения уравнений, что обеспечивает в некоторых случаях более эффективную программную реализацию модели. <...> Это затрудняет модификацию модели и интерпретацию <...>