Строгое математическое доказательство

Cтраница 1

Строгое математическое доказательство из-за громоздкости здесь опущено. [1]

Строгое математическое доказательство выходит за рамки настоящей книги. [2]

К доказательству независимости работы сил электрического поля от формы пути. [3]

Строгое математическое доказательство консервативности электрического поля в общем случае довольно сложно, и мы ограничимся поэтому доказательством этого свойства поля для простейшего случая - поля, создаваемого одним точечным зарядом. [4]

Области стационарных режимов для экзотермической реакции первого порядка в слое неполного смешения. [5]

Строгое математическое доказательство свойств стационарных решений ( устойчивых и неустойчивых) отражает физическую особенность неустойчивых стационарных решений - отрицательное значение параметрической чувствительности технологического режима к изменению начальных условий. Так, например, если в окрестности неустойчивого режима увеличивают начальную температуру или начальные концентрации исходных реагирующих веществ, то новый стационарный режим отвечает более низким значениям температур. Общий анализ устойчивости стационарных решений указанным методом удается провести для пористого зерна, адиабатического слоя неполного смешения и реактора с внутренним теплообменом. [6]

Строгое математическое доказательство правильности работы алгоритма - обычно очень трудная задача, главным образом из-за того, что трудно доказать правильность работы циклов и рекурсивных процедур. Вместе с тем демонстрация правильной работы алгоритмов на некотором наборе тестов еще не означает, что он всегда будет работать правильно, - следует помнить, что различных комбинаций входных данных бывает, как правило, бесконечно ( или практически бесконечно) много. Поэтому необходимо сопровождать алгоритм некоторым рассуждением, которое, даже не будучи строгим доказательством, в достаточно полной мере убеждает нас в правильности алгоритма. Конечно, оно не должно быть рассуждением в таком, например, стиле: алгоритм перебирает все варианты, поэтому он правилен; ведь тогда возникает вопрос, а как убедиться, что алгоритм действительно перебирает все варианты. [8]

Предводителева получила строгое математическое доказательство в работах Айненберри и Трусделла. Энского - Чепмана справедливы для более узкой области состояний газа, чем уравнения в приближении Навье - Слокса. С помощью нового приема исследования - итерационного метода - он показал, что приближения любого порядка хуже первого и что уравнения Навье - Стокса могут оказаться искомым асимптотическим решением. [9]

Невозможно дать строгое математическое доказательство принципа нормализации, поскольку понятие произвольного алгоритма не является строго определенным математическим понятием. Поэтому к его обоснованию следует подходить так, как подходят к обоснованию всякого естественнонаучного закона или принципа. Обоснование, которое можно дать в этом плане принципу нормализации, дает возможность считать этот принцип в высшей степени правдоподобным. [10]

К сожалению, строгое математическое доказательство основной теоремы Шеннона о кодировании при наличии помех и в этом случае является все же довольно сложным. В работе [1], положившей начало всей теории информации, такое строгое доказательство вообще отсутствует; Шеннон здесь ограничился лишь изложением ряда общих соображений, весьма наглядно объясняющих причины, по которым эта теорема должна иметь место. [11]

Хевисайд разработал без строгого математического доказательства общеупотребительные теперь операторный и символический методы. Именно этот слой позволяет нам слышать передачи на коротких волнах за тысячи километров, а не в пределах прямой видимости, как телевизионные передачи. [12]

Число столкновений молекул пропорционально произведению концентраций. [13]

Закон действия масс имеет строгое математическое доказательство, смысл которого можно пояснить, используя понятие вероятности W. Чтобы частицы А и В могли превратиться в продукт Р, они должны столкнуться друг с другом. [14]

Это рассуждение, конечно, не заменяет строгого математического доказательства существования прямоугольника без контакта, но позволяет ожидать, что принцип нечетности окажется справедливым для широкого класса математических моделей химических реакторов. [15]

Страницы: 1 2 3