English | Russian |
in this section we show how Petri nets can faithfully model many systems of concurrently executing cooperating processes | в этом разделе мы покажем, как сети Петри могут моделировать различные системы параллельных взаимодействующих процессов (см. Petri Net Theory And The Modeling Of Systems / James L. Peterson 1981) |
mechanism used to implement mutual exclusion in a critical section of code | механизм, используемый для реализации взаимного исключения в критическом разделе кода (о мьютексном семафоре ssn) |
sections in a typical project plan | разделы типичного плана проекта (ssn) |
the elements of the DFD notation were explained in Section 3.3 | Элементы диаграммы потоков данных были рассмотрены в разделе 3.3 |
the following sections examine the specific methods that are contained in each interface | в следующих разделах рассматриваются специфические методы, содержащиеся в каждом интерфейсе |
the horizontal structures of packages as in Figure 9-3 are called partitions. When circular dependencies between partition packages are broken, by adding new packages as explained in Section 9.1.2, the dependency structure within a partition becomes a hierarchy | Горизонтальные структуры пакетов типа изображённых на рис. 9.3 называются сегментами. Когда циклические зависимости между пакетами сегмента устраняются путём добавления новых пакетов, как объяснено в разделе 9.1.2, структура зависимостей сегмента становится иерархической (а не линейной горизонтальной структурой; rather than a linear horizontal structure; см. Maciaszek L.A. and Liong B.L. (2005): Practical Software Engineering) |
the retentive behavior can declare for all variables contained in the variable sections VAR_INPUT, VAR_OUTPUT, and VAR of functions blocks and programs to be either retentive or non-retentive by using the RETAIN or NON_RETAIN qualifier | Свойства в части сохранения могут объявлять переменные, содержащиеся в секциях переменных VAR_INPUT, VAR_OUTPUT и VAR функциональных блоков и программ, сохраняемыми или несохраняемыми, используя квалификаторы RETAIN или NON_RETAIN (см. IEC 61131-3:2013 Programmable Controllers – Programming Languages) |
the sequence of characters of the operator symbol must be one of the operators in the six operator classes defined in Section 7.2 | Последовательность символов, представляющая знак оператора, должна совпадать с одним из операторов, принадлежащих к одному из шести классов операторов, определённых в 7.2 (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |