МЕТОД ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ В ИНЖЕНЕРИИ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ
Аннотация:
Развитие методов и теории автоматизированного проектирования с целью увеличения эффективности труда проектировщиков, с одновременным повышением качества и надежности проектов, требует разработки технологий, при помощи которых возможно достижение поставленной цели. Следовательно, возникает задача разработки таких технологий автоматизированного проектирования, применение которых позволит удовлетворить всем предъявляемым требованиям. Основным подходом к решению этой задачи является повышение автоматизации процессов проектирования. В этом случае целесообразно воспользоваться инженерией знаний. А для этого необходима разработка новых или модификация существующих методов представления знаний. Предложен метод инфологического моделирования, обеспечивающий представление знаний в единообразной форме. Математическим аппаратом служит теория категорий. Предлагаемые инфологические модели задают общую структуру строения вербальных знаковых конструкций на трех уровнях абстракции. Метод инфологического моделирования можно использовать при интеграции и координации знаний в рамках общего цикла автоматизированного проектирования.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОД БЫСТРОГО ПОИСКА УЗЛОВ СЕМАНТИЧЕСКОЙ СЕТИ ПО ТОЧНОМУ СОВПАДЕНИЮ СЛОВОФОРМЫ
- МЕТОД РЕАЛИЗАЦИИ „ПЕСОЧНИЦЫ“ ДЛЯ ПОТЕНЦИАЛЬНО ОПАСНЫХ ПРОГРАММ
- РЕЗЕРВИРОВАННОЕ ОБСЛУЖИВАНИЕ ЗАПРОСОВ, КРИТИЧНЫХ К ЗАДЕРЖКАМ ОЖИДАНИЯ, В ДВУХУРОВНЕВЫХ СИСТЕМАХ
- ОЦЕНКА СТРУКТУРНЫХ ПАРАМЕТРОВ МАРШРУТИЗАТОРА ПРИ ПРИОРИТЕТНОМ УПРАВЛЕНИИ НЕОДНОРОДНЫМ ТРАФИКОМ С ПРОИЗВОЛЬНЫМ РАСПРЕДЕЛЕНИЕМ ДЛИН ПАКЕТОВ
- ВЕРОЯТНОСТЬ РАСПРЕДЕЛЕНИЯ ИНТЕРВАЛА ВРЕМЕНИ МЕЖДУ ПАКЕТАМИ В КОРПОРАТИВНОЙ КОМПЬЮТЕРНОЙ СЕТИ
- ПРОБЛЕМА ЛОЖНОГО РАЗДЕЛЕНИЯ СТРОК КЭШ-ПАМЯТИ ПРОЦЕССОРОВ В МНОГОПРОЦЕССОРНЫХ СИСТЕМАХ
- ПОДХОД К РАЗРАБОТКЕ СИСТЕМ ПОТОКОВОЙ ОБРАБОТКИ ДАННЫХ НА ПЛИС С ВОЗМОЖНОСТЬЮ КОМБИНИРОВАННОЙ ОТЛАДКИ
- ИСПОЛЬЗОВАНИЕ ЦИКЛИЧЕСКИХ КОРРЕКТИРУЮЩИХ КОДОВ В РЕКУРСИВНЫХ КОДОВЫХ ШКАЛАХ
- ПРОЕКТИРОВАНИЕ МИКРОАРХИТЕКТУРЫ ВЫЧИСЛИТЕЛЕЙ НА БАЗЕ ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ЯЗЫКОВ
- ОЦЕНКА ГЕОМЕТРИЧЕСКИХ ПАРАМЕТРОВ СТАРТА ЛЕТАТЕЛЬНЫХ АППАРАТОВ С ПОМОЩЬЮ ОТСЛЕЖИВАНИЯ КЛЮЧЕВЫХ ОСОБЕННОСТЕЙ ВИДЕОПОТОКА
- ПРОЕКТИРОВАНИЕ ВЫЧИСЛИТЕЛЬНЫХ ПЛАТФОРМ КИБЕРФИЗИЧЕСКИХ СИСТЕМ