Subject | English | Russian |
progr. | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints | Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
gen. | be careful to check that | убедиться, что... |
gen. | be careful to check that | удостоверить, что... |
gen. | be careful to check that | удостовериться, что... |
gen. | be careful to check that | убедить, что... |
construct. | before assembly check that the chases are placed in accordance with the drawings | до начала монтажа проверьте соответствие пробитых борозд чертежам |
construct. | before assembly check that the ducts are placed in accordance with the drawings | до начала монтажа проверьте соответствие проложенных каналов чертежам |
construct. | before assembly check that the holes left in ceiling slabs are placed in accordance with the drawings | до начала монтажа проверьте соответствие оставленных отверстий в перекрытии чертежам |
construct. | before energizing the transformer to carry ... kV check that there is no air in the transformer | перед включением трансформатора на напряжение ... кв проверьте отсутствие воздуха в трансформаторе |
IT | Cannot find "filename". Check to ensure that the patch and file name are correct | Не найден файл "имя файла". Проверьте путь, имя файла и откорректируйте |
gen. | careful to check that | убедить, что... |
gen. | careful to check that | удостоверить, что... |
gen. | careful to check that | удостоверяющийся, что... |
gen. | careful to check that | удостовериться, что... |
gen. | careful to check that | убедиться, что... |
gen. | careful to check that | достаточно благоразумный, чтобы убедиться, что... |
sociol. | check all that apply | отметьте все подходящие варианты (в анкете AMlingua) |
tax. | check items that apply | нужное отметить (Zen1) |
literal. | check that | следить за тем, чтобы (igisheva) |
inf. | check that | поправка (used to take back or correct a previous statement
: "Sir, I don't know why but there must be a foot or two of water coming down Claiborne. No, check that—three feet." 4uzhoj) |
inf. | check that | стоп (used to take back or correct a previous statement
: "Sir, I don't know why but there must be a foot or two of water coming down Claiborne. No, check that—three feet." 4uzhoj) |
literal. | check that | проверить и удостовериться в том, что (Alexey Lebedev) |
literal. | check that | убедитесь в том, что |
inf. | check that | отставить (used to take back or correct a previous statement
4uzhoj) |
inf. | check that | забудь об этом (Check that. I was wrong. Забудь об этом. Я был неправ. Interex) |
comp., MS | Check that Anti-Spyware Product is up-to-date. | Проверка необходимости обновления антишпионской программы (Windows 8 Rori) |
transp. | Check that ... are properly secure | надпись "Проверьте надёжность крепления..." |
auto. | Check that ... are properly secure | Проверьте надёжность крепления (translator911) |
transp. | Check that ... operate correctly | надпись "Проверьте исправность работы..." |
auto. | Check that ... operate correctly | Проверьте исправность работы ... (см. ГОСТы и др. техническую документацию translator911) |
Makarov. | check that spares are in stock | проверять наличие запчастей |
Makarov. | check that the equipment is furnished with fittings | проверить укомплектованность оборудования фурнитурой |
construct. | Check that there is no oil leakage | Произведите проверку отсутствия утечки масла |
tech. | check that voltage exists at | проверять наличие напряжения на |
construct. | check that voltage exists at terminals | проверить наличие напряжения на зажимах |
Makarov. | check that voltage exists at terminals | проверять наличие напряжения на зажимах |
torped. | check to ensure that smth. is intact | проверить целостность (чего-либо) |
Makarov. | check to ensure that the fuses are intact | проверить целостность предохранителей |
Makarov. | check to see that | удостоверяться в чём-либо |
Makarov. | check to see that | убедиться в том, что |
Makarov. | check to see that | убеждаться в чём-либо |
gen. | he was on the point of pegging out with a complication of disorders that even whiskey had failed to check | здоровье у него пришло в такое расстройство, что даже виски не помогал (witness) |
Makarov. | I'll check back tomorrow about that question | я завтра проработаю этот вопрос ещё раз |
inf. | I'll give you a rain check on that | ну что ж, давайте в другой раз (Olga Okuneva) |
inf. | I'll take a rain check on that | спасибо, в другой раз (Olga Okuneva) |
gen. | I'll take a rain check on that dinner | простите приду обедать как-нибудь в другой раз |
math. | it remains to check that | остаётся проверить |
Makarov. | observe the pilot lamp to check that the fan is operating | по сигнальной лампе определять работу вентилятора |
Makarov. | observe to check that .. | определять по |
Makarov. | observe to check that ... | определять по |
math. | we may readily check that | мы могли бы легко проверить, что |
construct. | when examining the machine between shifts check that there are tools | при междусменном осмотре машины проверяйте наличие инструмента |
construct. | when examining the machine between shifts check that there is fuel | при междусменном осмотре машины проверяйте наличие топлива |