Об’єкт дослідження – процес логарифмічного контролю, що відбувається
при обробці наближених даних у помножувачі під дією кратних несправностей.
Предмет дослідження – достовірність методу логарифмічного контролю
наближених результатів у помножувачі під дією кратних несправностей.
Мета роботи – оцінка достовірності методу логарифмічного контролю
наближених даних для робочого діагностування матричного помножувача з
фіксованою точкоюв умовах дії кратних несправностей.
Методи досліджень базуються на теорії робочого діагностування
арифметичних пристроїв, прикладній теорії цифрових автоматів, теорії
ймовірностей, а також елементах теорії алгоритмів та математичної логіки.
Магістерська робота присвячена проблемі робочого діагностування
арифметичних пристроїв для обробки наближених даних. Сучасні методи робочого
діагностування, що розроблені для точних даних, мають низьку достовірність
контролю наближених результатів, ініціюючи розробку та аналіз нових методів
контролю. Проведено дослідження методу логарифмічного контролю щодо його
ефективності у виявленні кратних несправностей та оцінці достовірності
наближених результатів для матричного помножувача. Розроблені й верифіковані
алгоритми та програмна модель логарифмічного контролю матричного
помножувача під дією кратних несправностей. Досліджено ймовірності появи,
виявлення й пропуску суттєвих і несуттєвих помилок, а також достовірність
логарифмічного контролю наближених результатів порівняно до контролю за
модулем.
An object of research is process of the logarithm checking executed during
processing the approximate data in multiplier under the influence of multiple faults.
A subject of research is reliability of logarithm checking the approximate results in
multiplier under the influence of multiple faults.
A purpose of the work is evaluating the reliability of logarithm checking method
of the approximate results for on-line testing of iterative array fixed-point multiplier in
the conditions of action of multiple faults.
The methods of researches are based on on-line testing theory of arithmetic devices,
applied theory of digital machines, probabilities theory and elements of algorithm and
mathematical logic theory.
Master work is devoted to a problem of on-line testing the arithmetic devices for
processing the approximate data. Modern methods of on-line testing developed for the
exact data have low reliability of the checking the approximate results initiating the new
methods development. Research of the logarithm checking concerning its efficiency in
multiply faults detection and an evaluation of results reliability for fixed-point iterative
array multiplier is carried out. Algorithms and program model of the logarithm checking
the iterative array multiplier in condition of multiply faults are developed and tested up.
Probabilities of occurrence, detection and skipping both the essential and inessential
errors and reliability of logarithm checking the approximated results in comparison with
residue checking are investigated.
