Cтраница 3
Теорема 14.3. Пусть А: Х - Х - коэрцитивный оператор. Тогда множество решений задачи ( 12.2) ограничено. [31]
В силу теоремы существования решения прямой задачи обтекания профиля в докритическом режиме ( см. § 1), множество решений задачи профилирования не пусто. На множестве решений задачи профилирования может быть поставлена та или иная задача оптимизации. [32]
Мы приведем простейшее из них. Обозначим через X множество решений задачи (7.1) - (7.2), cs, bs - неотрицательные числа. [33]
В этом подходе для описания модели применяется специальный модельный язык, а в качестве процедур решения используется аппарат формальных трансформационных грамматик. В основе данного подхода лежит автоматический анализ решающей системой некоторого множества решений задач требуемого класса. На основе формализованного аппарата обобщения система формирует модель проблемной среды в виде некоторого множества описаний классов ситуаций и соответствующих им решений. Собственно процесс решения задачи сводится тогда к отнесению текущей конкретной ситуации к одному из априорно сформированных классов и применению к ней решения, соответствующего этому классу. [34]
В ряде случаев возможен полностью автоматизированный синтез на основе использования включенных в САПР алгоритмов оптимизации. Тогда исходными данными являются целевые характеристики, содержащиеся в ФЗ. При помощи направленного поиска на множестве решений задачи анализа объекта синтезируется оптимальная конструкция: выработанная информация отсылается в ПК для воспроизведения. [35]
Кривая 3 отвечает случаю наименьшего расхода. Обращает на себя внимание неоднозначность связи между Q и 5 в интервале 1 110 S тг / 2, где при фиксированной величине 5 имеется два решения задачи (2.48), что свидетельствует о нетривиальности вопросов существования и единственности решения в данном случае. Можно лишь утверждать здесь, что решение задачи о минимуме расхода при фиксированной площади ( если оно существует) принадлежит множеству решений задачи. [36]
В данном параграфе последовательно рассматриваются методы и алгоритмы решения задач синтеза оптимальных логических и физических структур локальных, сетевых и распределенных БД. БД относятся к классу задач дискретного целочисленного программирования с булевыми переменными. Для решения поставленных задач синтеза разработаны эффективные точные и приближенные алгоритмы. Доказан ряд утверждений, позволяющих получить аналитические выражения для точной нижней границы множества решений задач синтеза оптимальных логических структур БД. Получены аналитические выражения для оценок вершин деревьев множеств решений задач синтеза. [37]
В данном параграфе последовательно рассматриваются методы и алгоритмы решения задач синтеза оптимальных логических и физических структур локальных, сетевых и распределенных БД. БД относятся к классу задач дискретного целочисленного программирования с булевыми переменными. Для решения поставленных задач синтеза разработаны эффективные точные и приближенные алгоритмы. Доказан ряд утверждений, позволяющих получить аналитические выражения для точной нижней границы множества решений задач синтеза оптимальных логических структур БД. Получены аналитические выражения для оценок вершин деревьев множеств решений задач синтеза. [38]