Теоретическое доказательство

Cтраница 2

Формула (1.4.69) была получена одним из авторов ( см. формулу ( 179) в [74]) как эвристическое предположение, не имевшее строгого теоретического доказательства. [16]

Для практических целей больше подходит пространство / - с ним легче работать, тогда как его расширение / ( п) выдвигается на первый план в теоретических доказательствах. [17]

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

Принцип взаимности для упругих систем. [19]

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

Перспективным и эффективным направлением является, по нашему мнению, совместное применение теоретических концепций и экспериментальных методов. Методы теоретического доказательства корректности программ пока еще находятся на стадии теоретических исследований и экспериментальных попыток доказательств корректности программ только определенного класса, достаточно простых по структуре и небольшого объема. [21]

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

В сочинении Витрувия имеются также некоторые правила практического построения перспективы. В частности, без теоретического доказательства приводится положение о точке схода горизонтальных линий. [23]

Состояние некоторых зон можно описать с помощью фундаментальных процессов, например теплопереноса через стены и массопереноса через отверстия. Другие фундаментальные процессы, характерные для горения и распространения пламени, не имеют теоретического доказательства, вместо него вводятся зависимости, полученные эмпирическим путем. Степень сложности программы зависит от количества включаемых зон и процессов, для которых выведена закономерность. Например, в некоторые модели закладывается несколько пожаров, развивающихся в помещении, где имеется нескольо вентиляционных отверстий, а в некоторые модели - лишь один пожар в помещении с одним вентиляционным отверстием. [24]

О том же Галилей говорит в позднейшем, самом важном н наиболее знаменитом своем сочинении Разговоры. Здесь он упоминает об этом правиле как о законе, известном и твердо установленном для всех механических орудий не только опытом, но и теоретическими доказательствами. Итак, Галилей приписывает открытие рассматриваемого нами закона Аристотелю. [25]

Приближение ориентированного стебля дает надежду свести задачу к разумному размеру при условии, что основное предположение справедливо, а именно: если рассматривать стебли длины 1, то мы можем найти оптимальную структуру и затем, удалив в такой отдельной структуре все стебли длины, скажем, 3 или меньще, получить структуру, являющуюся оптимальной относительно, множества стеблей, состоящего из всех стеблей длины 4 или больше. Обоснованность этого предположения не была проверена расчетным или экспериментальным путем. Теоретическое доказательство ( за или против) стоит, несомненно, на повестке дня. [26]

Целью работы является создание алгоритма, который бы конкретно и однозначно определял автоматическую процедуру нахождения решения поставленной задачи, а преобразование алгоритма в программу - это автоматические средства. В теоретических доказательствах корректности программ показано, что построение программ с конструкцией GO TO не оптимально. Применение таких конструкций позволяет обеспечить системное программирование как для выполнения критических программ в реальном времени, так и для четкого программирования некритических заданий. [27]

Существуют два принципиально отличных способа убедиться в правильности программы: теоретическое доказательство правильности и экспериментальная проверка, получившая название тестирования. Теоретические методы доказательства правильности достаточно сложны и пока недоступны рядовому программисту. Кроме того, методы теоретического доказательства разработаны для сравнительно простых программных модулей. Практическое применение теоретические доказательства могут иметь при разработке типовых программных средств, при разработке методики программирования. Надо отметить, что доказательство правильности существенно упрощается при применении для построения программных текстов типовых управляющих конструкций. При разработке конкретных программ, особенно при их массовом производстве, наиболее эффективным методом проверки правильности программ оказывается их тестирование. [28]

Условия единственности для нелинейной краевой задачи применительно к потенциалу электрического поля в электролитах пока еше недостаточно изучены. Однако, опираясь на богатый опыт практической электрохимии, мы будем полагать, что требование ( 43) обеспечивает однозначную связь между поляризационной кривой и полем. В этом случае допущение о единственности решения разного рода задач принимается не на основании строгого теоретического доказательства, а на основании практических соображений и имеющихся опытных данных. [29]

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

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