Cтраница 3
Мы будем считать сильно эквивалентные диаграммы виртуальных зацеплений одинаковыми в отличие от эквивалентных диаграмм виртуальных зацеплений, для установления эквивалентности которых требуется применение классических движений Рейдемейстера. [31]
Этот факт, обычно не учитываемый в теории ПЛ, как мы увидим, играет важную роль, в частности при установлении эквивалентности перенормированных и неперенормированных уравнений. [32]
Переход к исследованиям памяти, как модели объекта с рециклом, имеющей черты массовых процессов, не только интересен с точки зрения установления эквивалентности моделей различных типов, но и, как уже было отмечено, вызывается необходимостью исследования свойств континуума моделей. [33]
В противоположность указанной существует точка зрения, что имя, присваиваемое типу данных, является также частью типа данных, и при установлении эквивалентности типов данных должны учитываться их имена. [34]
Тп ], которая является универсальной среди ассоциативных коммутативных / ( - алгебр с п образующими. Это указывает путь к установлению эквивалентности категорий, к чему мы вскоре обратимся. Одно из преимуществ этого подхода заключается в том, что он позволяет нам наделить любое главное открытое подмножество Xf неприводимого аффинного многообразия X своей собственной структурой аффинного многообразия ( в аффинном пространстве более высокой размерности): определим R как подкольцо поля К ( Х), порожденное К [ Х ] и 1 / /, и заметим, что R автоматически оказывается ( приведенной) конечно порожденной / ( - алгеброй. [35]
Положение каждого имени в обоих списках является существенным, так как оно служит для установления эквивалентности имен. Этих двух списков достаточно для установления эквивалентности имен, однако в разделе данных подчиненной программы необходимо задавать дополнительный набор статей. Подчиненной программе необходимо знать тип и размер значений совместно используемых данных. Секция LINKAGE должна следовать за секцией WORKING-STORAGE. Она включает статьи-описания-данного уровней 01 и 77, как и секция WORKING-STORAGE, но фразы VALUE IS для этих статей не допускаются. Секция LINKAGE не выделяет никакой памяти под данные, она просто переописывает область памяти, выделенную в главной программе, под совместно используемые данные. Использование статей описания в секции LINKAGE позволяет подчиненной программе изменять шаблоны совместно используемых данных при условии, что число литер в них остается неизменным. С этой точки зрения статьи в секции LINKAGE аналогичны фразам REDEFINES. [36]
Возможность использования аргументов одних типов в операциях с параметрами других типов остро ставит проблему контроля типов при вызове операций. Здесь важными проблемами являются вопросы установления эквивалентности типов ( что такое один и тот же тип. В главе предлагается решение этих проблем, основанное на унифицированном конструктиве типов данных и рассмотрении типов как значений универсального типа типов данных. [37]
СИ равен просто единице. Главное в опытах Джоуля - это установление эквивалентности между теплотой и работой. Сущность этого принципа Клаузиус сформулировал следующими словами: Во всех случаях ( круговых или стационарных процессов), когда из теплоты появляется работа, тратится пропорциональное полученной работе количество теплоты и, наоборот, при затрате той же работы получается то же количество теплоты. [38]
При взыскании задолженности с валютного счета с него перечисляется валютный эквивалент рублевого налогового платежа. В комментируемой статье предусмотрен следующий способ установления требуемой эквивалентности: руководитель налогового органа ( или его заместитель) одновременно с инкассовым поручением направляет поручение банку на продажу не позднее следующего дня валюты налогоплательщика. [39]
Реальная эксплуатационная нагруженность конструкций может быть адекватно описана различными моделями случайных процессов. В этом случае возникает задача об установлении эквивалентности всех нагружений и соответствующего коэффициента перехода, возможности пересчета повреждающих воздействий, обусловленных различными процессами. В настоящее время применяется более десятка различных методов приведения. В работе даны некоторые из них. [40]
Клапейрона - Клаузиуса уравнение ( 122, 123) - дифференциальное уравнение кривой р ( Т), описывающей условия равновесного сосуществования фаз. Открыто Клапейроном при анализе экспериментальных данных до установления эквивалентности теплоты и работы. Клаузиус показал, что неизвестная Клапейрону постоянная этого уравнения определяется абсолютной температурой точки перехода и зависит от механического эквивалента теплоты. [41]
Таким образом, суть осуществляемой реформы заключается в создании многообразия типов высшего образования как по срокам, так и по программам профессиональной подготовки, формам обучения, призванных помочь студенту выбрать тот или иной вуз для учебы и получить тот уровень образования, который он может осилить и который в дальнейшем может быть, на его взгляд, востребован обществом и промышленностью. Одновременно предусматривается интеграция вузов России в мировую образовательную систему с установлением эквивалентности документов об образовании при сохранении традиций Российской высшей школы, которые она накопила за годы своего существования и которая по праву считается одной из приоритетных в мире. [42]
С ( г) достигает максимума при значениях т, равных сдвигу. Помимо задач определения задержки эта функция также находит применение при установлении эквивалентности временных последовательностей. При этом максимум взаимно ковариационной функции дает количественный показатель, отражающий степень сходства двух рядов данных. [43]
В описании языка Паскаль [91] ничего не говорится о том, когда два типа можно считать эквивалентными друг другу. В очень важной работе [167] рассматривается два подхода к решению этой проблемы: установление эквивалентности типов по эквивалентности компонентов ( может применяться рекурсивно) и установление эквивалентности типов по именам. И в языке Ада и в стандарте ISO на язык Паскаль [5] эквивалентность типов устанавливается по именам. Однако установление эквивалентности типов только по именам является недостаточным для языка Паскаль, поскольку, например, строка ABC не имеет ассоциированного с ней имени типа. [44]
Теплота является объектом изучения в калориметрии. Первая исторически сложившаяся единица количества теплоты - калория - была определена еще до установления эквивалентности теплоты и работы. [45]