Применение алгебраического подхда в квалиметрии моделей и полимодельных комплексов


С.В.Микони, Б.В.Соколов, Р.М.Юсупов. Применение алгебраического подхда в квалиметрии моделей и полимодельных комплексов / Материалы Шестой всероссийской научно-практической конференции “Имитационное моделирование. Теория и практика” ИММОД-2013. 16-18 октября 2013 г., г.Казань. В 2-х т. Т.1. Казань: Изд-во “Фэн” Академии наук РТ, 2013. С.68-79.


Аннотация

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