English | Russian |
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) |
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) |