Cтраница 2
Наконец, следует отметить, что если выражение Т содержит член dA, являющийся полным дифференциалом функции А, в которую одна из переменных, например 5, входит только в конечном виде, то этот член не внесет ничего в приведенное - выше преобразованное выражение по отношению к указанной переменной. [16]
Рассмотрим подробнее отдельные уравнения, входящие в систему: с помощью уравнения ( 28а) произвольно задается сумма кислотных эквивалентов; уравнение ( 286) получено несложным преобразованием выражения ( 27) и показывает связь алкидной константы со средней функциональностью реакционной смеси; уравнение ( 28в) - преобразованное выражение ( 24), записанное в удобной для алгоритмизации форме. [17]
Важность результатов, содержащихся в теореме 3.34, заключается в том, что она позволяет нам заменить любое высказывание в выражении, составленном с использованием логических констант, на эквивалентное; выражение, получающееся в результате такой замены, будет эквивалентно исходному и, следовательно, в силу 3.15 доказательства преобразованного выражения достаточно для доказательства исходного. [18]
Кинетические выражения в (5.68) имеют следующий смысл: первое - кальциевый обмен между трубочками саркоплазматиче-ского ретикула и внутрифибриллярным пространством; второе - реакция Эшли - Мойсескью; третье - образование АТФ из АДФ с использованием фосфотрансферазы; четвертое - связывание АТФ с актомиозином и последующее необратимое получение АДФ и Ф; пятое - преобразованное выражение реакции Эшли - Мойсескью. [19]
Функция SUBLIS в заданном выражении у ( значении ее второго аргумента) заменяет все входящие в него атомы, которым в заданном ассоциативном списке ( значении первого аргумента) поставлены в соответствия некоторые выражения, этими выражениями. Преобразованное выражение выдается в качестве значения функции. Функция SUBLIS обращается к функции SUB2, которая для заданного атома ( значения второго аргумента) выдает в качестве значения либо выражение, поставленное ему в соогвегствие в заданном ассоциативном списке, либо сам этот атом, если такого выражения нет. [20]
Необходимо, кроме того, преобразовать бесконечно малое приращение согласно тем же правилам, которыми пользуются при вычислении интегралов методом подстановки. Единственное отличие при этом состоит в необходимости сохранить преобразованное выражение положительным в соответствии с тем, что плотность вероятности должна оставаться неотрицательной. [21]
Поэтому при использовании элементов ИЛИ - НЕ необходимо выражения, характеризующие программу действия УРЗ, преобразовать так, чтобы они содержали только инверсии сумм. Аналогично, для элементов И - НЕ в преобразованных выражениях должны быть только инверсии произведений. [22]
Теорема дифференцирования наиболее полезна при преобразовании дифференциальных уравнений в алгебраические. Преобразование включает начальное условие f ( 0) в преобразованном выражении. [23]
Из работ по применению метода функций Ляпунова, быть может, наиболее близки к классической проблематике механики исследования по динамике твердого тела с неподвижной точкой. В этой проблеме в качестве функции Ляпунова можно использовать соответствующим образом преобразованное выражение для полной энергии тела ( или системы тел), если поле действующих сил консервативно. Именно таким образом Б, В. Булгаков применил второй метод Ляпунова при исследовании устойчивости движения оси фигуры гироскопа вокруг оси его момента движения, пренебрегая массой карда - 135 нова подвеса. [24]
Приведенные выше соотношения свидетельствуют о том, что булевские выражения допускают эквивалентные преобразования, при которых значение булевского выражения не изменяется. А поскольку нас булевские выражения интересуют главным образом с точки зрения принимаемых ими значений, то возникает заддч t приведения данного булевского выражения путем эквивалентных преобразований к виду, наиболее удобному в каком-либо смъгсле. С точки зрения программирования, например, цель такого преобразования может заключаться в том, чтобы преобразованное выражение содержало только такие логические операции, которые легко могут быть реализованы с помощью имеющегося набора элементарных операций машины. Кроме того, для получения наиболее компактной программы важно, чтобы преобразованное выражение содержало минимальное число таких операций. [25]
Приведенные выше соотношения свидетельствуют о том, что булевские выражения допускают эквивалентные преобразования, при которых значение булевского выражения не изменяется. А поскольку нас булевские выражения интересуют главным образом с точки зрения принимаемых ими значений, то возникает заддч t приведения данного булевского выражения путем эквивалентных преобразований к виду, наиболее удобному в каком-либо смъгсле. С точки зрения программирования, например, цель такого преобразования может заключаться в том, чтобы преобразованное выражение содержало только такие логические операции, которые легко могут быть реализованы с помощью имеющегося набора элементарных операций машины. Кроме того, для получения наиболее компактной программы важно, чтобы преобразованное выражение содержало минимальное число таких операций. [26]