Вычислительная модель

Cтраница 3

На основании вычислительной модели конечного кольца, главным оператором которой является оператор извлечения отдельных разрядов двоичного представления преобразуемого числа, могут быть построены многослойные подсети. [31]

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

Другими словами, вычислительная модель определяется в терминах потока данных, а не потока управления или редукции графов, и программы на понятийном уровне представляются потоковыми графами. [33]

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

Как и с другими вычислительными моделями, важно накопить некоторый программистский опыт. [35]

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

Организация процесса управления на основе СППР. [37]

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

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

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

На рис. 25.2 приведен пример вычислительной модели КВАДРАТ, где в качестве отношений используются отношения типа уравнение. [41]

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

Другая причина, по которой важны простые вычислительные модели ( таких моделей много - разные виды машин Тьюринга, адресные машины и т.п.), связана с теорией сложности вычислений, когда нас начинает интересовать время выполнения программ. Но этот вопрос выходит за рамки классической теории алгоритмов. [43]

Граф явного метола решения нелинейной динамической системы. [44]

На рис. 6.40 изображен граф такой вычислительной модели на одном временном шаге. Он имеет 26 вершин, распределенных по трем ярусам. Первый ярус составляют вершины, имеющие нулевой вес и определяющие рассылку компонентов вектора и с предыдущего временного шага. [45]

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