Cтраница 1
Любой набор значений х, Хг, Хз, Xi, удовлетворяющих уравнению (9.13), является допустимым решением задачи. [1]
Далее, любой набор значений переменных, при которых функция f равна 1, обращает в 1 некоторый ее импликант. [2]
Рз - i 2 Ю1 а шз Любой набор значений этих параметров определяет конкретный вид линейного сдвигового движения среды. Каждое из этих движений, вообще говоря, может быть принято за невозмущенное движение в задаче об обтекании частицы. [3]
Таким образом, значения f и S на любом наборе значений переменных совпадают. [4]
Более точно, равные функции должны принимать одинаковые значения на любом наборе значений переменных, входящих в представляющие эти функции булевы выражения. [5]
В любом конкретном случае определение этих параметров, очевидно, является основной задачей, а любой набор значений х, а и Л задает равновесное расположение. [6]
Таким образом, функция считается монотонной, если ее значение не убывает при переходе от любого набора значений аргументов к любому другому из возможных наборов, в котором значения соответствующих аргументов не меньше, чем в первом наборе. [7]
Правила верхней разметки постулируют: ( А7) - отсутствие наборов перед началом разметки, ( А8) - допустимость любого набора значений предикатных переменных перед началом построения конфигураций, ( А9) - правила распределения наборов по плюс - и минус-стрелкам при попадании на распознаватель и ( А10) - свойства сдвига операторов как источника допустимых наборов. Правило ( П1) срезания недопустимых наборов из множеств истинности условий в распознавателях позволяет реализовать информацию о допустимых наборах в условиях стационарной верхней разметки. [8]
Для нестационарных технологических объектов использование идентификации параметров позволяет весь диапазон изменения каждого параметра разбить на ряд участков, в пределах которых значение параметра считается равным среднему значению. Тогда любой набор значений параметров аппроксимируется набором табличных значений. Если число идентифицируемых параметров и количество участков разбиения невелико, то любому набору параметров аппроксимирующей модели соответствует однозначный набор рассчитанных заранее значений параметров матрицы обратной связи фильтра. При этом в число прикладных программ входит программа выбора соответствия матрицы параметров объекта ее аппроксимирующей матрице, а также программа выбора соответствующей матрицы коэффициентов обратной связи фильтра, хранящихся во внешнем ЗУ. [9]
Имплиценты булевой функции /, образующие полную систему, накрывают все нули этой функции. Иными словами, для любого набора значений переменных, на котором функция / обращается в нуль, найдется имплицента данной системы, принимающая на этом наборе нулевое значение. Ясно, что выполнение этого условия необходимо и достаточно для полноты системы имплицент. [10]
ЭД и 95 обозначают одно и то же число. Равенство 21 35 называется тождеством, если при любом наборе значений переменных либо обе части равенства не определены, либо обе определены и обозначают одно и то же число. Очевидно, любое тождество является квазитождеством. [11]
Формулы, обладающие подобным свойством, принято называть нумерически. Проверка истинности предиката, нумерически выражаемого такой формулой, при любом наборе значений предметных переменных может быть проведена, в силу сказанного, конструктивным путем. В построенной нами формальной арифметической системе каждая формула без переменных является разрешимой, а каждая формула без кванторов - нумерически разрешимой формулой. [12]
Сами эти функции могут быть найдены интегрированием системы обыкновенных дифференциальных уравнений, описывающих кинетику рассматриваемого процесса. Это интегрирование практически всегда выполнимо, по крайней мере численно, для любого набора значений начальных концентраций, поскольку все ks и k s по определению известны. Численное интегрирование проводят на ЭВМ по стандартным программам. [13]
Способ параллельного включения резерва, наиболее часто встречающийся на практике, исследовался в ряде работ. Фон Нейман изучал задачу синтеза надежных систем из ненадежных элементов в связи с проблемами автоматов, Мур и Шеннон изучали методы построения надежных схем из менее надежных реле. Эти методы позволяют строить схему, надежность которой равна, по крайней мере, 0 5 при любом наборе значений надежности реле. [14]
Обе эти схемы ориентированы на то, чтобы ценою удлинения кодовых наборов менее вероятных букв достичь уменьшения длин кодовых наборов более вероятных букв. С этой задачей в общем-то справляются обе схемы кодирования, и поэтому с их помощью удается уменьшить среднее число двоичных символов, приходящихся на одну букву. Хаффмэна, то в [1], например, приведено чрезвычайно простое и вместе с тем достаточно строгое доказательство того, что при любом наборе значений вероятностей эта схема обеспечивает наименьшую возможную при побуквенном кодировании среднюю длину кодовых наборов. Хаффмэном схема кодирования является оптимальной. [15]