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

Задача проверки - перевод на английский, синонимы, антонимы, примеры в контексте
task of verification
Translate
Задача проверки -

- задача [имя существительное]

имя существительное: problem, task, objective, goal, exercise, why



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

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

A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure.

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

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

All these aspects are interrelated in the overall issue of verification, and it is profoundly important to arrive at an optimum solution to balance these factors.

Кроме того, можно будет оптимизировать JVM, пропустив ненужные проверки безопасности, если будет доказано, что запускаемое приложение безопасно.

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

It will also be possible to optimize the JVM by skipping unnecessary safety checks, if the application being run is proven to be safe.

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

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

The challenge confronting us this week is to transform these commitments into action plans.

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

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

The basic question was whether the age-old caste system in India, which had produced several million untouchables, could be regarded as racial discrimination.

Наша первостепенная задача в этой поездке - казаться заинтересованными.

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

Our number one role on tours like this is to seem interested.

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

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

The Board noted that there was currently no stated policy that country office bank accounts must be reviewed by officials at the head office.

Лаосская Народно-Демократическая Республика в пунктах пересечения границы ввела в действие строгие меры контроля и регулярной проверки проездных документов как у лаосских граждан, так и у иностранцев.

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

The Lao PDR has adopted strict measures on control and routine check of travel documents of both Lao citizens and foreigners at border checkpoints.

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

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

Another challenge is to maintain the sustainability of public finances to uphold commitments made.

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

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

The greater competition for water among extremely diverse users with very different types of water needs has made water management a complex task.

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

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

In the case where the wheel calliper is outside of the vehicle manufacturer's replacement wheel calliper, no verification is necessary.

выясняет, какого конкретного типа эта задача, и, исходя из этого, предлагает для её решения определённые методы мышления.

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

This is a problem of such and such a type, and therefore there's a certain way or ways of thinking that are good for that problem.

Научно-исследовательские институты РАН были переданы в ведение ФАНО, и в связи с этим перед академией стоит задача сохранить их исследовательский потенциал.

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

As the research institutes of RAS were transferred to FASO, the task of the academy is to preserve their research potential.

Главная задача ответственных за литературу - поднять престиж литературы в Глазго.

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

The Literature Development Officers chief objective is to raise the profile of literature in Glasgow.

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

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

It should also be clear that the rationale for the temporary travel ban – the need to review screening procedures – was little more than pretext.

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

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

The thing is, the Cape is now insisting on doing all the backups down there. On site.

Поиски Фишера - это не первостепенная задача.

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

Finding Fischer's not the top priority.

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

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

And I have yet to meet the lowly paid customs official who will open a container marked Radioactive Waste to verify its contents.

Наша задача задержать всех мужчин и обыскать все постройки.

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

Our mission is to detain all males and search all structures.

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

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

It was hard to make herself look just nice enough, and so she kept to her room.

Сейчас, я понимаю, это трудная задача, но здесь у нас есть возможность творить историю.

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

Now I realize it is a difficult task. But we have the opportunity to make history here.

Разумеется, в зависимости от результатов проверки.

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

Contingent on inspections, of course.

Но что касается Вандендаллеса, то ему сейчас было не до проверки номеров.

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

However, Mr. Moneybags had no time to check the serial numbers just now.

Трудная задача для двух людей.

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

That's a tall order for two people.

Работа будет кропотливая, поэтому основная задача - не допустить потерю крови.

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

We need to be meticulous and go slowly, so stemming blood loss is crucial.

Моя задача - поддерживать Вас, пока идет расследование и, если дело дойдет до суда, помогать Вам и там.

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

My role is to support you through the police investigation and, if it goes to trial, I'll be there all the way.

А ведь задача мистера Баккета усложнялась тем, что мистер Смоллуид был не только глух, но и подозрителен и прямо-таки впивался глазами в его лицо.

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

His difficulty was increased by Mr. Smallweed's being deaf as well as suspicious and watching his face with the closest attention.

Допрос Джо - главная задача.

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

Interviewing Joe is a priority.

Это была колоссальная задача.

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

It was a gargantuan task.

Наша задача как врачей, озвучить варианты

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

No, our job as doctors is to present the options,

Непростая задача, как вы понимаете.

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

A difficult problem, as you can well imagine.

Эта политика не предусматривала проверки анкетных данных, как это требовалось для операций казино в Соединенных Штатах, что открывало двери для инвесторов казино с незаконно полученными средствами.

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

The policy omitted background checks, as required for casino operations in the United States, which opened the door for casino investors with illegally obtained funds.

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

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

Unit tests then use TestFoo to test the functionality of Foo without incurring the side effect of using a real Dangerous object.

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

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

A similar problem is finding induced subgraphs in a given graph.

Задача замены испанского законодательства на другое, соответствующее современным республиканским временам, была почти забыта.

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

The task of replacing Spanish legislation laws for another, appropriate to modern republican times, had been almost forgotten.

Блок проверки-это XOR всех блоков из составного сообщения, к которому он присоединен.

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

A check block is the XOR of all the blocks from the composite message that it is attached to.

В последнее время анализ кракелюра был предложен как способ проверки подлинности искусства.

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

Recently, analysis of craquelure has been proposed as a way to authenticate art.

Интересным примером является проблема изоморфизма графов, задача теории графов об определении того, существует ли изоморфизм графа между двумя графами.

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

An interesting example is the graph isomorphism problem, the graph theory problem of determining whether a graph isomorphism exists between two graphs.

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

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

The problem is to compute an approximate probability that in a group of n people at least two have the same birthday.

Тем не менее, отсутствие сбоев на ежедневных рейсах в течение всего 137 лет-это тоже непростая задача.

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

Even so, no failure on daily flights for only 137 years is a tall order as well.

В 1257 году император послал двух налоговых инспекторов для проверки чиновника Хубилая.

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

In 1257 the Emperor sent two tax inspectors to audit Kublai's official.

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

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

This is why pipe inspections after earthquakes usually involve sending a camera inside a pipe to inspect for cracks.

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

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

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

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

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

Shotgun sequencing yields sequence data quickly, but the task of assembling the fragments can be quite complicated for larger genomes.

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

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

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

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

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

Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight.

Это уменьшило давно отмеченное различие между экономикой и естественными науками, поскольку оно позволяет проводить прямые проверки того, что ранее принималось за аксиомы.

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

This has reduced the long-noted distinction of economics from natural sciences because it allows direct tests of what were previously taken as axioms.

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

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

The task never arrives for Future Guy, but instead for Present Guy, who now has to deal with it in a hurry.

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

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

The most prominent method of checking phosphorus levels is by soil testing.

Эти результаты только демонстрируют, что цитирование Google для проверки истинности утверждений является ложной эвристикой, по понятным причинам.

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

These results only demonstrate that the citing of Google to verify the truth of statements is a false heuristic, for obvious reasons.

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

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

In this environment, post-truth campaigns can ignore fact checks or dismiss them as being motivated by bias.

Основная задача численного интегрирования состоит в том, чтобы вычислить приближенное решение для определенного интеграла.

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

The basic problem in numerical integration is to compute an approximate solution to a definite integral.

Должны ли ссылки на печатные источники, не имеющие внешней ссылки, быть помечены как требующие проверки?

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

Should citations for print sources lacking an external link be tagged as requiring verification?

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

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

A computer referred to as Bryan was used to generate words and check the validity of contestants' responses.

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

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

Some bots are half automated, proposing a change and waiting for an OK after manual inspection.

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

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

By introducing additional rules, the task of picking up the cards can be made into a solitaire game.

В 1938 году Виммеру сняли с обслуживания вагонов-ресторанов и переделали в Медицинский и тестовый автомобиль для проверки зрения.

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

In 1938 Wimmera was removed from dining car service and altered to the Medical and Vision Test Car.

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

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

While some could argue that the Web is ephemeral and cannot be relied on for others to fact check, this is just a matter of degree.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «Задача проверки». А именно, здесь можно найти перевод (значение) «Задача проверки» на английском языке, синонимы, антонимы, краткое определение слов: Задача, проверки . Также, к фразе «Задача проверки» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information