Проверка - утверждение
Cтраница 1
Проверка утверждений либо производится непосредственно после выполнения изменений, либо может быть отложена до завершения транзакции. Транзакция включает в себя один или несколько операторов языка данных. Так, например, проверку значений атрибута Пол целесообразно выполнять непосредственно после внесения каждого изменения, а проверку на соответствие условиям ограничения О2 целесообразно отложить до завершения транзакции добавления или удаления коек в палате. В процессе выполнения транзакции ограничение может быть нарушено, однако к своему завершению транзакция должна привести БД в целостное состояние. [1]
Для проверки утверждения о том, что вероятность отказа прибора р равна 0 01, было проведено испытание 5 приборов, при этом ни один из приборов не отказал. [2]
Директивы разрешают или запрещают проверку утверждений, влияют на работу процедуры Assert ( см. разд. По умолчанию действует директива С и процедура Assert генерирует исключение EAssertionFailed, если проверяемое утверждение ложно. [3]
Последующее изложение ведется в форме проверки отдельных утверждений, вытекающих из анализа структурной модели. [4]
Поэтому, в частности, для проверки утверждения ( 3) для п величин нам необходимо иметь не менее п экземпляров рассматриваемой системы - ведь после первого измерения всякий экземпляр уже портится. [5]
 |
Пример сообщения, генерируемого процедурой Assert. [6] |
Процедура Assert работает только при включенной директиве проверки утверждений С или ASSERTIONS ON ( см. разд. При этом компиляция проверок не производятся, так что в отлаженной программе не остается ничего лишнего. [7]
Кроме анализов золы, Соссюр поставил опыты для проверки утверждения Шрадера, причем он применил в качестве беззольной среды дистиллированную воду и показал, что растения, выращенные без доставления минеральных веществ извне, содержат их ровно столько, сколько их было в семенах. [8]
Вероятность этого равна ( 1 - t) a - Хорошим упражнением является проверка утверждения в част-ном случае п 2 путем рассмотрения трех событий в единичном квадрате, изображающем выборочное пространство. [9]
Так как подгруппа К нормальна в п ( М), то при проверке утверждения о том, что К порождается регулярным слоем, не возникает трудностей, связанных с выбором точки базы. [10]
В § б достаточно сведений о мерах, чтобы читатель легко справился с проверкой зтого утверждения. [11]
 |
Биномиальное распределение. Вероятность 15 положительных результатов ( х 15 в 30 испытаниях ( п 30 для различных значений - к. [12] |
При этом математически доказывается ложность статистической гипотезы, и, таким образом, эмпирические данные используются не для проверки исходного утверждения, а для доказательства ложности дополнительной гипотезы. Статистическая гипотеза при этом называется нулевой гипотезой. Второй шаг заключается в определении значения параметра того распределения вероятности, которое соответствует распределению вероятности успеха в данном исследовании. Предположим, что наши данные привели к оценке р 0 50 для 30 обследованных рабочих. [13]
Доказательство утверждений 1 и 2 теоремы 1 легко вытекает из определений. Проверка утверждения 3 связана с некоторыми выкладками. [14]
Для реализации любой функции достаточно в сборке осуществить логическое сложение соответствующих конъюнкций. Проверка утверждений теоремы для этой схемы осуществляется элементарно. [15]
Страницы: 1 2