|
|
|
|
|
|
|
|
|
Верификация
| Англо-русский глоссарий по связи |
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
|
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.
|
Истинность, русский
Доказательство, русский
- Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. вещественное доказательство. блис
- , установление (обоснование) истинности высказывания, суждения, теории. в логических доказательствах аргументация проводится по правилам и средствам логики.
- – в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или – в том случае, если данное положение оспаривается, – еще раз его дополнить и подтвердить. строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, – индуктивное доказательство. если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, – косвенное доказательство. противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. наиболее известные ошибки доказательства суть следующие: гистеронпротерон, circulus vitiosus, petitio principii, ignoratio elenchi, proton pseudos и quaternio terminorum. от этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.
- Proof
- Это совокупность логических приемов обоснования истинности тезиса.
- Рассуждение, устанавливающее истинность какоголибо утверждения путем приведения других утверждений, истинность которых уже доказана. в структуре доказательства различают тезис положени
- Метод исследования – теоретическое (логическое) действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. всякое доказа- тельство состоит из трех частей: тезиса, доводов (аргументов) и демонстрации. по способу ведения, доказательства бывают прямые и косвенные, по форме умозаключения – индуктивными и дедук- тивными. правила доказательств: 1. тезис и аргументы должны быть ясными и точно определен- ными. 2. тезис должен оставаться тождественным на протяжении все- го доказательства. 3. тезис не должен содержать в себе логическое противоречие. 4. доводы, приводимые в подтверждение тезиса, сами должны быть истинными, не подлежащими сомнению, не должны противо- речить друг другу и являться достаточным основанием для данного тезиса. 5. доказательство должно быть полным. [36]. 36
Демонстрация, русский
- Демонстрация , производить демонстрацию
- Петкoдчoм
- (от лат . demonstratio - показывание), 1) шествие и другие формы массового выражения общественных настроений. 2) наглядный способ ознакомления с каким-либо явлением, предметом. 3) (перен.) проявление, свидетельство чего-либо. 4) действия, подчеркнуто выражающие протест, неприязнь и т. п.
- (от лат. demonstratio – указание) – доказательство; в 18 в., напр. у вольфа и канта, этот термин обозначал доказательство какого-либо тезиса посредством строго научных понятий; в настоящее время – то же самое, что наглядная иллюстрация процесса, предмета (напр., путем эксперимента); в политическом смысле – общественные (массовые) манифестации. см. также ad ocu/05.
- Прием психологического воздействия в психологической операции, рассматриваемый как показ потенциальных возможностей субъекта воздействия к разрешению ситуации силовым путем с целью склонить объект (группу объектов) воздействия к капитуляции до применения реальных санкций.
Содержание, русский
- Содержание, содержимое, предмет, суть, сущность, материя, сюжет, тема, фабула, оглавление; довольствие, продовольствие, жизнь, иждивение, кошт. сюжет (фабула) романа; предмет (тема) разговора. книга ученого содержания. они рассуждают о важных материях. эт
- 1. основная суть изложения; 2. перечень разделов, оглавление; 3. жалованье, заработная плата.
- – 1) есть «что» в «как» формы, есть то, что наполняет форму и из чего она осуществляется. содержание понятия, в противоположность его объему, есть совокупность его признаков; 2) всеобщая характеристика ценности, значения какой-либо вещи, в частности в эстетике, употребляется как обозначение ценного и значимого содержания эстетического предмета, в противоположность его форме; 3) в логистике принадлежность «свойства» (качества, отношения) к «материальному образованию» (предмету, обладающему свойствами). собственным, истинным содержанием является, напр., принадлежность белого цвета снегу (бытие белизны – снега), черный снег, напр. в случае, если на него кто-нибудь насыпал сажу, – несобственное, ложное содержание, т.е., по сути дела, уже вообще не содержание. б соответствии с логистикой истина и ложность являются предикатами содержания, и только таковыми.
- Элемент аппарата издания, содержащий перечень наименований разделов с указанием начальных страниц. см. оглавление.
- Справочный элемент издания, в котором дан перечень всех статей или отдельных произведений, входящих в издание, с указанием номеров страниц, на которых они начинаются
Действительно, русский
Действительно, истинно, подлинно, точно, взаправду, вправду, впрямь, всерьез, воистину, поистине, фактически, в самом деле, на (самом) деле, в сущности, бесспорно, без сомнения, несомненно, заведомо, конечно, правда, ей-ей, признаться, признаться сказать,
Существуют, русский
Способы: пункция через затылочноатлантное отверстие, атлантноэпистрофейная
Подтверждение, русский
- Ситуация, когда более чем один индикатор подтверждает сигнал другого;
- Подтверждение , повторение
- Признание правильности чего-нибудь, засвидетельствование, удостоверение.
- Соответствие теории, закона, гипотезы некоторому факту или экспериментальному результату. в методологии научного познания подтверждение рассматривается как один из критериев истинности тео
Посредством, русский
Посредством , через
|
Верифицировать, русский
Variance (of a random variable), английский
|
|
|
|
|
|
|
