Примеры употребления "abstract state machine" в английском
So June 1945 - actually, the bomb hasn't even been dropped yet - and Von Neumann is putting together all the theory to actually build this thing, which also goes back to Turing, who, before that, gave the idea that you could do all this with a very brainless, little, finite state machine, just reading a tape in and reading a tape out.
Итак, июнь 1945-го. Собственно, бомба ещё не сброшена, а фон Нойман собирает всю теорию, необходимую для постройки этой штуки, что возвращает нас к Тьюрингу, ещё раньше подавшему идею, что всё то же можно сделать с помощью совершенно безмозглого маленького конечного автоматика, просто читающего ленту туда-сюда.
That’s because the inputs for a PRNG vary depending on the temporal state of each machine.
Все дело в том, что исходные данные, вводимые в ГПСЧ, разнятся в зависимости от временного состояния каждого автомата.
According to the NSF's abstract of the project, being carried out by researchers at North Carolina State University, participants "receive information about that issue from a range of content-area experts, experts on social implications of science and technology, and representatives of special interest groups."
Согласно краткому описанию проекта Национального научного фонда, осуществляемого исследователями Университета штата Северная Каролина, участники «получают информацию от целого ряда экспертов по главному предмету обсуждения, от экспертов по социальным последствиям использования достижений науки и техники, а также от представителей групп, объединенных специальными интересами, связанными с предметом дискуссии».
I don't think that State Assembly seats should be the reward for service to the Democratic party machine.
Я не думаю, что места в Ассамлеи Штата особенно нужны машине Демократической партии.
Instead of trying to determine the content of jus cogens through abstract definitions, it is better to follow the path chosen by the ILC in 1966 as it “considered the right course to be to provide in general terms that a treaty is void if it conflicts with a rule of jus cogens and to leave the full content of this rule to be worked out in State practice and in the jurisprudence of international tribunals”.
Вместо того, чтобы пытаться определить содержание jus cogens при помощи абстрактных дефиниций, лучше последовать путем, который избрала КМП в 1966 году, когда она " сочла правильным предусмотреть в целом, что договор становится ничтожным, если он вступает в коллизию с нормой jus cogens, и оставить уточнение полного содержания этой нормы было для практики государств и международных судебных органов ".
This technology helps to make sure that the virtual machine never comes up from a saved state that's persisted on disk because it will be stale relative to the rest of the DAG members.
Эта технология помогает гарантировать, что виртуальная машина не запускается из сохраненного состояния, которое сохраняется на диске, поскольку она будет устаревшей относительно остальных участников группы обеспечения доступности баз данных.
It has long been assumed that a single type of machine, given time and memory, could simulate the behavior of any other state of matter.
Когда-то давно было выдвинуто предположение, что компьютер одного типа, при наличии необходимого времени и памяти, может смоделировать поведение любого другого состояния вещества.
However, virtual machine snapshots aren't application aware, and using them can have unintended and unexpected consequences for a server application that maintains state data, such as Exchange.
Однако снимки виртуальных машин могут быть несовместимы с некоторыми приложениями, поэтому их использование может приводить к неожиданным последствиям в случае серверных приложений, поддерживающих данные о состоянии, таких как Exchange.
The Union's machine often makes decisions under pressure from this or that commercial or industrial lobbying group, whose demands in Brussels are usually defended by state or group of states' interests (just as the Czech Republic is promoting the demands of its banks under threat of being vetoed).
Общеевропейский аппарат часто выносит решение под давлением того или иного торгового или промышленного лобби, позиции которых в Брюсселе обычно защищаются каким-либо государством или группой государств (таким образом Чехия теперь даже под угрозой вета отстаивает требования своих банков).
For him, hunger was an abstract concept. He had always had enough food.
Голод для него был абстрактным понятием; у него всегда было достаточно еды.
To him, hunger was an abstract concept; he always had enough to eat.
Голод для него был абстрактным понятием; у него всегда было достаточно еды.
During the stalinist era, prisoners at concentration camps became slaves in service of the state.
В сталинскую эпоху заключённые в концентрационных лагерях становились рабами на службе государства.
But when an archetype waltzes with an archetype and gets kicked out by an archetype, then it’s not really a film anymore, but almost like an abstract painting.
Ну, а когда архетип вальсирует с архетипом и архетипом погоняет, то это уже не кино, а почитай что абстрактная живопись.
Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам
В этом разделе вы можете посмотреть, как употребляются слова и выражения в разных контекстах на реальных примерах. Все примеры собраны из уже переведенных текстов: официальных документов, сайтов, журналов и диалогов из фильмов. Раздел Контексты поможет в изучении английского, немецкого, испанского, русского и других языков. Здесь вы сможете найти примеры с фразовыми глаголами, устойчивыми выражениями и многозначными словами в разнообразных по стилю и тематикам текстах Примеры можно отсортировать по переводам и тематикам, а также сделать уточняющий поиск по найденным примерам.
Изучайте иностранные языки, смотрите перевод миллионов слов и выражений, проверяйте их употребление на реальных примерах благодаря нашей технологии поиска на основе двуязычных данных!
PROMT Translation Factory отлично справляется с китайским. Проверено студентами Института лингвистики РГГУ
Весной 2024 года в Институте лингвистики РГГУ стартовал практический курс «Компьютерное обеспечение переводческой деятельности» для студентов специальности «Перевод и переводоведение», изучающих китай
24.10.2024
Реклама