Верификация - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Верификация - перевод на английский, синонимы, антонимы, примеры в контексте
verification
Translate
верификация -

проверка, свидетельство, подтверждение, сличение

фальсификация


Наложение пломб и верификация пломб грузовых помещений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Seal and verify seals of cargo holds.

Верификация против фальсификации ... видели свое происхождение в объявлении Сидерея Нунция.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Verification versus falsifiability…saw their origins in the announcement of Sidereus Nuncius.

Если верификация может быть установлена, возможно, через OFFICE, как это делается с другими авторскими правами, то нет никаких оснований, на данный момент, чтобы удалить их.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

If verification can be established, possibly through OFFICE, as is done with other copyright permissions, then there is no reason, at the moment to delete them.

Формальная верификация программ предполагает доказательство того, что программа удовлетворяет формальной спецификации своего поведения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.

Мы выполняем миссию уровня Альфа Красный, верификация 921 8 Черный.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This is an Alpha Red priority mission, clearance verification 921 8 Black.

Верификация также имеет много возможных значений в науках и праве, и стандарты различаются от одной дисциплины к другой.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Verification also has many possible meanings in the sciences and law, and standards differ from one discipline to another.

Эмпирическая верификация может быть осуществлена только в рамках эмпирических наук, а не с помощью исторических событий.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Empirical verification can ony be done within the scope of the empirical sciences, not with historical events.

Двухступенчатая верификация значительно уменьшает вероятность утечки персональной информации с Вашего Google аккаунта или электронной почтовой системы GMAIL.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Two-step verification significantly reduces a possibility of personal data leakage from your Google account or Gmail electronic mail system.

Численная верификация решений нелинейных уравнений была установлена многократным использованием метода Ньютона и формированием набора кандидатов на решение.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A numerical verification for solutions of nonlinear equations has been established by using Newton's method multiple times and forming a set of solution candidates.

Наконец, испытывается верификация решения проблемы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Finally, the verification of the solution to the problem is experienced.

Помимо этого, формальная верификация направлена на доказательство правильности алгоритмов, лежащих в основе системы; это важно, например, для криптографических протоколов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Beyond this, formal verification aims to prove the correctness of the algorithms underlying a system; important for cryptographic protocols for example.

Затем будут рассмотрены специальные явления ЭДТ и верификация модели системы ЭДТ с использованием экспериментальных данных миссии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Special EDT phenomena and verification of the EDT system model using experimental mission data will then be discussed.

Термины верификация и валидация обычно используются в промышленности взаимозаменяемо; также часто эти два термина определяются с помощью противоречивых определений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The terms verification and validation are commonly used interchangeably in the industry; it is also common to see these two terms defined with contradictory definitions.

Двухступенчатая верификация значительно повышает уровень безопасности, мошенникам необходимо знать не только Ваш пароль и имя пользователя электронной почты, но и номер Вашего телефона.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Two-step verification significantly increases the level of security, as criminals would not only have to know your login name and password, but also have access to your phone.

В настоящее время формальная верификация используется большинством или всеми ведущими аппаратными компаниями, но ее применение в индустрии программного обеспечения все еще находится в зачаточном состоянии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

At present, formal verification is used by most or all leading hardware companies, but its use in the software industry is still languishing.

Обоснования добросовестного использования несвободных изображений не появляются в телах статей; поиск и верификация также не должны появляться.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Fair-use rationales for the unfree images do not appear within the article bodies; sourcing and verification shouldn't either.

А для входа обязательна верификация.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

And verification is required prior to entry.

Чтобы создать подделку, злоумышленник выбирает случайную подпись σ и использует процедуру верификации для определения сообщения m, соответствующего этой подписи.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

To create a forgery, the attacker picks a random signature σ and uses the verification procedure to determine the message, m, corresponding to that signature.

Эта система использует верификацию при помощи мобильного телефона для борьбы с фродом.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

LiqPay use a small additional option - phone number verification to eliminate card fraud.

Почему бы нам не запустить тест Вайсмана на верификацию, посмотреть, что пошло не так.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Why don't we run a Weissman test for verification, see where we went wrong.

Карл Гемпель, один из величайших внутренних критиков верификационизма, недавно пришел к тому же выводу, что и критерий верифицируемости.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Carl Hempel, one of verificationism's greatest internal critics, had recently concluded the same as to the verifiability criterion.

Доказательство пространства - это фрагмент данных, который проверяющий отправляет верификатору, чтобы доказать, что проверяющий зарезервировал определенное количество пространства.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A proof-of-space is a piece of data that a prover sends to a verifier to prove that the prover has reserved a certain amount of space.

Мне нужен код двух-шаговой верификации для внутренних серверов Геральдс.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I need the two-step verification code for the Herald's internal servers.

После ссоры из-за язвительного журнала чата с телефонным верификатором в 2004 году Fencepost был уволен с сайта.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

After a falling-out over a vitriolic chat log with a phone verifier in 2004, Fencepost was dismissed from the site.

Автоматы играют важную роль в теории вычислений, построении компиляторов, искусственном интеллекте, синтаксическом анализе и формальной верификации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Automata play a major role in theory of computation, compiler construction, artificial intelligence, parsing and formal verification.

Аспектно-ориентированное программирование в e позволяет инженерам верификации структурировать свой тестовый стенд в аспектах.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Aspect-oriented programming in e allows verification engineers to structure their testbench in aspects.

Время верификации фиксируется с момента подачи клиентом заявки на верификацию до момента отправки сотрудником ответа о статусе обработанной заявки.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Verification time is recorded from the time when client sends an application for verification till the moment when our staff gives feedback on the status of the processed application.

Существует много трудностей в определении самой продолжительной человеческой жизни по современным стандартам верификации из-за неточной или неполной статистики рождаемости.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There are many difficulties in authenticating the longest human life span ever by modern verification standards, owing to inaccurate or incomplete birth statistics.

Я должен сказать, что не понимаю, почему перемещение информации должно инициировать этот процесс повторной верификации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I have to say I fail to see why moving information around is supposed to trigger this process of re-verfication.

Протокол, реализующий доказательства знания с нулевым знанием, должен обязательно требовать интерактивного ввода от верификатора.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A protocol implementing zero-knowledge proofs of knowledge must necessarily require interactive input from the verifier.

И его фальсификационизм, как и верификационизм, ставит критерий фальсифицируемости, чтобы гарантировать, что эмпиризм закрепляет научную теорию.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

And his falsificationism, as did verificationism, poses a criterion, falsifiability, to ensure that empiricism anchors scientific theory.

Сеть Тог может быть использована для верификации информации без внесения исключений в корпоративную систему безопасности.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Tor can be used to verify the information without an exception being put into corporate security systems.

Исходная спецификация для верификатора байт-кода использовала естественный язык, который был неполным или неправильным в некоторых отношениях.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The original specification for the bytecode verifier used natural language that was incomplete or incorrect in some respects.

Эти сертификаты могут быть предназначены для внутренних или иностранных верификаторов документов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In a democratic country, the army must not allow soldiers to take such a position.

Эти сертификаты могут быть предназначены для внутренних или иностранных верификаторов документов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

These certificates can be for domestic or foreign document verifiers.

Верификацию лучше рассматривать как процесс, включающий формальный и технический входной документ.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It is better to think of verification as a process involving a formal and technical input document.

Часто этот тип АЦП используется в качестве первого среднего аналогового контура верификации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Often this type of ADC is used as a first medium-sized analog circuit verification.

Неинтерактивные доказательства с нулевым знанием - это вариант доказательств с нулевым знанием, в котором не требуется никакого взаимодействия между проверяющим и верификатором.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Non-interactive zero-knowledge proofs are a variant of zero-knowledge proofs in which no interaction is necessary between prover and verifier.

Обязательства также используются в доказательствах нулевого знания верификатором, который часто указывает свой выбор заранее в обязательстве.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Commitments are also used in zero-knowledge proofs by the verifier, who will often specify their choices ahead of time in a commitment.

Верификатор может запросить любой из паролей, и проверяющий должен иметь правильный пароль для этого идентификатора.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The verifier can ask for any of the passwords, and the prover must have that correct password for that identifier.

Основное различие заключается в том, что группа рецензентов будет иметь ограничение на рецензирование, а верификаторы-нет.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The main difference is that the reviewers group will have a review limit, and the verifiers won't.

Несколько функций Java объединяются, чтобы обеспечить эту безопасность, включая модель класса, кучу собранного мусора и верификатор.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Several features of Java combine to provide this safety, including the class model, the garbage-collected heap, and the verifier.

Для практической реализации процесс верификации должен быть эффективным, а именно потреблять небольшое количество пространства и времени.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For practicality, the verification process needs to be efficient, namely, consume a small amount of space and time.

Проведи верификацию ключа, убедись, что он настоящий.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Execute a verification scan of their public key, make sure they're legit.

Его гибель означала возрождение метафизики наряду с другими традиционными проблемами философии, которые Верификационизм подавлял.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Its demise meant a resurgence of metaphysics, along with other traditional problems of philosophy which Verificationism had suppressed.

Биологи с трудом находят верификацию среди видов тардиград из-за этой связи.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Biologists have a difficult time finding verification among tardigrade species because of this relationship.

Для обработки и верификации специфических источников данных и сложных видов данных разрабатываются интеллектуальные конвертеры.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For specific data sources, complex data handling and verification intelligent convertors are developed.

Для авторизации перевода средств со счёта ТрейдПасс, мистер Бёрч будет подвергнут биометрической верификации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

To authorise the transfer of funds from the Trade Pass account, Mr Birch will be subject to a biometric verification.


0You have only looked at
% of the information