Обеспечение САПР: математическое, программное, информационное, лингвистическое, техническое, инструктивно-методическое, организационно-технологическое.

Обеспечение САПР - виды, назначение

Структурное единство подсистем САПР обеспечивается строгой регламентацией связей между различными видами обеспечения, объединенных общей для данной подсистемы целевой функцией. Согласно видам обеспечения выделяют соответствующие обеспечивающие подсистемы (ОП). Принято выделять 7 видов обеспечения:

 - математическое;

 - программное;

 - информационное;

 - лингвистическое;

 - техническое;

 - инструктивно-методическое;

 - организационно-технологическое;

Математическое обеспечение (МО) - совокупность математических моделей, методов решения, алгоритмов для решения задач САПР, а также совокупность специалистов, владеющих этими методами или способных разработать новые методы.

  Лингвистическое обеспечение (ЛО) - совокупность языков, используемых для представления информации о проектируемых объектах, процессе и средствах проектирования.

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

  Информационное обеспечение (ИО) - совокупность справочных данных, необходимых в данной предметной области. Эта информация, которую можно записывать, а затем извлекать, хранится в БД. Пополнение БД выполняется специалистами при обслуживании САПР.

  Техническое обеспечение - совокупность взаимосвязанных и взаимодействующих технических средств ввода, хранения, переработки, передачи программ и данных.

  Инструктивно-методическое обеспечение (ИМО) - совокупность документов, характеризующих состав, функционирование и правила эксплуатации САПР (содержит последовательную методику решения задач проектирования и использования пакета).

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

Отношение и предикат Кванторы. Язык логики предикатов.

Логика предикатов, как и традиционная формальная логика, расчленяет элементарное высказывание на субъект и предикат.

Одноместным предикатом Р(x) называется произвольная функция переменного x, определенная на множестве M и принимающая значение из множества {1; 0}.

Двухместным предикатом Р(x,y) называется функция двух переменных x и y, определенная на множестве М=М1хМ 2 и принимающая значения из множества {1;0}.

Конъюнкцией двух предикатов P(x) и Q(x) называется новый (сложный) предикат , который принимает значение “истина” при тех и только тех значениях, при которых каждый из предикатов принимает значение “истина”, и принимает значение “ложь” во всех остальных случаях

Дизъюнкцией двух предикатов P(x) и Q(x) называется новый предикат , который принимает значение “ложь” при тех и только тех значениях, при которых каждый из предикатов принимает значение “ложь”, и принимает значение “истина” во всех остальных случаях.

Отрицанием предиката P(x) называется новый предикат или , который принимает значение “истина” при всех значениях , при которых предикат P(x) принимает значение “ложь”, и принимает значение “ложь” при тех значениях , при которых предикат P(x) принимает значение “истина”.

Импликацией предикатов P(x) и Q(x) называется новый предикат , который является ложным при тех и только тех значениях , при которых одновременно P(x) принимает значение “истина”, а Q(x) – значение “ложь”, и принимает значение “истина” во всех остальных случаях.

Эквиваленцией предикатов P(x) и Q(x) называется новый предикат , который обращается в “истину” при всех тех и только тех , при которых P(x) и Q(x) обращаются оба в истинные или оба в ложные высказывания.

Квантор всеобщности

Пусть Р(х) – предикат, определенный на множестве М. Под выражением  понимают высказывание, истинное, когда Р(х) истинно для каждого элемента х из множества М, и ложное в противном случае. Это высказывание уже не зависит от х. Соответствующее ему словесное выражение звучит так: “Для всякого х Р(х) истинно ”.

Символ  называют квантором всеобщности (общности).

Квантор существования Пусть P(x) - предикат определенный на множестве М. Под выражением  понимают высказывание, которое является истинным, если существует элемент , для которого P(x) истинно, и ложным – в противном случае.