Проверка истинности ЗУР

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

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

Если подмножество Й,- состоит из к замкнутых областей, ограниченных границами первая область 11 (х) = = 0,. . ., Рц(х)=0,. . ., / ы(х)=0, к-я область / 1й(х) = = 0,. . / 1,г1(х)=0, то такое событие является сложным и обнаружение /-го события производится проверкой истинности логического уравнения, которое является суммой произведений признаков простых событий, входящих в рассматриваемое сложное событие [c.218]

Для проверки истинности получаемых результатов измерялась теплоемкость порошкообразной меди, хранившейся без доступа воздуха, в эфире. Измеренные значения теплоемкости меди совпадают с табличными с погрешностью до 1%. Табличное значение Ср = 0,00909, измеренное Сх = 0,0090. [c.422]

Из этого следует, что лучшей проверкой истинности существования г р ед них р а 3 и о с т с я с л я стс я п од с ч е т [c.139]

Строго говоря, три соотношения (6.11)—(6.13) не независимы. Например, при дифференцировании уравнения состояния получается Кт- Следовательно, условие согласованности результатов, получаемых по формулам (6.12) и (6.13), может быть очень полезным для проверки истинной точности любого приближенного выражения, принятого для функции g (В). [c.254]

Далее, рассмотрим иное очертание L, которое можно получить из L путем смещения его узлов, сохраняя при этом симметрию и устраняя любое пересечение стержней. Для каждого стержня очертания L мы определим скорость удлинения Я, как интеграл по скоростям удлинения его элементов в рассматриваемом поле разрушения. Очертание L является оптимальным, если <( г + о) о каждого стержня очертания L и для всех возможных положений его узлов. Очевидно, что такая проверка явится чрезвычайно трудной задачей. Взамен отыскания истинного оптимального очертания мы будем рассматривать очертания, близкие к оптимальному, получаемые при соответствующей дискретизации очертания Мичелла. [c.59]

Критерием истинности закона (182.41) или (182.33) является его экспериментальная проверка, которая дала положительные результаты. В частности, увеличение массы точки находит свое подтверждение при разгоне частиц, в магнитных полях. [c.292]

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

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

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

Для проверки отопительной системы на плотность после летнего ремонта ее подвергают гидравлическому испытанию при давлении равном 1,25 рабочего давления для нагревательных приборов. Обычно старые системы испытываются на 6 ат, новые на 7,5 ат. Пр.и проведении испытания проверяют величину падения давления по манометру за определенный промежуток времени. Принято считать, ЧТО система выдержала испытание, если величина падения давления не превышает 0,2 кгс см за 15 мин. Однако этот способ не дает представления об истинной величине утечки воды из системы. [c.276]

Проверка сопротивления опускных труб при истинном режиме циркуляции [c.187]

Другим недостатком анализа данных пассивных экспериментов является зависимость значений коэффициентов регрессии 6,- от полноты учета совокупности факторов, определяющих изменчивость признака. В случае, если многие существенные факторы не учтены, величины коэффициентов bi будут иметь значительное смещение, т. е. их значения будут сильно отличаться от их истинных величин, и достоверность проверки значимости факторов с использованием формулы (40) будет низкой. [c.97]

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

С целью проверки воспроизводимости опытов декремент колебаний каждого пакета измерялся по 2—3 раза. Расхождение, как правило, не превосходило 10%- Искомая величина декремента вычислялась как средняя из полученных значений. Обработка осциллограмм выполнялась согласно методике, изложенной в [Л. 10, 12, 13]. Кроме истинных значений декрементов колебаний, для сравнительного анализа были определены значения декрементов колебаний согласно уравнению (30) для 50 циклов колебаний. [c.70]

Уточнение или проверку соответствия этого приближенного решения истинному можно установить посредством нахождения наименьшего корня уравнения устойчивости. Если соответствую- [c.252]

Проверка соответствия этого значения истинному методом перемещений дает следующие результаты. [c.267]

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

Проверку соответствия этого значения истинному рекомендуется проводить по следующей схеме. [c.271]

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

Проверку соответствия этого значения истинному проведем комбинированным способом. Неизвестными считаем линейные смещения в направлении удерживающих связей. Система обладает двумя независимыми смещениями, поэтому уравнение устойчивости принимает вид — г = 0. В этом уравнении г24 и 12 — усилия в удерживающих связях от единичных смещений в направлении этих связей. [c.300]

Большое количество экспериментальных данных по истинным значениям объемного паросодержания, полученных в условиях, достаточно близких к термодинамическому равновесию, может быть использовано для проверки достоверности 1) линейной зависимости, определяемой уравнением (10) 2) параметра распределения С о и 3) скорости всплытия пара Vgj для различных режимов течения. Некоторые из этих данных представлены в настоящей работе, остальные — в работе [19]. [c.73]

Проверка угла между штрихами (рис. 89, а). Деталь 1 устанавливают между центрами или закрепляют другим способом в делительной головке. Поворотом шпинделя головки совмещают штрих А с центроискателем 2, высота Н которого соответствует высоте центров оптической головки. Снимают отсчет показаний угла поворота, затем совмещают штрих Б с центроискателем. Разность двух показаний оптической головки соответствует истинному углу между центрами на детали. Аналогичным образом может быть решена задача по разметке пазов, нанесению штрихов и т. п. [c.260]

Проверка угла между отверстиями (рис. 89, б). Деталь 1 закрепляют в делительной головке и точно центрируют. В отверстия устанавливают калибровочные валики по диаметрам отверстий d и D и затем поворачивают шпиндель так, чтобы валики касались плоскости мерных плиток 2. Разность отсчета углового поворота соответствует истинному углу а между отверстиями. В положении / высота мерной плитки Hi = Н —0.11 и в положении II Tl — Н — 0/2. [c.260]

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

Экспериментальные исследования уравновешивающих кулачковых механизмов. С целью проверки истинной динамики исполнительных механизмов, снабженных уравновешивающими кулачковыми механизмами с пружинными нагружателями, рассчитанными по рассмотренным выше методам, был изготовлен специальный стенд. Он состоит из исполнительного и уравновешивающего коромысловых кулачковых механизмов, установленных на плите, которая смонтирована на направляющих универсального токарно-винторезного станка модели 1Д62, а также комплекта соответствующей электронно-тензометрической аппаратуры. Коромысло исполнительного кулачкового механизма было нагружено тарированной пружиной и двигалось реверсивно по законам диаграмма ускорений — косинусоида и диаграмма ускорений — синусоида . [c.163]

Алгоритм обнаружения событий состоит й поДстаной-ке текущих значений координат г/1((), H2.it), . ЦпЦ) в дискриминантные функции типа (2-83) и проверки истинности логических уравнений типа (2-1) или (2-2) ( 2-1). [c.279]

Проверка истинности антецедента А осуществляется сопоставлением рассчитанного значения коэффициента доверия хл с заранее установленным порогом. Например, можно считать, что Л = ==истина, если 1а>0,5, иначе Л = ложь (предполагается, что е[0,1]).Истинность А свидетельствует о том, что действие В, фигурирующее в 11ридукции, должно быть выполнено. Выполнение В, в частности, может означать изменение коэффициентов доверия для высказываний, фигурирующих в БЗ. [c.317]

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

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

В опытах особое внимание было уделено качеству приготовления смеси. Это объяснялось тем, что в ряде работ, посвященных исследованию движения двухфазных сред [32, 92], указывалось, что от степени диспергирования смеси и турбулентности движения в значительной мере зависит истинное паро- и воз-духосодержание. В наших опытах для проверки этого явления использовались смесители пяти типов. Характерной особенностью всех смесителей являлся радиальный подвод воздуха через перфорированную диафрагму с малыми отверстиями. Испытан был также смеситель с установленным конусом, направленным острием против потока и с закручивающим устройством. [c.36]

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

Истинные знач ения объед1Ного паросодержания измерялись методом -ослабления, основанным на различном ослаблении 7-лучей, проходящих через двухфазную смесь неодинаковой плотности. Использовавшееся оборудование и метод измерения подробно описаны [6, 7 . Паросодержание или плотность измеряли в определенных точках контура. Для изучения развивающегося потока просвечивание производилось в трех точках вдоль оси на расстоянии 108 и 250 мм от входа в опытный участок, а также в плексигласовой трубе на расстоянии 225 мм от выхода из опытного участка. В опытах с пароводяным потоком просвечивание контура производилось на выходе опытного участка длиной 2,44 м. При исследовании полностью развитого потока воздухо-водянох смеси также производилось просвечивание на выходе опытного участка. Условия полностью развитого потока устанавливались проверкой профиля газосодержания в нескольких поперечных сечениях канала. Для получения профиля паросодержания и распределения фаз просвечиванием потока в круглой трубе использовался метод, описанный в работе [7]. [c.95]

Критерий 2 применяется в основном при сравнении установленного контрактом среднего значения с значением, измеренным при проведении проверки в процессе обслуживания. Эта проверка связана с выяснением того, можно ли считать вычисленное среднее в статистическом смысле меньше заданного значения. Проведение проверки графически иллюстрируется на нг. 2.2,а. Здесь заданное значение представлено вертикальной ли-№вй, проведенной справа. Задача состоит в том, чтобы определить, 1ревышает ли опытное среднее или его возможное значение, опре- еленное из интервала рассеивания, величину, заданную техническими условиями. Простого сравнения измеренного среднего с заданным значением недостаточно, так как среднее, вычисленное на )снове выборки, является лишь оценкой истинного значения. Эднако на основе выборочных данных можно определить интер- [c.66]

В 1методике расчета теплот парообравоваиия истинных металлов с учетом эффекта димеризации [Л. 288] принят ряд допущений, которые ие позволяют считать приведенные в табл. 3-18 величины достаточно надеж-ньрми они нуждаются в экспериментальной проверке. [c.157]

Рабочая точка определяет истинное значение скорости циркуляции шо и расхода воды G. На рис. 7-53 показано построение циркуляционных характеристик для простых и сложных контуров. Для последовательно расположенных паросодержащих элементов (например, экран и отводящие трубы) суммируются напоры, а для параллельных контуров суммируются расходы. После определения действительных напоров и расходов в отдельных контурах производится проверка принятых данных кратности циркуляции, расходов воды и сопротивлений в особо сложных контурах. [c.495]

ВГпроцессе эксплуатации систем типа ЦСВ и СВС проверяется погрешность показаний и электрических выходов истинной воздушной скорости, числа М, высоты, температуры наружного воздуха и электрических выходов относительной плотности воздуха. Герметичность систем ЦСВ и СВС проверяется одновременно с проверкой герметичности систем полного и статического давлений. [c.246]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...