Cтраница 2
Доказать, что если объединение любых двух множеств последовательности ( Ап п 6 М принадлежит этой последовательности, причем / - min, k ] при AJ A [ J A, то из последовательности можно выделить сходящуюся подпоследовательность. [16]
Функционирование сети Петри описывается формально с помощью множества последовательностей срабатываний и множества достижимых в сети разметок. Эти понятия определяются через правила срабатывания переходов сети. [17]
Пусть Р ( Sm) - подмножество множества допустимых последовательностей, на которых монотонно-рекурсивный функционал ( рт (7.9) достигает наименьшей верхней грани. [18]
Рассматриваемое множество А есть объединение двух множеств: множества последовательностей, содержащих лишь конечное число нулей, и множества последовательностей, содержащих бесконечное число нулей. [19]
Начиная с этого номера, х принадлежит всем множествам последовательности дополнений. [20]
Правило декодирования теперь можно определить формально, как отображение множества Yw последовательностей на выходе канала в множество, состоящее из М сообщений, и выход, соответствующий обнаруженной ошибке. [21]
В силу свойства (9.2) множество Г ( е) называют высоковероятным множеством последовательностей сообщений длиной п на выходе дискретного постоянного источника. [22]
УН - множество, используемое для аппроксимации сообщений источника Уп - множество последовательностей с элементами из У. [23]
Описываемая ниже программа на Прологе может распознавать допустимые фразы некой грамматики в множестве последовательностей ее слов и строить синтаксические деревья для исследуемых фраз. [24]
Приведенные выше результаты устанавливают для широкого класса функций ( множество функций колебаний) множества последовательностей с хорошо определенным временем вычислений. Легко видеть, что это ограничение, как во многих других аналогичных доказательствах, происходит оттого, что мы строим множества, в которых два отрезка длины п или менее должны проверяться на тождество. Это можно сделать в пределах п2 операций, и, таким образом, эти результаты не удается распространить сверх п2 с помощью этих приемов. [25]
Обозначим через ат ( А), где А есть Г - матрица, множество последовательностей из OOQ, суммируемых методом А. Хилл [4] ставит вопрос: будет ли зт ( А) обязательно сепарабельным подмножеством множества Зоо, и высказывает предположение, что это не так. [26]
Чтобы как-то упорядочить это огромное множество и сделать его более обозримым, целесообразно представить множество последовательностей геометрически в пространстве последовательностей. Такое представление позволяет наглядно упорядочить первичные структуры биополимеров. Нас в первую очередь будут интересовать физические аспекты проблемы, однако мы не считаем разумным проведение строгих границ. [27]
Величины п и R задают объем кода M - 2nR, а Тп задает множество последовательностей сообщений длины п, кодируемых взаимно-однозначно. [28]
Еще один пример: расширение поля рациональных чисел до поля действительных чисел; в множестве Q последовательностей Коши поля Q определяют сорт-ношение эквивалентности и называют классы эквивалентности действительными числами; сложение и умножение распространяют с Q на Q и показывают, что эквивалентное плюс ( умноженное на) эквивалентное дает вновь эквивалентное. [29]
В результате массовой работы по сравнению 16S рРНК были построены деревья сходства, устанавливающие на множестве последовательностей нуклеотидов РНК малой субъединицы рибосомы порядок, которому приписывается соответствие последовательности происхождения организмов, исходя из предположения, что замены нуклеотидов происходили случайно во времени и этим заменам можно приписать временную характеристику. Полученные филогенетические деревья рассматриваются как наиболее строгое доказательство генеалогии, и вскоре стали считать, что филогения прокариот наиболее обоснована с дарвинистских позиций. [30]