Cтраница 1
Техника вывода допускает естественный ИЛИ-параллелизм, т.к. опровержения по ветвям осуществляются независимо друг от друга. [1]
Техника вывода этой формулы отличается от предыдущей, но основная идея, по существу, та же. [2]
Приведенные примеры в достаточной мере иллюстрируют технику вывода условий оптимальности; перейдем теперь к описанию численных алгоритмов. [3]
Гаусса - Остроградского и условия (3.62); подробнее о технике вывода вариационных уравнений будет сказано ниже, в гл. [4]
Благодаря особенностям 1, 3, 6, 8, 9 техника вывода хорошо совместима с эвристиками конкретных приложений, а также с общими эвристиками управления выводом. Благодаря особенности 7, процесс вывода состоит из крупно-блочных шагов, хорошо наблюдаем и управляем. [5]
Действительно, зная F как функцию от Т и V, находим энтропию системы [ уравнение ( X, 45) ] через первую производную от F по Т при постоянном V; находим давление системы [ уравнение ( X, 46) ] через первую производную от F по V при постоянном Т; находим энергию системы [ уравнение ( X, 47) ] через F, Т и первую производную от F по Т при постоянном V. Мы не приводим других примеров: когда техника вывода понята, вывод уравнений превращается в упражнения по взятию частных производных. [6]
Далее мы будем пользоваться элементарными свойствами примитивно рекурсивных функций и отношений, не выводя их фактически в НА. Предполагается, что читатель имеет определенный опыт в технике вывода, и мы игнорируем формальные выводы в тех случаях, когда известные элементарные доказательства непосредственно формализуются в НА. В более сложных случаях мы будем приводить более или менее подробное содержательное рассуждение, оставляя его формализацию читателю. [7]
Таким способом определяется состав и энергетическое распределение заряженной компоненты плазмы. Разумеется, мы сталкиваемся здесь с серьзной трудностью при решении вопроса о технике вывода потока заряженных частиц из магнитной ловушки. [8]
Задание исходных объектов теории и построение новых осуществляется с помощью совокупности специальных правил и определений. Все остальные утверждения системы получаются из исходного базиса с помощью специфической для конструктивных теорий техники вывода, основанной на принципе математической индукции. [9]
Задание исходных объектов теории и построение новых осуществляется с помощью совокупности специальных правил и определений. Все остальные утверждения системы получаются из исходного базиса с помощью специфической для конструктивных теорий техники вывода, основанной на принципе математической индукции. [10]
Существует два основных подхода к генерации векторов: вычисляются числовые значения координат каждой точки отрезка прямой линии и отрезок строится как последовательность точек или используется аналоговое напряжение для непрерывного перемещения луча на экране ЭЛТ от начальной точки отрезка до конечной. Цифровой алгоритм вычерчивания отрезка прямой линии может быть осуществлен как программно, с использованием техники вывода отдельных точек для формирования отрезка, так и аппаратно. Аналоговый способ осуществляется только аппаратно. [11]
Вывод необходимых условий мы начнем с рассмотрения задачи со свободным правым концом, поскольку для этого случая можно продемонстрировать технику вывода, не усложняя ее тонкими рассуждениями, необходимыми в общем случае. [12]
И если он не понятен пользователю, то мы не справились с нашей задачей. В конце концов, целью является не просто анализ сам по себе, а и представление результатов. Здесь мы рассмотрим как технику вывода ГИС, так и некоторые требования дизайна для создания качественного, понятного выходного продукта. Обе стороны важны, так как техника физически ограничивает наши возможности создания изображений, а пользователи имеют физические и психологические ограничения и особенности восприятия, влияющие на интерпретацию результатов. [13]
Наш основной интерес заключается здесь скорее в раскрытии физической сущности проблем течения, чем в аналитической теории уравнения Лапласа. Наиболее интересным из этих методов, с аналитической точки зрения, явяяется, возможно, совершенство техники вывода ряда аналитических функций, которые в пределе приближаются индивидуально или в соответственных комбинациях к потенциальной функции, удовлетворяющей предначертанным граничным условиям. Эти методы являются весьма мощным орудием при изучении формальной теории решений уравнения Лапласа, но непригодны, в частности, для обработки специфических задач. [14]