Проблема - проверка
Cтраница 2
Заметим, что данные критерии могут быть интерпретированы в выражениях проблемы проверки гипотез. В частности, минимизация det AD ведет к получению наиболее малой доверительной области, что дает наиболее точные оценки констант. [16]
А вдумчивый читатель поймет, что теперь мы по-новому смотрим на проблему проверки качества ДСЧ. Каждый датчик можно подвергнуть испьгганйю по подбрасыванию монетки, и если среднее число выпадений герба будет удовлетворительно отклоняться от 1 / 2, то датчик можно признать хорошим. [17]
Словом, на примере модели испытаний Вернул л и целесообразно познакомиться с проблемой проверки статистических гипотез. [18]
Если некоторые из элементов системы ведут себя стохастически, то в процессе моделирования возникает проблема проверки совместимости экспериментальных данных с некоторым теоретическим распределением. Возникает вопрос: соответствует ли частота наблюдаемых выборочных значений той частоте, с которой они должны были бы появиться при некотором вероятностном распределении, отвечающем определенному теоретическому закону. Если частота наблюдаемых значений измеряемой величины близка к предсказанной теорией, то в дальнейшем модель строят на основе теоретического распределения. На практике аппроксимируют гистограммы одномодальными распределениями гауссового типа, поскольку такие распределения моделируются удовлетворительно. Для мультимодальных распределений при построении целесообразно пользоваться непосредственно гистограммами. Обычно исследователь при поиске вида распределения руководствуется следующей методикой. [19]
Если над некоторой информационной областью 0 проблема эквивалентности для конечных детерминированных преобразователей неразрешима, то неразрешима и проблема проверки выполнимости свойства Черча-Россера. В самом деле, по двум детерминированным преобразователям Аг и Л2 легко построить недетерминированный преобразователь Л, который на первом шаге недетерминированно передает управление преобразователю Лх или Л2, а затем функционирует согласно правилам выбранного преобразователя. Преобразователь А - преобразователь Черча - Россера тогда и только тогда, когда Аг и А2 эквивалентны. Таким образом, для преобразователей над стандартной памятью или над целочисленной решеткой Z X Z проверка свойства Черча - Россера неразрешима, так как известно, что для детерминированных читающих преобразователей над этими структурами проблема эквивалентности неразрешима. [20]
 |
Фиксированное значение / о G Ф ( жо Р, если и. [21] |
Чтобы глубже понять смысл этих построений, оставим на время задачу оценивания и рассмотрим простейшие понятия, связанные с проблемой проверки статистических гипотез о параметре распределения. [22]
Имеется еще один путь, который стоило бы исследовать - путь применения некоторых широко распространенных в психологии методов анализа данных к проблемам проверки ( верификации), возникающими случае сложных моделей информационных процессов. Чтобы увидеть, как это делается, рассмотрим следующий гипотетический случай. [23]
Образно говоря, чем больше требуется надежность оценивающего множества, чтобы оно покрыло /, тем менее надежным представляется предположение о том, что / - истинное значение вектора параметров распределения. Эти соображения относятся к области проблем проверки гипотез о параметрах распределения. [24]
Образно говоря, чем больше требуется надежность оценивающего множества, чтобы оно покрыло /, тем менее надежным представляется предположение о том, что / - истинное значение вектора параметров распределения. Эти соображения относятся к области проблем проверки гипотез о параметрах распределения. Мы вернемся к ним позже, несколько иначе определив понятие надежности. [25]
Вероятность того, что эта область не содержит истинного значения 9, равна а. Ниже будет приведена более общая формулировка проблемы проверки гипотез. [26]
Книга не охватывает всей проблематики дедуктивных баз данных. Например, здесь не рассматривается неполнота баз данных или проблема проверки ограничений целостности. При отборе материала книги мы ограничились проблемами, от решения которых зависит эффективность доступа к большим базам данных при использовании логического программирования в качестве языка запросов. [27]
Необходимость проведения данной аудиторской процедуры - проверки арифметических расчетов - зависит прежде всего от двух обстоятельств: во-первых, от формы счетоводства, применяемой на предприятии. Так, если на предприятии действует автоматизированная форма счетоводства, то необходимость проверки правильности арифметических расчетов отпадает, но в таких условиях становится актуальной проблема проверки алгоритма, заложенного в систему автоматизации бухгалтерского учета. Особенно необходима такая проверка в тех случаях, когда система автоматизации бухгалтерского учета не является программным продуктом, достаточно распространенным на рынке бухгалтерских программ, а также если эта система является иностранной и не адаптированной к системе отечественного бухгалтерского учета. [28]
В принципе, может даже оказаться, что для любого отдельно взятого алгоритма удастся доказать, самоприменим ли он. Утверждается только, что нет массового алгоритма, который решал бы весь класс задач распознавания самоприменимости любых алгоритмов. Аналогично этому, алгоритмически неразрешима сформулированная Лейбницем проблема проверки правильности любых математических утверждений, но из этого не следует, что есть теоремы, которые никогда не смогут быть доказаны. Алгоритмическая неразрешимость проблемы Лейбница означает, что бесполезно искать общий способ для доказательства всех теорем. [29]
Существенным для всех трех этих целей является вопрос о трансляции программ с одним множеством свойств в программы с другими свойствами. Теорема о транслируемости, утверждающая, что любая схема из одного класса может быть транслирована в эквивалентную - схему другого класса, дает нам возможность заменять одни программные средства другими. Результаты такого сорта могут дать нам нормальные формы, помочь оптимизации или свести проблему проверки правильности к некоторой другой, которую мы уже умеем решать. С другой стороны, теорема о нетранслируемости, утверждающая, что некоторые средства нельзя - заменить другими, дает нам несколько неуловимое интуитивное понятие мощности языка программирования. [30]
Страницы: 1 2 3