Машинна арифметика має свої характерні особливості. Правильно враховуючи їх, можна досягти високої ефективності у вирішенні завдань на ЕОМ. Неувага ж до цих особливостей нерідко призводить до помилкових результатів. [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]
Сторінки: 1 2 3 4