|
|
|
|
|
|
|
|
|
Formal verification
| Глоссарий по вычислительной технике |
Формальная верификация
|
|
Formal, английский
- Неформальные рассуждения
- A формальный (син. technical) alternation, analogy, class, correspondence, 1 слово, образованное путём сокращения: fax < facsimile, gym < gymnasium, lab < laboratory. grammar, logic, phonology, semantics, syntax, unit, universal
- Формальный
- Разг. мероприятие, на котором участники должны быть в вечерних туалетах
Formal agent, английский
An agent who may be signed in into uc throughout the day, and they may sign in and out of the acd system during the day. they are fully aware of their role as an agent and want to be able to see the numbers of calls in the queues they are serving, and so on.
Formal approach, английский
Формальный метод; формализованный метод
Formal argument, английский
Формальный параметр
Formal axiomatics, английский
Формальная аксиоматика
Formal changes, английский
- Формальные поправки
- Формальные поправки;
Formal charge transfer coefficient, английский
Formal coefficient of the charge transfer cm formal charge transfer coefficient, английский
Formal complaint process, английский
A special procedure to resolve remaining differences after an informal complaint procedure has not yielded results satisfactory to the customer.
Formal definition, английский
Формальное определение
Formal description, английский
Формальное описание; формализованное описание formal grammarформальная грамматика
Formal description technique, английский
Formal description technique (fdt), английский
Formal draft international standard (iso), английский
Formal electromagnetic compatibility tests, английский
Официальные испытания на электромагнитную совместимость
Formal garden, английский
A garden whose plantings, walks, pools, fountains, etc., follow a definite, recognizable plan, frequently symmetrical, emphasizing geometrical forms.
Formal identifier, английский
Any variable or set of variables which is structurally unique for every population unit, for example a population registration number. if the formal identifier is known to the intruder, identification of a target individual is directly possible for him or
Formal implication, английский
Формальная импликация formal inferenceформальный вывод
Formal language theory, английский
Теория формальных языков
Formal logic, английский
Формальная логика
Formal matter, английский
Формальные признаки;
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
|
Formal implication, английский
Формальная импликация formal inferenceформальный вывод
Formal axiomatics, английский
Формальная аксиоматика
|
|
|
|
|
|
|
