Функциональное выражение

Cтраница 2

Математическое выражение изотермы или изобары свойства зависит от функционального выражения коэффициентов а и Ъ и способа выражения концентрации системы. Величины коэффициентов а и Ъ могут быть как постоянными, так и переменными. Непостоянство коэффициентов пропорциональности может быть следствием физической сущности свойства, изменение которого не находится в прямой пропорциональной зависимости от концентрации. [16]

При свободной интерпретации значениями каждой переменной могут быть термы - правильно построенные функциональные выражения в алфавите переменных и функциональных символов. Выражение Д ( хг, / 2 / t) не является термом. [17]

Даже без однозначности такие разложения часто позволяют доказывать эквивалентность двух различных функциональных выражений и часто проясняют поведение функции. [18]

Семибитовое сжатое квантование для 16-сегментной аппроксимации / / - закона. [19]

Как показано на рис. 13.17, 16 сегментов линейных хорд аппроксимируют функциональное выражение на 256 возможных выходных уровнях. Восемь из этих сегментов расположены в первом квадранте, восемь - в третьем квадранте и сегмент О имеет один и тот же наклон в обоих квадрантах. Вдоль каждого сегмента хорды квантование является равномерным по четырем битам преобразования низшего порядка. [20]

Из условия ( 3) следует, что при рр ( 1 функциональное выражение вязкости ц ограничено, непрерывно и удовлетворяет условиям Липшица, т.е. обладает требуемыми свойствами. W Оиасг 0 можно утверждать, что К ( число Кутателадзе) и Хэ ( коэффициент гидравлического сопротивления) обладают требуемыми свойствами. [21]

На основе этих экспериментальных данных, с привлечением теории подобия и размерности получены общие функциональные выражения для вольт-амперных и частотных характеристик разряда в движущемся газе. Этот интересный эффект объясняется отлипанием электронов от отрицательных ионов в горячем газе. Электроны, обладающие гораздо большей подвижностью, становятся при этом основными носителями заряда. [22]

В предыдущей главе была рассмотрена основанная на использовании стеков абстрактная машина для вычисления функциональных выражений, написанных в соответствии с нотацией А-исчисления. Как мы видели, эта машина наиболее удобна для реализации вычислений аппликативного порядка, соответствующих вызовам по значению Расширение области применения машины с целью поддерживать вызовы по необходимости требует введения дополнительных структур для явного представления задержек В этой главе будет рассмотрен совсем другой подход к вычислению лямбда-выражений, при котором мы допускаем представление выражений в виде графов, а не в виде линейных текстовых строк. Результирующая модель вычислений по очевидным причинам называется редукцией графов. Одно очевидное преимущество заключается в том, что в графовом представлении легко выразить разделение; нам не нужна дополнительная структура, такая, как контекст, для запоминания связей ( разделяемых) переменных, поскольку на ( разделяемый) подграф можно ссылаться любое число раз с помощью указателей. Второе преимущество данного представления в том, чю вычисление нормального порядка в этом случае легко представляется и относительно эффективно реализуется. Все это делает редукцию графов особенно естественным инструментом Для поддержки вызовов по необходимости и, следовательно, ленивого вычисления в функциональных языках. [23]

При решении практических задач этот подход, как правило, непригоден из-за отсутствия явных функциональных выражений ограничений-равенств. Поэтому обычно применяют второй подход, использующий классический метод множителей Лагранжа. [24]

Все эти показатели точности связаны между собой математически, и их легче всего находят через функциональное выражение для погрешности положения ( линейной или угловой) ведомого звена механизма. [25]

ФП, с той разницей, что в системах ФФП функции представляются объектами, а не функциональными выражениями, причем атомы ( а не символы функций) представляют примитивные и определяемые функции, а последовательности представляют функции ФП, обозначаемые функциональными формами. [26]

Мы начинаем наше обсуждение редукции графов с рассмотрения функции, выполняющей редукцию, в качестве интерпретатора графов функциональных выражений. Перед выполнением редукции необходимо сначала установить местоположение вершины следующего редекса и определить, представляет эта вершина Р - или б-редекс. [27]

Большой класс задач логического синтеза возникает при конструировании простейшей ( из множества возможных) схемы, описывающей данную совокупность функциональных выражений. Если термину простейший может быть дано логическое определение ( например, в терминах числа элементов или числа входов), то задача становится чисто логической. Задача конструирования минимальной схемы, реализующей некоторую формулу А, является логической задачей, состоящей в определении, какая из формул, эквивалентных А, является минимальной. [28]

Из § 3.3.9 известно, что атрибуты функций во фреймах не обязательно константы или конкретизации, но могут также быть функциональными выражениями. Сделаем еще шаг и рассмотрим еще одну возможность для атрибутов ( представляющих множество связанных с объектами характеристик) - быть процедурами или подпрограммами. Это приводит нас к понятию объектно-ориентированных языков, предназна ченных для автоматических рассуждений на основе объектного представления. [29]

Специализация этой формулировки по сравнению с первоначальной заключается в том, что фигурирующее в § 8 ( Щ) сопоставленное Я арифметическое функциональное выражение берется относительно всех входящих в Я свободных индивидных переменных. [30]

Страницы: 1 2 3 4