##plugins.themes.bootstrap3.article.sidebar##
##plugins.themes.bootstrap3.article.main##
Анотація
Рассмотрены особенности рабочего диагностирования цифровых компонентов в системах критического применения, обеспечивающих функциональную безопасность объектов повышенного риска, включая криогенную технику. Показана целесообразность развития рабочего диагностирования для поразрядные конвейерных узлов цифровых компонентов. В рамках модели приближенных данных получили дальнейшее развитие методы контроля по неравенствам, обеспечивающие рабочее диагностирование поразрядных конвейеров. Предложены модели результата, служащие ему границами, в пределах которых результат определяется достоверным. Для трех типов поразрядных конвейерных умножителей определены модели доступа к данным в контроле.
Ключові слова:
Для цієї мови відсутні ключові слова
##plugins.themes.bootstrap3.article.details##
Як цитувати
Аль-Даби, М. М., Дрозд, А. В., Дрозд, М. О., & Николенко, И. Н. (2017). МЕТОДЫ РАБОЧЕГО ДИАГНОСТИРОВАНИЯ ДЛЯ ЦИФРОВЫХ КОМПОНЕНТОВ СИСТЕМ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ. Refrigeration Engineering and Technology, 53(1). https://doi.org/10.15673/ret.v53i1.540
Номер
Розділ
АВТОМАТИКА, КОМП’ЮТЕРНІ ТА ТЕЛЕКОМУНІКАЦІЙНІ ТЕХНОЛОГІЇ
Посилання
1. Yastrebenetsky M. A. (edit.). (2004). Safety of Nuclear Power Plants Instrumentation and Control Systems. Ukraine, Кyiv: Теchnika, 472 p.
2. Nicolaidis M., Zorian Y. (1998),On-Line Testing for VLSI – a Compendium of Approaches. Electronic Testing: Theory and Application (JETTA). Journal of Electronic Testing: Theory and Applications. vol. 12, pp. 7-20.
3. Drozd M., Drozd A. (2014). Safety-Related Instrumentation and Control Systems and a Problem of the Hidden Faults. Proceedings of the 10th Inter-national Conference on Digital Technologies (DT’2014). – Zhilina, Slovak Republic, P. 137-140.
4. Drozd J., Drozd A., Antoshchuk S., Kushnerov A., Nikul V. (2015). Effectiveness of Matrix and Pipeline FPGA-Based Arithmetic Components of Safety-Related Systems. Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Warsaw, Poland, pp. 785-789.
5. Abramovici M., Breuer M.A., Friedman A.D. (1990). Digital Systems Testing and Testable Design. Wiley-IEEE Press, New York, 652 p.
6. Drozd J., Drozd A., Antoshchuk S. (2017). Green IT engineering in the view of resource-based approach. In book: Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, V. Kharchenko, Y. Kondratenko, J. Kacprzyk (Eds.), vol. 74. Berlin, Heidelberg: Springer International Publishing, pp. 43–65.
7. Goldberg D. (1991). What Every Computer Sci-entist Should Know About Floating-Point Arithmetic. ACM Computer Surveys. vol. 23, no 1, pp. 5-18.
8. Sparmann U., Reddy S.M. (1996). On the Effectiveness of Residue Code Checking for Parallel Two’s Complement Multipliers. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. Vol. 4, No. 2, pp. 227-239.
9. Drozd A., Antoshchuk S. (2011). New online testing methods for approximate data processing in the computing circuits. Proceedings of IEEE 6th International Conference on Intelligent Data Acquisi-tion and Advanced Computing Systems: Technology and Applications. Prague, Czech Republic, pp. 15-17.
10. Drozd A., Lobachev M., Drozd J. (2006). The problem of on-line testing methods in approximate data processing. Proceedings of 12th IEEE Interna-tional On-Line Testing Symposium. Como, Italy, pp. 251-256.
11. IEEE Std 754™-2008 (Revision of IEEE Std 754-1985) IEEE Standard for Floating-Point Arithmetic. IEEE 3 Park Avenue New York, NY 10016–5997, USA, 2008.
12. Drozd A., Sitnikov V. (2004). An on-line testing method for a digit by digit pipeline multiplier with truncated calculations. East-West Design & Test. Proceedings of the Conference. Yalta-Alushta, Ukraine, pp. 76-82.
13. Delphi 10 Seattle: Embarcadero. [Electronic source]. Access: https://www.embarcadero.com/ru/products/delphi.
2. Nicolaidis M., Zorian Y. (1998),On-Line Testing for VLSI – a Compendium of Approaches. Electronic Testing: Theory and Application (JETTA). Journal of Electronic Testing: Theory and Applications. vol. 12, pp. 7-20.
3. Drozd M., Drozd A. (2014). Safety-Related Instrumentation and Control Systems and a Problem of the Hidden Faults. Proceedings of the 10th Inter-national Conference on Digital Technologies (DT’2014). – Zhilina, Slovak Republic, P. 137-140.
4. Drozd J., Drozd A., Antoshchuk S., Kushnerov A., Nikul V. (2015). Effectiveness of Matrix and Pipeline FPGA-Based Arithmetic Components of Safety-Related Systems. Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Warsaw, Poland, pp. 785-789.
5. Abramovici M., Breuer M.A., Friedman A.D. (1990). Digital Systems Testing and Testable Design. Wiley-IEEE Press, New York, 652 p.
6. Drozd J., Drozd A., Antoshchuk S. (2017). Green IT engineering in the view of resource-based approach. In book: Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, V. Kharchenko, Y. Kondratenko, J. Kacprzyk (Eds.), vol. 74. Berlin, Heidelberg: Springer International Publishing, pp. 43–65.
7. Goldberg D. (1991). What Every Computer Sci-entist Should Know About Floating-Point Arithmetic. ACM Computer Surveys. vol. 23, no 1, pp. 5-18.
8. Sparmann U., Reddy S.M. (1996). On the Effectiveness of Residue Code Checking for Parallel Two’s Complement Multipliers. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. Vol. 4, No. 2, pp. 227-239.
9. Drozd A., Antoshchuk S. (2011). New online testing methods for approximate data processing in the computing circuits. Proceedings of IEEE 6th International Conference on Intelligent Data Acquisi-tion and Advanced Computing Systems: Technology and Applications. Prague, Czech Republic, pp. 15-17.
10. Drozd A., Lobachev M., Drozd J. (2006). The problem of on-line testing methods in approximate data processing. Proceedings of 12th IEEE Interna-tional On-Line Testing Symposium. Como, Italy, pp. 251-256.
11. IEEE Std 754™-2008 (Revision of IEEE Std 754-1985) IEEE Standard for Floating-Point Arithmetic. IEEE 3 Park Avenue New York, NY 10016–5997, USA, 2008.
12. Drozd A., Sitnikov V. (2004). An on-line testing method for a digit by digit pipeline multiplier with truncated calculations. East-West Design & Test. Proceedings of the Conference. Yalta-Alushta, Ukraine, pp. 76-82.
13. Delphi 10 Seattle: Embarcadero. [Electronic source]. Access: https://www.embarcadero.com/ru/products/delphi.