Построение - дерево
Cтраница 3
При построении дерева глобальных состояний верификационная система обнаружит совпадающие состояния, находящиеся на одном пути из корня ( исходное и состояние В), которые указывают на два цикла ( на рисунке обозначены пунктирными стрелками): первый характеризует повторные попытки записи при получении пользователем отрицательных подтверждений, а второй - повторные попытки чтения. Так как оба цикла являются полезными и имеют выход, разработчик, проанализировав информацию, выданную верификационной системой, не будет вносить эти циклы к динамической блокировке. [31]
Разбор и построение дерева для конъюнкции; следующая после конъюнкции лексема считывается. [32]
Дейталога требует построения дерева доказательств. Построение этого дерева можно выполнить двумя способами: 1) снизу вверх ( восходящий метод), начиная от существующих фактов и производя новые факты ( приходя, таким образом, к заключениям) и 2) сверху вниз ( нисходящий метод), пытаясь проверить истинность предпосылок, которые необходимы для проверки истинности заключения. Это различие введено в главе 7: алгоритм INFER, который вычисляет результат выполнения программы Дейталогас помощью прямого вывода, является примером восходящего метода, а процедуры резолютивного опровержения являются примерами нисходящего выполнения. Ниже мы обсудим особенности этих двух подходов с точки зрения оптимизации. [33]
Продолжаем процесс построения дерева, пока не достигнем листа. [34]
По окончании построения дерева мы имеем типовую задачу динамического программирования - нахождение оптимальной траектории от основания дерева до вершины. [35]
Рассмотрим процедуру построения дерева, его качественный и количественный анализ на примере. [36]
Работа алгоритма построения дерева предложения заключается в последовательном принятии решения о характере синтаксической связи между двумя словами. Переход от одной пары слов к другой совершается с учетом результатов анализа предшествующей пары слов. Синтаксические связи определяются согласно правилам, приведенным в табл. 14.1. Эти правила вырабатывались на основе статистического анализа текстов. [37]
 |
Примеры деревьев вывода. [38] |
Основным шагом построения дерева вывода является применение правила 2, соответствующего применению правила псевдотранзитивности в выводе. Два других правила вывода, составляющих с псевдотранзитивностью полную систему правил вывода, - правила дополнения и рефлексивности - представлены в дереве вывода неявно. Функциональная зависимость, вывод которой описывается деревом вывода, определяется корнем дерева и его висячими вершинами. Пусть множество меток висячих вершин составляет множество атрибутов X. Дерево вывода в таком случае называется X-ДВ, а если корень его помечен атрибутом А, то X-ДВ называется деревом вывода для функциональной зависимости Х - - А. Следующая теорема показывает, что дерево вывода - достаточно мощное средство для представления вывода функциональных зависимостей. [39]
В процессе построения сортирующего дерева размера 2 - 1 мы строим два сортирующих дерева размера 2k - 1 - 1, затем соединяем их, добавляя корень и проталкивая элемент, стоящий в корне, вниз на его надлежащее место. Столь же легко можно было бы построить сортирующее дерево, добавляя за один шаг один элемент в качестве листа и проталкивая этот новый элемент вверх по дереву. [40]
Вычислительные процедуры построения дерева понятий типа CLS, описанные в [1], определяют соответствующие классы индукторов и индуктивных выводов. [41]
Неформально процесс построения дерева глобальных состояний системы заключается в следующем. [42]
Полученный при построении дерева графический материал может быть использован неоднократно, например, в качестве схемы для определения возможного несчастного случая. При внимательном исследовании дерева отказов зачастую можно выявить отказы, неопределяемые обычным путем. [43]
Практический интерес представляет построение дерева причин несчастного случая с подобным проведением анализа предшествующих событий, которые привели к нему. При этом выделяются случайные предшествующие события, устанавливаются связи между ними, анализируются факторы, носящие постоянный характер. Логическая структура дерева такова, что при отсутствии хотя бы одного из предшествующих событий, несчастный случай произойти не может. При составлении дерева причин могут быть выявлены потенциально опасные факторы, не проявившие себя. [44]
Большинство формулировок алгоритма построения дерева достижимости позволяет классифицировать вершину как дублирующую только в том случае, если идентичная вершина встретилась на пути от корня к этой вершине. Следовательно, подобные вершины, принадлежащие разным поддеревьям и представляющие одну маркировку, будут продолжать обрабатываться алгоритмом. [45]
Страницы: 1 2 3 4