№3(78), июль – сентябрь 2017

Рассматриваются особенности функционирования системы регистрации информационных сигналов измерительного резонаторного датчика на основе АПЧ СВЧ генератора с меняющимися параметрами эталона. Приводятся уравнения, описывающие работу системы, а также расчетные соотношения. Проводится анализ режимов работы.
УДК 621.385.6
Особливості функціонування системи АПЧ вимірювального генератора при формуванні первинних інформаційних сигналів резонаторного датчика / І.М. Бондаренко, Ю.С. Васильєв // Радіоелектроніка та інформатика. 2017. № 3. С. 4-8.
Проведено дослідження та аналіз можливих режимів функціонування системи формування сигналів вимірювальної інформації на основі АПЧ НВЧ генератора із змінними параметрами частотного еталону – вимірювального резонаторного перетворювача. Наведені співвідношення, що описують систему, яка розглядається, проведено якісний аналіз особливостей впливу її режимів на корисні інформаційні сигнали.
Іл.6. Бібліогр. 9 назв.
UDC 621.385.6
Features of functioning of the AFC system of the meas-uring generator with the formation of the primary information signals from a resonator sensor / I.N. Bondarenko, U.S. Vasiliev // Radioelektronika i informat-ika. 2017. N 3. P. 4-8.
The study and analysis of possible operation modes of the system of the measuring information signals forming on the basis of AFC system of the microwave generator with variable parameters of the frequency standart – resonator measuring transducer are carried out. The rela-tions describing the system that is considered are given, a qualitative analysis of the peculiarities of the influence of its modes on useful information signals performed.
Fig. 6. Ref.: 9 items.
Литература:
1. Chen L.F., Ong C.K., Neo C.P., Varadan V.V., Varadan V.K. Microwave Electronics. Measure-ments and Materials Characterization. John Wiley & Sons, Ltd., 2004. 537p.
2. Rosner B., Van der Weide D.W. High-frequency nearfield microscopy // Review of Scientific Instruments, 2002. V. 73, N7. P. 2505-2525.
3. Steinhauer D.E., Vlahacos C.P., Dutta S.K., Feenstra B.J., Wellstood F.S., Anlage S.M. Quantitative imaging of sheet resistance with a scanning near-field microwave microscope // Appl. Phys. Lett., 1998. V. 72, N7. P. 861-863.
4. Anlage S.M., Steinhauer D.E., Vlahacos C.P., Feenstra B.J., Thanawalla A.S., Wensheng Hu, Dutta S.K., Wellstood F.S. Superconducting material diagnostics using a scanning near-field microwave microscope // IEEE Trans. on Appl. Superconductivity, 1999. Vol. 9, N2. P. 4127-4132.
5. Imtiaz Atif, Anlage S.M. Effect of tip geometry on contrast and spatial resolution of nearfield microwave microscope // Jorn. of Appl. Phys., 2006, 100, 044304.
6. Бондаренко И.Н., Гордиенко Ю.Е., Ларкин С.Ю. Формирование сигналов сканирования в микро-волновой микроскопии с резонаторным микрозондом // Радиотехника. 2009. Вып. 158. С. 59-67.
7. Бондаренко И.Н., Гордиенко Ю.Е., Ларкин С.Ю. Применение системы АПЧ измерительного генератора в микроволновой сканирующей микроскопии // Радиоэлектроника и информатика. 2009. № 3. С. 3-6.
8. Каганов В.И. Системы автоматического регулирования в ра-диопередатчиках. М.: Связь, 1969. 232с.
9. Бычков С.И., Буренин Н.И., Сафаров Р.Т. Стабилизация часто-ты генераторов СВЧ. М.: Советское радио, 1962. 376с.
Transliterated bibliography:
1. Chen L.F., Ong C.K., Neo C.P., Varadan V.V., Varadan V.K. Microwave Electronics. Measurements and Materi-als Characterization. John Wiley & Sons, Ltd., 2004. 537p.
2. Rosner B., Van der Weide D.W. High-frequency near-field microscopy // Review of Scientific Instruments, 2002, v. 73, N7, p. 2505-2525.
3. Steinhauer D.E., Vlahacos C.P., Dutta S.K., Feenstra B.J., Wellstood F.S., Anlage S.M. Quantitative imaging of sheet resistance with a scanning near-field microwave microscope // Appl. Phys. Lett., 1998, v. 72, N7, pp. 861-863.
4. Anlage S.M., Steinhauer D.E., Vlahacos C.P., Feenstra B.J., Thanawalla A.S., Wensheng Hu, Dutta S.K., Well-stood F.S. Superconducting material diagnostics using a scanning near-field microwave microscope // IEEE Trans. on Appl. Superconductivity, 1999, vol. 9, N2, pp. 4127-4132.
5. Imtiaz Atif, Anlage S.M. Effect of tip geometry on con-trast and spatial resolution of near-field microwave mi-croscope // Jorn. of Appl. Phys., 2006, 100, 044304.
6. Bondarenko I.N., Gordienko Yu.E., Larkin S.Yu. Formi-rovanie signalov skanirovaniya v mikro-volnovoj mikroskopii s rezonatornym mikrozondom // Radio-tekhnika. Vseukr. mezhved. nauch.-tekhn. sb., 2009, vyp. 158, s. 59-67.
7. Bondarenko I.N., Gordienko Yu.E., Larkin S.Yu. Prime-nenie sistemy APCh izmeritel'nogo generatora v mikro-volnovoj skaniruyushchej mikroskopii // Radioelektroni-ka i informatika. 2009. № 3. s. 3-6.
8. Kaganov V.I. Sistemy avtomaticheskogo regulirovani-ya v radioperedatchikah. M.: Svyaz', 1969. 232 s.
9. Bychkov S.I., Burenin N.I., Safarov R.T. Stabilizaciya chastoty generatorov SVCh. M.: Sovetskoe radio, 1962. 376 s.
Бондаренко Игорь Николаевич, д-р физ.-мат. наук, профессор, зав. кафедрой микроэлектроники, элек-тронных приборов и устройств ХНУРЭ. Научные ин-тересы: техника СВЧ, бесконтактные методы диагно-стики, криогенная радиофизика. Адрес: Украина, 61166, Харьков, пр. Науки, 14, тел. (057)702-13-62.
Васильев Юрий Сергеевич, ассистент кафедры мик-роэлектроники, электронных приборов и устройств ХНУРЭ. Научные интересы: техника СВЧ, бесконтактные методы диагностики. Адрес: Украина, 61166, Харьков, пр. Науки, 14, тел. (057)702-13-62.
Bondarenko Igor Nikolaevich, Doctor of Physical and Mathematical Sciences, Professor, Head of Department of Microelectronics, Electronic Devices and Devices of KNURE. Scientific interests: microwave technology, con-tactless diagnostic methods, cryogenic radiophysics. Ad-dress: Ukraine, 61166, Kharkov, Science, 14, tel. (057) 702-13-62.
Vasiliev Yuri Sergeevich, assistant of the department of microelectronics, electronic devices and devices of KNURE. Scientific interests: microwave technology, un-constrained diagnostic methods. Address: Ukraine, 61166, Kharkov, Science, 14, tel. (057) 702-13-62.

Розглядається застосування проекційного методу Бубнова-Гальоркіна до початково-крайової задачі для нестаціонарного рівняння теплопровідності з нелокальною умовою. Для таких задач важливим є питання про вибір координатних функцій, на яке ми намагаємося дати відповідь.

УДК 517.95:519:633

Підхід до розв’язання нестаціонарних задач математичної фізики з нелокальними умовами / Т.В. Дуба, С.В. Колосова // Радіоелектроніка та інформатика. 2017. № 3. С. 9-11.

Розроблено метод чисельного аналізу для початково-крайової задачі теорії теплопровідності з нелокальною крайовою умовою. Застосування методу Бубнова-Гальоркіна дозволило отримати розв’язок у аналітичному вигляді. Надана пропозиція про вибір координатних функцій для задач з нелокальними умовами.

Іл. 3. Бібліогр.: 5 назв.

UDC 517.95:519.633

Аlgorithm for solution for non-stationary problems of mathematical physics with the non-local conditions / T.V. Duba, S.V. Kolosova // Radioelektronika i informatika. 2017. N 3. P. 9-11.

In this paper we apply the Bubnov-Galjorkin’s method to solve the initial boundary value problem for non-stationary partial differential equations of parabolic type with a non-local condition. The proposed algorithm allows to get a solution in an analytical kind. The supposition for the choise of the coordinate functions is suggested.

Fig. 3. Ref.: 5 items.

Література: 1. Ионкин Н.И. Решение одной краевой задачи теории теплопроводности с неклассическими краевыми условиями // Дифференциальные уравнения. 1977. Т. 13. № 2. С. 294-304. 2. Будак Б.М., Самарский А.А., Тихонов А.Н. Сборник задач по математической физике. М.: Физматлит, 2004. 688 с. 3. Михлин С.Г. Вариационные методы в математической физике. М.: Наука, 1970. 512 с. 4. Савула Я.Г. Числовий аналіз задач математичної фізики варіаційними методами. Львів: видавничий центр ЛНУ ім. І. Франка, 2004. 221 с. 5. Михлин С.Г. Численная реализация вариационных методов. М.: Наука, 1966. 432 с.
Transliterated bibliography:

1. IonkinN.I. Reshenieodnojkraevoj zadachi teoriiteploprovodnosti s neklassicheskimi kraevymi usloviyami // Differencial' nyeuravneniya. 1977. T. 13. № 2. S. 294-304.

2. Budak B.M., Samarskij A.A., Tihonov A.N. Sbornikzadachpo matematicheskoj  M.: Fizmatlit, 2004. 688 s.

3. Mihlin S.G.Variacionnye metody v matematicheskoj fizike. M.: Nauka, 1970. 512 s.

4. Savula Ya. H. Chyslovyyanalizzadach matematychnoyifizyky variatsiynymy metodamy. L'viv: vydavnychyytsentr LNU im. I. Franka, 2004. 221 s.

5. Mihlin S.G. Chislennayarealizaciyavariacionnyh metodov. M.: Nauka, 1966. 432 s.

Надійшла до редколегії 18.04.2017

Рецензент: д-р физ.-мат. наук, проф. Колосов А.И.

Дуба Тетяна Вікторівна, ст. гр. ПМ-13-1 ф-ту інформаційно-аналітичних технологій і менеджменту ХНУРЕ. Наукові інтереси: математична фізика, математичне моделювання, чисельні методи. Захоплення та хобі: мистецтво та література. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. (096) 2425488.

Колосова Світлана Василівна, канд. фіз.-мат. наук, проф. кафедри прикладної математики ХНУРЕ. Наукові інтереси: математичне моделювання, чисельні методи математичної фізики. Захоплення на хобі: театр, мистецтво та література. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. (057) 7021423.

DubaTetyanaVictorivna, Student,gr. PM-13-1 Faculty of information and analytical technologies and management, Kharkiv National University of Radioelectronics. Scientific interests: mathematical physics, mathematical modeling, numerical methods. Hobbies and Hobbies: Arts and Literature. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14, tel. (096) 2425488.

Kolosova Svetlana Vasylivna, PhD, prof., Department of Applied Mathematics, KNURE. Scientific interests: mathematical modeling, numerical methods of mathematical physics. Hobbies: theater, art and literature. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14, tel. (057) 7021423.

Розглядається імплементація одного з основних методів зменшення антропогенного впливу екологічно небезпечних об’єктів на навколишнє середовище – раціонального розміщення джерел забруднення. Описується оптимізаційна математична модель розміщення пожежонебезпечних об’єктів з мінімізацією величини концентрації забруднюючих домішок у множині точок контролю та ідеологія чисельного методу розв’язання задачі. Проводяться чисельні експерименти.

УДК 519.713

Оптимізація розміщення екологічно небезпечних об’єктів / І.А. Чуб // Радіоелектроніка та інформатика. 2017. № 3. С.12-14.

Проведено моделювання можливої просторової форми та визначені метричні характеристики зони забруднення земної поверхні викидами пожежі. Показано, що можлива зона забруднення моделюється восьмикутником, кожна з вершин якого відповідає одному з напрямків частин світу. Розрахунок ліній рівних концентрацій проведено на основі середньорічного значення швидкості вітру в межах регіону, що розглядається,  по кожному з напрямків. Запропоновано наближений метод розв'язання оптимізаційної задачі розміщення пожежонебезпечних об'єктів у заданій області з урахуванням впливу небезпечних чинників можливої пожежі на навколишнє середовище та кліматичних умов. Проведено чисельне дослідження задачі на прикладі об’єктів реальної економіки.

Табл. 2. Іл. 2. Бібліогр.: 4 назви.

UDC 519.713

Optimization placement of environmentally hazardous facilities / I.A. Chub // Radioelektronika i informatika. 2017. N 3. P. 12-14.

We develop the model of possible spatial form of earth's surface area being polluted with fire emissions and determine metric characteristics of this zone. It is shown that the possible contamination zone may be adequately modeled by octagon, each vertex of which corresponds to one of the points of the compass. To calculate equal concentration levels of pollution we apply values of annual average wind speed in the region in question for each one of the points. An approximation method for solving the constrained optimization problem on placement of flammable objects in a given placement area taking into account the influence of possible fire hazards to the environment and climatic conditions has been presented. A numerical study of the problem in case of objects of the real economy has been performed.

Tab. 2. Fig. 2. Ref.: 4 items.

Література: 1. Ветошкин А.Г. Основы инженерной защиты окружающей среды. М.: Инфра-Инженерия, 2016. 456 с. 2. Стоян Ю. Г., Яковлев С.В. Математические модели и оптимизационные методы геометрического проектирования. К.: Наук. думка, 1986. 267 с. 3. Новожилова М.В., Чуб І.А. Условия размещения экологически опасного объекта с учетом изменения геометрических характеристик области возможного загрязнения // Науковий вісник будівництва. 2009. № 54. С. 240-244. 4. Чуб И.A., Новожилова М.В., Андронов В.А. Моделирование размещения пожароопасных объектов: минимизация загрязнения атмосферы. Харків: ІД ІНЖЕК. 2012. 133 с.

Transliterated bibliography:

1. Vetoshkin A.G. Osnovyi inzhenernoy zaschityi okruzhayuschey sredyi. M.: Infra-Inzheneriya, 2016. 456 s.
2. Stoyan Yu. G., Yakovlev S.V. Matematicheskie modeli i optimizatsionnyie metodyi geometricheskogo proektirovaniya. K.: Nauk. dumka, 1986. 267 s.
3. Novozhilova M.V., Chub I.A. Usloviya razmescheniya ekologicheski opasnogo ob'ekta s uchetom izmeneniya geometricheskih harakteristik oblasti vozmozhnogo zagryazneniya // Naukoviy vIsnik budIvnitstva. 2009. # 54. S. 240-244.
4. Chub I.A., Novozhilova M.V., Andronov V.A. Modelirovanie razmescheniya pozharoopasnyih ob'ektov: minimizatsiya zagryazneniya atmosferyi. HarkIv: ID INZhEK. 2012. 133 s.

 

Чуб Ігор Андрійович, д-р техн. наук, професор, начальник кафедри пожежної профілактики в населених  пунктах Національного університету цивільного захисту України, м. Харків. Наукові інтереси: математичне моделювання, оптимізація структури та функціонування складних організаційно-технічних систем. Адреса: Україна, 61000, Харків, вул. Чернишевська, 94, тел. (057) 707-34-13.

Chub Igor Andreevich, Dr. of Tech. Sciences, professor, head of department, fire prevention in settlements department,  National University of Civil Defense, Ukraine, Kharkiv. Scientific interests: mathematical modeling and optimization of the structure and functioning of complex organizational and technical systems. Address: Ukraine, 61000, Kharkov, street Chernyshevskaya, 94, tel. (057) 707-34-13.

Предлагается разработанный авторами статьи способ построения систем функционального контроля логических схем автоматики и вычислительной техники на основе метода логического дополнения по равновесному коду «1 из 5». Приводится общий подход к построению систем функционального контроля методом логического дополнения. Описываются базовые структуры систем функционального контроля на основе логического дополнения по равновесному коду «1 из 5». Даются формулы вычисления контрольных функций дополнения, позволяющие решить задачу формирования полного множества тестовых комбинаций для тестера кода «1 из 5». Отмечаются особенности реализации систем функционального контроля по разработанному способу с условием обеспечения свойства полной самопроверяемости структуры. Даются результаты экспериментов по применению разработанного способа при организации систем диагностирования контрольных комбинационных схем из набора MCNC Benchmarks.

УДК 681.518.5:004.052.32

Спосіб побудови системи функціонального контролю на основі логічного доповнення по рівноважному  коду «1 з 5» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Єфанов, Д.В. Пивоваров // Радіоелектроніка та інформатика. 2017. № 3. С. 15-22.

Описано спосіб формування системи паралельного виявлення помилок (CED) логічних схем автоматизації та обчислювальної техніки на основі використання методу булевих доповнень з кодом постійної маси «1 з 5», який вони розробили. Наведено загальний підхід до формування систем CED з використанням методу булевих доповнень. Описано основні структури CED-систем на основі методу логічних доповнень з кодом з постійним вагою «1 з 5». Наведено результати експериментів щодо застосування описаного підходу для організації CED тестових схем з набору MCNC Benchmarks.

Табл. 1. Іл. 4. Бібліогр.: 42 назв.

UDC 681.518.5:004.052.32

Way of formation of concurrent error detection system based on Boolean complement with “1-out-of-5” code
/ V.V. Sapozhnikov, Vl.V. Sapozhnikov, D.V. Efanov, D.V. Pivovarov // Radioelektronika i informatika. 2017. N 3. P. 15-22.

Authors describe the way of formation of concurrent error detection (CED) system of automation and computer engineering logical circuits based on the use of Boolean complement method with constant-weight code “1-out-of-5” they developed. The general approach to the formation of CED systems with Boolean complement method is adduced. Basic structures of CED systems based on logical complement method with constant-weight code “1-out-of-5” are described. Authors adduce results of the experiments of application of described approach for the organization of CED of test circuits from MCNC Benchmarks set.

Tab. 1. Fig. 4. Ref.: 42 items.

Литература: 1. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства). М.: Энергоатомиздат, 1981. 320 с. 2. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. 208 с. 3. Дрозд А.В., Харченко В.С., Антощук С.Г., Дрозд Ю.В., Дрозд М.А., Сулима Ю.Ю. Рабочее диагностирование безопасных информационно-управляющих систем // Под ред. А.В. Дрозда и В.С. Харченко. Харьков: Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012, 614 с. 4. Kharchenko V., Kondratenko Yu., Kacprzyk J. Green IT Engineering: Concepts, Models, Complex Systems Architectures // Springer Book series "Studies in Systems, Decision and Control", Vol. 74, 2017, 305 p. DOI: 10.1007/978-3-319-44162-7.5. Nicolaidis M., Zorian Y. On-Line Testing for VLSI – А Compendium of Approaches // Journal of Electronic Testing: Theory and Application, 1998, Vol. 12, issue 1-2. Р. 7-20. DOI: 10.1023/A:1008244815697.6. Mitra S., McCluskey E.J. Which Concurrent Error Detection Scheme to Сhoose? // Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, 03-05 October 2000. Р. 985-994.7. Berger J.M. А Note on Error Detecting Codes for Asymmetric Channels // Information and Control, 1961, Vol. 4, issue 1, pp. 68-73. DOI: 10.1016/S0019-9958(61)80037-5. 8. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. 111 p.9.Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications // New Jersey: John Wiley & Sons, 2006. 720 p.10. Lala P.K. Principles of Modern Digital Design. New-Jersey: John Wiley & Sons, 2007. 436 p.11.Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Взвешенные коды с суммированием для организации контроля логических устройств // Электронное моделирование. 2014. Том 36, №1. С. 59-80. 12. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О кодах с суммированием единичных разрядов в системах функционального контроля // Автоматика и телемеханика. 2014. №8. С. 131-145. 13. Freiman C.V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels // Information and Control, 1962. Vol. 5. P. 64-71. DOI: 10.1016/S0019-9958(62)90223-1. 14.Borden J.M. Optimal Asymmetric Error Detection Codes // Information and Control, 1982. Vol. 53, issue 1-2. P. 66-73. DOI: 10.1016/S0019-9958(82)91125-1.15.Tallini L., Merani L, Bose B. Balanced Codes for Noise Reduction in VLSI System // Dig. Pap. 24^th International FTC Symposium, Austin, TX, June 15-17, 1994. Р. 212-218. 16. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors // Journal of Electronic Testing: Theory and Applications, 1994, Vol. 5, issue 5. Р. 19-28. 17. Das D., Touba N.A. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes”, Journal of Electronic Testing: Theory and Applications, 1999. Vol. 15, Issue 1-2. Р. 145-155. DOI: 10.1023/A:1008344603814. 18. Das D.,  Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proceedings of the 6th IEEE International On-Line Testing  Workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000.Р. 171-176. DOI: 10.1109/OLT.2000.856633. 19. Ubar R., Raik J., Vierhaus H.-T. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source) // Information Science Reference, Hershey – New York, IGI Global, 2011. 578 p. 20. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Modular Sum Code in Building Testable Discrete Systems // Proceedings of 13th IEEE East-West Design & Test Symposium (EWDTS`2015), Batumi, Georgia, September 26-29, 2015. Р. 181-187. DOI: 10.1109/EWDTS.2015.7493133. 21 .Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1. Dordrecht: Springer Science+Business Media B.V. 2008. 184 p. 22. Сапожников В.В., Сапожников Вл.В. Самопроверяемые дискретные устройства. СПб: Энергоатомиздат, 1992. 224 с. 23. Гессель М., Морозов А.В., Сапожников В.В., Сапожников Вл.В.Логическое дополнение – новый метод контроля комбинационных схем // Автоматика и телемеханика. 2003. №1. С. 167-176. 24. Гессель М., Морозов А.В., Сапожников В.В., Сапожников Вл.В.Контроль комбинационных схем методом логического дополнения // Автоматика и телемеханика. 2005. №8. С. 161-172. 25. Carter W.C., Duke K.A., Schneider P.R. Self-Checking Error Checker for Two-Rail Coded Data // United States Patent Office, filed July 25, 1968, ser. No. 747,533, patented Jan. 26, 1971, N. Y. 10 p. 26. Huches J.L.A., McCluskey E.J., Lu D.J. Design of Totally Self-Checking Comparators with an Arbitrary Number of Inputs // IEEE Transactions on Computers. 1984. Vol. C-33. No. 6. P. 546-550. 27. Saposhnikov V.V., Morozov A., SaposhnikovVl.V., Goessel M. Concurrent Checking by Use of Complementary Circuits for «1-out-of-3» Codes // 5th International Workshop IEEE DDECS 2002, Brno, Czech Republic, April 17-19, 2002.28.Сапожников В.В., Сапожников Вл.В. О синтезе полностью самопроверяемых комбинационных схем // Известия Петербургского университета путей сообщения. 2006. №.1 С. 97-110. 29. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes // Proceedings of the 10<sup>th</sup> International Workshops on Boolean Problems, Freiberg, Germany, September, 2012.P. 33-40.30.Efanov D., Sapozhnikov V., Sapozhnikov Vl. Methods of Organization of Totally Self-Checking Concurrent Error Detection System on the Basis of Constant-Weight «1-out-of-3»-Code // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. P. 117-125. OI: 10.1109/EWDTS.2016.7807622. 31. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» // Электронное моделирование. 2016. Том 38. № 6. С. 25-43. 32. Sen S.K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don’t Cares // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010.33.Saposhnikov V.V., SaposhnikovVl.V., Morozov A., Osadtchi G., Gossel M. Design of Totally Self-Checking Combinational Circuits by Use of Complementary Circuits // Proceedings of East-West Design & Test Workshop, Yalta, Ukraine, 2004. P. 83-87. 34. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Пивоваров Д.В. Метод логического дополнения на основе равновесного кода «1 из 4» для построения полностью самопроверяемых структур систем функционального контроля // Электронное моделирование. 2017. Том 39. №2.35.Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Метод функционального контроля комбинационных логических устройств на основе кода «2 из 4» // Известия вузов. Приборостроение, 2016, Т. 59, №7, С. 524-533. DOI 10.17586/0021-3454-2016-59-7-524-533. 36. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Concurrent Error Detection of Combinational Circuits by the Method of Boolean Complement on the Base of «2-out-of-4» Code // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. P. 126-133. DOI: 10.1109/EWDTS.2016.7807677. 37. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Построение самопроверяемых структур систем функционального контроля на основе равновесного кода «2 из 4» // Проблемы управления. 2017. №1. С. 57-64. 38. Аксёнова Г.П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю два // Автоматика и телемеханика. 1979. № 9. С. 126-135.39.Сапожников В.В., Рабара В.  Универсальный алгоритм синтеза 1/n-тестеров // Проблемы передачи информации. 1982. Том. 18, №3. С. 62-73. 40. Collection of Digital Design Benchmarks [Режимдоступа:   http://ddd.fit.cvut.cz/prj/Benchmarks/]. 41. Yang S. Logic Synthesis and Optimization Benchmarks: User Guide: Version 3.0. – Microelectronics Center of North Carolina (MCNC), 1991. 88 p. 42. SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. 45 p.

Transliterated bibliography:

1. Parhomenko P.P., Sogomonyan E.S. Osnovyi tehnicheskoy diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnyie sredstva). M.: Energoatomizdat, 1981, 320 s.

2.Sogomonyan E.S., Slabakov E.V. Samoproveryaemyie ustroy-stva i otkazoustoychivyie sistemyi. M.: Radio i svyaz, 1989. 208 s.

3. Drozd A.V., Harchenko V.S., Antoschuk S.G., DrozdYu.V., Drozd M.A., SulimaYu.Yu. Rabochee diagnostirovanie bez-opasnyih informatsionno-upravlyayuschihsistem // Podred. A.V. Drozda i V.S. Harchenko. Harkov: Natsionalnyiy aero-kosmicheskiy N.E. Zhukovskogo «HAI», 2012, 614 s.

4.Kharchenko V., Kondratenko Yu.,Kacprzyk J. Green IT Engineering: Concepts, Models, Complex Systems Architectures // Springer Book series "Studies in Systems, Decision and Control", Vol. 74, 2017, 305 p. DOI: 10.1007/978-3-319-44162-7.

5.Nicolaidis M., ZorianY. On-Line Testing for VLSI – А Compendium of Approaches // Journal of Electronic Testing: Theory and Application, 1998, Vol. 12, issue 1-2, pp. 7-20. DOI: 10.1023/A:1008244815697.

6.Mitra S., McCluskey E.J. Which Concurrent Error Detection Scheme to Сhoose? // Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, 03-05 October 2000, pp. 985-994.

7.Berger J.M. А Note on Error Detecting Codes for Asymmetric Channels // Information and Control, 1961, Vol. 4, issue 1, pp. 68-73. DOI: 10.1016/S0019-9958(61)80037-5.

8.Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wrocław: OficynaWydawniczaPolitechnikiWrocłavskiej, 1995, 111 p.

9.Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications // New Jersey: John Wiley & Sons, 2006, 720 p.

10.Lala P.K. Principles of Modern Digital Design. New-Jersey: John Wiley & Sons, 2007, 436 p.

11.Sapozhnikov V.V., SapozhnikovVl.V., Efanov D.V.Vzve-shennyiekodyi s summirovaniem dlya organizatsii kontrolya logicheskih ustroystv // Elektronnoe modelirovanie. 2014. Tom 36. #1. S. 59-80.

12.Blyudov A.A., Efanov D.V., Sapozhnikov V.V., Sapozhni-kovVl.V. O kodah s summirovaniem edinichnyih razryadov v sistemah funktsionalnogo kontrolya // Avtomatika i tele-mehanika. 2014. #8. S. 131-145.

13.Freiman C.V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels // Information and Control, 1962, vol. 5, pp. 64-71. DOI: 10.1016/S0019-9958(62)90223-1.

14.Borden J.M. Optimal Asymmetric Error Detection Codes // Information and Control, 1982, vol. 53, issue 1-2, pp. 66-73. DOI: 10.1016/S0019-9958(82)91125-1.

15.Tallini L., Merani L, Bose B. Balanced Codes for Noise Reduction in VLSI System // Dig. Pap. 24^th International FTC Symposium, Austin, TX, June 15-17, 1994, pp. 212-218.

16.Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors // Journal of Electronic Testing: Theory and Applications, 1994, Vol. 5, issue 5, pp. 19-28.

17.Das D., Touba N.A. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes”, Journal of Electronic Testing: Theory and Applications, 1999, Vol. 15, Issue 1-2, pp. 145-155. DOI: 10.1023/A:1008344603814.

18.Das D.,  Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proceedings of the 6th IEEE International On-Line Testing  Workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000, pp. 171-176. DOI: 10.1109/OLT.2000.856633.

19.Ubar R., Raik J., Vierhaus H.-T. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source) // Information Science Reference, Hershey – New York, IGI Global, 2011, 578 p.

20.Sapozhnikov V., Sapozhnikov Vl., Efanov D. Modular Sum Code in Building Testable Discrete Systems // Proceedings of 13th IEEE East-West Design & Test Symposium (EWDTS`2015), Batumi, Georgia, September 26-29, 2015, pp. 181-187. DOI: 10.1109/EWDTS.2015.7493133.

21.Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1. Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.

22.Sapozhnikov V.V., SapozhnikovVl.V.Samoproveryaemyie diskretnyie ustroystva. SPb: Energoatomizdat, 1992, 224 s.

23.Gessel M., Morozov A.V., Sapozhnikov V.V., SapozhnikovVl.V. Logicheskoedopolnenie – novyiy metod kontrolya kombinatsionnyihshem // Avtomatika i telemehanika. 2003. #1. S. 167-176.

24.Gessel M., Morozov A.V., Sapozhnikov V.V., SapozhnikovVl.V. Kontrol kombinatsionnyih shem metodom logicheskogo dopolneniya // Avtomatika i telemehanika. 2005. #8. S. 161-172.

25.Carter W.C., Duke K.A., Schneider P.R. Self-Checking Error Checker for Two-Rail Coded Data // United States Patent Office, filed July 25, 1968, ser. No. 747,533, patented Jan. 26, 1971, N. Y., 10 p.

26.Huches J.L.A., McCluskey E.J., Lu D.J. Design of Totally Self-Checking Comparators with an Arbitrary Number of Inputs // IEEE Transactions on Computers. 1984. Vol. C-33. No. 6. Pp. 546-550.

27. Saposhnikov V.V., Morozov A., SaposhnikovVl.V., Goessel M. Concurrent Checking by Use of Complementary Circuits for «1-out-of-3» Codes // 5th International Workshop IEEE DDECS 2002, Brno, Czech Republic, April 17-19, 2002.

28.Sapozhnikov V.V., SapozhnikovVl.V. O sintezepolno-styusamoproveryaemyihkombinatsionnyihshem // IzvestiyaPeterburgskogouniversitetaputeysoobscheniya. 2006. #.1 S. 97-110.

29.Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes // Proceedings of the 10^th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33-40.

30.Efanov D., Sapozhnikov V., Sapozhnikov Vl. Methods of Organization of Totally Self-Checking Concurrent Error Detection System on the Basis of Constant-Weight «1-out-of-3»-Code // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016, pp. 117-125. DOI: 10.1109/EWDTS.2016.7807622.

31.Sapozhnikov V.V., SapozhnikovVl.V., Efanov D.V.Po-stroenie polnostyu samoproveryaemyih struktur system funktsionalnogo kontrolya s ispolzovaniem ravnovesnogo koda «1 iz 3» // Elektronnoe modelirovanie. 2016. Tom 38. #6. S. 25-43.

32.Sen S.K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don’t Cares // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010.

33.Saposhnikov V.V., SaposhnikovVl.V., Morozov A., Osadtchi G., Gossel M. Design of Totally Self-Checking Combinational Circuits by Use of Complementary Circuits // Proceedings of East-West Design & Test Workshop, Yalta, Ukraine, 2004, pp. 83-87.

34.Sapozhnikov V.V., SapozhnikovVl.V., Efanov D.V., Pi-vovarov D.V. Metod logicheskogo dopolneniya naosnoverav-novesnogo koda «1 iz 4» dlya postroeniya polnostyu samopro-veryaemyih struktur sistem funktsionalnogo kontrolya // Elektronnoe modelirovanie. 2017. Tom 39. #2.

35.Sapozhnikov V.V., SapozhnikovVl.V., Efanov D.V. Metodfunktsionalnogokontrolyakombinatsionnyihlogicheskihustroystvnaosnovekoda «2 iz 4» // Izvestiyavuzov. Pribo-rostroenie, 2016, T. 59, #7, S. 524-533. DOI 10.17586/0021-3454-2016-59-7-524-533.

36.Sapozhnikov V., Sapozhnikov Vl., Efanov D. Concurrent Error Detection of Combinational Circuits by the Method of Boolean Complement on the Base of «2-out-of-4» Code // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016, pp. 126-133. DOI: 10.1109/EWDTS.2016.7807677.

37.Sapozhnikov V.V., SapozhnikovVl.V., Efanov D.V.Po-stroeniesamoproveryaemyihstruktursistemfunktsionalno-gokontrolyanaosnoveravnovesnogokoda «2 iz 4» // Proble-myiupravleniya. 2017. #1. S. 57-64.

38.Aksyonova G.P.Neobhodimyie i dostatochnyie usloviya postroeniya polnostyu proveryaemyih shem svertkipomodu-lyudva // Avtomatika i telemehanika. 1979. # 9. S. 126-135.

39.Sapozhnikov V.V., Rabara V.Universalnyiy algoritm sinteza 1/n-testerov // Problemy i peredachi informatsii. 1982. Tom. 18, #3. S. 62-73.

40.Collection of Digital DesignBenchmarks [Режимдоступа:  http://ddd.fit.cvut.cz/prj/Benchmarks/].

41.Yang S. Logic Synthesis and Optimization Benchmarks: User Guide: Version 3.0. Microelectronics Center of North Carolina (MCNC), 1991, 88 p.

42.SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992, 45 p.

 

Сапожников Валерий Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. Окончил Ленинградский институт инженеров железнодорожного транспорта в 1963 г. Научные интересы: надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем. Адрес: Россия, Санкт-Петербург, Московский пр., 9, тел.: +7 (812) 310-1097.

Сапожников Владимир Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. Окончил Ленинградский институт инженеров железнодорожного транспорта в 1963 г. Научные интересы: надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем. Адрес: Россия, Санкт-Петербург, Московский пр., 9, тел.: +7 (812) 310-0788.

Ефанов Дмитрий Викторович, канд. техн. наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. Окончил Петербургский государственный университет путей сообщения в 2007 г. Научные интересы: дискретная математика, надежность и техническая диагностика дискретных систем. Адрес: Россия, Санкт-Петербург, Московский пр., 9, тел.: +7 (812) 457-8579, +7 (911) 709-2164, email: TrES-4b@yandex.ru

Пивоваров Дмитрий Вячеславович, аспирант кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. Окончил Петербургский государственный университет путей сообщения в 2016 г. Научные интересы: дискретная математика, техническая диагностика дискретных систем. Адрес: Россия, Санкт-Петербург, Московский пр., 9, тел.: +7 (812) 457-8579, +7 (911) 772-5099, email: pivovarov.d.v.spb@gmail.com

 

Предлагается метод автоматического регулирования микроклимата и снижения энергопотребления в системах “Умный дом”, а также метод регулирования температуры воздуха в доме на основе ПИД регулятора. Выполяется программно-аппаратная реализация системы ПИД регулирования и расчетно-экспериментальный подбор коэффициентов для ПИД регулятора.

УДК 681.326

Вбудована система регулювання температури в «Розумному будинку» / І.В. Філіпенко, С. Е. Кондрюк, Г.К. Кулак // Радіоелектроніка та інформатика. 2017. № 3. С.23-27.

Представлений метод автоматичного регулюються-вання мікроклімату і зниження енергоспоживання в системах "Розумний будинок". Запропоновано метод регулювання температури повітря в будинку на основі ПІД регулятора. Виконано програмно-апаратну реалізацію системи ПІД регулюваннґ і розрахунково-експериментальний підбір коефі-цієнт для ПІД регулятора.

Іл. 4. Бібліогр.: 12 назв.

UDC 681.326

Temperature control system in “Smart Home”/ I.V. Filippenko, S.E. Kondriukov, G.K. Kulak // Radioelektronika i informatika. 2017. N 3. P.23-27.

The article presents a method of automatic regulation of the microclimate and reduction of energy consumption in the "Smart House" systems. A method for controlling the air temperature in a house based on a PID controller is proposed. The software and hardware implementation of the PID control system and the calculation and experimental selection of the coefficients for the PID controller were performed.

Fig. 4. Ref.: 12 items.

Литература: 1. Николаев П.Л. Архитектура интегрированной в облачную среду системы управления умным домом / П.Л. Николаев // Программные продукты и системы. Международный научно-технический журнал. 2015. №2(110). С.65-69. 2. Поляков К. Ю. Теория автоматического управления для чайников (часть 1) / К. Ю. Поляков: Санкт-Петербург, 2008. 80 с. 3. Шилов К.Е. Разработка системы автоматического управления беспилотным летательным аппаратом мультироторного типа / К. Е. Шилов // Математика, информатика, управление. Труды МФТИ. Том 6, № 4. 2014. С. 22-29. 4. Борисевич А. В. Теория автоматического управления: элементарное введение с применением MATLAB / А. В. Борисевич. СПб.: Изд-во Политехн. ун-та, 2011. 200 с. 5. Дорф Р. Современные системы управления / Р. Дорф, Р. Бишоп. М.: Бином, Лаборатория базовых знаний, 2004. 832 с. 6. Денисенко В.Д. ПИД-регуляторы: принципы построения и модификации. Ч. 1 // Современные технологии автоматизации. 2006. №4. С. 66-74. 7.Писарев, А. В. Сравнительные исследования расчетных методов определения параметров настроек промышленных ПИД-регуляторов / А.В. Писарев, С.И. Новиков // Энергетика и теплотехника. Сборник научных трудов. Вып. 11. НГТУ, 2007. С. 191-200. 8. Wen Tan. Comparison of some well-known PID tuning formulas / Wen. Tan. Jizhen Liu, Tongwen Chen, Horacio. J. Marquez // Computers and Chemical Engineering. 2006. № 30. Р. 1416-1423. 9. Astrom K. J. Advanced PID control / K. J. Astrom, T. Hagglund – ISA (The instrumentation, Systems and Automation Society), 2006. 460 p. 10.Белов А. В.Конструирование устройств на микроконтроллерах. / А. В. Белов. Спб.: Наука и техника, 2005. 256 с. 11. Гордон М. К. Радиоэлектроника для «чайников» / М. К. Гордон, Б. Эрл: Пер. с англ. М., 2007. 400 с. 12. Иго Т.Arduino, датчики и сети для связи устройств / Т. Иго: Пер. с англ. СПб.: БХВ-Петербург, 2015. 544с.

Transliterated bibliography:

1. Nikolaev P.L.Arhitektura integrirovannoy v oblachnuyu sredu sistemy I upravleniya umnyim domom / P.L. Nikolaev // Programmnyie produkty I isistemyi. Mezhdunarodnyi ynauchno-tehnicheskiy zhurnal #2(110). 2015. S. 65-69.
2. Polyakov K. Yu.Teoriya avtomaticheskogo upravleniya dlya chaynikov (chast 1) / K. Yu. Polyakov: Sankt-Peterburg, 2008. 80 s.
3. Shilov K.E. Razrabotka sistemyi avtomaticheskogo upravle-niya bespilotnyim letatelnyim apparatom multiro-tornogotipa / K. E. Shilov // Matematika, informatika, upravlenie. Trudyi MFTI. Tom 6, # 4. 2014. S. 22-29.
4. Borisevich A. V.Teoriya avtomaticheskogo upravleniya: elementarnoe vvedenie s primeneniem MATLAB / A. V. Borisevich. SPb.:Izd-vo Politehn. un-ta, 2011. 200 s.
5. Dorf R. Sovremennyie sistemyi upravleniya / R. Dorf, R. Bishop. M.: Binom, Laboratoriya bazovyih znaniy, 2004. 832 s.
6. Denisenko V.D. PID-regulyatoryi: printsipyi postroeniya I modifikatsii. Ch. 1 // Sovremennyie tehnologii avtomatizatsii. 2006. #4. S. 66-74.
7. Pisarev, A. V. Sravnitelnyie issledovaniya raschetnyih metodov opredeleniya parametrov nastroek promyishlennyih PID-regulyatorov / A.V. Pisarev, S.I. Novikov // Energetika I teplotehnika. Sbornik nauchnyih trudov. Vyip. 11. NGTU, 2007. S. 191-200.
8. Wen Tan. Comparison of some well-known PID tuning formulas / Wen. Tan. Jizhen Liu, Tongwen Chen, Horacio. J. Marquez // Computers and Chemical Engineering. 2006. # 30. R. 1416-1423.
9. Astrom K. J. Advanced PID control / K. J. Astrom, T. Hagglund – ISA (The instrumentation, Systems and Automation Society), 2006. 460 p.
10. Belov A. V.Konstruirovanieustroystvnamikrokontrollerah / A. V Belov. Spb.:Naukaitehnika, 2005. 256 s.
11. Gordon M. K. Radio-elektronikadlya «chaynikov» / M. K. Gordon, B. Erl: Per. s angl. M., 2007. 400 s.
12. Igo T. Arduino, datchiki I seti dlya svyazi ustroystv / T. Igo: Per. s angl. SPb.: BHV-Peterburg, 2015. 544 s.:

 

Филиппенко Инна Викторовна, канд. техн. наук, доцент кафедры АПВТ ХНУРЭ. Научные интересы: проектирование микроконтроллерных систем, сенсорных беспроводных систем. Адрес: Украина, 61166, Харьков, пр. Науки, 14.

Кондрюков Станислав Эдуардович, студент, кафедра АПВТ ХНУРЭ. Научные интересы: проектирование микроконтроллерных систем управления. Адрес: Украина, 61166, Харьков, пр. Науки, 14.

Кулак Георгий Константинович, ученик средней школы, кандидат в члены Малой академии наук Украины. Научные интересы: проектирование микроконтроллерных систем управления. Адрес: Украина, 61166, Харьков, пр. Науки, 14.

Filippenko Inna Victorovna, PhD, Associate Professor, Design Automation Department, Kharkov National University of Radioelectronics. Scientific interests: microcontroller systems design, sensor wireless systems. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14.

Kondriukov Stanislav Eduardovich, student, Design Automation Department, Kharkov National University of Radioelectronics. Scientific interests: microcontroller control systems design. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14.

Kulak Georgiy Konstantinovich, schoolboy, candidate member of the Small Academy of Sciences of Ukraine. Scientific interests: designing of microcontroller control systems. Address: Ukraine, 61166, Kharkov, science, 14.

Описываются квантовые компьютеры, которые могут решать проблемы, трудно разрешимые даже для самых мощных современных суперкомпьютеров. Они имеют потенциал для решения проблем в области материаловедения, химии и математики, которые далеко не подходят для суперкомпьютеров. Их мощность обусловлена использованием квантовых битов, которые могут одновременно существовать как в 0, так и в квантовом состоянии суперпозиции. Синтез кубических покрытий для цифровых систем является основополагающей парадигмой для квантового компьютинга [1,2].

Ключевые слова: кубит; квантовый компьютинг; синтез; цифровая система.

Key words: qubit; quantum computing; synthesis; digital system.

УДК 681.326:519.713

Синтез кубітних покриттів для цифрових систем / А.Г. Бояджян, А.С. Котляров // Радіоелектроніка та інформатика. 2017. № 3. С. 28-32.

Описано синтез кубічних покриттів для цифрових систем та реалізація обчислень на векторі за один такт. Запропонований алгоритм синтезу моделей. Виконаний синтез кубітних моделей цифрових схем та мінімізація кубітних покриттів на прикладі двох схем. Результати  успішно верифіковані.

Табл. 8. Іл. 4. Бібліогр.: 7 назв.

UDC 681.326:519.713

The qubit coverage synthesis for digital systems / A.G. Boiadzhian, А.S. Kotliarov // Radioelektronika i informatika. 2017. N 3. P. 28-32.

This work is dedicated to the study of the qubit coverage synthesis for digital systems and the implementation of calculations on a vector per one clock cycle. A synthesis algorithm model was proposed. A synthesis of qubit models of digital circuits and minimization of qubit coverages was performed using the example of two schemes. Results are successfully verified.

Tab. 8. Fig. 4. Ref.: 7 items.

Литература: 1. Almudever C. G., Lao TL., Fu X., Khammassi N.,  Ashraf I., Iorga D., Varsamopoulos S., Eichler C., Wallraff A., Geck L., Kruth A., Knoch J., Bluhm H., Bertels K. The engineering challenges in quantum computing // 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne, Switzerland. 27-31 March 2017. DOI: 10.23919/DATE.2017.7927104. 2. Lieven Vandersypen, Antoni van Leeuwenhoek. 1.4 Quantum computing - the next challenge in circuit and system design // Solid-State Circuits Conference (ISSCC), 2017 IEEE International. San Francisco, CA, USA. 5-9 February. 2017. DOI: 10.1109/ISSCC.2017.7870244.3. Jasmeet Singh, Mohit Singh. Evolution in Quantum Computing // System Modeling & Advancement in Research Trends (SMART), International Conference. Moradabad, India. 25-27 November 2016. DOI: 10.1109/SYSMART.2016.7894533.4. Travis S. Humble, Keith A. Britt. Software systems for high-performance quantum computing // High Performance Extreme Computing Conference (HPEC), 2016 IEEE. Waltham, MA, USA. 13-15 September 2016. DOI: 10.1109/HPEC.2016.7761628 5. Hahanov V., Litvinova E., Chumachenko S. Cyber Physical Computing for IoT Driven Sevices. Springer International Publisher. Switzerland. 2017. 150 p. 6. Vladimir Hahanov, Svetlana Chumachenko, Eugenia Litvinova, Mykhailo Liubarskyi. Qubit Description of the Functions and Structures for Computing // Proc. of IEEE East-West Design and Test Symposium. Yerevan. 14-17 October 2016. P.88-93. 7. http://www.gartner.com/newsroom/id/3784363.

Transliterated bibliography:

1. Almudever C. G., Lao TL., Fu X., Khammassi N., Ashraf I., Iorga D., Varsamopoulos S., Eichler C., Wallraff A., Geck L., Kruth A., Knoch J., Bluhm H., Bertels K. The engineering challenges in quantum computing. // 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne, Switzerland. 27-31 March 2017. DOI: 10.23919/DATE.2017.7927104.
2. LievenVandersypen, Antoni van Leeuwenhoek. 1.4 Quantum computing - the next challenge in circuit and system design // Solid-State Circuits Conference (ISSCC), 2017 IEEE International.San Francisco, CA, USA. 5-9 February. 2017. DOI:10.1109/ISSCC.2017.7870244.
3. Jasmeet Singh, Mohit Singh. Evolution in Quantum Computing // System Modeling & Advancement in Research Trends (SMART), International Conference. Moradabad, India. 25-27 November 2016. DOI: 10.1109/SYSMART.2016.7894533.
4. Travis S. Humble, Keith A. Britt. Software systems for high-performance quantum computing // High Performance Extreme Computing Conference (HPEC), 2016 IEEE. Waltham, MA, USA. 13-15 September 2016. DOI: 10.1109/HPEC.2016.7761628
5. Hahanov V., Litvinova E., Chumachenko S. Cyber Physical Computing for IoT Driven Sevices. Springer International Publisher. Switzerland. 2017. 250 p.
6. VladimirHahanov, SvetlanaChumachenko, EugeniaLitvinova, MykhailoLiubarskyi. Qubit Description of the Functions and Structures for Computing // East-West Design & Test Symposium (EWDTS), 2016 IEEE. Yerevan, Armenia. 14-17 October 2016. P.88-93.
7. http://www.gartner.com/newsroom/id/3784363.

 

Бояджян Армен Гамлетович, студент 6 курса ХНУРЭ. Научные интересы: Internetofthings, квантовые вычисления. Адрес: Украина, 61166, Харьков, пр. Науки, 14, e-mail: z@fastlive.eu.

Котляров Антон Сергеевич, студент 6 курса ХНУРЭ. Научные интересы: Internetofthings, квантовые вычисления.Адрес: Украина, 61166, Харьков, пр. Науки, 14, e-mail: kotlyarovanton2@gmail.com.

Boiadzhian Armen, 6^th year student of Kharkiv National University of Radioelectronics. Research interests: Internet of things, quantum computing. Address: Ukraine, 61009, Kharkiv, Nauki Ave., 14, e-mail: z@fastlive.eu.

Kotliarov Anton, 6^th year student of Kharkiv National University of Radioelectronics. Research interests: Internet of things, quantum computing. Address: Ukraine, 61009, Kharkiv, Nauki Ave., 14.

На основі системного підходу (від простого до складного) робиться класифікація сучасних систем штучного інтелекту (СШІ), аналізуються способи подання даних і знань в СШІ,  відзначаються особливості кожної з них та вказуються напрями доцільного застосування та подальшого розвитку. Проводиться порівняльний  аналіз програмних засобів та  мов програмування для їх реалізації.

Ключові слова: програмне забезпечення, системи штучного інтелекту, декларативні мови програмування, семантичні сітки, фрейми, продукційні системи, Лісп, Пролог, універсальні мови моделювання, логіко-лінгвістичні моделі.

Key words: software, artificial intelligence, declarative programming language, frames, Lisp, Prolog, universal modeling language.

УДК 004.4; 004.8

Системи штучного інтелекту – основа сучасних інформаційних технологій та їх програмне забезпечення/ В.М. Заяць, М.М. Заяць // Радіоелектроніка та інформатика. 2017. № 3. С. 33-41.

На основі системного підходу, суть якого полягає у поданні матеріалу по мірі його ускладнення (від простого до складного), зроблена класифікація сучасних систем штучного інтелекту (СШІ), проаналізовано способи подання даних і знань в СШІ,  відзначені особливості кожного з них та вказані напрями доцільного застосування та подальшого розвитку. Проведений порівняльний  аналіз програмних засобів та  мов програмування для їх реалізації.

Табл. 1. Іл. 1. Бібліогр.: 34 назв.

UDC 004.4; 004.8

Artificial intelligence - the foundation of modern information technologies and their software / V.M. Zaiats, M.M. Zaiats // Radioelektronika i informatika. 2017. N 3. P. 33-41.

In this paper the authors on the basis of a systematic approach, the essence of which lies in presenting the material as goes its complications (from simple to complex) was done a classification of modern artificial intelligence systems (AISI), analyzed ways to present data and knowledge in AIS marked features of each and listed directions appropriate application and of further development. The comparative analysis of software tools and programming languages to implement them are given.

Tab. 1. Fig. 1. Ref.: 34 items.

Література: 1. Вендров А. М. CASE-технологии: современные методы и средства проектирования информационных систем / А. М. Вендров. М.: Финансы и статистика, 1998. 175 с. 2. Поспелов Г. С. Искусственный интеллект – основа новой информационной технологии / Г. С. Поспелов. К.: Наукова думка, 1995. 360 с. 3. Заяць В. М. Методи, алгоритми та програмні засоби для моделювання і аналізу динаміки складних об’єктів на основі дискретних моделей: Монографія / В. М. Заяць. Львів: Новий світ – 2000, 2009. 400 с.  4. Катренко А. В. Теорія прийняття рішень: Підручник / А. В. Кат­ренко, В. В. Пасічник, В. П. Пасько. К.: Видавнича група BHV, 2009. 448 с. 5. Робертс Ф. С. Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам. М.: Наука, 1986. 386 с. 6. Томашевський В. М. Моделювання систем: Підручник / В. М. Томашевський.  К. : Видавнича група BHV, 2004. 352 с. 7. Клоксин У., Меллиш К. Программирование на языке Пролог. М.: Мир, 1987. 336 с. 8. Хоггер К. Введение в логическое программирование. М.: Мир. 1988. 348 с. 9. Братко И. Программирование на языке Пролог. 10. Макаллистер Дж. Искусственный интеллект и Пролог на микро-ЭВМ, М.: Машиностроение, 1990.  240 с. 11. Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ.  М.: Мир, 1993. 608 с. 12. Бакаев А.А., Гриценко В.И., Экспертные системы и логическое программирование.  К.: Вища школа, 1995. 246 с. 13. Заяць В.М. Логічне програмування: Ч. 1: Конспект лекцій з дисципліни «Логічне програмування» для студентів базового напрямку 6.08.04 “Програмне забезпечення автоматизованих систем”. Львів: Видавництво Національного університету “Львівська політехніка”, 2002. 48 с. 14. Xендерсен П. Функциональное программирование. Применение и реализация. М.: Мир, 1983. 349 с. 15. Бадаєв Ю.І. Теорія функціонального програмування. Мови CommonLisp та AutoLisp. Київ, 1999. 150 с. 16. Заяць В.М. Конспект лекцій з курсу функціональне програмування. Львів, 1999 .55 с. 17. Маурер У . Введение в программирование на языке Лисп. М.: Мир, 1976. 104 с. 18. Хювенен Э., Слеппян Й. Мир Лиспа. Т.1. Введение в язык Лисп и функциональное программирование: Пер. с финск. М.: Мир, 1990. 447 с. 19. Хювенен Э., Слеппян Й. Мир Лиспа. Т.2 Методы и системы программирования.  Пер. с финск. М.: Мир, 1990. 447 с.  20. Еднерал В.Ф., Крюков А.П., Родионов А.Я. Язык аналитических вычислений REDUCE. М.: Из-во МГУ, 1984. 176 с. 21. Лавров С.С., Силигадзе Г.С. Автоматическая обработка данных. Язык Лисп и его реализация.  М.:. Наука, 1978.  176 с. 22. Уинстон П. Искусственный интеллект. M.: Мир, 1980. 513 с. 23. Грин Д., Кнут Д. Математические методы анализа алгоритмов. М.: Мир, 1987. 120 с. 24. Фостер Дж. Обработка списков.. М.: Мир, 1974. 280 с. 25. Вирт Н. Алгоритмы + структуры данных = программы: Пер. с англ. М.: Мир, 1985. 213 с. 27.  Бердж В. Методы рекурсивного программирования. М.: Машиностроение, 1983. 248 с. 28. Заяць В.М., Заяць М.М. Логічне і функціональне програмування. Навч. посібник. Рівне: 216. 400 с. 29. Erich Gamma, Richard Helm, Ralih Johnson, John Vlissides. Wzorce projektowe, 2012. 30. Заяць В.М., Маєвський Яцек.  Системний підхід до освоєння та викладання   мов логічного і функціонального програмування //21-й Міжнародний молодіжний форум «Радіоелектроніка і молодь в ХХI столітті». Харків, ХНУРЕ., 2017. С. 4-6. 31. Stanislaw  Wrycha i inni. UML 2.1. Cwiczenia. ISBN: 978-83-246-0612-2012. 32. Maccarthy J. Recursive functions of symbolic expressions and their computation     by machine // Comm. ACM.: 1960. Vol.3. P. 184-195. 33. Nilsson N.J. Principles of Artificial Intelligence. Tioga. Springer-Verlag, 1960. 164 с. 34. Бондаренко М. Ф., Хаханов В. И., Гузь О. А., Шабанов-Кушнаренко Ю. П. Інфраструктура мозкоподібних обчислювальних процесів. Харків: ХНУРЕ, 2010. 169 с.

Заяць Василь Михайлович, д-р техн. наук, професор Технологічно-Природничого Університету (м. Бидгощ, Польща). Наукові інтереси: числові методи в прикладних застосуваннях, математичне і комп’ютерне моделювання динамічних систем, розпізнавання об’єктів зі складною динамічною природою, електрорадіотехніка та інформатика. Захоплення і хобі: туризм, велоспорт, театр; щоденні піші прогулянки 7 км. Адреса: Україна, 79070, Львів, просп. Червона Калина, 39, кв. 4. Тел.: дом. (+38) (032) 222-43-48; роб.: (+48) 52-340-53-30; моб.: (+38)(032) 0678362473.

Заяць Марія Михайлівна, ст. викладач НУ «Львівська політехніка» (м. Львів, Україна). Наукові інтереси: інформаційні технології, інженерія знань, математичне і комп’ютерне моделювання складних об’єктів, логічне програмування. Захоплення і хобі: туризм, театр, якісне приготування вишуканих страв. Адреса: Україна, 79070, Львів, просп. Червона Калина, 39, кв. 4. Тел.: дом. (+38) (032) 222-43-48; роб.: (+38) (032) 258-25-38 моб.: (+38)(032) 0989327526.

Zaiatc Vasyl M., DSc., Professor, Professor University of Science and Technology (m. Bydgoszcz, Poland). Research interests include numerical methods in applied applications, mathematical and computer modeling of dynamic systems, recognition of objects of complex dynamic nature, electro - radiotehnika and informatics. Hobbies: hiking, biking, theater; daily walks 7 km. Address: Ukraine, 79070, Lviv, avenue Сhervona Kalyna, 39, flat 4. Tel.: Home (38) (032) 222-43-48; Job: (+48) 52-340-53-30; Mob.: (+38) (032) 0678362473.

Zaiats Mary M., senior teacher National University "Lviv polytechnic" (m. Lviv, Ukraine). Research interests include information technology, engineering knowledge, mathematical and computer modeling of complex objects, logic programming. Interests and hobbies: hiking, theater, high-quality gourmet food. Address: Ukraine, 79070, Lviv, avenue Chervona Kalyna, 39, flat 4. Tel .: Home. (38) (032) 222-43-48; Job.: (+38) (032) 258-25-38 Mob .: (+38) (032) 0989327526.

Проводится обзор развития, характеристики и применения технологий Big Data, показывается взаимосвязь технологии Big Data с промышленными предприятиями на примере металлургического производства. Описываются принципы обработки Big Data на основе модели Apache Hadoop и компании Oracle, а также методы анализа массивов данных. Некоторые методы анализа данных сопровождаются алгоритмами кластеризации и в них применяется функция конкурентного сходства (FRiS-функция).

Ключевые слова: большие массивы данных, металлургическое производство, обработка и методы анализа, многомерный анализ, регрессия, классификация, кластеризация, алгоритмы кластеризации, FRiS-функция.

УДК 004.9

Big Data: проблеми, методи аналізу, алгоритми / З.Т. Магеррамов, В.Г. Абдулаєв, А.З. Магеррамова // Радіоелектроніка та інформатика. 2017. № 3. С.42-52.

Проведено огляд стану розвитку, характеристики і застосування технологій Big Data, показано взаємозв'язок технології Big Data з промисловими підприємствами на прикладі металургійного виробництва. Описано принципи обробки Big Data на основі моделі Apache Hadoop і компанії Oracle, а також методи аналізу масивів даних. Деякі методи аналізу даних супроводжуються алгоритмами кластеризації і в них застосовується функція конкурентної подібності (FRiS-функція).

Іл. 1. Бібліогр.: 13 назв.

UDC 004.9

Big Data: Problems, Analysis Methods, Algorithms / Z.T. Maherramov, V.H. Abdullayev, A.Z. Maherramova // Radioelektronika i informatika. 2017. N 3. P. 42-52.

Review of a condition of development, characteristics and application of Big Data technologies is carried out; interconnection of Big Data technologies with industrial enterprises is shown by the case of metallurgical production. Principles of Big Data processing on the basis of the Apache Hadoop model and Oracle Corporation, as well as methods of the analysis of data arrays are described. Some methods of the data analysis are followed by algorithms of a clustering and function of competitive similarity (FRiS-function) is applied in them.

Fig. 1. Ref.: 13 items.

Литература: 1. Gantz John, Reinsel David. http://www.emc.com/collateral/analyst-reports/idc-the-digital-universe-in-2020.pdf. 2. Найдич А. www.com­press.ru. 3. Селезнев К. Проб­ле­мы анализа Больших Данных // Открытые системы. СУБД №07, 2012 с.25-30. 4. Бабич В.К. и др. Основы металлургического производства. М.: Металлургия, 1988. 272 с. 5. Федин М.В. Перспективы использования систем обработки больших данных (bigdata) в металлургической промышленности // Economics. 2015, № 8(9). C. 52-54. 6. Проект Apache Hadoop. https://hadoop.apache.org/. 7. Артемов С. Big Data: новые возможности для растущего бизнеса.

http://www.pcweek.ru/upload/iblock/d05/jet-big-data.pdf. 8. Daniel Fasulo «An Analysis of Recent Work on Clustering Algorithms». Электронное издание. 9. Паклин Н. Алгоритмы кластеризации на службе Data Mining.

http://www.basegroup.ru/clusterization/ datamining.htm. 10. Jan Jantzen «Neurofuzzy Modelling». Электронное издание. 11. Борисова И.А.,Загоруйко Н.Г. Труды Всероссий­ской Конфе­рен­ции «Знания-Онтологии-Теории». Ново­­сибир­ск, 2007. Том II. С. 67-76. 12. Борисова И.А. и др. Труды Всероссийской конференции «Знания – Онтология – Теория», Новосибирск, 2007. Том І. С.37–44. 13. Мансурова М.Е. и др. Parallel computational technologies (PCT) 2016. http://ceur-ws.org/Vol-1576/128.pdf.

Transliterated bibliography:

1. Gantz John, Reinsel David. http://www.emc.com/collateral/analyst-reports/idc-the-digital-universe-in-2020.pdf.
2. 2. Andrey Naydich. www.compress.ru.
3. Konstantin Seleznev. Problemyi analiza Bolshih Dannyih // Otkryityie sistemyi. SUBD #07, 2012 s.25-30.
4. Babich V.K. i dr. Osnovyi metallurgicheskogo proiz-vodstva. M: Metallurgiya, 1988. 272 s.
5. Fedin M.V. Perspektivy ispol'zovanija sistem obrabotki bol'shih dannyh (bigdata) v metallurgicheskoj promyshlennosti // Economics. 2015, № 8(9). C. 52-54. 6. Project Apache Hadoop. https://hadoop.apache.org/.
6. Artemov S. Big Data: novyie vozmozhnosti dlya rastuschego biznesa.

http://www.pcweek.ru/upload/iblock/d05/jet-big-data.pdf.

8. Daniel Fasulo «An Analysis of Recent Work on Clustering Algorithms». Elektronnoe izdanie.
9. Paklin N. Algoritmyi klasterizatsii na sluzhbe Data Mining.

http://www.basegroup.ru/clusterization/ datamining.htm.

10. Jan Jantzen «Neurofuzzy Modelling». Elektronnoe izdanie.
11. Borisova I.A.,Zagoruyko N.G. Trudyi Vserossiy-skoy Konferentsii «Znaniya-Ontologii-Teorii»,Novo¬-sibir¬sk, 2007, Tom II, s. 67-76.
12. Borisova I.A. i dr. Trudyi Vserossiyskoy konfe-rentsii «Znaniya–Ontologiya–Teoriya», Novosibirsk, 2007. Tom I. S.37–44.
13. Mansurova M.E. i dr. Parallel computational technologies (PCT) 2016. http://ceur-ws.org/Vol-1576/128.pdf.

 

Магеррамов Закир Тулуевич, канд. техн. наук, доцент кафедры «Прикладная информатика» Азербайджанского Технического Университета. Научные интересы: численные методы, моделирование и оптимальное управленияе, информационные технологии, объектно-ориентированное программирование. Увлечения: научные книги, художественная литература (классика), мир животных. Адрес: Азербайджан, AZ1114, Баку, ул. И. Джумшудова, 1/7, кв. 110, тел. (99412)5689951, (050)3212595, е-mail: zakirmaharramov@rambler.ru

Абдуллаев Вугар Гаджимахмудович, канд. техн. наук, доцент кафедры «Компьютерная инженерия технологии и программирование» Азербайджанской Государственной Нефтяной Академии (АГНА), Институт Кибернетики НАНА. Научные интересы: информационные технологии, веб-программирования, мобильные приложении. Увлечение: электронная коммерция, B2B, B2C проекты, научные книги, спорт. Адрес: Азербайджан, AZ1129, Баку, ул. М. Гади, 53, кв. 81, тел. (99412)5712428, (050)3325483, е-mail: abdulvugar@mail.com

Магеррамова Айнур Закировна, инженер-экономист, магистрант Aix-Marseille School of Economics (Франция). Научные интересы: численные методы в экономике, экономика развивающихся стран. Увлечения: конкурсы kaggle.com, йога. Адрес: Франция, 13100, Экс-ан-Прованс, ул. Маршал Леклерк, Л¢Эстелан, кв. 205. E-mail: aynur.maharramova@etu.univ-amu.fr
Magerramov Zakir Tuluyevich, Cand. tech. Sci., Associate Professor of Applied Informatics at the Azerbaijan Technical University. Scientific interests: numerical methods, modeling and optimal control, information technologies, object-oriented programming. Hobbies: scientific books, artistic literature (classics), animal world. Address: Azerbaijan, AZ1114, Baku, I. Jum-shudova, 1/7, apt. 110, tel. (99412) 5689951, (050) 3212595, e-mail: zakirmaharramov@rambler.ru

Abdullaev Vugar Gadzhimakhmudovich, Cand. tech. Sci., Associate Professor of Computer Engineering and Technology Programming at the Azerbaijan State Oil Academy (ASAN), Institute of Cybernetics of ANAS. Scientific interests: information technology, web programming, mobile application. Hobbies. e-commerce, B2B, B2C projects, science books, sports. Address: Azerbaijan, AZ1129, Baku, M. Gadi, 53, apt. 81, tel. (99412) 5712428, (050) 3325483, e-mail: abdulvugar@mail.com

Magerramova Ainur Zakirovna, engineer-economist, master student of the Aix-Marseille School of Eco-nomics (France). Scientific interests: numerical methods in economics, economics of developing countries. Hobbies: competitions kaggle.com, yoga. Address: France, 13100, Aix-en-Provence, Marshal Lek-lerk, L'Estelan, ap. 205. E-mail: aynur.maharramova@etu.univ-amu.fr

Исследуются интеллектуальные системы управления в производственном планировании современного промышленного предприятия. Предлагается оптимизационный метод решения производственных задач для распределения ресурсов предприятия.

УДК 519.7

Дослідження і розробка інтелектуальних методів управління сучасним виробництвом / А.М. Гвоздинський, Є.Е. Сірик // Радіоелектроніка та інформатика. 2017. № 3. С. 53-59.

Досліджено процеси прийняття рішень, які мають важливе значення для сучасних організацій. Вони є одним з найбільш поширених класів задач дослідження операцій. Проведено огляд множини методів для вирішення задач такого типу, але одним з пріоритетних є методи інтелектуального аналізу даних. Розглянуто створення математичної моделі таких задач.

Табл. 1. Бібліогр.: 6 назв.

UDC 519.7

Research and development of intellectual methods of production management / А. N. Gvozdinskiy, K.E. Siryk // Radioelektronika i informatika. 2017. N 3. P. 53-59.

Decision making progress in general and the problem of inventory management in particular are important for modern organization. They are one of the most common classes of problem of operations research. There are many methods for these tasks, but one of the main methods are Data mining. The paper was considered creating mathematical models of such problem.

Tab. 1. Ref.:  6 items.

Литература: 1. Гвоздинский А.Н. Методы аналитической обработки информации [Текст] / А.Н. Гвоздинский, Е.Г. Климко // Радиоэлектроника и информатика. 2000. №4. С.111-112. 2. Гвоздинский А.Н. Принципы и методы оптимизации в современных организационных системах управления // Научно-технический журнал [Текст] / А.Н. Гвоздинский, А.Е. Козлова, А.О. Дроздов // Х: Бионика интеллекта, 2013. №2 (81). С.66-70. 3. Гвоздинский А.Н. Методы оптимизации в системах принятия решений [Текст] / А.Н. Гвоздинский, Н.А. Якимова, В.О. Губин // Х: ХНУРЭ, 2006. 327 с. 4. Гвоздинский А.Н. Методы оптимизации в системах организационного управления [Текст] / А.Н. Гвоздинский, В.Л. Шергин, В.О. Губин // Х: ХНУРЭ, 2014. 395 с. 5. JASA: Глава 2,6. Двойственный метод http://jasa.org.ua// 6. Лэсдон Л.С. Оптимизация больших систем. М: Наука, 1975. С.65-83. 7. Гвоздинский А.Н., Корниенко Ю.Н. Исследование интеллектуальных систем принятия решений в производственном планировании // АСУ и приборы автоматики. 2009. Вып. 147. С. 81-84.

Transliterated bibliography:

1. Gvozdinskiy A.N. Metodyi analiticheskoy obrabot-ki informatsii [Tekst] / A.N. Gvozdinskiy, E.G. Klim-ko // Radioelektronika i informatika. 2000. #4. S.111-112.
2. Gvozdinskiy A.N. Printsipyi i metodyi optimizatsii v sovremennyih organizatsionnyih sistemah upravle-niya: Nauchno-tehnicheskiy zhurnal [Tekst] / A.N. Gvoz-dinskiy, A.E. Kozlova, A.O. Drozdov // H: Bionika intellekta, 2013. #2 (81). S.66-70.
3. Gvozdinskiy A.N. Metodyi optimizatsii v sistemah prinyatiya resheniy [Tekst] / A.N. Gvozdinskiy, N.A. Yakimova, V.O. Gubin // H: HNURE, 2006. 327 s.
4. Gvozdinskiy A.N. MetodI optimizatsii v sistemah organizatsionnogo upravleniya [Tekst] / A.N. Gvozdin-skiy, V.L. Shergin, V.O. Gubin // H: HNURE, 2014. 395 s.
5. JASA: Glava 2, 6. Dvoystvennyiy metod http://jasa.org.ua//
6. Lesdon L.S. Optimizatsiya bolshih sistem. M: Nauka, 1975. S.65-83.
7. Gvozdinskij A.N., Kornienko Ju.N. Issledovanie intellektual'nyh sistem prinjatija reshenij v proizvodstvennom planirovanii // ASU i pribory avtomatiki. 2009. Vyp. 147. S. 81-84.

 

Гвоздинский Анатолий Николаевич, канд. техн. наук, профессор кафедры искусственного интеллекта ХНУРЭ. Научные интересы: оптимизация процедур принятия решения в сложных системах управления. Адрес: Украина, 61166, Харьков, ул. Академика Ляпунова, 7, кв.9,тел.702-38-23.

Серик Екатерина Эдуардовна, студентка группы КН-13-6 кафедры искусственного интеллекта ХНУРЭ. Научные интересы: методы принятия решения в системах искусственного интеллекта. Адрес: Украина, 61000, Харьков, пер. Афанасьевский, дом 36, тел. 066-340-08-76.

Anatoly Gvozdinsky, PhD, Professor, Artificial Intelligence Department KNURE. Scientific interests: optimization of decision-making procedures in complex control systems. Address: Ukraine, 61166, Kharkov, ul. Academician Lyapunov, 7, ap. 9, tel.702-38-23.

Serik Ekaterina Eduardovna, student of group KH-13-6, Artificial Intelligence Department of KNURE. Scientific interests: methods of decision making in artificial intelligence systems. Address: Ukraine, Kharkiv, per. Afanasyevsky, house 36, tel. 066-340-08-76.

Описуються методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у вигляді чорної скриньки і описаної кубітним покриттям. Наводяться теоретичні основи застосування методів і оцінка їх ефективності для широкого класу цифрових схем, реалізованих в програмованих логічних пристроях. Пропонуються інноваційні методи обчислення логічних похідних і дедуктивного моделювання несправностей для функціональних елементів, описаних кубітним покриттям.

Ключові слова: синтез тестів, проектування і верифікація SoC, кубітне покриття, цифрова схема, моделювання несправностей, булева похідна.

УДК 658:512.011; 681.326; 519.713

Хмарний сервіс для тестування і верифікації систем на кристалах // Є.І. Литвинова, І.В Ємельянов, І.В. Хаханов // Радіоелектроніка та інформатика. 2017. № 3. С. 60-69.

Представлені методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у вигляді чорної скриньки і описаної кубітним покриттям. Наведено теоретичні основи застосування методів і оцінки їх ефективності для широкого класу цифрових схем, реалізованих в програмованих логічних пристроях. Запропоновано новий підхід до синтезу та аналізу цифрових систем з використанням векторної (квантової) форми опису комбінаційних і послідовних структур для їх реалізації в елементах пам'яті.

Іл. 8. Бібліогр.: 21 назва.

UDC 658:512.011; 681.326; 519.713

Хмарний сервіс для тестування і верифікації систем на кристалах // Є.І. Литвинова, І.В Ємельянов, І.В. Хаханов // Радіоелектроніка та інформатика. 2017. № 3. Р. 60-69.

The methods and hardware/software implementations of unconditional parallel synthesis of tests based on Boolean derivatives for black box logic defined by qubit coverage are represented. A theoretical background of methods application and assessment their effectiveness for a wide class of digital circuits implemented in programmable logic devices is given. A new approach to the synthesis and analysis of digital systems using vector form (quantum) for defining combinational and sequential structures to implement them in the memory elements is described.

Fig. 8. Ref.: 21 items.

Література: 1. Рябцев В.Г., Муамар Д.Н. Метод и средства визуализации алгоритмов тестов диагностирования запоминающих устройств // Электронное моделирование. 2010. Том 32. № 3. С. 43-52. 2.Zorian Y.,Shoukourian S. Test solutions for nanoscale Systems-on-Chip: Algorithms, methods and test infrastructure // Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers, Yerevan, 2013. Р. 1-3. 3. Tshagharyan G., Harutyunyan G., Shoukourian S. and Zorian Y.Overview study on fault modeling and test methodology development for FinFET-based memories // 2015 IEEE East-West Design & Test Symposium (EWDTS), Batumi, 2015. Р. 1-4. 4. Проектирование и тестирование цифровых систем на кристаллах / В. И. Хаханов и др. Харьков: ХНУРЭ, 2009. 484 с. 5. Abramovici M., Breuer M.A. and Friedman A.D. Digital systems testing and testable design // ComputerSciencePress. 1998. 652 p. 6. Кубитные структуры данных вычислительных устройств / В. И. Хаханов, Ваджеб Гариби, Е. И. Литвинова, А. С. Шкиль // Электронное моделирование.  2015. Т. 37, № 1. С. 76–99. 7. Кубитные технологии анализа и диагностирования цифровых устройств / В. И. Хаханов, Тамер Бани Амер, С. В. Чумаченко, Е. И. Литвинова // Электронное моделирование. 2015. Т. 37, № 3. С. 17–40. 8. Автоматизированное проектирование цифровых устройств / С.С.Бадулин, Ю.М.Барнаулов и др. / Под ред. С.С. Бадулина.М.: Радиоисвязь, 1981. 240 с. 9. Michael A. Nielsen & Isaac L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press. 2010. 676p. 10.Mikio Nfrfhara. Quantum Computing. An Overview. Higashi-Osaka: Kinki University, 2010. 53p. 11. Курош А.Г. Курс высшей алгебры. М.: Наука. 1968. 426 с. 12.Бондаренко М.Ф., Хаханов В.И., Литвинова Е.И. Структура логического ассоциативного мультипроцессора // Автоматика и телемеханика. 2012. № 10. С. 71-92. 13. Molnar L. and Gontean A.Fault simulation methodes, 2016 // 12^th IEEE International Symposium on Electronics and Telecommunications (ISETC), Timisoara, Romania, 2016. Р. 194-197. 14. Hadjitheophanous S., Neophytou S. N., Michael M. K. Scalable parallel fault simulation for shared-memory multiprocessor systems // 2016 IEEE 34th VLSI Test Symposium (VTS), Las Vegas, NV, 2016. Р. 1-6. 15. Pomeranz Irith, Reddy Sudhakar M. Aliasing Computation Using Fault Simulation with Fault Dropping // IEEE Trans. on Computers. 1995. P. 139-144. 16.Ubar R., Kõusaar J., Gorev M. and Devadze S., Combinational fault simulation in sequential circuits // 2015 IEEE International Symposium on Circuits and Systems (ISCAS), Lisbon, 2015. Р. 2876-2879. 17. Gorev M., Ubar R. and Devadze S., Fault simulation with parallel exact critical path tracing in multiple core environment // 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, 2015. Р. 1180-1185. 18. Pomeranz I.Fault simulation with test switching for static test compaction // 2014 IEEE 32nd VLSI Test Symposium (VTS), Napa, CA, 2014. Р. 1-6. 19. Mirkhani S. and Abraham J. A. EAGLE: A regression model for fault coverage estimation using a simulation based metric // 2014 International Test Conference, Seattle, WA, 2014. Р. 1-10. 20. Hahanov I., Gharibi W., Iemelianov I., Tamer Bani Amer. QuaSim – Cloud Service for Digital Circuits Simulation // IEEE 2016 East-West Design & Test Symposium. Yerevan, Armenia. P. 363-370. 21. Литвинова Е.И., Хаханов И.В.Квантовый компьютинг для проектирования цифровых систем// Радиоэлектроника и информатика. 2015. № 4. С. 42-45.

Transliterated bibliography:

1. Ryabcev V.G., Muamar D.N. Metod i sredstva vizualizacii algoritmov testov diagnostirovaniya zapominayushchih ustrojstv // Elektronnoe modelirovanie 2010. Tom 32. № 3. S. 43-52.

2.Zorian Y.,Shoukourian S. Test solutions for nanoscale Systems-on-Chip: Algorithms, methods and test infrastructure // Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers, Yerevan, 2013, pp. 1-3. doi: 10.1109/CSITechnol.2013.6710371.

3.Tshagharyan G., Harutyunyan G., Shoukourian S. and Zorian Y.Overview study on fault modeling and test methodology development for FinFET-based memories // 2015 IEEE East-West Design & Test Symposium (EWDTS), Batumi, 2015. Р. 1-4. doi: 10.1109/EWDTS.2015.7493149

4.Proektirovanie i testirovanie cifrovyh sistem na kristallah / V. I. Hahanov i dr. Har'kov: HNURE, 2009. 484 s.

5.Abramovici M., Breuer M.A. and Friedman A.D. Digital systems testing and testable design // ComputerSciencePress. 1998. 652 p.

6.Kubitnye struktury dannyh vychislitel'nyh ustrojstv / V. I. Hahanov, Vadzheb Garibi, E. I. Lit-vinova, A. S. Shkil' // Elektronnoe modelirovanie. 2015. T. 37, № 1. S. 76–99.

7.Kubitnye tekhnologii analiza i diagnostirovaniya cifrovyh ustrojstv / V.I. Hahanov, Tamer Bani Amer, S.V. Chumachenko, E.I. Litvinova // Elektronnoe modelirovanie. 2015. T. 37, № 3. S. 17–40.

8.Avtomatizirovannoe proektirovanie cifrovyh ustrojstv / S.S.Badulin, Yu.M.Barnaulov i dr. / Pod red. S.S. Badulina.M.: Radio i svyaz', 1981. 240 s.

9.MichaelA. Nielsen&IsaacL.Chuang. Quantum Computation and Quantum Information. Cambridge University Press. 2010. 676p.

10.Mikio Nfrfhara. Quantum Computing. An Overview. Higashi-Osaka: Kinki University, 2010. 53p.

11. Kurosh A.G. Kurs vysshej algebry. Izd-vo: Moskva: Nauka. 1968. 426 s.

12. Bondarenko M.F., Hahanov V.I., Litvinova E.I. Struktura logicheskogo associativnogo mul'tipro-cessora// Avtomatika i telemekhanika. 2012. № 10. S. 71-92.

13.Molnar L. and Gontean A. Fault simulation methodes," 2016 12th IEEE International Symposium on Electronics and Telecommunications (ISETC), Timisoara, Romania, 2016.Р. 194-197.

14.Hadjitheophanous S., Neophytou S. N.,Michael M. K. Scalable parallel fault simulation for shared-memory multiprocessor systems // 2016 IEEE 34th VLSI Test Symposium (VTS), Las Vegas, NV, 2016.Р. 1-6.

15.Pomeranz Irith, Reddy Sudhakar M. Aliasing Computation Using Fault Simulation with Fault Dropping // IEEE Trans. on Computers. 1995. P. 139-144.

16.Ubar R., Kõusaar J., Gorev M. and Devadze S., Combinational fault simulation in sequential circuits // 2015 IEEE International Symposium on Circuits and Systems (ISCAS), Lisbon, 2015. Р. 2876-2879.

17.Gorev M., Ubar R. and Devadze S., Fault simulation with parallel exact critical path tracing in multiple core environment // 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, 2015. Р. 1180-1185.

18.Pomeranz I.Fault simulation with test switching for static test compaction // 2014 IEEE 32nd VLSI Test Symposium (VTS), Napa, CA, 2014. Р. 1-6.

19.Mirkhani S. and Abraham J. A. EAGLE: A regression model for fault coverage estimation using a simulation based metric // 2014 International Test Conference, Seattle, WA, 2014. Р. 1-10.

20.Hahanov I., Gharibi W., Iemelianov I., Tamer Bani Amer. QuaSim – Cloud Service for Digital Circuits Simulation // IEEE 2016 East-West Design & Test Symposium. Yerevan, Armenia. P. 363-370.

21.Litvinova E.I., Hahanov I.V. Kvantovyj komp'yuting dlya proektirovaniya cifrovyh sistem // Radioelektronika i informatika. 2015. № 4. S. 42-45.

 

Литвинова Євгенія Іванівна,д-р техн. наук, проф. кафедри АПОТ ХНУРЕ. Наукові інтереси: проектування та тестування цифрових систем. Хобі: музика. Адреса: Україна, 61166, Харків, пр. Науки, 14, e-mail: litvinova_eugenia@icloud.com.

Ємельянов Ігор Валерійович, науковий співробітник кафедри АПОТ ХНУРЕ. Наукові інтереси: проектування та тестування цифрових систем. Хобі: мандри. Адреса: Україна, 61166, Харків, пр. Науки, 14, e-mail: iyemelyanov@itdelight.com.

Хаханов Іван Володимирович, студент кафедри АПОТ факультету КІУ ХНУРЕ. Науковіінтереси: технічна діагностика цифрових систем, програмуваня. Хобі: горні лижі, англійська мова. Адреса: Україна, 61166, Харьков, пр. Науки, 14, тел. +3805770-21-326,e-mail: ivanhahanov@icloud.com.

Litvinova Evgenia Ivanovna, Dr. of Tech. Sciences, prof., Design Automation Department, NURE. Scientific interests: design and testing of digital systems. Hobbies: music. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14, e-mail: litvinova_eugenia@icloud.com.

Yemelyanov Igor Valerievich, researcher, Design Automation Department, NURE. Scientific interests: design and testing of digital systems. Hobbies: traveling. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14, e-mail: iyemelyanov@itdelight.com.

Hahanov Ivan Vladimirovich, student, Design Automation Department, NURE. Scientific interests: technical diagnostics of digital systems, programming. Hobby: mountain skiing, English. Address: Ukraine, 61166, Kharkov, Nauki Ave., 14, ph. + 3805770-21-326, e-mail: ivanhahanov@icloud.com.