| Russian | English |
| Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | 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) |
| Второй вход вентилей НЕ-ИЛИ соединяется со входами триггера S и R, что позволяет принудительно перевести выходы Q и не Q в нужное состояние | the second input of the NOR gates is connected to the trigger inputs S and R, that make it possible to force the outputs Q and not Q to a given state (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| Мощь подхода, использующего конечный автомат, обусловлена тем, что он позволяет в явном виде определить действительные состояния для некоторого аспекта вашего приложения и задать соответствующие варианты поведения при переходах приложения из одного состояния в другое | the great strength of the state machine approach is that it enables you to come up with an explicit definition of valid states for some aspect of your application and enforce proper behaviors as an application moves from one state to another (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| подкачка позволяет ядру хранить данные на диске, чтобы поддерживать отпечаток памяти большего размера, чем объём доступной на машине оперативной памяти | swapping allows the kernel to store data on the disk, to allow a larger memory footprint than the machine has RAM (ssn) |
| Решение для восстановления после отказов, использующее передачу журналов, что позволяет использовать данные из резервной системы в случае частичного или полного отказа первичной системы | A disaster recovery solution that uses log shipping and provides data to a standby system if a partial or complete site failure occurs on a primary system (технология HADR ssn) |
| Функция offline_confirm устанавливает состояние узла в режим "offline" выключен и немедленно возвращает управление. Использование этой функции позволяет узлу подтвердить информацию, что он окончил очистку и теперь выключается | the offline_confirm function sets the state of the device to offline and returns immediately. Use this function to confirm that the device has finished its cleanup and is now going offline (см. Neuron® C Programmer's Guide by Echelon Corporation 2009) |