Cтраница 3
Как видно, число R вариантов простого перебора может быть невелико для простых исходных алгоритмов А0, если число операций г невелико. [31]
Под отладкой понимают систему мероприятий, позволяющую установить и достигнуть факт адекватности представления исходного алгоритма его программной реализацией. [32]
После того как некоторые элементарные действия алгоритма сами описаны в виде алгоритмов, запись исходного алгоритма может быть преобразована так, чтобы эти элементарные действия были из нее исключены. Этот прием, называемый детализацией алгоритма, очень полезен и даже необходим при построении мало-мальски сложных алгоритмов. Покажем еще на одном примере, как это делается. [33]
В гом случае, если npoi рамм - анализатор обнаруживает отсутствие существенных элементов структурного сходства исходных алгоритмов, являющихся основой синтеза, создаются изолированные структуры и организуются механизмы взаимодействия друг с другом. [34]
Они приводят к алгоритмам решения задач, являющихся частными случаями тех задач, для решения которых были предназначены исходные алгоритмы. Обычно вслед за таким сужением производят эквивалентное преобразование, при котором используют возникающие при сужении возможности улучшения алгоритма. [35]
Действие, представленное в некотором алгоритме как элементарное, может быть описано в виде алгоритма, а запись исходного алгоритма может быть преобразована так, чтобы первоначальные элементарные действия были из нее исключены. Этот прием называется детализацией алгоритма и важен при построении сложных алгоритмов. [36]
Подготовка задачи на этом этапе включает анализ диапазонов изменения исходных данных и промежуточных результатов, выбор масштаба, преобразование исходного алгоритма. Более подробно масштабирование рассматривается ниже. [37]
Всякое изменение алгоритма, в результате которого снова получается алгоритм ( а не что-нибудь иное) и при этом эквивалентный исходному алгоритму, называется эквивалентным преобразованием алгоритма. Но известны и другие эквивалентные преобразования. [38]
Следует отметить также, что если промежуточный алгоритмический язык зафиксирован и им часто пользуются для решения различных задач, то при расширении самых различных исходных алгоритмов приходится решать весьма однообразные задачи, так что при наличии некоторого опыта здесь работа по расширению исходного алгоритма будет сводиться не столько к разработке новых частичных алгоритмов, сколько к выбору некоторых из уже известных. В связи с этим указанная работа может быть в значительной мере формализована и поэтому может быть передана частично или полностью самой машине. [39]
Для удобства чтения программы и сопоставления ее с алгоритмом желательно при назначении имен обеспечивать их мнемоническую связь с обозначениями величин, применяемых в исходном алгоритме. Входные данные необходимо сопроводить размерностями, в которых они должны задаваться, а также, если это возможно до завершения разработки, пределами допустимых изменений. Ранее приведенная табл. 3.1 представляет собой пример фрагмента таблицы соответствия. [40]
Корректность алгоритмов, полученных путем сужающих преобразований, обеспечивается проверкой ( доказательством) того, что каждый результат, получаемый суженным алгоритмом, тождествен с результатом, который для того же варианта исходного данного дает исходный алгоритм. [41]
Общий смысл теорем замкнутости заключается в том, что класс алгоритмов, которые в принципе можно переложить на язык тьюринговых программ, замкнут относительно всех употребительных приемов образования новых алгоритмов из алгоритмов уже имеющихся; иначе говоря, коль скоро для исходных алгоритмов возможно задание посредством тьюринговых программ, то это возможно и для результирующих более сложных алгоритмов. В § 10 это было строго доказано для таких важных приемов, как последовательная и параллельная композиция, разветвление и повторное применение алгоритмов. Разумеется, список таких приемов можно было бы продолжить. Однако для всех подобных приемов, которые известны, можно строго доказать аналогичные теоремы. Более того, опыт подсказывает, что в точности так же обстоит дело для всех приемов, которые можно предвидеть в настоящее время. [42]
Следует отметить также, что если промежуточный алгоритмический язык зафиксирован и им часто пользуются для решения различных задач, то при расширении самых различных исходных алгоритмов приходится решать весьма однообразные задачи, так что при наличии некоторого опыта здесь работа по расширению исходного алгоритма будет сводиться не столько к разработке новых частичных алгоритмов, сколько к выбору некоторых из уже известных. В связи с этим указанная работа может быть в значительной мере формализована и поэтому может быть передана частично или полностью самой машине. [43]
Трудности, вызываемые необозримостью АлСУ, многократно усиливаются ее нелокальностью. Исходный алгоритм, представленный в виде схемы счета [60], локален. Это означает, что любой / - и участок схемы счета может быть замещен эквивалентным ему i - м участком без изменения других частей схемы счета. В АлСУ такое действие невозможно из-за адресного строения памяти ЦВМ. [44]
Индукционный нагрев - сложный ( процесс взаимодействия электромагнитных и тепловых явлений. Исходными алгоритмами для него являются уравнения математической физики в частных производных соответственно эллиптического и параболического типов. Конечный алгоритм может быть получен в результате решения уравнения теплопроводности с внутренними источниками электромагнитной мощности. [45]