Модель - вычисление
Cтраница 2
Исследуется сеть Петри как модель вычислений. Описывается программа, моделирующая сеть Петри, с множеством выходов, отражающих выполнение сети Петри. [16]
В языке Ада реализована достаточно мощная модель вычислений с параллельной обработкой. Аналогом процесса в языке Ада является задача, а в качестве средств синхронизации процессов ( задач) и их взаимного исключения используется механизм рандеву - единственное предназначенное для этих целей средство языка Ада. Тем, кто интересуется этой проблематикой, автор рекомендует подробно изучить гл. [17]
Следующий этап в развитии моделей вычислений связан с работами академика В. Глушкова В основе подхода В. М. Глушкова лежит представление вычислительного процесса в виде взаимодействия управляющего и информационного автоматов, названное дискретным преобразователем. Такое представление может быть реализовано аппаратно ( центральный процессор, память ЭВМ) или описано в конструкциях алгоритмического языка Автоматная форма задания дискретных преобразователей позволяв. [18]
Определяются и исследуются свойства модели вычислений в виде графа вычислений. [19]
Альтернативный подход к определению модели вычислений должен рассматривать данные как динамические, или активные, сущности, которые текут по набору пассивных преобразователей, выполняющих соответствующие манипуляции всякий раз, когда в них поступают соответствующие данные. [20]
 |
Диаграмма проходов по алгоритму распознавания. [21] |
Задача семантического анализа свойств моделей вычислений, например, с целью обнаружения блокировок, относится к числу фундаментальных проблем теории программирования. Результаты анализа могут быть использованы для формальной верификации, оптимизации и специализации программ. Во многих случаях задача анализа моделей программ невысокого уровня абстракции оказывается алгоритмически неразрешимой. [22]
В § 3 представлена наша модель вычислений. Основополагающими являются здесь понятия простейших операций, допустимых информационных операторов и допустимых алгоритмов. Вводится понятие оптимального по сложности алгоритма; замечание 3.2 иллюстрирует разницу между понятиями оптимального по точности и оптимального по сложности алгоритмов. В обсуждении и примерах в конце параграфа рассмотрена взаимосвязь с теорией алгебраической сложности. [23]
Бенев ( 1982) построил модель вычисления в рамках квантовой кинематики и динамики, но все еще эффективно классическую в вышеупомянутом смысле. Она построена так, что в конце каждого элементарного шага вычислений ни одно из характерных квантовых свойств - интерференция, неразличимость, неопределенность - не обнаруживается. Ее вычисление может быть полностью моделировано машиной Тьюринга. [24]
Наконец, архитектура IA-64 использует модель вычисления EPIC. Для повышения скорости работы в этой архитектуре предусмотрены предикация и спекулятивная загрузка. IA-64 может иметь значительное преимущество над Pentium II, но она возлагает на компилятор огромное бремя параллелизма. [25]
Мы по-прежнему придаем огромное значение модели вычислений, которая предстает перед нами в обличье языка программирования. Большинство новых языков, овладевших нашим воображением, придают этим моделям сладость синтаксиса и обогащают их семантику, так что теперь нас соблазняют такие честолюбивые эксперименты, которые мы зарекались проводить прежде. Эти модели завладели нашими умами примерно так же, как Алгол 25 лет назад. У нас нет оснований но-лагать, что это последние модели, способные побудить нас попытаться достичь еще более грандиозных обобщений. [26]
С точки зрения математической кибернетики модели вычислений, основанные на квантово-механических принципах, 1) по природе своих преобразований являются дискретными детерминированными обратимыми линейными моделями, 2) позволяют реализовывать массивные параллельные вычисления, 3) по способу извлечения результатов вычисления являются вероятностными. [27]
В случае когда в качестве модели вычислений берутся неветвящиеся программы, говорят, что данная задача имеет временную или емкостную сложность 0А ( / ( п)), если найдется последовательность программ для ее решения с временной или емкостной сложностью не более cf ( n) для некоторой постоянной с. Индекс А снизу обозначает арифметический - это основная характеристика неветвящихся программ. [28]
Для этого линейного случая будет уточнена модель вычислений ( общая модель вычислений была определена в § 3 гл. [29]
Для уточнения введенных понятий необходима некоторая модель вычислений. В качестве такой модели может быть выбрана многоленточная машина Тьюринга. Она состоит из k лент, бесконечных справа. Каждая лента разбита на ячейки, которые содержат по одному символу из некоторого набора. [30]
Страницы: 1 2 3 4