|
|
|
|
|
|
|
|
|
Верифицировать
| Англо-русский глоссарий по связи |
|
Verify, английский
Проверять; удостоверяться); подтверждать
|
|
Вертикальная плоскость, русский
Воображаемая плоскость, перпендикулярная плоскости поверхности стола, проходящая через биток. регулировка высоты кия выше или ниже центра шара в вертикальной плоскости создаёт накат (верхний винт) либо оттяжку (нижний винт).
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
|
|
|
|
|
|
|
