Cтраница 3
В теореме 1 последняя исходная формула А вспомогательного вывода Г, А - В не участвует в перечне исходных формул результирующего вывода Г - А Z) В; поэтому мы будем называть это вхождение А в качестве исходной формулы устраненным. Могут присутствовать и другие вхождения А в перечень Г, которые при этом не устраняются. [31]
Если элементарная конъюнкция исходной формулы ни разу не удовлетворяла проверке ( в нашем примере такого случая не было), то она должна появиться в окончательной формуле. Если же элементарная конъюнкция удовлетворяет проверке, то в окончательную форму входит некоторая другая конъюнкция, полученная из исходной. [33]
Замечательной особенностью как исходной формулы ( 8 5Ь), так и вытекающих из нее следствий ( 8 6а), ( 8 6Ь), ( 8 6с), ( 8 6d), ( 8 7с) и ( 8 7d), является то, что все эти выражения состоят из двух членов. Один из них зависит только от свойств наведенного тока, характерных для данного генератора, которые принято называть электроникой прибора, а другой определяется параметрами колебательного контура. Так, например, все левые части уравнений ( 8 6с), ( 8 6d), ( 8 7с), ( 8 7d) определяются электроникой прибора, а их правые части зависят от различных параметров самого колебательного контура. [34]
При кажущейся простоте исходных формул расчет этих показателей оказывается очень сложной задачей, которая не может быть рассмотрена в рамках данного руководства. [35]
Далее необходимо разбить исходную формулу на ряд последовательных арифметических и логических операций, соответствующих системе команд для конкретной ЭВМ, и определить адреса ячеек, куда должны быть помещены соответствующие команды. [36]
Выразим входящие в исходную формулу величины через параметры зубчатой передачи. Так как выкрашивание возникает в районе полюсной линии ( начальной окружности), в формулу (2.30) следует подставить значения расчетного удельного давления qp и приведенного радиуса р для момента зацепления в полюсе. [37]
Виды контакта ходового колеса с рельсом. и - линейный. б - точечный.| Типы и размеры подкрановых и подтележечных рельсов. [38] |
Подставляя его в исходную формулу Герца, получим контактные напряжения ( МПа) на ободе колеса. [39]
Если обратиться к исходной формуле ( 10 - 4), определяющей U2, то речь может идти о перераспределении потока реактивной мощности путем установки у потребителей устройств, генерирующих или потребляющих реактивную мощность Q, или за счет изменения реактивного сопротивления цепи путем специального компенсирующего устройства Хс. В первом случае предусматривается уста новка регулируемых статических конденсаторов, включаемых парал лельно в сеть, или использование синхронных двигателей у потребителей. Во втором случае используются регулируемые статические конденсаторы, включаемые в сеть последовательно. Они находят преимущественное применение в воздушных сетях. [40]
Так как в исходной формуле (6.17) фигурирует допускаемый по условиям прочности крутящий момент на верхнем конце бурильной колонны, то, следовательно, полученное решение учитывает условие, при котором материал бурильных труб не будет испытывать напряжений, / превышающих допустимые по условиям прочности. [41]
Возможность переноса подстановок в исходные формулы открывает перед нами возможность обходиться без использования правила подстановки. [42]
Следовательно, и наша исходная формула не является тождественно истинной. Выясним, будет ли она выполнимой. Для этого заметим, что сама формула представляет собой дизъюнктивную нормальную форму. И так как ни одно из ее слагаемых не содержит переменной вместе с ее отрицанием, то она не является тождественно ложной; следовательно, она выполнима. [43]
Отсюда следует, что исходная формула ложна только когда р и s истинны, а 7 и г ложны. [44]
Таким образом, наша исходная формула ( 17 /), постулированная выше на основе полуинтуитивных рассуждений, теперь получается как точное следствие требования инвариантности относительно специальных преобразований Лоренца. [45]