Зуенко, Александр Анатольевич (старший научный сотрудник; кандидат технических наук). Организация процедур вывода при моделировании динамических систем на основе качественной модели дифференциальных уравнений и методов удовлетворения ограничений [Текст] = Organization of Inference Procedures for Dynamic Systems Modeling Based on the Qualitative Model of Differential Equations and Methods of Constraint Satisfaction / А. А. Зуенко, Р. А. Македонов, О. В. Фридман> // Качество. Инновации. Образование. - 2018. - № 4. - С. 51-66 : 4 рис. - Библиогр.: с. 63-64 (28 назв.) . - ISSN 1999-513Х
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): авторские методы -- двухуровневые технологии -- дискретные системы -- дифференциальные уравнения -- задачи удовлетворения ограничений -- логико-динамические системы -- матрицеподобные структуры -- методы удовлетворения ограничений -- обеспечение корректности модели -- программирование в ограничениях -- распространение ограничений Аннотация: В работе предлагается двухуровневая технология комплексного моделирования динамических систем. Зависимости между недоопределенными переменами вектора состояний динамической системы предлагается представлять в виде специализированной онтологии предметной области. Онтология строится на основе модификации качественной модели дифференциальных уравнений, предложенной авторами для решения задачи обработки недоопределенной информации об объекте исследования. Доп.точки доступа: Македонов, Роман Александрович (младший научный сотрудник); Фридман, Ольга Владимировна (старший научный сотрудник; кандидат технических наук) Нет сведений об экземплярах (Источник в БД не найден) |