Формализация технологических знаний при разработке автоматизированных систем

Формализация технологических знаний при разработке автоматизированных систем
О.Ф. Лукьянец, С.Е. Каминский, О.М. Деев
  • Год:
    2014
  • Тип издания:
    Учебное пособие
  • Объем:
    140 стр. / 8.14 п.л
  • Формат:
    60x84/16
  • ISBN:
    978-5-7038-3771-9
  • Читать Online

Ключевые слова: Domino Designer, Lotus Domino/Notes, принятие решений, решатель инженерных задач, терминологический словарь, технологические знания, технологическое проектирование, формализация

Рассмотрены основы применения решателя инженерных задач, предназначенного для автоматизации решения расчетных и логических задач. Изложены способы описания знаний предметной области с использованием естественного языка и табличных форм представления методик исходных нормативно-справочных документов. Основное внимание уделено процессу создания специалистами информационного обеспечения для автоматизированного решения различных задач технологического проектирования. Приведена методика формализации технологических знаний средствами решателя инженерных задач и ее использование в учебном процессе.

Для студентов старших курсов МГТУ им. Н.Э. Баумана.

ОГЛАВЛЕНИЕ
1. Основы формализации технологических знаний
1.1. Терминологический словарь языка программирования прикладных задач
1.2. Информационный блок как универсальная форма представления технологических знаний
2. Решатель инженерных задач - реализация системы, основанной на знаниях
2.1. Общее описание
2.2. Форматы данных и таблица входных параметров
2.3. Таблицы выходных параметров
2.4. Таблица традиционной формы как способ записи процедуры выбора элементарного решения
2.5. Таблицы принятия решений
2.6. Дополнительные возможности и ограничения решателя
3. Среда разработки решателя инженерных задач
4. Комплексный пример решения технологической задачи "Автоматизация определения подачи на оборот при точении"
4.1. Исходные данные
4.2. Терминологический словарь
4.3. Определение предварительной подачи на оборот
4.4. Определение табличной подачи на оборот
4.5. Определение поправочных коэффициентов
5. Формальная модель принятия решений
6. Методические указания и пример выполнения домашнего задания по формализации технологических знаний

Авторы работы: Лукьянец О.Ф., Каминский С.Е., Деев О.М.