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