Cтраница 2
Верификация связана с операциями ввода-вывода и также требует времени. Чем грубее индексирование, тем больше тратится времени на верификацию. Допустим в базе данных хранится информация о 100000 актеров. Алгоритм хеширования выдает четыре десятичные цифры, поэтому в индексе всего может быть 9999 кодовых обозначений. Это значит, что в среднем каждое обозначение повторится в индексе 10 раз. В первом приближении получается, что поиск по известной фамилии в одном единственном файле требует около десяти проверок. Однако фактически их число будет меньше. Как только фамилия будет найдена, поиск прекращается. С одинаковой вероятностью может искомая фамилия оказаться как в конце файла так и в начале. Поэтому в среднем число верификаций не превысит пята. Чем больше глубина индексирования, а она определяется разрядностью кода, тем меньше проверок. Если длину кода увеличить на одну цифру, то число совпадений уменьшится в 10 раз, а число проверок - в 5 раз. В нем возрастет число указателей. [16]
Верификация - проверка степени достоверности прогноза. [17]
Верификация заключается в повторном наборе информации на экране и ее последующем сравнении с ранее введенными данными, хранящимися в буферном массиве. Результаты несовпадения выдаются оператору для анализа. [18]
Верификация ограничений выполняется с учетом следующих требований: непротиворечивость, удовлетворяемость, адекватность существующим знаниям о реальном мире. [19]
Косвенная верификация играет большую роль в социологическом познании и используется прежде всего для обоснования макротео-ретических положений и концепций. [20]
Косвенная верификация нередко выполняет свою роль, так сказать, задним числом. Вебера о социальном действии, в котором особое значение придано моти-вационно-культурной составляющей. Выдвинув ряд основных элементарных понятий социологии, исходным из которых было понятие социального действия, Вебер, естественно, не мог их прямо верифицировать, в том числе и социальное действие. Это понятие, как и любое другое элементарное понятие, не может напрямую ни обосновать, ни опровергнуть ни одно эмпирическое исследование. Но Вебер подошел к пониманию и выделению социального действия на основе множества уже проведенных собственных социологических исследований, в которых был использован богатый, в том числе исторический, материал. Его основная идея о существенной роли мотивационно-культурной составляющей в организации любых социальных взаимодействий, тем самым была обоснована как бы задним числом на основании анализа менее элементарных явлений. [21]
Верификация разработанного устройства, а в мало-мальски сложных проектах и отдельных его фрагментов - один из важнейших этапов проектирования, поскольку практически не бывает бездефектных проектов, созданных с чистого листа. [22]
Верификация математических моделей проводится с помощью испытаний на образцах для параметров и условий нагружения конструкционных материалов ( основных и сварочных) рассматриваемого узла ОМК. [23]
Верификация граничных условий проводится с использованием информации, полученной на основании обобщенного анализа полной технической документации, а также результатов термометрирования, проведенного на начальной стадии эксплуатации или специально на завершающей стадии проектного ресурса эксплуатации. [24]
Верификация текста модуля - один из достаточно Широко распространенных приемов в программировании. [25]
Верификация нетривиальных программ - дело трудное и утомительное; большие программы, возможно, вообще не будут верифицированы до тех пор, пока не появятся методы автоматической верификации. [26]
Пооперационная верификация графических действий, связанных с созданием графических пространстренных моделей, приводит к верности окончательного результата. Верификация законченной графической модели ( см. например, рис. 1.3.5) предусматривает специальный геометрический анализ полноты изображения. Такой анализ может быть осуществлен в двух возможных вариантах. В первом варианте анализа ставится цель восстановить иерархическую структуру действий, определяющих инциденции изображения. Возможен и второй путь, требующий дополнительных геометрических построений, не связанных с созданием пространственной модели формы на изображении. В данном случае определяются две основные плоскости изображения и с помощью специальных построений ищутся элементы первого порядка, определяющие все конструктивные элементы пространственно-графической модели. После выполнения такой процедуры анализ определенности всех инциденции и, как следствие, однозначности пространственных соотношений элементов не представляет особой трудности. [27]
Верификация свойств конструкционных материалов ( основных и сварочных) проводится на основании данных обобщенного анализа полной технической документации и с использованием неразрушающих методов определения фактических физико-механических характеристик материала. [28]
Комплексная верификация разработанных подходов будет проведена посредством сопоставления расчетных результатов с данными, полученными на основании выполненных экспериментов. [29]
Верификация правильности ациклических программ выполняется путем их анализа и замещения. Формулируется лемма о преобразовании итеративных программ в рекурсивные, которая позволяет свести верификацию циклических программ к верификации ациклических программ. Теорема правильности программ обобщает требования верификации для структур языка PDL: приведены формальный и неформальный методы доказательства этой теоремы. Теорема об инварианте дает систематическое средство вывода инвариантов цикла. Описывается метод доказательства правильности программ, основанный на инвариантах. Рассматриваются теоретические методы получения эффективных программ. [30]