Мохамад З. . Метод і засоби логарифмічного контролю обчислювальних пристроїв для обробки мантис чисел із плаваючою точкою

Дисертація присвячена питанням робочого діагностування сучасних обчислювальних пристроїв для обробки мантис чисел із плаваючою точкою. Розроблено метод логарифмічного контролю арифметичних операцій над мантисами в матричних обчислювальних пристроях. Виявлено природну інформаційну збитковість форматів із плаваючою точкою. Визначено контрольний код мантиси та контрольні співвідношення для перевірки операцій зсуву, додавання, множення та ділення мантис. Розроблено засоби логарифмічного контролю обчислювальних пристроїв для обробки мантис. Складність контрольних обчислень знижена в 1,5 ? 6 разів у порівнянні з контролем за модулем. Метод виключає виявлення помилок у розрядах, що відкидаються при округленні мантис чисел.