Cтраница 3
Очевидно, наименьшая волна есть всегда [ 0, а ] - волна, где а - некоторое положительное число. Оказывается, что в минимальной системе волн введенная упорядоченность волн соответствует упорядоченности их скоростей. [31]
Легко заметить, что существует минимальная система существенных переменных. При построении схемы S в задаче 8.17 можно брать элементы фг, у которых входы соответствуют минимальной системе существенных переменных Фг. Соединение этих элементов и отождествление входов, как и выше, проводится в соответствии с уравнением состояний автомата. [32]
Обратно, для любой минимальной системы векторов существует биортогональная система непрерывных линейных функционалов. Отметим, что не каждая полная минимальная система ( даже с тотальной биортогональной) является базисом Шаудера. [33]
Выделение приведенных систем простых импликант может быть проведено непосредственно по импликантной таблице. Для этой цели нужно выбрать минимальные системы строк таблицы так, чтобы для каждого столбца среди выбранных строк нашлась хотя бы одна строка, содержащая в этом столбце звездочку. [34]
В общем случае крупные организации требуют гораздо более формализованной УИС, чем мелкие. Однако следует отметить, что определенная минимальная система учета необходима во всех организациях. [35]
Общий результат для источников типа В состоит в том, что при всех с, больших или равных некоторого положительного числа с, существует с-минимальная система волн. Здесь с есть скорость наименьшей волны в минимальной системе волн. Это есть обобщение результатов КПП, в которых системы волн состоят из одной волны. [36]
Задача а) представляет собой, очевидно, некоторую задачу о покрытии. Задачу б) естественно трактовать как задачу о нахождении минимальной системы представителей, если считать, что / - подмножество представляет любое содержащее его Л - подмножество. [37]
Ряд работ был посвящен приближенному вычислению кратных интегралов. В работе Ф р а н к а [14] рассматривается задача отыскания минимальной системы ординат, которая давала бы формулу, точную для полиномов до данной степени. Эта задача решается для некоторых случаев. [38]
Подводя итог исследованию, проведенному в данном параграфе, системы элементов в соответствии с тем, является ли их матрица Грама ограниченной, удовлетворяет С-условиям или не удовлетворяет им, можно подразделить на следующие группы: 1) системы с ограниченной матрицей Грама; 2) системы с С-матрицей Грама; 3) арегулярные системы. Каждую из упомянутых групп в свою очередь подразделим на классы: 1) сильно минимальные системы элементов; 2) слабо минимальные системы элементов; 3) неминимальные системы элементов. [39]
Если биортогональный ряд (1.25) сходится и Справедливы формулы (1.23), то корреляционные моменты суммы ряда (1.25) по системе (1.1) равны корреляционным моментам величины Y по этой системе. И если Y принадлежит пространству системы (1.1), то ряд (1.25) сходится к У, и получается разложение случайной величины Y в ряд по минимальной системе (1.1) случайных величин. [40]
Конечно, сама расширяемая система не является методом структурирования операционной системы. Однако, начав с минимальной системы, состоящей в основном из механизма защиты, и постепенно добавляя к ядру защищенные модули, пока не будет достигнута требуемая функциональность, можно создать минимальную систему для конкретного приложения. При таком подходе новая операционная система может выкраиваться под каждое новое приложение благодаря включению только тех элементов, которые необходимы для данного приложения. [41]
При с с с-минимальная система волн состоит из одной волны со скоростью с. Из теоремы следует, что если показатель Ляпунова х функции / ( х) удовлетворяет неравенству х - ] / - а, то и ( х, t) сходится к минимальной системе волн. [42]
Если элемент х входит в какое-либо подмножество из У, то скажем, что х его представляет. Xjs aX называется в этом случае минимальной системой представителей для конфигурации У. [43]
Для того чтобы указать систему линейно-независимых векторов из Н, матрица Грама которой есть матрица ф / -, по теореме I главы I достаточно положительности этой эрмитовской матрицы. Как уже было установлено в главе I, свойство сходимости рядов векторов из Н определяется некоторыми качествами матрицы Грама этих векторов. В частности, мы неоднократно выделяли такие минимальные системы векторов ( например, с ограниченной и положительно-определенной матрицей Грама), что биортого-нальные ряды по ним для любого вектора из Н по этой системе векторов и по союзной с ней системе сильно сходились. [44]
Применение мнемокода в качестве языка системного программирования и промежуточного языка позволяет сократить сроки и снизить стоимость создания системного математического обеспечения. Дело в том, что для новой машины обычно в первую очередь разрабатывают простейший ассемблер мнемокода. Вместе с библиотекой стандартных подпрограмм и загрузчиком ассемблер образует минимальную систему программирования, которая используется для разработки всех других компонент системного математического обеспечения, включая трансляторы с языков высокого уровня. [45]