Cтраница 2
Этот вид сращивания близок по сути потоковой модели вычислений из гл. [16]
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ. [17]
Из теоремы 3.2 следует, что проблема реализуемости недетерминированных потоковых моделей программ, пред ставимых М - сетями, является алгоритмически разрешимой. Однако в акторных моделях это означает невозможность статического планирования процессов для потоковых графов общего вида. [18]
Волги при принятой схематизации ( 29 створов) базируется на потоковой модели. [19]
Позднее количество водохозяйственных участков было практически удвоено ( рис. 9.5.1) и сформулирована потоковая модель для обоснования способов очистки и определения направлений инвестирования водоохранной деятельности. Более детальная схематизация водосборной территории бассейна направлена на повышение адекватности модели реальным условиям, прежде всего за счет выделения водосборной территории основных русловых водохранилищ. Исходные данные модели соответствует условиям конца 80-х-начала 90 - х годов. [20]
Метод имитационного моделирования положен в основу нового семейства пакетов поддержки принятия решений на основе построения потоковых моделей замкнутых систем. Хорошо зарекомендовал себя для решения задач фундаментального анализа и стратегического планирования. [21]
Подобно другим вычислительным моделям, рассмотренным в этой книге, таким как SECD-машина и редукция графов, функциональная потоковая модель дает представление р-редук-ции и б-правил для поддерживаемых примитивных функций. Эти примитивные функции включают условные выражения, которые, хотя и выражаются с помощью вершин-переключателей и вершин слияния, могли бы точно так же рассматриваться в терминах только двух дополнительных примитивных функций и их дельта-правил. Более того, редекс такого применения можно рассматривать как перезаписываемый в том смысле, что входящие дуги его вершины применения перенаправляются в тело функции. [22]
Заметим, что маркировка дуг, подобная используемой в М - сетях, применяется для анализа некоторых разрешимых подклассов потоковых моделей, в частности акторных моделей типа SDF. Однако сразу же следует подчеркнуть, что такие модели, как SDF, являются детерминированными моделями вычислений без условных ветвлений и альтернативных слияний потоков данных. Разумеется, и семантическая природа меток в М - сетях иная: по сути она соответствует числу особых состояний, когда осуществляется обмен данными между процессами, а переход в эти особые состояния случаен. [23]
Потоковые модели - мощное и выразительное средство выявления внутреннего параллелизма программ, которое может быть использовано для повышения производительности вычислительных систем. Потоковые вычисления реализуются по мере готовности данных. За последние тридцать лет потоковые принципы обработки как альтернатива концепции Дж. Неймана оказали большое влияние на исследования языков программирования, параллельной компиляции, распределенных вычислений, обработки сигналов, рекон-фигурируемых архитектур и суперкомпьютеров с массовым параллелизмом. [24]
Рассмотрим однопродуктовую сетевую модель, предназначенную для решения рассматриваемой задачи. В основу потоковой модели ЭК положено следующее схематическое описание. Существует четыре типа элементов: потребители, источники, запасы и транспортные магистрали энергоресурсов. Сетевая система транспортирования энергоресурсов описывается графом, который соответствует реальной сети снабжения. На рис. 8.6 в общем виде изображен фрагмент ЭК. [25]
Рассматриваются вопросы построения математических моделей кадровых систем и их применения в АСУ для управления кадрами специалистов отраслей и крупных предприятий. Приводятся модели пропорций перемещения, стохастические и потоковые модели, позволяющие прогнозировать развитие кадровых систем, проводить вариантные расчеты и определять дополнительную потребность в кадрах. Исследуются методы получения данных для практических расчетов по приводимым моделям. Отражены основные результаты в рассматриваемой области научных исследований. [26]
Распространенной формой представления программы для них является граф потоков данных, существенное свойство которого заключается в однократном присваивании, или отсутствии повторной входимости. Сразу же подчеркнем, что понятие потоковая модель в данной книге используется в ином контексте, без привязки к архитектуре, управляемой потоками данных. Потоковая организация обработки понимается как использование информационных связей между частично упорядоченными действиями программы для реализации заложенного в ней параллелизма. [27]
В этом случае вычеркивание одной из ветвей можно инициировать, поместив знак вычеркивания на одну из выходных дуг соответствующей вершины-переключателя. В качестве дополнительной оптимизации в следующей реализации описанной здесь потоковой модели будет замечено, что инструкции каждой ветви являются непрерывными, и поэтому возможно достичь эффекта вычеркивания путем перепрыгивания через всю ненужную нам ветвь с помощью изменения указателя стека и счетчика команд. Это является потоковым аналогом инструкции перехода в традиционном компьютере. [28]
Если специфика моделей пропорций перемещения не позволяла использовать в качестве управлений продвижения, то основная потоковая модель предоставляет эффективные возможности для их использования вместе с поступлениями как управляющих воздействий. [29]
Введенное формальное описание кадровой системы в терминах теории графов позволяет строить некоторые весьма конструктивные математические модели. В частности, ниже такое описание будет использовано для описания структур кадровых систем, построения потоковых моделей, описания графов переходов индивидов. В то же время механизм функционирования кадровых систем часто удобно описывать, как это принято в математической теории социальных процессов, в виде моделей пропорций перемещения или как стохастические процессы, которые будут рассмотрены в книге. [30]