Cтраница 4
При нисходящем вычислении, напротив, правила рассматриваются как генераторы задач. Каждая цель рассматривается как задача, которую необходимо решить. Исходная цель унифицируется с левой частью некоторого правила и генерирует другие задачи, соответствующие литералам правой части этого правила. Данный процесс продолжается до тех пор, пока дерево доказательств не будет построено полностью. В этом случае, если цель содержит некоторые связанные аргументы, в процесс вычисления включаются только те факты, которые имеют какое-либо отношение к константам цели. [46]
Одним из важнейших этапов в общей системе технической подготовки производства является создание технологических процессов обработки деталей, и их сборки. Исходная цель проектирования всякого технологического процесса заключается в изготовлении детали по чертежу с наименьшей трудоемкостью и себестоимостью с учетом конкретных производственных условий. [47]
На первой стадии путем формулировки подцелей и попытки построить для них решения последовательно детализируются и уточняются исходные цели. Выделение и формулировка подцелей могут осуществляться многократно. Поэтому в общем случае имеется несколько уровней детализации исходных целей. Поскольку процесс проектирования происходит в условиях неполной информации, то не исключается появление таких подцелей, для которых не существует приемлемых решений. Поэтому допустимы возвраты к подцелям с меньшим уровнем детализации и поиск альтернативных путей. В результате процесс приобретает итерационный характер. [48]
По этому поводу уместно сделать одно замечание. В задачах исследования операций провести эту точку зрения очень трудно. Успешное завершение исследования требует использования на всех этапах неформальных рассуждений. Поэтому проверка качества решения, его соответствия исходной цели исследования превращается в важнейшую проблему теории. [49]
Поиском целей называются те мероприятия, при которых устанавливаются исходные цели высшего порядка. Из исходных целей выводятся цели низшего порядка различного ранга. Низшие цели находятся в отношении соподчиненности высшим. Возможные цели проверяются систематически измерением их соответствия исходным целям. [50]
Рассмотренные нами системы автоматизации проектирования СМОД различны по своей ориентации на пользователя, способу реализации модельного подхода к проектированию, структурному составу, степени автоматизации процессов проектирования СМОД и другим параметрам. В то же время наблюдается определенная общность принципов и методов, положенных в их основу. В частности, все эти САПР имеют нисходящий ( сверху вниз) принцип проектирования. Процесс разработки развивается от первоначально заданных нечетких целей к конкретным решениям путем последовательной детализации и уточнения исходных целей. При создании программного обеспечения СМОД в этих системах используются прогрессивные принципы и методы программирования. [51]
Степень контроля и глубина ревизии в системах баз данных определяется в основном коллективным характером использования ресурсов данных различными приложениями. Естественно, в таких информационных системах необходим постоянный контроль. Более того, они должны быть объектом пристального внимания как внутренних, так и внешних ревизоров для сопоставления получаемых результатов с исходными целями. В этой связи проводятся проверки полноты, своевременности и точности процедур обработки и выходных данных. [52]
По этому поводу уместно сделать одно замечание. В задачах исследования операций провести эту точку зрения очень трудно. Успешное завершение исследования требует использования на всех этапах неформальных рассуждений. Поэтому проверка качества решения, его соответствия исходной цели исследования превращается в важнейшую проблему теории. [53]