|
|
|
|
|
|
|
|
|
Partial verification
| Глоссарий терминов по информационной безопасности |
Частичная верификация
|
Частная верификация, русский
Доказательство правильности программ, учитывающее основные, но не все возможные факторы. частная информация [рrivate data] - личная информация, данные, доступные только их владельцу.
|
Partial, английский
- A частичный assimilation, complementation, overlap, overlapping, translation
- Частичный; частный
- A line of code that was partially executed by a test.
- Used in the context of general equities. trade whose size is only part of the total customer indication/order, usually made to avoid a compromise in price and also to get some business instead of losing the customers inquiry/order to a competitor.
Partial, английский
Partial acceptance, английский
Неполный акцепт
Partial address, английский
Отдельный адрес
Partial adjudication, английский
Частичное решение
Partial amnesia, английский
An inability to remember specific facts, such as names of people
Partial answer, английский
Частный ответ
Partial assignment, английский
Частичная переуступка прав (по патенту)
Partial autocorrelation function, английский
Partial automatization, английский
Частичная автоматизация
Partial average, английский
Частная авария (страх.)
Partial backup, английский
A backup of all the data in the primary filegroup, every read-write filegroup, and any optionally specified files. a partial backup of a read-only database contains only the primary filegroup.
Partial bearing, английский
See journal bearing.
Partial biological t reatmen t, английский
Partial block i n te rfe ren ce, английский
Помеха, поражающая часть блока информационных сим- волов в канале с поблочной передачей.информации и аддитивными помехами cm. block interference channel 1ц. partial correlation sum, pcs сумма отсчетов, образуемая при вычислении функции корреляции акф или вкф сегментов сигналов или последовательностей
Partial break-in, английский
Partial break-in echo suppressor, английский
Partial break-in operate time, английский
Partial carry, английский
Частичный перенос partial-cav частично-постоянная угловая скорость
Partial charge current, английский
Partial charge transfer, английский
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
|
Шифрование с открытым ключом, русский
Криптографический метод, в котором используются раздельные ключи для шифрования и дешифрования. шлюз прикладного уровня [application-level gateway] - исключает прямое взаимодействие между авторизованным клиентом и внешним хостом. шлюз фильтрует все входящие и исходящие пакеты на прикладном уровне модели osi. связанные с приложениями программы-посредники перенаправляют через шлюз информацию, генерируемую конкретными сервисами tcp/ip. шлюз сеансового уровня [circuit-level gateway] - исключает прямое взаимодействие между авторизованным клиентом и внешним хостом. он принимает запрос доверенного клиента на определенные услуги и, после проверки допустимости запрошенного сеанса, устанавливает соединение с внешним хостом. после этого шлюз просто копирует пакеты в обоих направлениях, не осуществляя их фильтрации. штатное техническое средство (информационного доступа) - техническое средство, входящее в комплект средств вычислительной техники, установленный на объекте, или другое свт, используемое для проведения диалога с вычислительной системой и осуществления доступа к информационному ресурсу.
Частная верификация, русский
Доказательство правильности программ, учитывающее основные, но не все возможные факторы. частная информация [рrivate data] - личная информация, данные, доступные только их владельцу.
|
|
|
|
|
|
|
