логико-динамическая модель