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