Cтраница 3
Наконец, очень существенными моментами при анализе программ являются выделение разветвлений и подпрограмм. Последние, однако, относительно просто обнаруживаются благодаря специфичным командам, связанным с использованием команд БП, ОП, УП и МК. [31]
Общий вывод Академии инженерных наук США из анализа программы Независимость таков: решение энергетической проблемы в США дело дорогостоящее. Чтобы осуществить эту программу в период 1971 - 1985 гг. потребуется вложить 500 млрд. долл. А по данным специалистов Бруклинского института программа самообеспечения энергией США может быть выполнена в течение 20 лет, и на это потребуется 985 млрд. долл. [32]
Теорема 6.5. Алгоритм 6.3 справедлив и для анализа программ с несокращаемым графом хода выполнения программы. [33]
Как при синтезе, так и при анализе программ отправной ( базовой) точкой является система команд ЭВМ. Ход рассуждений при синтезе некоторых программ описан в § 4.4 и 4.10. Ниже приводятся основные положения и пример анализа готовых программ. [34]
В § 7 - 1 были рассмотрены алгоритмы анализа программ, основанные на использовании матрицы предшествования. [35]
После того как транслятор обнаружил ошибку, он пытается возобновить анализ программы, пропустив часть текста до ожидаемого символа. Часто удается успешно продолжить трансляцию; иногда это может привести к наведенным ошибкам. [36]
После того как цели сформулированы достаточно четко, следующим шагом является анализ допустимых программ и их оценка с точки зрения соответствия поставленным целям. Допустимые программы должны быть двух типов. [37]
Флойд [1] указал, что математическая логика может быть использована для анализа программ. [38]
Нетрудно убедиться, что глубина и полнота оптимизации непосредственно обусловлены уровнем анализа программы и достоверностью получаемой при этом информации. [39]
При расчете импульсных следящих систем с заданным периодом повторения и при анализе программ цифровых вычислительных машин на сходимость и точность вычислений приходится иметь дело с передаточными функциями, характер которых определяется наличием импульсов в сигнале. Если проделать преобразование Лапласа для выходной величины импульсной системы, на вход которой воздействует некоторая функция времени, то получается, что изображение равно отношению многочленов от е 8Т, где Т - время между импульсами. [40]
Каждый блок в программе GPSS занимает вполне определенное место и интерпретатор при анализе программы присваивает номера, соответствующие месту блока в модели. Разработчик программы может присвоить блоку символическое имя и использовать его при ссылке на блок. Символические имена составляются из алфавитно-цифровых символов, причем первые три символа должны быть буквенными, а их число не должно превышать пяти. [41]
Используется сводимость к задаче достижимости сетей Петри для того, чтобы показать трудности анализа программ в распределенной среде. [42]
С помощью ППП КОНТЕКСТ автоматизируются контрольные операции создания и отладки программ, а также анализ программ по их исходным текстам. Результаты анализа выдаются для принятия решения. [43]
Системы автоматизации конструирования программ включают входные проблемно-ориентированные языки для описания алгоритмов, системы трансляции для анализа программ, написанных на этих языках, и системы, позволяющие оптимизировать полученную после трансляции программу по заданным критериям и ограничениям. [44]
Программа включает описание данных, процедур и другие записи, сообщающие транслятору сведения, необходимые для однозначного анализа программы, а также простые и структурные операторы, всем или некоторым из которых присвоены метки. Операторы выполняются, как правило, последовательно, при исполнении некоторых из них ( операторы безусловного перехода о 4о т или условные операторы, соответствующие рассмотренным выше способам описания выбора хода вычислений) осуществляется переход к оператору, метка т которого определяется при этом исполнении безусловно или в зависимости от условия, значение которого вычисляется. [45]