Cтраница 3
Для получения более подробной информации о том, как оптимизатор выбирает планы запросов, установите ряд флагов трассировки. Например, если установить флаги трассировки 302 ( статистика), 310 ( порядок соединений), 325 ( стоимость ORDER BY), 326 ( стоимость сортировки) и 3604 ( направле-ние результатов трассировки клиенту), то выходные данные команды SHOWPLAN для оптимизатора невероятно разрастаются. [31]
Модель при выполнении может выводить информацию на экран в виде, определяемом пользователем. Во время отладки модели ( или при пошаговом просмотре процесса имитации) пользователю необходимо выполнять трассировку модели специально заложенной функцией Pilgrim. Результаты трассировки выводятся в окне выполнения модели в виде текстовых данных, содержащих номер активного транзакта, узел его нахождения и другие параметры. Естественно, не имея возможности помнить модель целиком с номерами узлов, пользователь вынужден постоянно сверять результаты с графом, построенным с использованием конструктора. Очевидным улучшением системы представляется отображение имитации непосредственно на графе модели, созданном в конструкторе. [32]
Отметим, что в СБИС проводники имеют малые площади поперечных сечений и, следовательно, увеличенное сопротивление, это приводит к тому, что по мере уменьшения проектных норм начинают доминировать задержки в соединениях. Эти задержки имеют заметный разброс и существенно влияют на быстродействие схемы, поэтому во многих программах логического моделирования имеются модели проводников. С помощью этих моделей рассчитываются задержки в зависимости от результатов трассировки. [33]
Можно сгладить различия в скорости ЦП и выводного устройства, если обеспечить аппаратному монитору возможность вынуждать центральный процессор временно прекращать обработку команд, пока буферы не освободятся и не станут доступными для ввода. Если трассировка выполняется в прикладной или проблемной программе, такое вмешательство в работу ЦП не скажется на результатах трассировки. [34]
Все изменения по доработке чертежа платы в этом случае конструктор может заносить на перфоленту с помощью считывакмце-кодирующих устройств типа Минск-2002, СчКУ - 1, Haromat. При отсутствии считывающе-кодирующих устройств занесение информации об исправленных участках производят вручную, заполняя таблицу координат вводимых и стираемых цепей. Табличные даеные с помощью стандартных устройств подготовки данных заносят на перфоленту или перфокарты, а с них информацию вводят в ЭВМ и по программе корректировки производят исправление результатов первоначальной трассировки. Окончательные результаты с ЭВМ выводят на рабочие перфоленты в кодах исполнительных устройств. Эти перфоленты используют для управления координатографом, чертежным автоматом, сверлильным автоматом и программным стендом контроля. На рис. 5.17 показан фотопозатив печатной платы, спроектированной на ЭВМ. [35]
Иерархическая структура пространства гипотез позволяет дать пользователю полную и ясную информацию о том, как эта стратегия претворяется в жизнь в экспертной системе. В системах, полностью основанных на правилах, пользователь должен представлять себе ту стратегию разрешения конфликтов между конкурирующими правилами, которая используется в системе, и только тогда он сможет понять, почему в определенной ситуации было отдано предпочтение именно той гипотезе, которая зафиксирована в распечатке результата трассировки, а не какой-либо иной. [36]
Полная трассировка обеспечивает выдачу линейных графов всех маршрутов обработки информации, возможных в данной программе. При этом вызываемые программы могут отключаться в процессе трассировки и задаваться только наименованиями. Основная задача полной трассировки состоит в получении всех возможных логических маршрутов обработки информации и соответствующих им значений переменных, входящих в условия, которые определяют конкретные маршруты. По результатам трассировки получается полный перечень логических условий, которые определяют логику преобразования информации в данном алгоритме. При полной трассировке из всех полученных маршрутов выделяются маршруты преобразования ивазинепрерывных переменных. [37]