Верификация

Обычно предлагаемые модели (3.194) подвергаются экспериментальной верификации. Формула (3.198) даст оценку риска, если в нее подставить оценки параметров /о, К, вычисленные, например, методом наименьших квадратов по результатам экспериментов. [c.236]

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

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

Упражнение. Верификацию, аналогичную проделанной выше, можно выполнить, когда X принимает значения О, 1 с вероятностями а, , где a-f- —I (а не 1/2, 1/2) так что р задается (1.1.5) с y -OL/fi (см., например [I, рр. 169 ffj). Однако теперь мы перейдем к пределу о= и одновременно [c.36]

Известны результаты экспериментальной верификации используемой модели. Известны распределения вероятностей направления ветра, скорости ветра в заданном направлений и класса неустойчивости атмосферы при заданной скорости ветра. [c.234]

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

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

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

Процедура калибровки/верификации имеет одно несомненное достоинство [c.438]

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

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

Верификация моделей оценки качества вод и выбора состава водоохранных мероприятий, разработка и организация программного обеспечения. [c.344]

В любом створе j Е J дерева T J,S), описывающего структуру ВХС, величины Qj и Wj (здесь и далее, для простоты обозначений, индекс р расчетной обеспеченности опускается) определяются боковой приточностью, гидравлическими и морфометрическими характеристиками русла, поймы и собственно водохранилища, а также режимами сбросов (выходными гидрографами) из водохранилищ, лежащих непосредственно выше -го на речной сети. При детальном расчете трансформации стока паводка системой водохранилищ необходимо принимать во внимание сглаживание паводковой волны по мере продвижения по участку реки, ее запаздывание в нижележащие створы и суперпозицию сбросных расходов из вышележащих водохранилищ с боковой приточностью, распределенной по участку. Степень детальности таких расчетов зависит от значимости объекта и его местных особенностей, но главную роль играет детальность прочей информации в рамках решаемой задачи. Па практике соответствующие вычисления подразумевают рассмотрение потока воды в реке либо как неустановившегося, либо приближенно как неравномерного плавно изменяющегося установившегося. По отношению к рассматриваемой оценочной модели такие вычисления могут рассматриваться как имитационный эксперимент, осуществляемый после решения задачи оптимизации для верификации полученного решения. Теоретически (а при использовании достаточно мощных компьютеров, и практически) возможно погрузить подобные расчеты внутрь рассматриваемой схемы оптимизации. Однако это нецелесообразно по технологическим соображениям, поскольку все остальные упрощающие предположения, примененные в задаче, приводят к большей погрешности в определении значений искомых параметров. Здесь решающую роль играет не абсолютно точное численное значение той или иной результирующей величины, а правильность сравнения вариантов с выбором оптимального, исходя из ранее сформулированного принципа запаса надежности для всей рассматриваемой проблемы. Поэтому в рамках рассматриваемой задачи принимается специальная редукционная гипотеза. Для ее формулировки введем дополнительные понятия. [c.413]

Верификация радиоуглеродных датировок спорово-пыльцевым мето. ом. Один из путей оценки достоверности радиоуглеродных датировок - [c.573]

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

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

Определение достоверности прогнозов (верификация) осуществляется следующими способами [c.7]

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

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

Далее изучаются теоретические характеристики волны воспламенения в газовзвеси частиц магния с учетом скоростной неравновесно-сти. Модель сводится к системе двух дифференциальных уравнений для скоростей фаз за фронтом ударной волны. Показано, что в рамках двухскоростной модели видоизменяется критерий воспламенения. Основные типы течения смеси за фронтом УВ остаются прежними с воспламенением частиц (Р ) и с регулярным нагревом (Р2). Однако наличие скоростной неравновесности приводит к изменению локальных характеристик течения. Выявлено три типа поведения температуры частиц за фронтом УВ (с монотонным изменением температуры для Р и немонотонным для - Р и Р2) и два соответствующих им типа пространственного распределения температуры газовой фазы. Проведена верификация модели на основе данных эксперимента. Показано согласование односкоростной и двухскоростной моделей по времени задержки воспламенения. Сопоставлено влияние на данную характеристику в обеих моделях размера частиц. Получена единая формула для расчета периода индукции смеси кислорода и частиц магния, учитывающая изменение числа Маха УВ и радиуса частиц. [c.15]

Смесеобразование. Первый раздел главы 3 посвящен обзору исследований в области физико-математического моделирования процесса смешения твердых частиц с высокоскоростными потоками газа, возникающего при действии ударных волн, волн сжатия и разрежения на неустойчивые пылевые отложения, расположенные на границах каналов, на пластинах, в кавернах, и на свободные облака частиц. Описываются, в частности, эксперименты в ударных трубах с частицами, лежащими первоначально в кавернах и на поверхностях. Экспериментальные данные, которые представлены в в 1дe распределений концентрации частиц в различных точках пространства по высоте над неустойчивым слоем, распределений давления на нижней стенке ударной трубы, используются исследователями для верификации разработанных математических моделей как в режимах одиночных частиц и взаимодействующих континуумов, так и турбулентной диффузии. Анализ экспериментальных и расчетных данных показал в некоторых случаях корректность рассматриваемых моделей, которые позволяют [c.16]

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

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

Для этерифнкацяв жирных кислот можно применять различные низшие спирты, но в промышленной практике используются только два — метиловый в бутиловый. В ГДР все синтетические жирные кислоты (С,—С Сщ—и Сю—- jo) этерифнцируют бутиловым спиртом. В СССР для кислот С,—при-1 (еняют бутиловый спирт, а для кислот io—Сц — метиловый, верификацию бутиловым спиртом осуществляют при повышенных температурах (180—200 °С) к давлениях (0,4—1 МПа). Схема периодического процесса этерификации приведена на рис. 1.7. Свежий и регенерированный бутиловый спирт, а также жирные [c.31]

Практическая реа.шзация проекта "ГЕНОМ ЧЕ.ШВЕКА", направленного ка полную расшифровку этого генома [4], иг,19нцего размер 10 нуклеотидов и содержащего до юо ООО генов, свидетельствует о том, что уже в самое ближайшее время даже для первичной обработки огромных массивов молекулярно-генетических дашшх ( накопление, верификация, сравнительный [c.5]

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

Справедливость полученных нами результатов исследований в рамках концепции ТПР была подтверждена международной экспертизой результатов исследований комиссией МАГАТЭ [И], верификацией результатов и дополнительными исследованиями, проведенными временной рабочей группой специалистов из ЭДФ (Франция), Сименс (ФРГ) и Фраматом (Франция) под руководством Г. Бартоломе в рамках программы TA IS-91. [c.11]

Нормативные показатели концентрации биогенных веществ в стоках с сельскохозяйственных площадей, занятых различными культурами, представлены в табл. 7.3.4. Эти данные могут быть полезны при верификации результатов моделирования выноса растворимых агрохимикатов поверхностным стоком. Используются и более упрощенные описания процесса продвижения фронта загрязнения в зоне аэрации и подземных водах Oakes, 1982], дающие грубые оценки порядка величин выноса. [c.284]

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

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

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

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

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

Развитие радиоуглеродного метода, применение AMS анализа для датирования четвертичных объектов потребовало разработки методики оценки достоверности полученных датировок. Одним из путей верификации радиоуглеродных данных является специальное изучение спорово-пыльцевых спектров для выявления переотложенных палиноморф и другой древней органики в образце, а также параллельное исследование различных космогенных изотопов в ледниковых и осадочных толщах для выявления доминирующего сигнала их вариаций. [c.584]

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

Проведено математическое исследование теплового взрыва частицы магния при учете одновременного протекания процессов окисления и испарения металла. Чтобы провести качественный анализ решения задачи Коши для температуры образца,нулевую изоклину соответствующего дифференциального уравнения исследовали в области определяющих параметров. Построено многообразие катастроф, что позволило установить зависимость температуры частицы в стационарном состоянии от бифуркационного параметра, определяемого в виде отношения характерного времени реакции окисления к характерному времени конвективного теплообмена. Выявлены новые типы тепловой динамики частицы. Оказалось, что при реальном соотношении физических параметров возникающая катастрофа эквивалентна катастрофе сборки, однако имеются параметрические области, в которых возможна реализация усложненных сценариев воспламенения частицы. Так, в случае, когда реакция окисления более активирована по сравнению с процессом испарения, могут появиться два предела воспламенения по параметру теплообмена, а также дополнительная область низкотемпературного погасания образца. Проведено сравнение времен задержки воспламенения, предсказываемых моделью после ее верификации по опытным данным с аналогичными данными модели, не учитывающей испарение. Для мелких частиц (радиусом 30...60 мкм) различия по периоду индукции несущественны, а для крупных (300...600 мкм) - не превьш ают 11 %. [c.11]

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

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

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