Cтраница 2
В качестве формального аппарата для формирования множества альтернативных значений конструкционных параметров по значениям режимных параметров применяются логикавыска-зыва 1ий или логика предикатов. Логику высказываний целесообразно использовать в том случае, если число элементов множеств значений технологических и конструкционных параметров конечно. Логика высказываний является удобным средством формализации процесса выбора типов и конструкции аппаратов по значениям признаков технологических процессов. При этом задача формулируется в виде логических формул, атомами которых являются значения признаков технологических процессов и выбираемых для них аппаратов. В том же случае, когда технологические параметры принимают бесконечное число значений, следует применять логику предикатов ( см. гл. [16]
Независимо от формального аппарата, который впоследствии применялся при решении и исследовании различного рода дифференциальных или функциональных уравнений, все эффективные общие доказательства существования решений, удовлетворяющих некоторым определенным условиям, имеют в своей основе экстремальный метод, сходный по идее с методом Коши. [17]
Для построения формального аппарата термодинамики необходимы еще некоторые математические методы, которые будут рассмотрены в данном параграфе. [18]
В качестве формального аппарата моделирования дискретных процессов использованы теория дискретных множеств, конечные автоматы, сети Петри, логико-предикатные модели. [19]
Физические концепции и формальный аппарат квантовой теории поля ( КТП) представляют собой единственную логически последовательную основу для описания взаимодействий элементарных частиц. Подчеркнем, что понятие элементарности меняется со временем. Согласно современным представлениям, основными структурными составляющими материи являются кварки и лептоны, описываемые фермионными квантовыми полями. В последние два десятилетия КТП развивалась чрезвычайно интенсивно. Наряду с квантовой электродинамикой ( КЭД), которая в течение многих лет была единственным конкретным, экспериментально хорошо проверенным примером КТП, возникли новые теории. Эти теории находят все новые экспериментальные подтверждения. Многие физики разделяют мнение, что мы близки к формулировке единой калибровочной теории всех указанных выше взаимодействий ( так называемой теории великого объединения - ТВО), во всяком случае число претендентов на роль соответствующей группы симметрии весьма невелико. [20]
Излагая в этом параграфе формальный аппарат в рамках нерелятивистской теории, мы оставляем в стороне вопрос о его фактической применимости к тем или иным конкретным процессам рассеяния. [21]
Излагая в этом параграфе формальный аппарат в рамках нерелятивистской теории, мы оставляем в стороне вопрос о его фактической применимости к тем или иным конкретным процессам рассеяния. [22]
В следующем разделе приводится формальный аппарат для описания высказанных положений. [23]
Функциональная модель позволяет использовать формальный аппарат для определения оптимального количества необходимых проверок. [24]
В основу их положен формальный аппарат, базирующийся на понятии бинарного отображения. [25]
В следующем разделе приводится формальный аппарат для описания высказанных положений. [26]
В этом разделе излагается формальный аппарат теории рекомбинации радикалов. [27]
Ограниченность возможностей ЭИЯ как формального аппарата идентификации объекта выдвигает необходимость их применения вместе с другими инструментальными средствами описания. Однако существующие методики обследования, как правило, не имеют общих точек такого сопряжения. [28]
В силу того что формальным аппаратом для описания устройств логического управления является булева алгебра, основными в языке являются логические потенциальные переменные, соответствующие логическим потенциальным сигналам в цифровой технике. [29]
В обеих работах доминантой выступает формальный аппарат с интерпретацией авторами, истинность которой остается открытой. [30]