Cтраница 1
Множества операторов, удовлетворяющих определяющим соотношениям (3.206), часто встречаются в физических задачах, что делает изучение неприводимых тензорных операторов задачей фундаментальной важности в теории углового момента. [1]
Множество операторов А полностью определено. [2]
Множество операторов из В ( Ж) со свойством однозначного распространения не замкнуто. [3]
Множество операторов временного упорядочения взаимодействий, введенных в язык, позволяют описывать желаемые временные соотношения между событиями, формируя, например, СП или ЭПД. Затем при помощи тех же самых операторов временные соотношения могут быть определены между СП и / или ЭПД, задавая тем самым композиции более высоких порядков, к которым опять можно применить операторы упорядочения. Этот процесс продолжается до тех пор, пока не будут получены наиболее удобные для описания всего объекта композиции. [4]
Существует множество операторов обработки контура. [5]
DU - - множество операторов du - U - - W ( du ( E Dv), которые характеризуют взаимосвязь между КЭ и желаемой областью состояния ХТС. Обычно Dv содержит характеристики предпочтения ЛПР о важности частных КЭ или об их упорядочении, взаимозависимости. [6]
R) - множество операторов вила WK1 где х непрерывная кусочно-линейная функция, равная 1 в окрестности точки t и пулю - вне другой окрестности этой точки. [7]
Множество Q называется множеством операторов на множестве Е; отметим, что здесь речь идет просто об отображении произведения йх. [8]
Реляционная алгебра состоит из множества операторов высокого уровня, применение которых к отношениям приводит к генерации новых отношений. Тремя наиболее часто используемыми операторами являются операторы ВЫБОРКА, ПРОЕКЦИЯ и СОЕДИНЕНИЕ. Языки запросов всех СУБД включают в свой состав команды, эквивалентные перечисленным выше. Все примеры основаны на двух отношениях, показанных на рис. АЛ. [9]
Пусть дано некоторое разбиение множества операторов на непересекающиеся сегменты - сегментация а. Фактор-схемой S по сегментации о называется операторная схема, операторами которой являются элементы множества сегментов А, для каждого из которых определены множества / п ( ос) и Out ( a), а А; весом сегмента w ( a) является сумма весов входящих в него исходных операторов. [10]
Поскольку В-пересече-ние для всех множеств операторов пусто, то правило 2 перемещения операторов неприменимо. Осуществим эквивалентное преобразование полученного дерева. [11]
Теорема 2.13 дает полную характеристику множества операторов, допускающих левую эквивалентную регуляризацию. В случае гильбертова пространства можно дать такую же характеристику множества операторов, допускающих левую регуляризацию вообще ( не обязательно эквивалентную): И.Ц.Гохберг доказал, что для того чтобы оператор В kf - F допускал левую регуляризацию, - необходимо и достаточно, чтобы он был нормально разрешим и имел конечное число нулей. Однако для произвольных банаховых пространств атот факт уже не имеет места. [12]
В частности, если удается превратить множество возмущенных операторов в метрическое пространство, то можно ставить вопрос о конструировании РА для соответствующего отображения и при возмущениях оператора задачи. Ниже в основном исследуются с этой точки зрения задача 1 ( задача решения линейного операторного уравнения) и семейства (4.13) и (4.31), причем оператор А считаем ограниченным. [13]
Выше было показано, что рассмотрение множества операторов [ X - [ X - - У ] ] равносильно рассмотрению множества билинейных операторов В ( х, х) при выборе определенного, указанного выше закона соответствия между элементами этих множеств. Такой равносильностью пользуются в вычислениях, так как билинейные формы часто бывают удобнее. [14]
Как только системе заданы исходная модель и множество операторов, перед ней можно поставить задачу в форме целевого предложения. При этом система STRIPS должна найти последовательность операторов, преобразующих исходную модель ( или состояние) в конечное состояние, в котором верно ( доказуемо) целевое предложение. STRIPS начинает с того, что пытается доказать правильность целевого предложения в исходной модели. Если доказательство не удается завершить, программа выделяет различие между начальной моделью и целевым условием, указывая множество предложений, которые могут помочь завершить доказательство. Если подходящий оператор выбран, то его условия применимости образуют подцели, которые должны быть достигнуты, и аналогичный процесс решения задачи может быть применен теперь уже к ним. Если можно доказать, что условия применимости оператора соблюдаются в рассматриваемом состоянии среды, то подцели тем самым оказываются достигнутыми, и описание результатов действия оператора используется для порождения нового состояния. Процесс формирования новых подцелей и новых состояний продолжается до тех пор, пока не будет получено такое состояние, в котором может быть доказана истинность целевого условия. Последовательность операторов, порождающая это состояние, является искомым решением. [15]