Понятие - ядро
Cтраница 2
Приведенный пример объясняет необходимость использования в программе PLANEX определенного алгоритма. Алгоритм основан на понятии ядра треугольной таблицы. По определению, i - м ядром является единственная прямоугольная таблица, которая включает нижнюю клетку крайнего левого столбца и ряд i. В своей простейшей форме алгоритм PLANEX вызывает для выполнения оператор ОР - только в том случае, если ядро i является ядром с наибольшим номером, в котором все помеченные предложения истинны. Читатель может при желании проверить, что этот алгоритм действительно позволяет избежать упомянутых выше трудностей. [16]
 |
Дерево вывода для доказательства секвенции S. [17] |
В узком смысле секвенция - это правило логического перехода А В, которое интерпретируется следующим образом: Если А истинно, то В также истинно; если А ложно, то о В сказать ничего нельзя. В широком смысле понятие секвенции совпадает с понятием ядра ПП ( см. разд. В логическом исчислении L / C-выводимыми объектами являются также секвенции. [18]
В солнечной системе нуклеосинтез закончился миллиарды лет назад, но в некоторых областях космоса он либо протекал значительно позже, либо продолжается и поныне. Таким образом, в космосе определенно должны быть сверхтяжелые по нашим понятиям ядра - результат нуклеосинтеза - которые избежали губительного распада. Часть вещества звезд, на которых идут эти процессы, может в виде космического излучения достигнуть Земли и ее окрестностей. Следовательно, изотопы сверхтяжелых элементов с относительно малым временем жизни могут быть обнаружены в околоземном пространстве. [19]
В частности, обобщенное Л / - ядро не является коалиционно монотонным. Суть теоремы 5.3 состоит в том, что она подвергает критике само понятие ядра. [20]
Позднее это наблюдение приобрело весьма широкое значение и сыграло большую роль в развитии теории эллиптических линейных дифференциальных и псевдодифференциальных операторов. Пусть имеется два гильбертовых пространства HI, HI и нетеров, по современной терминологии фредгольмов, оператор A: HI - Я2, т.е. замкнутый ограниченный линейный оператор с конечномерным ядром A ( h) 0, h КегА ( не путать с понятием ядра интегрального оператора. [21]
Высокотемпературное форсированное ядро факела должно воздействовать на такие процессы, как генерация окислов азота, серного ангидрида, а также на состояние минеральной части топлива, приводящее к изменению ее шлаковочных свойств. В горячем ядре азотсодержащие соединения топлива разлагаются до простейших термодинамически равновесных соединений, что, в свою очередь, должно устранить их прямое превращение в окислы азота и снизить содержание последних в дымовых газах. Понятие ядра горения условно, так как в отдельных объемах газа, даже в пределах ядра, горение заканчивается с опережением, и наоборот. [22]
Анализ доступных авторам статей, посвященных сравнению тех или иных языков программирования, показал, что необходим новый подход к сравнению языков программирования. Поэтому вместо ставшей уже привычной утомительной процедуры сравнительной оценки различных средств сравниваемых языков программирования авторы разработали свою технологию сравнения языков программирования, основываясь на понятии ядра языка программирования, детально описанную ниже. Авторы убеждены, что предложенная ими технология сравнения языков программирования представляет собой заметный шаг вперед в развитиии методологии сравнения языков программирования. [23]
Спиральные волны наблюдаются не только в возбудимых, но и автоколебательных активных средах. На больших удалениях от центра линии постоянной фазы имеют форму архимедовой спирали, частота вращения спиральной волны однозначно определяется характеристиками самой автоколебательной среды и не зависит от начальных условий, приведших к образованию такого автоволнового источника. С приближением к центру спиральной волны амплитуда колебаний монотонно уменьшается и обращается в нуль в центральной точке. Поэтому в автоколебательных средах также можно ввести понятие ядра спиральной волны как той области, где амплитуда колебаний существенно отличается от амплитуды однородных автоколебаний в данной среде. [24]
Как уже было сказано выше, авторы глубоко убеждены в том, что структура программ определяется в основном парадигмой программирования, заложенной в соответствующий язык программирования его разработчиками. Поэтому идеальным было бы непосредственное сравнение имеющихся у разработчиков тех или иных языков программирования представлений о том, как должны писаться программы, и, возможно, обсуждение того, до какой степени каждый из сравниваемых языков программирования поддерживает соответствующие представления своих разработчиков. К сожалению, в большинстве случаев сведения о намерениях разработчиков языков программирования очень кратки или вообще отсутствуют. Кроме того, представления разработчиков языков программирования о том, как должны писаться программы, необязательно должны быть явными и облеченными в словесную форму. Понятие ядра языка программирования представляет собой попытку найти способ выражения восстановленных кем-либо намерений разработчиков этого языка программирования. [25]
В общем случае К ( г; г) - довольно сложная функция, за исключением случая, когда рассматривается рассеяние только вперед. Примером последнего типа служит функция ф ( и ф), которая была сконструирована для использования в задаче о плите с источниками нейтронов, испытавших лишь одно рассеяние [ ср. Другим, еще более элементарным примером ядра К является функция (5.84), которую применяют в специальном случае бесконечной однородной среды. Таким образом, введение понятия ядра представляет собой в основном удобный формализм, который позволяет записать уравнения нейтронного баланса в особенно простом виде. [26]
Страницы: 1 2