Система - замещение
Cтраница 1
Системы замещений иногда включают отношение эквивалентности на Q. В определении свойства конечности Черча-Россера и в теореме 8.8 эта эквивалентность далее используется вместо равенства. [1]
Системы замещений иногда включают отношение эквивалентности на Q. В определении свойства конечности Черча - Россера и в теореме 8.8 эта эквивалентность далее используется вместо равенства. [2]
Система замещения церковных должностей посредством купли-продажи, практиковавшаяся римскими папами в средние века с целью извлечения доходов. Па имени библейского Симона-волхва, к-рый, по легенде, хотел купить у апостолов секрет творить чудеса. [3]
 |
Сеть Петри и эквивалентная ей система сложения векторов. [4] |
В модели системы замещения векторов явно определяется проверка на разрешение перехода от действия по запуску перехода. Эквивалентность систем замещения векторов сетями Петри ( общего вида) очевидна. [5]
Нанесем на корневые годографы системы замещения допустимые по условию качества пределы перемещения корней. Сопоставление корневых годографов двух крайних режимов с заданным условием размещения корней позволяет установить: возможность самонастройки; пути коррекции системы и диапазон варьируемых параметров или программ управления. [6]
 |
Сеть Петри и эквивалентная ей система сложения векторов. [7] |
Добавляя системы сложения векторов и системы замещения векторов в нашу иерархию, получаем иерархию, изображенную на рис. 8.20. Важность систем сложения векторов и систем замещения векторов заключается в их простом математическом определении и полезности этого определения для доказательства математических свойств систем. [8]
 |
Дифференциально-мостовые схемы.| Пьезоэлектрический резонатор. [9] |
Емкость С2, входящая в систему замещения пьезоэлектрического резонатора ( рис. 10 - 29, а), значительно превышает емкость С; поэтому частоты о. Рис - Ю-29, б) располагаются весьма близко друг к другу. [10]
Большинство же сплавов строятся по системе замещения. [11]
Большинство же сплавов строятся по системе замещения. Атом примеси занимает узловое положение, поэтому такие растворы называют растворами замещения. Существуют и твердые растворы вычитания. В таком растворе по мере увеличения количества второго компонента наряду с замещением узловых мест образуются еще и вакансии. Растворение атомов одного компонента в другом не всегда беспредельно. Только немногие сплавы образуют растворы с неограниченной растворимостью. [12]
В нашем случае прогонка является системой замещений для каждого множества ограничений С. Множество Q состоит из табло над U и Т 7, если Т образуется из Т применением F-и J-правил, соответствующих зависимостям из С. [13]
В нашем случае прогонка является системой замещений для каждого множества ограничений С. Множество Q состоит из табло над U и Т Т, если Т образуется из Т применением F-и J-правил, соответствующих зависимостям из С. [14]
Из теоремы 8.6 следует, что система замещений для вычислений по методу прогонки конечна. Через chasec ( Т) обозначим все терминальные табло, достижимые из Г с помощью F - и J-правил из С. [15]
Страницы: 1 2