Успешное вычисление

Cтраница 1

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

В результате успешных вычислений целевым переменным х, у и z будут присвоены различные имена списков. Можно сказать, что программа выдает на выходе списки в ограниченном смысле, а именно она сообщает только их имена. В том же самом смысле конкретные имена, которые упоминаются в целевом утверждении, можно было бы рассматривать как списки, задаваемые в качестве входных данных программы. [2]

Успех применения метода тогда зависит от успешного вычисления на ЭВМ таких интегралов. [3]

Предположим, что программа допускает несколько успешных вычислений. Если кортеж Ю не содержит переменных, то он принадлежит R; в противном случае этот кортеж можно рассматривать как общее обозначение для всех его подстановочных примеров, не содержащих переменных, причем каждый из них принадлежит R. Заметим, что если отношение пусто, то программа неразрешима. [4]

Поддерево, содержащее бесконечное вычисление. [5]

Говорят, что программа неразрешима, если ее подпространство не содержит успешных вычислений; в противном случае программу называют разрешимой. Отметим, что неразрешимость программы возникает не только в том случае, когда все вычисления заканчиваются неудачей; она возникает тогда, когда всякое вычисление либо заканчивается неудачей, либо бесконечно. [6]

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

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

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

Во-вторых, в том случае, когда входная последовательность не удовлетворяет свойству пик. Это наблюдение привлекает внимание к одному важному моменту в методологии логического программирования: оказывается недостаточно рассматривать эффективность только успешных вычислений; необходимо, кроме того, попытаться сделать все, чтобы и в случае отсутствия решений исполнение программы эффективно завершалось неудачей. [11]

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

Карта электронной плотности вдоль грани кубической решетки хлористого натрия. [13]

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

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

Страницы: 1 2