|
|
|
|
|
|
|
|
|
Косвенная верификация
Глоссарий терминов в области научно-технического прогнозирования |
Verification indirect верификация прогноза путем его сопоставления с прогнозами, полученными другими разработчиками.
|
Indirekte verifikation, немецкий
Indirect verification, английский
|
Верификационная теория значения, русский
Концепция логического эмпиризма (позитивизма), согласно которой смыслом обладают только те предложения, которые сводимы к протокольным предложениям.
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
Верификация говорящего, русский
Верификация говорящего [проверка справедливости утверждений говорящего о том, что данная речевая запись принадлежит ему /отражает его голос/]
Верификация и подтверждение правильности, русский
Верификация прогноза, русский
Verification de prevision (de la prospective)
Верификация программ, русский
Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нееожидается. еще - доказательство того, что поведение программы соответствует спецификации на эту программу (дсту 2873).
Верификация учетом ошибок, русский
Verification par calcul des erreurs верификация прогноза путем выявления и учета источников регулярных ошибок прогноза.
Верификация экспертом, русский
Verification par les experts competents верификация прогноза путем сравнения с оценкой наиболее компетентного эксперта.
Косвенная компенсация, русский
Косвенная речь, русский
, одна из форм передачи чужой речи, синтаксически организованная в виде сложноподчиненного предложения, напр.: "он сказал, что завтра придет". ср. прямая речь.
Косвенно, русский
Косвенно-сдельная система оплаты труда, русский
Форма оплаты труда наладчиков, комплектовщиков, помощников мастеров и других рабочих. оплата труда осуществляется в процентах к заработку основных рабочих обслуживаемого участка.
Косвенное векторное управление, русский
Косвенное владение, русский
Косвенное доказательство, русский
- – понятие логики (см. умозаключение апагогическое).
- , 1) вид дедуктивного доказательства, при котором некоторое суждение (тезис) доказывается посредством опровержения некоторых других суждений, связанных с доказываемым. различают апагогическое косвенное доказательство (доказательство от противного), при котором из отрицания тезиса выводится заведомо ложное суждение (напр., противоречие), и разделительное косвенное доказательство, при котором опровергаются все альтернативы тезиса. 2) о косвенных доказательствах (уликах) в праве см. в ст. доказательства.
Косвенное дополнение, русский
Косвенное налогообложение, русский
Любая надбавка к розничной цене, установленная государством и, как следствие, представляет собой налог на расходы, например, налоги на покупку алкоголя, табака, газа.
Косвенное предоставление, русский
Косвенное прикосновение, русский
Прикосновение человека к открытым проводящим нетоковедущим частям электроустановки, оказавшимся под напряжением в случае повреждения изоляции.
Косвенность;, русский
Verification, английский
- Testing and evaluation of an item of equipment or a system to assure compliance with its specification or other requirements.
- An oral or written statement, usually made under oath, saying that something is true
- The confirmation by examination and provision of objective evidence that specified requirements have been fulfilled. [clsi]
- Проверка, контроль
- Проверка, подтверждение
- Верификация
- Проверка
- Проверка; подтверждение; контроль
- The process of determining whether an implementation is in conformance with some specific standard(s) and/or specification(s). (ieee)
- A part of the compilation process in which code is checked for conformance to a specific set of rules defined to allow proof of certain security requirements. the common language runtime can verify common intermediate language (cil).
- The process in which a developer tests an app to make sure it meets app requirements.
- Сверка
- To check for discrepancies between a standard and the unit and to adjust the device so that readings fall within tolerance limits. compare calibration.
Разработчик, русский
Компания «metaquotes software corp» разработчик торговой платформы
|
Матричный метод прогнозирования, русский
Methode des matrices из метод эвристического прогнозирования d methode der heuristischen prognostizierung e heuristic forecasting method f methode de prevision (de la prospective) euristique
Корректировка прогноза, русский
Correction de prevision (de la prospective)
|
|
|
|
|
|
|