Рассматриваемая оценка

Cтраница 2

Для семантической оценки формул из L желательно иметь в виду конкретный мир w из универсума W вместе с рассматриваемой оценкой V. Рекурсивно определяют отношение семантического следования 1 между моделями и формулами языка. [16]

Геометрические места. [17]

Этой ситуации отвечает Тс0 330 К на рис. IX.15. Если, однако, среди последовательности кривых максимальной температуры есть кривая вида 4 ( касательная к адиабатическому пути реакции), то адиабатический путь касается ее в точке В и снова пересекает в точке С, При еще больших Тс0 кривая имеет вид 5 с единственной точкой пересечения D. Если существует такой резкий скачок оценки максимальной температуры, то неудивительна сильная чувствительность процесса к параметру Тс0, проявляющаяся на рис. IX.15, даже если рассматриваемая оценка является приближенной. Амундсен и Билоус обнаружили также аналогичные явления чувствительности процесса к значению коэффициента теплопередачи от реагирующей смеси к теплоносителю. Вопрос об автотермичности сразу же возникает при анализе противоточного реактора, изображенного на рис. IX.12. Та же проблема возникает в том случае, когда холодное сырье подогревается горячими продуктами реакции в предварительном теплообменнике. [18]

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

Сравнение величин D и ( jo - р) может указать на существование систематической погрешности оценки. Если р - р ненамного больше D, то нет оснований утверждать что существует систематическая ошибка. Наоборот, если, например, р - р 5D, то это свидетельствует о существовании систематической ошибки рассматриваемой оценки. [20]

Тем самым задача сводится к определению законов распределения векторных случайных величин. Своеобразие алгоритма автоматической оценки законов распределения состоит в учете того обстоятельства, что точка Q GE G может изменить свое значение в тот момент, когда еще не получена соответствующая оценка требуемого качества, но затем, спустя некоторое время, Q может вернуться к прежнему значению. Для учета этого нужно каждой точке Q поставить во взаимно однозначное соответствие свой номер зоны памяти УМ, в которой можно уточнять рассматриваемые оценки по мере поступления соответствующего значения Q. Более подробно алгоритм построения G и определения номера точки Q GE G описан в [136], а также в § 27 в связи с рассмотрением алгоритма накопления и применения опыта управления. [21]

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

Независимость схем ( S, ( S2), ( S5), ( Se) и ( S8) получается с помощью тех оценок, посредством которых мы в гл. При этом из упомянутых оценок здесь нужно взять только определения значений для импликации, конъюнкции и отрицания. Доказательство независимости с помощью такого рода оценки для любой данной схемы ( 5Л проводится следующим образом. Сначала для каждой отличной от ( i) схемы из списка ( Si) - ( S8), являющейся схемой формул, мы показываем, что каждая построенная по этой схеме I-K-N - формула на основании рассматриваемой оценки при произвольных значениях переменных принимает только вполне определенные, выделенные значения; затем для каждой из остальных, отличных от ( 5Л схем мы показываем, что от формул, принимающих только выделенные значения, эта схема снова ведет к формуле, также обладающей этим свойством. Тогда отсюда получается, что каждая I-K-N - формула, выводимая по отличным от ( S () схемам, при любых значениях формульных переменных принимает выделенное значение. С другой стороны, указывается тождественно истинная I-K-N - формула, которая при некоторых значениях формульных переменных на основании рассматриваемой оценки принимает невыделенное значение. [23]

Подобным образом мы оцени. Их составы удовлетворяют предлагаемому способу оценки. На рис. 5 в приведен пример оценки состава азеотропа бромэтил - метанол - 2ч етил - 2-бутен. Аэеотропная точка состава, приводимого в работе [9], выпадает иэ области, выявляемой как по правилам работы [3], так и по рассматриваемой оценке. [24]

Страницы: 1 2