Cтраница 4
В данной ситуации особое значение приобретает способность алгоритма проводить направленный вывод, не генерировать излишних дизъюнктов, а также быстро определять кандидатов на резольвиро-вание и получать соответствующую резольвенту. Подобным требованиям удовлетворяют алгоритмы дедуктивного вывода на графах связей, так как пространство поиска на каждом шаге является легко обозримым ( в графе одновременно хранится информация обо всех кандидатах на резольвирование), дизъюнкты, которые не могут результативно участвовать в процессе вывода ( дизъюнкты с чистыми литерами - литерами без связей), удаляются из графа связей вместе со всеми связями, значительно упрощая его структуру. Быстрота вывода обеспечивается однократным вычислением и постоянным хранением унификатора для каждой связи. Также достоинством процедуры вывода на графе связей является возможность адаптации существующих алгоритмов для вывода на графе связей, что позволяет комбинировать достоинства существующих алгоритмов вывода и алгоритмов вывода на графах связей. Недостатками процедуры вывода на графе связей являются необходимость пересчета графа связей на каждом шаге резольвирования с вычислением новых связей и унификаторов и необходимость хранения всего графа связей в оперативной памяти. Параллельный вывод на графах связей позволяет частично решить проблему необходимости пересчета графа на каждом шаге резольвирования, так как одновременно резольвируются несколько связей. Недостатком процедур параллельного вывода является генерация некоторого количества бесполезных, лишних дизъюнктов, что вытекает из самого принципа организации параллельного вывода, когда резольвируются все связи одновременно. [46]
Таким образом, обеспечивается большее число вариантов проведения трасс на свободных элементах. Однако на практике этот критерий не всегда позволяет создать близкую к оптимальной конструкцию платы, ибо он только косвенно учитывает связанность модулей между собой. В результате возможно решение, при котором связанные узлы могут быть разнесены на большие расстояния, а пространство между ними может быть занято соединениями между другими модулями. Несмотря на это, данный критерий находит широкое применение в существующих алгоритмах размещения. [47]
В курсах численных методов изучаются вопросы построения, применения и теоретического обоснования алгоритмов приближенного решения различных классов математических задач. В настоящее время большинство вычислительных алгоритмов ориентировано на использование быстродействующих ЭВМ, что существенно влияет на отбор учебного материала и на характер его изложения. Следует отметить некоторые особенности предмета численных методов. Во-вторых, вновь возникающие естественно-научные задачи и быстрое развитие вычислительной техники вынуждают переоценивать значение существующих алгоритмов и приводят к созданию новых. Перечисленные особенности предмета, его обширность и неоднородность делают иллюзорной попытку изложить предмет во всей полноте и строгости. [48]
В данной ситуации особое значение приобретает способность алгоритма проводить направленный вывод, не генерировать излишних дизъюнктов, а также быстро определять кандидатов на резольвиро-вание и получать соответствующую резольвенту. Подобным требованиям удовлетворяют алгоритмы дедуктивного вывода на графах связей, так как пространство поиска на каждом шаге является легко обозримым ( в графе одновременно хранится информация обо всех кандидатах на резольвирование), дизъюнкты, которые не могут результативно участвовать в процессе вывода ( дизъюнкты с чистыми литерами - литерами без связей), удаляются из графа связей вместе со всеми связями, значительно упрощая его структуру. Быстрота вывода обеспечивается однократным вычислением и постоянным хранением унификатора для каждой связи. Также достоинством процедуры вывода на графе связей является возможность адаптации существующих алгоритмов для вывода на графе связей, что позволяет комбинировать достоинства существующих алгоритмов вывода и алгоритмов вывода на графах связей. Недостатками процедуры вывода на графе связей являются необходимость пересчета графа связей на каждом шаге резольвирования с вычислением новых связей и унификаторов и необходимость хранения всего графа связей в оперативной памяти. Параллельный вывод на графах связей позволяет частично решить проблему необходимости пересчета графа на каждом шаге резольвирования, так как одновременно резольвируются несколько связей. Недостатком процедур параллельного вывода является генерация некоторого количества бесполезных, лишних дизъюнктов, что вытекает из самого принципа организации параллельного вывода, когда резольвируются все связи одновременно. [49]
![]() |
Частотные зависимости для оптимизированных конструкций ВР. [50] |
При постановке более жестких условий на величину КСВ и широкопо-лосность ВР конструкция с а3 / а - 1 0 и одним управляющим параметром h уже не может служить основой для необходимого анализа задачи. В этом отношении более перспективным является ВР ( рис. 43, а), геометрия которого имеет четыре варьируемых параметра: величины cja, cja, описывающие положение плоскости среза, d - а3 / а, L s / a. Многопараметричность задачи требует привлечения и соответствующих подходов к ее решению, ориентированных на поиск тех конструкций ВР, которые удовлетворяли бы заданным критериям. Такие подходы ( см. § 4) сводятся к постановке задачи синтеза геометрии неоднородности и ее численному решению на ЭВМ, опираясь на существующие алгоритмы поиска экстремума функций многих переменных. [51]
Для расчета сложных течений с пограничными слоями, отрывными зонами, пучками волн разрежения и ударными волнами применяются два способа адаптации сетки. Первый способ - использование автоматически подстраивающейся под особенности течения неструктурированной сетки - требует минимального контроля за ходом расчета, что и обеспечивает его популярность. Недостатки этого способа состоят в сложности алгоритма измельчения сетки, в больших накладных расходах на обработку связей между ячейками, в трудности векторизации вычислительного процесса и невозможности в рамках существующих алгоритмов сильного измельчения сетки только в одном направлении. Последнее порождает избыточное количество узлов и большую схемную вязкость в пограничных слоях в широком смысле этого термина. [52]