Разработаны логические модели автоматизированной подготовки вычислительного эксперимента и содержательной интерпретации его результатов. Логические модели применяются для синтеза математической модели из прототипа модели, копирования результатов расчета в прототип модели, контроля достоверности математической модели и прототипа модели.
вычислительный эксперимент, математическая модель, логическая модель синтеза, логическая модель контроля