English | Russian |
alphabets of the processes on each side of an equation | алфавиты процессов в обоих частях уравнения (ssn) |
an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side | Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same | Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
on the interoperability side of the house | в вопросе обеспечения взаимосовместимости (Microsoft Alex_Odeychuk) |
once isolated from the instruments on one side and the actuators on the other, computations can be implemented using the most effective computing medium, independent of any needs to pass power through the computational element. That medium has been the digital computer, and the medium of expression for digital computers is software | Отделенные от измерительных устройств, с одной стороны, и исполнительных механизмов, с другой, вычисления могут быть осуществлены с помощью наиболее эффективной вычислительной среды. Нет никакой необходимости передавать существенное количество энергии через вычислительный элемент. Теперь вычислительная среда – цифровой компьютер, а среда функционирования цифровых компьютеров – программное обеспечение (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |