Специфика - предметная область
Cтраница 3
Известно, что существует значительное количество сущностей, которые удобно представить в виде процедур и весьма трудно в чисто декларативном представлении. ПП, в отличие от ДП, легко позволяет представить знание второго порядка, необходимое для выражения фактов о том, как использовать факты. ПП, в отличие от ДП, позволяет легко учитывать специфику конкретных предметных областей, закладывая ее в эвристические знания, которые трудно ( пли невозможно) выразить в универсальных процедурах ДП. Важность сказанного становится особенна весома, если иметь в виду, что эффективные дедуктивные выводы совершаются именно на основе эвристических знаний, а не универсальных. [31]
 |
Основные модели KADS. [32] |
Редактор понятий помогает инженеру знаний организовывать предметные знания в виде набора понятий и связывающих их отношений. Каждое понятие имеет имя и может иметь атрибуты; каждый атрибут может иметь значение. Какие именно атрибуты используются - это определяет инженер знаний с учетом специфики предметной области. С помощью Редактора понятий инженер знаний может вводить произвольные отношения между понятиями и создавать иерархические структуры по тому или иному отношению. Существует единственное отношение ( ISA), семантика которого встроена в Редактор. Если инженер знаний устанавливает это отношение между двумя понятиями, то имеет место наследование атрибутов. [33]
После того как предметная область выделена, инженер знаний должен ее формально описать. Если в качестве инструментального средства определена оболочка ( пустая ЭС), то модель представления знаний определяется выбранным средством. Формально инженер знаний должен воспользоваться той моделью, с помощью которой можно лучше всего отобразить специфику предметной области. [34]
При любых изменениях настроек AutoCAD - формата представления единиц линейных и угловых величин, лимитов чертежа или временных маркеров - в действительности изменяются системные переменные AutoCAD. Пользователю нет необходимости помнить о них, но именно системные переменные хранят результаты всех ваших манипуляций во множестве диалоговых окон. О системных переменных придется вспомнить только, когда вы приступите к адаптации системы применительно к специфике предметной области, в которой работаете. Пользовательские программы, играющие немалую роль в такой адаптации, не могут обращаться к диалоговым окнам и щелкать на кнопках или переключателях. Еще один фактор, который следует иметь в виду, когда речь идет о системных переменных, - некоторые из них доступны только из командной строки. Более полная информация о системных переменных содержится в приложении. Кое-где в этой книге системные переменные упоминаются - это бывает в тех случаях, когда прямое обращение к ним дает определенный положительный эффект. Например, blipmode - это и команда AutoCAD, и системная переменная. Фактически в упражнении, которое мы выполняли, команда AutoCAD использовалась для явного присвоения системной переменной нового значения. [35]
Планирование распределения ресурсов в рамках ППП может также в отличие от универсальной ОС ядра учитывать специфику предметной области и знания о модулях функционального наполнения. Одним из видов планирования ресурсов может быть управление параллельностью исполнения. Сам процесс распараллеливания и дальнейшая синхронизация параллельных процессов могут опираться на некоторые критерии, ориентирующиеся на специфику предметной области. Дополнительный эффект может дать учет конкретной специфики реального класса задач при распределении таких параллельно работающих устройств, как каналы. Специальная политика распределения каналов при обработке больших массивов информации может существенно повысить эффективность обработки. Заметим, что при определении параллельности вычислений планирование вычислений и планирование распределения ресурсов переплетаются. Одной из существенных черт распределения ресурсов, которое может быть эффективно решено с учетом конкретных задач, является распределение данных по различным уровням памяти. И в этом случае БСО пакета может получить существенный выигрыш по отношению к универсальной ОС. [36]
Элементы математического обеспечения в САПР чрезвычайно разнообразны. Среди них имеются инвариантные элементы, широко применяемые в различных САПР. К ним относятся принципы построения функциональных моделей, методы численного решения алгебраических и дифференциальных уравнений, постановки экстремальных задач, поиска экстремума. Специфика предметных областей проявляется прежде всего в ММ проектируемых объектов, она заметна также в способах решения задач структурного синтеза. Формы представления математического обеспечения также довольно раз-ноообразны, но его практическое использование происходит после реализации в программном обеспечении. [37]
Рассмотренный вариант архитектуры ПО САПР сравнительно прост, он пригоден для создания САПР средних размеров. Крупные промышленные САПР, функционирующие на сетях ЭВМ, имеют сложные, распределенные по ЭВМ мониторы, специальные обслуживающие подсистемы информационного обмена, управления технологическим оборудованием, планирования и управления ходом проекта. Такие САПР интегрированы с автоматизированными системами научных исследований, технологической подготовки производства, испытаний и с гибкими автоматизированными производствами. Их ПО отражает специфику конкретных предметных областей, принятые в них маршруты проектирования и структуру имеющихся на предприятии технических средств. [38]
Математическое обеспечение ( МО) АС ТПП РЭА объединяет в себе математические модели ( ММ) проектируемых объектов, методы и алгоритмы выполнения проектных процедур, используемые при автоматизированном проектировании. Элементы МО в АС ТПП РЭА чрезвычайно разнообразны. Среди них имеются инвариантные элементы, используемые в различных АС ТПП. К ним относятся принципы построения функциональных моделей, методы численного решения алгебраических и дифференциальных уравнений, постановки экстремальных задач, поиска экстремума. Специфика предметных областей проявляется, прежде всего, в ММ проектируемых объектов. Формы представления МО также довольно разнообразны, но его практическое использование происходит после реализации в ПО. [39]
Страницы: 1 2 3