Конечное представление
Cтраница 1
Конечное представление a - axV Van называется несократимым, если ни одно из а нельзя опустить. Если а не имеет несократимых представлений, в которые входят более одного элемента, то а называется неразложимым в объединение. [1]
Конечное представление аналитической модели в типовом варианте имеет вид системы рекуррентных соотношений, решаемых численно. Система формируется чаще всего за счет установления балансовых соотношений по видам потоков для по-добъектов. [2]
Для топологически конечных представлений теорема Жор-дана - Гельдера уже не обязана выполняться. [3]
 |
Третий шаг построения дерева достижимости. [4] |
Приведение к конечному представлению осуществляется несколькими способами. Нам необходимо найти те средства, которые ограничивают введение новых маркировок ( называемых граничными вершинами) на каждом шаге. Здесь могут помочь пассивные маркировки - маркировки, в которых нет разрешенных переходов. Эти пассивные маркировки называются терминальными вершинами. [5]
Группа Гротендика категории конечных представлений является свободной абелевой группой, порожденной классами эквивалентности неприводимых представлений. [6]
 |
Модель с шумом для идеального фильтра. [7] |
Для арифметики с конечным представлением чисел характерен ряд явлений, среди которых наиболее важными будут шум, искажение и неустойчивость. Они затронуты во многих работах. [8]
Всякое ( топологически) конечное представление является конечной суммой ( топологически) неразложимых конечных представлений. [9]
Результат задачи 2 сводит изучение конечных представлений к изучению неприводимых представлений и некоторых дополнительных соотношениях между ними. [10]
 |
Простая сеть Петри с бесконечным деревом достижимости. [11] |
Для сведения дерева достижимости к конечному представлению используется еще одно средство. Следовательно, для тех позиций, которые увеличивают число фишек последовательностью а, можно создать произвольно большое число фишек, просто повторяя последовательность а столько, сколько это нужно. [12]
Группа классов преобразований компактной поверхности допускает конечное представление. [13]
Регулярное отношение всегда имеет своего рода конечное представление - регулярным источником. Следующая теорема устанавливает другое синтаксическое описание R ( V) па основе конечного множества соотношений. [14]
Пусть G - гиперболическая группа, заданная конечным представлением ( 13), относительно которого работает алгоритм Дэна. Тогда существует число Q, которое эффективно вычислимо по ( 13), такое, что для произвольного квадратичного уравнения Ф 1 вида ( 8) или ( 9) можно эффективно найти конечное семейство параметрических решений этого уравнения в G, которое удовлетворяет следующим условиям. [15]
Страницы: 1 2