Cтраница 3
Конкретная реализация существенно влияет на выбор памяти и на скорость выполнения алгоритма. На этапе реализации алгоритма важно следить, чтобы правильность алгоритма не нарушалась при трансляции на машинный язык. [31]
Описанный в § 3.2 метод пошаговой разработки ориентирован на создание падежных алгоритмов, поскольку, как уже говорилось, позволяет разработчику все время контролировать управляющую и информационную структуру алгоритма. Однако все-таки сам по себе он не молчет гарантировать правильности алгоритма. Ошибки, особенно при разработке нетривиальных алгоритмов, неизбежно возникают, например, при перфорации. Поэтому с самого начала необходимо применять дополнительные средства ( так называемые стопоры ошибок), повышающие надежность алгоритма и позволяющие эффективнее вести поиск ошибок при последующей отладке. Одно из таких средств было упомянуто в конце предыдущего параграфа - это вставка утверждений в различные точки паскаль-программ, прежде всего в операторы цикла. [32]
Методом оценивания надежности называют совокупностью правил выбора ( построения) статистик, алгоритмов и моделей оценивания, способов проверки их качества. Критерии качества оценивания ( точности статистики, адекватности модели, правильности алгоритма) формулируют на основе анализа общих требований к специальному математическому обеспечению управления процессом создания и применения КА. [33]
Следует, однако, иметь в виду, что порядок роста сложности алгоритма является определяющим только при обработке данных большого размера. Для задач с малым размером входных данных ( а именно на таких данных и проверяется правильность студенческих алгоритмов) следует учитывать мультипликативные константы при сравнении алгоритмов. [34]
Роль человека может свестись к подтверждению рекомендаций, вынесенных ЭВМ на базе ранее одобренных человеком алгоритмов, либо к тем или иным изменениям и уточнениям рекомендаций или вообще к принятию совершенно других решений. Несогласие с рекомендацией машины связано с наличием дополнительной информации, не учитываемой машинным алгоритмом, а также с имеющимся и часто интуитивным неудовлетворением полнотой, универсальностью и правильностью алгоритма. Это неудовлетворение может быть следствием исходной неполноты поставленной и формализованной задачи и результатом дополнительного опыта встречи с конкретными ситуациями, возникшими уже после ввода машинного алгоритма в действие. [35]
Ошибки алгоритмирования, как правило, не удается выявить в процессе программирования и расчетов на машине. Более того, они целиком входят в программу, искажая результаты, и так как в программе допускаются другие ошибки, то их смешение чрезвычайно затрудняет проверку правильности и алгоритмов, и программ. Поэтому проверку правильности алгоритмов следует производить до начала программирования. [36]
Этот алгоритм является модификацией метода, предложенного С. Конечно, нужно очень тщательно проверить правильность алгоритма R, поскольку он на грани того, чтобы быть неправильным. [37]
Строгое математическое доказательство правильности работы алгоритма - обычно очень трудная задача, главным образом из-за того, что трудно доказать правильность работы циклов и рекурсивных процедур. Вместе с тем демонстрация правильной работы алгоритмов на некотором наборе тестов еще не означает, что он всегда будет работать правильно, - следует помнить, что различных комбинаций входных данных бывает, как правило, бесконечно ( или практически бесконечно) много. Поэтому необходимо сопровождать алгоритм некоторым рассуждением, которое, даже не будучи строгим доказательством, в достаточно полной мере убеждает нас в правильности алгоритма. Конечно, оно не должно быть рассуждением в таком, например, стиле: алгоритм перебирает все варианты, поэтому он правилен; ведь тогда возникает вопрос, а как убедиться, что алгоритм действительно перебирает все варианты. [38]
Расчеты показали, что зависимость количества поступившей - в газовую залежь воды от отобранных запасов в случае ограниченного водоносного пласта представляет собой прямую линию. Действительно, так как в этом случае нет притока воды извне, то основной движущей силой, вызывающей продвижение подошвенной воды в газовую залежь, служит расширение воды и скелета пористой среды при снижении пластового давления. Известно, что высвобождающийся удельный объем воды из ограниченного объема пласта линейно зависит от давления, поэтому полученный результат служит хорошим подтверждением правильности алгоритма решения задачи. При уменьшении проницаемости водоносного пласта вдоль оси г в 10 и 100 - раз рассмотренная зависимость для случая ограниченного по протяженности водоносного пласта практически не изменяется. [39]
Эта работа выполняется после составления общей блок-схемы программы. Наибольшие трудности вызывает распределение памяти в случаях обработки большого объема данных, к-рые приходится размещать на магнитных лентах и барабанах. Естественно, что в процессе подготовки задачи к решению на машине, а также непосредственно в процессе решения необходимо осуществлять контроль правильности получаемых результатов. Проверка правильности алгоритма и исходных данных задачи, а также проверка составленной программы производится специалистом-математиком, подготовляющим задачу. Правильность переноса материала на перфокарты обеспечивается тем, что перенос этот осуществляется в 2 руки - двумя людьми независимо друг от друга; после чего 2 комплекта перфокарт сличаются между собой при помощи элоктромеханич. [40]
Под реальными условиями понимаются источники, способные помешать алгоритму правильно выполнять свои функции. Такими источниками могут быть следующие. Частично вопросы правильности алгоритма рассматривались при формулировке требования реализуемости. Действительно, способность алгоритма правильно отражать физические свойства того процесса, для обеспечения управления которым он создается, имеет непосредственное отношение к надежности его функционирования. [41]
Функциональный тест задачи составляется на основании ее исходного описания, составленного на языке АЛТОП, без привлечения какой-либо информации о способах реализации процедур. В основу методики положены составление тестов для проверки каждого отдельного преобразования и последовательное объединение их в единый тест для всей задачи. Тест представляет собой совокупность конкретных экземпляров входных и выходных массивов задачи, позволяющих проверить правильность воплощения всех сведений, содержащихся в исходном описании. Сначала составим тест для проверки правильности алгоритма преобразований, а затем расширим его для проверки корректности относительно количественных характеристик данных. При этом будем исходить из того, что преобразование выполняется программой, алгоритм работы которой мы не знаем. Проверку будем выполнять из предположения, что программа должна выполняться правильно, если фактические данные соответствуют описанию. Сюда же относится ситуация, при которой в исходном описании предусмотрена реакция на отклонения данных от заданного описания. [42]
Несмотря на то что накопленный опыт указывает на надежность больших программ, настоятельная потребность вынуждает пользоваться ими для управления процессами реального времени, хотя и ясно, что это сопряжено с большим риском. Стоимость необнаруженной ошибки может быть очень высокой. Структурное программирование может быть использовано для разработки систем, сопровождаться жестким тестированием программ, включая проверку правильности алгоритмов. Такая процедура позволяет конструировать достаточно надежные системы. Однако для получения сверхнадежных систем необходимы дополнительные усилия. [43]
Этот алгоритм возвращает первое сгенерированное значение в том случае, если оно появляется среди ответов по крайней мере дважды. Если же это не так, то алгоритм возвращает второе значение: либо оно совпадает с третьим, либо все три значения различны, и тогда все равно, какое возвращать. Поскольку вероятность возвращения алгоритмом Монте Карло правильного ответа превышает половину, маловероятно, чтобы все три ответа оказались различными. Процедура MonteS превращает стойкий 80 % - правильный алгоритм Монте Карло в 90 % - правильный. Такой подход к повышению правильности алгоритма не всегда является наилучшим. [44]
Степень уверенности в том, что программа верна, зависит, во-первых, от тех интеллектуальных усилий, которые Вы прикладываете, чтобы сделать ее правильной. Если правильно сделан переход между состояниями, верно установлены начальные условия и верно подсчитаны переходы для каждого нового слова, то можно быть уверенными в программе. Однако тестирование все-таки необходимо для проверки правильности алгоритма и правильности реализации программы. [45]