Cтраница 2
ПОЧ) содержит результаты, работы операций проектирования. Файл 4, называемый промежуточной базой данных, используется как рабочий набор для ведения диалога. Число файлов 3 и 4 определяется числом одновременно выпускаемых проектов и числом терминалов соответственно. Запись и корректировку общесистемных данных осуществляют разработчики ГТЛАП САПФИР. [16]
Может случиться, что при применении операции проектирования к / - основному предикату образуется / - основный предикат, I k, не содержащий свободных переменных некоторых типов. Этот предикат, тем не менее, иногда будет удобно считать - основным. Для этого достаточно добавить к предикату фиктивные переменные отсутствующих типов. Как мы увидим далее, подобная операция не влияет на получаемые результаты. [17]
Операция проектирования множества тесно связана с операцией проектирования кортежа и может применяться лишь к таким множествам, элементами которых являются кортежи одинаковой длины. [18]
Важную роль в теории векторных структур играет операция проектирования в компоненту. [19]
В еще более сложном случае, проводя операции проектирования, необходимо производить сложные математические расчеты. [20]
В результате решения задачи календарного планирования по каждой операции проектирования будут получены следующие данные: исполнители; длительность операции; время задержки выполнения операции, обусловленное отсутствием потребного количества трудовых ресурсов; дата завершения операции. [21]
Создав пространство, в котором без всяких исключений может осуществляться операция проектирования, перейдем к изучению соответствия двух плоских фигур, получаемого в результате центрального проектирования. [22]
При переходе от области Q к Q обычно существенно упрощается операция проектирования. Это обстоятельство повышает возможность использования процесса (5.32) для задач математического программирования. [23]
Тогда р получается из п-графика jn множества F с помощью операций проектирования и перестановки переменных. [24]
Тогда р получается из п-графика 7п множества F с помощью операций проектирования и перестановки переменных. [25]
Для разработки обоснованного плана создания СМОД необходимо располагать полным перечнем операций проектирования в соответствии с выбранной технологией. [26]
В методе стохастических квазиградиентов предполагается, что допустимая область X позволяет осуществить операцию проектирования. К сожалению, существующие методы решения вспомогательной задачи далеко не во всех случаях оказываются конструктивными. Чтобы обойти возникающие при этом трудности, предлагается сочетать метод стохастических квазиградиентов с методом штрафных функций. [27]
Формула ( 21) показывает, что операцию усечения можно истолковать как операцию проектирования Н ( П 5, /) на его грань Н ( П 5, / i) пучком ориентированных параллельных геодезических по направлению ковектора х () - Конечно, можно также рассматривать P ( 7 ni только для С С f на алгебре Si S П QI подмножеств пространства QI с идеалом нуль-множеств 1 / П Соответствующая перефразировка теоремы 5 справедлива. [28]
ПРОЕКТИВНОЕ МНОЖЕСТВО - множество, к-роо может быть получено из борелевских множеств повторным применением операций проектирования и перехода к дополнению. [29]
Кроме того, в состав системы синтеза входят два блока, обеспечивающие интерфейс с пользователем и библиотекой операций проектирования. [30]