Cтраница 1
Правильность алгоритма для рассматриваемого примера очевидна. [1]
Правильность алгоритма PRODUCE легко доказать. [2]
![]() |
Элементы защиты и блокировки электродвигателя вентилятора. [3] |
Правильность алгоритма функционирования схемы проверяется при отключенных датчиках технологического контроля. [4]
Доказательство правильности алгоритма тем самым закончено. [5]
Доказательство правильности алгоритма Е можно построить, основываясь на индукции по количеству узлов, которые подлежат маркировке. Одновременно доказывается, что в конце алгоритма Р РО; подробности см. в упр. Та форма, в которой был представлен алгоритм, выбрана ради простоты; его модификации, о которых только что говорилось, встретятся в ответе к упр. [6]
Для проверки правильности алгоритмов решения задачи, правильности отладки программ и реализации задачи на ЭВМ делается контрольный просчет либо приводятся исходные данные и окончательные результаты счета. При этом правильность работы программы оценивается по результатам решения. Исходные данные для контрольного примера могут быть реальными или искусственно созданными числами и должны полностью охватывать все этапы решения поставленной задачи. Контрольный пример должен быть подобран так, чтобы была обеспечена стыковка задач на основе информационных связей между ними. Для создания искусственного массива исходных данных должны быть даны отправные точки для каждого реквизита. Контрольный пример прилагается к постановке задачи и не входит в состав документации проекта. [7]
Аудитор должен тщательно проверить правильность алгоритмов расчетов. Ошибка, заложенная в алгоритм расчета и примененная многократно к повторяющимся хозяйственным операциям, может исказить результат хозяйственной деятельности. В процессе проверки алгоритмов расчета сумм при вводе хозяйственных операций контролируется также правильность формирования проводок. Особенно тщательно проверяются алгоритмы операций, которые инициируются самой программой, так как к моменту их исполнения персонал обязан ввести, проконтролировать, откорректировать все данные, используемые этой операцией. [8]
Как проверяются и оцениваются аудитором правильность алгоритмов расчетов компьютерной системы клиента. [9]
Использование критериев точности статистики, адекватности модели и правильности алгоритма позволяет выбор метода статистического оценивания надежности свести к разрешению проблемы наилучшего оценивания надежности. Тогда разрешением проблемы наилучшего оценивания надежности является выбор статистики по критерию эффективности, соответствующему решаемой задаче и учитывающему погрешности, вносимые моделью и алгоритмом. [10]
Разработка подпрограмм ЛОГПРА и ПОИСК, а также проверка правильности алгоритмов процедуры ПРАВД описана ниже. [11]
Желательно, чтобы законченный проект включал в себя также наглядное доказательство правильности алгоритмов, дополнительную печать и хотя бы несколько рекомендаций по повышению эффективности словаря. Составление программы заняло около восьми часов, а отладка - около четырех. [12]
Может возникнуть естественное возражение, что при такой технологии необходима проверка правильности алгоритмов самого математического стенда, который фактически также относится к классу математических моделей. [13]
Контрольные соотношения широко используются для контроля правильности выбора метода вычисления, точности вычисления, правильности алгоритма. [14]
Первым шагом при анализе математических описаний задач и алгоритмов их решения является моделирование на универсальных машинах с целью определения правильности алгоритмов, оценки точности вычислений, времени счета, объемов памяти, а также составление таблиц для контрольных проверок. [15]