Формализация технологических знаний при разработке автоматизированных систем
Издательство:
Автор
Метки:
Логические задачиЖанры:
учебная и научная литература,учебники и пособия для вузов,технические науки,общетехнические дисциплины,проектирование,учебное пособие для студентов,технологические процессы,логические задачи,автоматизация проектирования,знания и навыки
Рассмотрены основы применения решателя инженерных задач, предназначенного для автоматизации решения расчетных и логических задач. Изложены способы описания знаний предметной области с использованием естественного языка и табличных форм представления методик исходных нормативно-справочных документов. Основное внимание уделено процессу создания специалистами информационного обеспечения для автоматизированного решения различных задач технологического проектирования. Приведена методика формализации технологических знаний средствами решателя инженерных задач и ее использование в учебном процессе. Для студентов старших курсов МГТУ им. Н.Э. Баумана.