Cтраница 1
Выражение аргумента в синусоидальном распределении амплитуд нормальных колебаний выбрано так, чтобы для s 0 и s п - - 1 для всех гармоник у0 и уп 1 обращались в нуль. При п - оо это распределение амплитуд совпадает с распределением для стержня с закрепленными концами. [1]
Кавычки встроковом выражении аргумента макрокоманды ЗадатьЗначение обязательны. [2]
Еп обозначает выражения аргументов, к которым применяется функция во втором поле данного формата. Поскольку ЕС является строгим языком, то эти выражения вычисляются до вызова функции. Если функция является встроенной, то с обозначает код функции. [3]
Ль Л2 являются выражениями аргументов, а Е содержит х в качестве свободной переменной. [4]
При применении этой функции выражения аргументов должны быть вычислены, чтобы выполнить сопоставление с образцом, и именно в этой точке задержанные вызовы Eval будут выполнены. Более того, эти задержанные вызовы будут автоматически заменены значениями ШТ ( а) и INT ( b), что соответствует вызову по необходимости. [5]
Для построения логарифмической фазовой характеристики определим выражение аргумента по выражению частотной функции. [6]
Очевидно, нет необходимости формировать задержку, когда выражение аргумента имеет слабую заголовочную нормальную форму или само является задержкой. [7]
В случае вызовов по необходимости требуется, чтобы выражения аргументов были разделяемыми, что можно сделать только с помощью оператора присваивания, выполняемого для задержек, представляющих невычисленные выражения аргументов. [8]
Еще большая неприятность может случиться, если при вычислении нежелаемого выражения аргумента произойдет зацикливание и вся программа будет не в состоянии завершиться, в то время как она завершилась бы при передаче данного аргумента по необходимости. [9]
НИР в таких случаях эффективно откладывает вычисление любых редексов внутри выражения аргумента до тех пор, пока это возможно, в расчете на то, что такое вычисление может оказаться ненужным. Стратегия выбора самого левого из самых внешних редексов предписывает поэтому выполнять подстановку для х в Ку. В результате за один шаг получается нормальная форма Ку.у. АПР, с другой стороны, вычисляет выражение аргумента в первую очередь, что в данном случае приводит к зацикливанию. Хотя отсюда следует, что мы должны всегда выбирать нормальный порядок редукций, чтобы гарантировать, что вычисление закончится всякий раз, когда это возможно, АПР оказывается значительно более эффективным при реализации на обычных компьютерах, что мы и увидим далее в этой книге. [10]
Чтобы записать окончательные выражения проекции Ezt подставим значение коэффициента распространения Y в выражение аргумента функции Бесселя. [11]
Чтобы реализовать вычисление нормального порядка, нужно иметь возможность представлять вычисленные подвыражения или задержки, которые замораживают выражение аргументов до тех пор, пока их значения не потребуются при вычислении тела функции. Как и в предыдущей главе, задержка состоит из выражения вместе с контекстом, содержащим связи свободных переменных этого выражения. Задержки представляют собой еще один тип синтаксиса выражений, и мы будем записывать их в виде пары выражение - контекст, заключенной в фигурные скобки, например е, Е, где е - это выражение, а Я - контекст. [12]
Код, получаемый из дерева сопоставления, выбирает одно из уравнений определения функции исходя из анализа структуры выражения аргумента. Но в выражении правой части могут быть ссылки на переменные, содержащиеся в образце выбранного уравнения. [13]
Процесс называется редукцией в том смысле, что мы упрощаем выражение, убирая из него символ К, связанную переменную и выражение аргумента и получая измененную форму тела Х - абстракции. Терминология представляется несколько неудачной, так как если выражение аргумента очень сложное и имеется много вхождений связанной переменной в теле абстракции, то результирующее выражение может быть намного длиннее первоначального, однако математически оно будет проще. [14]
Заметим, что функция Apply не требует, чтобы контекст был ее аргументом, потому что как выражение функции, так и выражение аргумента вычисляются перед вызовом Apply. В рассматриваемом интерпретаторе единственными вычисляемыми выражениями, которые могут содержать ( свободные) переменные, являются лямбда-абстракции, и связи для этих переменных даны в соответствующем замыкании. [15]