English | Russian |
multiple inclusive selective construct: This construct consists of a number of procedure parts and a control part with a set of conditions, the values of which select zero or more procedure parts to be executed in an undefined sequence | конструктив, выбирающий с взаимовключением: данный конструктив состоит из ряда процедурных частей и управляющей части с набором условий, значениея которых выбирают одну и более или ни одной процедурных частей, выполняемых в произвольной последовательности (см. ISO/IEC 8631:1989 ssn) |
the plant consists of a conveyor belt that moves from left to right, a processing station, and two robots that move boxes between the station and the belt as shown in Figure 17.2 | этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 17.2 (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |