Cтраница 2
Рассмотрим теперь задачу об установлении эквивалентности между двумя различными случайными процессами и об определении коэффициента ускорения испытаний, который соответствует переходу от одного процесса нагружения к другому. [16]
Решение о признании и установлении эквивалентности ученых степеней - переаттестация российских граждан, имеющих ученые степени, которые присуждены им в государствах, с которыми Российской Федерацией не заключены договоры ( соглашения) о признании и эквивалентности ученых степеней, проводится президиумом Высшей аттестационной комиссии по ходатайству организации, где работает соискатель, или по заявлению соискателя в порядке, устанавливаемом Министерством образования Российской Федерации. [17]
Во-вторых, даже после этого установление эквивалентности формального задания на программирование и составленной программы оказывается чрезвычайно сложной и трудоемкой задачей, которая в общем случае алгоритмически неразрешима. Поиски в этом направлении продолжаются и, вероятно, будут вестись все более интенсивно из-за чрезвычайно большой практической значимости этой проблемы, однако-на современном этапе для контроля правильности программ наиболее широко применяется метод тестов. [18]
Далее, при решении задачи установления эквивалентности двух достаточно сложных объектов используется приведение их предварительно к некоторому определенному виду, который обычно называется каноническим. [19]
Такие приложения, как задача установления эквивалентности имен переменных, описанная в предыдущем абзаце, требует, чтобы целое число было сопоставлено с каждым отдельным именем переменной. Это сопоставление подразумевается также в описанных приложениях сетевого соединения и соединения в электрической цепи. В главах 10 - 16 мы рассмотрим ряд алгоритмов, которые могут эффективно обеспечить такое сопоставление. [20]
Следует отметать, что задачи реализации и установления эквивалентности в некотором смысле двойственны, так как все реализации данного отображения вход - - - выход являются эквивалентными системами. [21]
Задача сравнения банков данных сводится к задаче установления эквивалентности ДАС и ее обобщениям. [22]
Следующее утверждение часто используется на практике при установлении эквивалентности уравнений. [23]
Если нам необходимо обрабатывать поэлементно массив с несколькими индексами, установление эквивалентности с одноиндексным массивом приведет к заметной экономии времени ( см., например, упражнение 3.71) на стр. [24]
Так как обратное к взаимооднозначному отображению взаимооднозначно, то при установлении эквивалентности неважно, какое множество является областью определения, а какое - областью значений. Импликация в) имеет место, так как композиция взаимооднозначных отображений является взаимооднозначным отображением. [25]
Положение каждого имени в обоих списках является существенным, так как оно служит для установления эквивалентности имен. Этих двух списков достаточно для установления эквивалентности имен, однако в разделе данных подчиненной программы необходимо задавать дополнительный набор статей. Подчиненной программе необходимо знать тип и размер значений совместно используемых данных. Секция LINKAGE должна следовать за секцией WORKING-STORAGE. Она включает статьи-описания-данного уровней 01 и 77, как и секция WORKING-STORAGE, но фразы VALUE IS для этих статей не допускаются. Секция LINKAGE не выделяет никакой памяти под данные, она просто переописывает область памяти, выделенную в главной программе, под совместно используемые данные. Использование статей описания в секции LINKAGE позволяет подчиненной программе изменять шаблоны совместно используемых данных при условии, что число литер в них остается неизменным. С этой точки зрения статьи в секции LINKAGE аналогичны фразам REDEFINES. [26]
Помимо задач определения задержки кросс-корреляционные ( или ковариационные) функции находят применение в задачах установления эквивалентности временных последовательностей. Максимум значений нормированной кросс-корреляционной функции дает количественный показатель, отражающий степень сходства двух рядов данных. При этом для двух одинаковых временных функций, сдвинутых друг относительно друга, максимальное значение рху ( i) равно единице. [27]
При составлении групп EQUIVALENCE необходимо следить за тем, чтобы не было противоречия в установлении эквивалентности. [28]
Таким образом, с нашей точки зрения, и здесь происходит смешение задач стратиграфии ( установление стратиграфической эквивалентности ( по Дж. Романовскому ( 1977 г.) все сложности традицией - - ной стратиграфии остаются и даже усугубляются при машинной корреляции разрезов. Следовательно, методы машинной корреляции целесообразно разрабатывать прежде всего для тех случаев, когда геолог имеет дело не с самими разрезами, а с разного рода регистрограммами, по которым и литология разреза, и его цикличность восстанавливаются опосредованным путем. [29]
Выше был изложен определенный инженерный подход ( см. рис. 4.3.4), который обычно используется для установления эквивалентности между уровнями усталостной повреждаемости в типовой эксплуатации и при лабораторных испытаниях. Описанная методика может с успехом использоваться и для расчета индивидуальной повреждаемости каждого отдельного экземпляра конструкции. Определенная таким образом повреждаемость может выступать в качестве меры процесса эксплуатации, существенно более адекватной фактически накапливающейся усталости, чем, например, число полетов. [30]