| Russian | English |
| аварийные сигналы должны сообщать операторам только то, что им необходимо знать | alarms should only tell the operators what they need to know (ssn) |
| все последовательностные схемы обладают одним общим свойством: для правильной работы схемы необходимо обеспечить строго определённый порядок переключений | All sequential circuits have one property in common – a well-defined ordering of the switching events must be imposed if the circuit is to operate correctly (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| все последовательностные схемы обладают одним общим свойством: для правильной работы схемы необходимо обеспечить строго определённый порядок переключений | All sequential circuits have one property in common a well-defined ordering of the switching events must be imposed if the circuit is to operate correctly (см. Digital Integrated Circuits A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| Делегирование обычно необходимо, чтобы позволить объекту-клиенту получить услугу на одном уровне от объекта, находящегося на отдалённом несоседнем уровне. Иными словами, устойчивый шаблон структуры вертикальных иерархических уровней раздел 9.1.3 будет разложен на случайную сеть взаимосвязанных объектов без какой-либо надежды понять или управлять сложностью системы и её эволюцией | the delegation is normally necessary to allow a client object in one layer to get a service from an object in a distant non-neighboring layer. Otherwise, the stable framework of vertical hierarchical layers Section 9.1.3 would disintegrate to a random network of intercommunicating objects with no hope to understand or control the system complexity and evolution (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение | To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| для представления процессов, обладающих неограниченным поведением, необходимо ещё одно условное обозначение, а именно: непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева | represent processes with unbounded behaviour it is necessary to introduce another convention, namely an unlabelled arrow leading from a leaf circle back to some earlier circle in the tree (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| для того чтобы событие произошло, необходимо выполнение соответствующих условий | for an event to occur, it may be necessary for certain conditions to hold |
| для указания различных источников времени необходимо использовать POSIX-функции управления временем, принимающие в качестве параметра идентификатор времени | specify one of the different clock source, use a POSIX timing function that accepts a clock ID (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| если необходимо связать документ, который вы ещё не имеете, можно создать и вставить его непосредственно в обзор документов объекта, тогда делающий соединение | if you need to connect a document that you don't have yet, you can create and insert it directly into the object's document survey, which then makes the connection |
| на линии упаковки конфет необходимо обеспечить перфорацию каждой конфеты в заданном месте | in a line that packages candy bars, you have to make sure that the perforation occurs in the correct location on each bar |
| необходимо принять во внимание | it is necessary to consider (ssn) |
| необходимо проверять | check for (ssn) |
| необходимо проверять корректность переключений внутри приложений в ответ на соответствующие воздействия | check for correct switching upon application of the relevant stimulus (ssn) |
| необходимо проверять корректность работы с помощью поочерёдной подачи логических "0" и "1" | check for correct operation by introducing in turn a logic "0" and a logic "1" (ssn) |
| определённое поведение тестируемой системы, которое необходимо проверить | particular behavior of the system under test that we need to verify (ssn) |
| Относительно правил продвижения типов необходимо сделать ряд важных замечаний | there are a couple of important points to be made about the type promotion rules |
