Теория проверка

Принцип (метод, правило) резолюции (ПР) широко применяют в процедурах логического вывода (при автоматизированном поиске доказательства теорем, проверке правильности программ, планировании поведения роботов) и в диалоговых системах. В настоящее время предложены различные модификации и обобщения ПР. [c.154]

Понятие критерия значимости восходит к первым работам по теории вероятностей. Систематическая теория критериев значимости была разработана до некоторой степени независимо, с одной стороны, Фишером, а с другой стороны, совместно Нейманом и Пирсоном Двое последних включили идею критерия значимости в теорию, названную ими теорией проверки гипотез. Описание этой теории дается в [4] [c.131]

Теория последовательного оценивания в настоящее время не отработана в такой же мере, как теория проверки статистических гипотез с учетом возможности использования в прикладных задачах проверки надежности и качества. В основной монографии Вальда [1] лишь сформулирована общая задача последовательного интервального оценивания и даются ссылки на некоторые частные случаи построения метода последовательного оценивания. Некоторые вопросы последовательного оценивания рассмотрены также в [10, 12]. [c.7]

Сведения из теории проверки статистических гипотез [c.14]

Методы контроля качества и надежности, используемые в условиях производства и эксплуатации изделий, основываются на теории проверки статистических гипотез и тесно связанной с ней теорией доверительных множеств. Современное состояние теории проверки статистических гипотез и теории доверительных множеств изложены в монографиях Лемана [И] и Закса [12], а также в монографии Беляева [9]. Применительно к проблемам надежности и качества специально для инженеров эти вопросы освещены в получившей широкую известность работе Гнеденко, Беляева, Соловьева [4]. [c.14]

Сведения из теории проверки статистических гипотез..................14 [c.150]

Введем некоторые определения, касающихся теории проверки гипотез. Итак, проверяем простую гипотезу г], согласно которой параметрическая точка -ф должна совпадать с 11)0 =0. Критерий этой гипотезы заключается в правиле, согласно которому гипо- [c.47]

Будем поступать теперь в соответствии с теорией проверки статистических гипотез по отношению функций правдоподобия [c.127]

Поскольку модель активированного комплекса для реакций в растворе является равновесной, то для проверки теорий растворов-следует пользоваться не кинетическими, а скорее термодинамическими данными. С этой [c.461]

Экспериментальная проверка теории осуществлялась в натурных экспериментах путем фотофиксации следов импульсов давления лабораторных АГВ с различными конструкциями модуляторов. Выявлено, что ошибка определения частоты колебаний не превышает 10-15% на всем поле исследованных факторов. Конфигурация звукового поля (последовательность всплесков импульсов давления и их величина) соответствовала теоретическим представлениям. [c.89]

Следует отметить, что впоследствии закон Дарси был распространен (порой без достаточно тщательной экспериментальной проверки) на различные грунты, трещиноватые породы, бетоны и другие пористые материалы. Поэтому установление границ применимости этого соотношения имеет принципиальное значение для теории и практики нефтегазодобычи. [c.18]

Атомистическая теория Демокрита была бесплодной, потому что она не вела к количественным предсказаниям, которые можно было проверить. Она ограничивалась абстрактными идеями, поскольку не подкреплялась удачными или неудачными экспериментами над объектами реального мира, которые могли бы поставить перед ней новые проблемы и привести к ее усоверщенствованию. Настоящая научная теория должна быть количественной. Она должна предсказывать Если я сделаю лпо, произойдет то-то, причем в такой мере, которую я могу вычислить заранее . Такие предсказания поддаются проверке. Они могут оказаться правильными и повысить наше доверие к теории, на которой основываются, но могут (что чаще гораздо важнее) оказаться неверными и тогда заставляют нас пересмотреть и улучшить теорию. Научные теории развиваются путем непрерывного разрушения и перестройки. Теория, которая не предсказывает ничего, что могло бы подвергнуться проверке, не несет никакой информации и оказывается бесполезной. [c.63]

Конечно-разностное решение представляет практический интерес только в том случае, если имеет место его сходимость к точному решению. Непосредственная проверка сходимости разностных схем вызывает большие затруднения. В теории разностных схем доказывается, что схема, которая аппроксимирует исходную задачу (погрешность аппроксимации стремится к нулю, если стремится к нулю шаг дискретизации) и устойчива (т.е. малым возмущениям начальных данных и разностного оператора соответствуют малые отклонения решений), является сходящейся. Исследования аппроксимации и устойчивости оказываются относительно более простыми. В соответствующих разделах теории разностных схем они описаны достаточно подробно. [c.387]

Двухфазная модель реактора с псевдоожиженным слоем катализатора является сравнительно новой и разработку ее основных положений пока нельзя считать законченной. Экспериментальные исследования с целью проверки теории двухфазной модели малочисленны и их результаты в известной мере противоречивы. Это, в первую очередь, относится к определению величин скорости газа в плотной и газовой фазе. [c.131]

Позднее Робинсон и Стокс [19] разработали гидратную теорию, концентрированных растворов электролитов, по которой гидратируется только катион. Эта теория не выдерживает проверки экспериментальными данными для большого числа электролитов [23]. [c.26]

Одной из них является возникновение и быстрое развитие новых теоретических представлений в органической химии. Оказалось, что именно углеводороды, состоящие из атомов всего двух элементов, являются нередко наилучшими объектами для экспериментальной и теоретической проверки новых представлений с целью дальнейшего развития теории органической химии. Другая причина — возникновение принципиально новых и очень информативных методов исследования течения реакции и строения катализаторов (спектральные, адсорбционные, рентгеновские, хроматографические, магнитные методы, использование изотопов в катализе, приме- [c.5]

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

Применим для проверки теорему Тэйлора [c.102]

Как видно из электростатической теории электролитов, зависимость lgY от корня квадратного из ионной силы является линейной. Это было подтверждено многочисленными экспериментальными исследованиями электролитов с очень малыми концентрациями. Из всего сказанного следует, что уравнение (XVI, 48) справедливо лишь для сильно разбавленных растворов, так как при выводе уравнения для потенциала ионной атмосферы были сделаны некоторые существенные математические упрощения и физические предположения. Уравнение (XVI, 48) называется предельным уравнением Дебая—Гюккеля для Коэффициент А зависит от температуры (непосредственно и через диэлектрическую проницаемость О). Проверка [c.413]

Выполните следу)Ощие упражнения для проверки вашего понимания моле-кулярно-кинетической теории газа. [c.393]

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

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

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

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

Формула Кронига и Бринка (11.38) является одним из важнейших соотношений в теории тепло- и массопередачи, поэтому имеет смысл более подробно остановиться на границах ее применимости и рассмотреть некоторые теоретические работы, в которых эта формула подвергается критике. Результаты экспериментальной проверки формулы (11.38) будут рассмотрены в разделе 11.6. [c.203]

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

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

Не останавливаясь на общей теории проверки статистиче-ких гипотез, рассмотрим несколько отдельных задач, наиболее часто встречающихся в практике химиков-технологов. При ре- [c.16]

Однако решающей проверке теория Вант-Гоффа — Ле Беля подверглась в работах немецкого химика Эмиля Фишера (1852— 1919), занимавшегося изучением простых сахаров. Ко времени начала работы Фишеру было известно, что ряд сахаров имеет одну и ту же эмпирическую формулу eHjjOe и обладает многими сходными свойствами, но различается, в частности, по оптической активности. [c.90]

Хотя ряд практических процессов химической абсорбции протекает вблизи химического равновесия, можно установить, что только в немногих случаях обстановка, встречающаяся-на практике, приближается к условиям, допускаемым рассмотренной в этом разделе теорией. Данные Вивиана и Вайтнея [22] были детально исследованы Пигфордом [21] и, несмотря на невозможность количественной проверки теории, получено достаточно удовлетворительное качественное согласование. [c.119]

Эксперименты по абсорбции СОг растворами сильных щелочей в лабораторных абсорберах проводились еще с 1928 г. [6] с целью проверки ранних положений теории химической абсорбции. Экспериментальное исследование абсорбции чистого СОз проводили Ледиг и Вивер (7], Мицукури [8], Дэвис и Кренделл. [9] и Хйтч-кок [10]. Хатта [6] использовал смесь воздуха с СОа. Все эти результаты показывают, что коэффициент абсорбции возрастает с увеличением Ьо. Это прямо указывает на химическую абсорбцию, хотя провести различие между быстрой и мгновенной реакцией не так просто. Хатта [6] интерпретировал полученные им данные как подтверждение результатов теории мгновенной реакции. Среди ранних данных о системе, рассматриваемой в настоящей главе, следует упомянуть обширные данные Позина [И], которые наилучшим образом интерпретируются на основе теории мгновенной реакции. [c.139]

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

Проверка прочности узла "А" сопряжения дниша с цилиндрической обечайкой по моментной теории (задается преподавателем) [c.172]

Авторы справедливо отмечают, что в настоящее время omputer s ien e находится в долгу перед потребностями практики использования ЭВМ. Однако следует отдать дань несомненным успехам этой науки, а также достижениям смежной G ней дисциплины — исследованиям по искусственному интеллекту. Весьма интенсивно в настоящее время развиваются исследования по алгоритмическим языкам, работы по синтезу программ и по проверке правильности программ, которые проводятся на базе логических исчислений имеются также некоторые успехи в развитии общей теории информационных систем и моделей баз данных. Ниже мы приводим (далеко не полный) перечень ссылок на работы, информирующие читателей об упомянутых проблемах. [c.277]

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

Это исследование было задумано для проверки одного из положений мультиплетной теории Баландина, согласно которому циклогексановое кольцо может дегидрироваться только при его плоском расположении на поверхности платинового катализатора. Однако для 2-ме-тилбицикло [2.2.1] гептана это невозможно по стерическим соображениям. При 300°С водород действительно не выделялся, а поглошался. Поэтому предположили [135], что в исследуемой бициклической системе разрывается пятичленное кольцо. Это было подтверждено экспериментально на примере самого циклопентана. [c.122]

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

Молекулярно-кинетическая теория позволяет сделать множество других предсказаний о свойствах газов, при этом выкладки будут не намного сложнее, чем проведенные в предыдущем разделе. После проверки многими учеными этих предсказаний уверенность в правоте молекулярно-кине-тической теории значительно возросла. В частности, рассмотрение вероятности попадания молекулы в отверстие в стенке сосуда приводит к обоснованию закона эффузии газов Грэхема, который утверждает, что скорость истечения газа из малого отверстия в сосуде должна быть обратно пропорциональна квадратному корню из его молекулярной массы (рис. 3-14). [c.148]

Обычно независимо оценивают ошибку измерения (этим занимается теория оценок), а затем переходят к проверке годности модели и уточнению значений ее параметров (теория решений). Источниками теоретико-расчетных ошибок являются следующие причины — сама теоретическая модель, исходные данные, приближенность метода вычисления и округления при расчетах. Ошибки модели вызываются ее неадекватностью и обусловлены наличием в модели элементарных процессов, не имеющих место в действительности, или, напротив, неучетом тех или иных реальных процессов. Ошибки исходных данных имеют экспериментальную природу, связаны с неточностью измерений и, присутствуя в задаче во все время ее решения, сохраняются до конечного результата. Они иногда называются неустранимыми ошибками. Погрешность метода вычисления вызывается тем, что точный оператор заменяется приближенным (интегра.т1 — суммой, производная — разностью, функция — многочленом, замкнутая ана.чити-ческая зависимость — итерационным процессом, обры- [c.134]

Следует отметить, однако, что экспериментальная проверка теоретических соотношений показала наличие в системе жидкость— жидкость сравнительно большего числа мелких капель (в 100 и более раз меньше d p), что не укладывается в рамкн теории. Для объяснения этого факта была выдвинута гипотеза дробления частиц турб ментными пульсациями с масштабом меньше Однако, как было показано [4.3], турбулентные пульсации масштаба меньше [c.288]

Но теория 1с-аллильных комплексов была подвергнута проверке в работе Го, Руни и Кембелла [19] на примере следующих углеводородов [c.71]

Для проверки ])езультато1 теории было произведено опытное исследование 1 ад эллиптическим днищем с отношением осей 1 2 из листовой латуни ( =1-10 кг/с.и.- а = 1200 кг/сж .1 = 0,3). [c.172]

Справочник химика 21

Химия и химическая технология