Cтраница 3
Редукция информации является заключительным этапом подготовки информации о нагрузочных режимах для задействования ее в абстрактных моделях. [31]
Кинематическая схема компенсации нелинейности маятника.| Схема дифференциального сило-измерителя. [32] |
Редукция усилий в сочетании с гравитационными элементами сравнения способствует повышению инерционности машины в целом в тем большей степени, чем больше передаточное отношение, поскольку уравновешивающий груз уменьшается пропорционально передаточному отношению, а его приведенная к образцу масса растет пропорционально квадрату передаточного отношения. [33]
Аксиомная редукция может быть применена, если один из выводов, тг или тг, является аксиомой. В результате этой редукции последнее сечение исчезает. [34]
Редукция перестановки правил применяется, когда по крайней мере один из выводов, тг или тг, оканчивается основным правилом q с основной формулой, отличной от экземпляров основной формулы р в рассматриваемом сечении. [35]
Редукция добавления применяется, когда по крайней мере один из выводов, тг или тг, оканчивается правилом добавления ( ad), вводящим основную формулу последнего сечения. Редукция состоит в том, что сечение следует применить к посылке добавления. Если же в посылке добавления формула сечения отсутствует, то последнее сечение исчезает. [36]
Редукция сокращения применяется, когда по крайней мере один из выводов, тг или тг, оканчивается правилом сокращения ( st), которое относится к основной формуле рассматриваемого сечения. Редукция состоит в том, что сечение следует применить к посылке сокращения. [37]
Редукция переброса применяется, когда по крайней мере один из выводов, тг или тг, оканчивается основным логическим правилом д, вводящим основную формулу ( р сечения, причем в заключении правила q имеются и другие экземпляры формулы ( р, относящиеся к последнему сечению. Редукция состоит в том, что последнее сечение расщепляется на два вида сечений. [38]
Неявная редукция к стандартной форме хорошо известна, но не всегда излагается таким способом. Распространение итераций Релея и процедуры Релея-Ритца на пучки матриц дано с некоторыми деталями, поскольку, как мне кажется, этот материал не представлен где-либо еще в доступной форме. [39]
Редукция абстракции, примененной к некоторому аргументу, может дать в результате другую абстракцию, и в этом случае процесс может быть продолжен. [40]
Редукция пакета вероятности приводит к новому состоянию, характеризующемуся новой функцией ф, - состоянию, которое нельзя было предсказать заранее, поскольку до фактического проведения измерений можно было вычислить лишь вероятности различных результатов измерения. В последних главах данной книги мы более детально проанализируем вопрос о том, каким образом операция измерения выделяет одну из возможностей, имевшихся в том состоянии, которое существовало до измерения. Вместе с фон Нейманом мы покажем, что недетерминированность, вводимая таким путем в атомную физику, несомненно, носит принципиальный характер, поскольку невозможно объяснить1 необходимость введения вероятностей так, как это делается в классической физике, - тем, что нам неизвестны точные значения некоторых скрытых величин. [41]
Наибольшая редукция гаметофита наблюдается у семенных растений. [42]
Редукция гласных звуков на стыках слов перед другим гласным всегда проявляется умеренно и ограничивается лишь сокращением долготы. [43]
Редукция сложных задач к более простым возможна в тех случаях, когда исходный положительно полуопределенный оператор задачи представим в виде суммы положительно полуопределенных простейших операторов. [44]
Редукция бесконечномерной задачи к конечномерной задаче оптимизации проводится с помощью квадратурных формул, которые подробно рассмотрены в приложении. [45]