Cтраница 1
Графовая форма основана на построении модели в виде графической схемы, называемой графам. В отличие от произвольно нарисованной схемы графовая модель, как и табличная, строится по определенным правилам. В частности, каждое ребро может быть ориентировано, если определен путь от одной вершины к другой, и не ориентировано, что соответствует возможному пути от одной вершины к другой в обоих направлениях. [1]
Графовая форма представления моделей - форма, которая дает представление модели или ее характеристик в виде одного или совокупности взаимосвязанных графов. [2]
При анализе графовых форм применительно к моделям данных в ГИС эти термины следует считать взаимно заменяемыми. [3]
При переходе к графовой форме опускаются описания переменных, ввод начальных данных и вывод результатов. Учитываемые части программы заключены нами в прямоугольники. [4]
Код G-машины оперирует с графовой формой выражения верхнего уровня; инструкция UNWIND всегда определяет самый левый из самых внешних редексов. [5]
В отличие от произвольно нарисованной схемы графовая форма моделей, как и табличная форма представления моделей, строится по определенным правилам. [6]
Сетевые модели данных базируются на использовании графовой формы лредставления данных. Вершины графа используются для интерпретации типов сущностей. При реализации вершины графа представляются совокупностью описаний экземпляров сущностей соответствующего типа. Дуги графа ( связи между вершинами) используются для интерпретации типов связей между типами сущностей. [7]
Тип записи иерархической модели - вершина в графовой форме иерархической модели, соответствующая типу сущности. [8]
На основе изложенных соглашений определим программу с процедурами в графовой форме. [9]
Приведем пример того, как по реальной программе с процедурами строится соответствующая ей графовая форма. [10]
Достижение этих целей упростится определенным методическим улучшением, суть которого заключается в нахождении наглядных и легко воспринимаемых графовых форм логических связей между традиционными и выше указанными темами. В частности, поиски основных соотношений сводится наглядному символическому представлению результатов объединенных в понятии отображения. [11]
Рассмотренные типы структур позволяют использовать различные формы представления схемы данных, включая обычное представление в виде исходного текста на ЯОД. При графовой форме представления агрегаты атрибутов, обычно используемые для представления сущностей, изображаются вершинами графа, а связи между ними - соответствующими дугами. [12]
Древовидные иерархические структуры широко используются в повседневной человеческой деятельности. Иерархические модели данных, так же как и сетевые, базируются на использовании графовой формы представления данных. В графической диаграмме схемы базы данных вершины графа также используются для интерпретации типов сущностей, а дуги - типов связей между типами сущностей. При реализации каждая вершина графа представляется совокупностью описаний экземпляров сущности соответствующего типа. [13]
Сеть Петри определена в главе 1 как набор, состоящий из множеств мест и переходов, отношения инцидентности и функции начальной разметки. Такой способ задания сетей обычен для постановки и решения теоретических задач анализа сетей. Графовую форму представления сетей Петри удобно применять в иллюстративных целях. Однако оба эти способа представления сетей не подходят для прикладных задач моделирования дискретных систем, например, для задач, включающих автоматический анализ, синтез и преобразования сетевых моделей с помощью ЭВМ. [14]
Однако можно ввести дополнительные комбинаторы, уменьшающие сложность результирующих комбинаторных выражений, и в разд. Затем мы увидим, как различными способами с помощью У-комбинатора могут обрабатываться рекурсивные определения. В графовой форме У имеет особенно эффективное представление, ведущее к очень элегантной обработке произвольных рекурсивных определений; более того, рекурсия может выражаться подобным образом в других формах редукции графов, которые были рассмотрены в предыдущей главе. В заключение мы по-другому посмотрим на реализацию, использующую фиксированный набор комбинаторов, и опишем метод, основанный на так называемых строках направляющих. Он дает интуитивное понимание того, как работают фиксированные комбинаторы, а также предлагает более эффективный путь их представления. [15]