Cтраница 1
Расширенная система может доказывать ряд более сложных теорем, справиться с которыми было не под силу основной машине. Задачи же, которые доступны обеим машинам, решаются расширенной системой приблизительно в три раза быстрее, причем для этого вырабатывается около 2 / з общего числа подцелей за вдвое меньшее число циклов, чем у основной машины. Средняя глубина графа решения для расширенной системы составляет около 7 - 9 уровней, что соответствует 2 / з средней глубины для основной системы. [1]
Расширенная система подсказок, удобное представление информации на экране, возможность общения с информацией и удобство вывода на печать - все это подтверждает, что пакет в большей степени удовлетворяет требованиям, предъявляемым к программным продуктам такого класса. В то же время возможны улучшения в сервисном обслуживании потребителя и графической реализации финансовых переменных. [2]
Расширенные системы аксиом позволяют специфицировать терминальную алгебру данной теории, отличающуюся от вырожденной. [3]
Расширенная система программного обеспечения математического программирования СПО МПР-2 предназначена для решения задач линейного, параметрического и сепарабельного программирования. [4]
Если расширенная система ( 6 - 70) и ( 6 - 105) управляема, то можно сформулировать следующую задачу синтеза. [5]
Эта расширенная система, достаточная для доказательства основных результатов конструктивного математпч. [6]
Когда расширенная система в целом находится в состоянии термодинамического равновесия, то и основная система, составляющая часть расширенной, также, очевидно, пребывает в термодинамическом равновесии. И наоборот, если состояние основной системы неравновесно, то уже не может считаться равновесным состояние расширенной системы. [7]
Из расширенной системы, имеющей единственное решение, находятся наклоны сплайна Ss ( x) e C2 [ a, b ]; этот сплайн продолжается с отрезка [ а, Ь ] с периодом b - а на всю ось х с сохранением непрерывности второй производной. [8]
Из расширенной системы (3.3.23) мы имеем (3.3.4) с В - А, так что матрица С0 должна быть диагональной. [9]
Применение расширенной системы уравнений оказывается полезным при расчетах с выделением разрывов. В частности, он позволяет выделять и разрывы, возникающие с течением времени. Если для решения системы (2.7.76), (2.7.77) используется метод сквозного счета, следует искусственно уменьшать рост значений Ц и Uy в окрестностях ударных волн. Однако вблизи тангенциальных разрывов, в волнах разрежения и областях гладких значений сеточных функций коррекция U и Uy не требуется. Используя расширенную систему уравнений для Uz, описанный подход обобщается на трехмерный случай. [10]
Получите расширенную систему, с помощью которой можно оценить вторые производные от решений. [11]
Получив расширенную систему, мы постараемся использовать ее для вывода оценок, так же как это делалось в случае задачи Коши. [12]
Допустимые состояния такой расширенной системы имеют неизмеримо более широкий диапазон по сравнению с одним лишь маятником. Для того чтобы перевести систему из одного из этих допустимых устойчивых состояний в другое, в ней должно установиться новое устойчивое состояние после того, как в течение некоторого времени происходил теплообмен между данной системой и ее окружением при условии неизменности всех трех связей, наложенных на систему. [13]
По отношению к расширенной системе ( тело плюс окружающая среда) энтальпия играет ту же роль, что и внутренняя энергия по отношению к отдельно взятому телу. [14]
По отношению к расширенной системе ( тело Ц - окружающая среда) энтальпия играет ту же роль, что и внутренняя энергия по отношению к телу в отдельности. [15]