Cтраница 2
Рассматривается метод формализации составления технических заданий на системы управления станками. Вначале составляется список целей, которые преследуются при проектировании. Затем с помощью дескрипторного языка, для которого сформулированы язык и грамматические правила, последовательными итерациями формируется техническое задание в виде развернутого предложе ния. [16]
Это типично многоцелевая задача, причем часть целей, преследуемых при синтезе, являются количественными, а часть - качественными. Можно составить примерный список целей, которым должна удовлетворять оптимальная система управления станком. [17]
Список целей, требующих применения эвристических преобразований, или, короче, эвристический список целей, - это упорядоченный список тех целей, которые не являются ни стандартной формой, ни целями, допускающими преобразования алгоритмического вида. Цель из эвристического списка целей называется эвристической целью. Новые цели такого рода помещаются в списке целей в порядке возрастания относительных оценок стоимости. [18]
Каждую цель из временного списка целей занеси в эвристический список целей согласно ее относительной оценке стоимости. [19]
Эти изменения помещаются в список целей. [20]
Процедура выдает истинность или ложность списка целей и соответствующую конкретизацию переменных. Процедура осуществляет автоматический возврат для перебора различных вариантов. [21]
Другими словами, карточки с их значениями не найдены. Карточка с неизвестным атрибутом помещается в список целей вместе с карточкой, содержащей неизвестное правило. Цели, которые в списке целей следуют за конечной целью, иногда называют подцелями. Далее выбирается следующее правило для оценки. [22]
Процедурная семантика определяет, кок пролог-система отвечает на вопросы. Ответить на вопрос - это значит удовлетворить список целей. Этого можно добиться, приписав встречающимся переменным значения таким образом, чтобы цели логически следовали из программы. [23]
Как мы знаем, успешность цели не зависит от конкретных имен переменных в ней. Это означает, что, начиная со списка целей ( 3), процесс вычислений никуда не продвинулся. Обезьяна перемещается, даже не пытаясь воспользоваться ящиком. Поскольку продвижения нет, такая ситуация продолжалась бы ( теоретически) бесконечно: пролог-система не сумела бы осознать, что работать в этом направлении нет смысла. [24]
В общем случае вопрос к пролог-системе представляет собой список целей, разделенных запятыми. Список целей называется истинным ( достижимым), если все цели в этом списке истинны ( достижимы) при одинаковых конкретизациях переменных. Значения переменных получаются из наиболее общей конкретизации. [25]
Каждую цель из временного списка целей занеси в эвристический список целей согласно ее относительной оценке стоимости. [26]
Особенность этих опытов состояла также в том, что испытуемый, получив список целей, не произвольно выбирал номер цели, а тянул жребий с номером цели из урны. Изменение последовательности реакций при проведении опытов лишь по одному варианту цели, вообще говоря, нарушает чистоту эксперимента. Но дополнительная серия была проведена таким образом, чтобы было возможно использовать результаты партий по остальным трем вариантам цели. [27]
Как только выработана новая цель g, SAINT пытается достигнуть ее, используя прямые методы. Для этого SAINT может занести g или некоторые подцели, порожденные g, во временный список целей. Если g достигнута, совершается попытка достичь первоначальной цели. [28]
Здесь описываются цели, которые касаются только самого процесса разработки и не проявляются в окончательном результате работы. Они должны быть установлены официально, ибо, как показали Вейнберг и Шулмен [8], в случаях, когда программисты не имеют списка целей проекта, они получают противоречивые и неожиданные результаты. [29]
Цели маркетинговых исследований вытекают из выявленных проблем, достижение этих целей позволяет получить информацию, необходимую для решения этих проблем. Они характеризуют тот информационный вакуум, который должен быть ликвидирован для предоставления менеджерам возможности решать маркетинговые проблемы. Список целей, согласованных с менеджером, включает обычно несколько наименований. [30]