Picture | Details | Pages | Download |
ИБРАИМОВ И.К., ПАНЧЕНКО А.Ю. ПОСТАНОВКА ДИФРАКЦИОННОЙ ЗАДАЧИ РАДИОАКУСТИЧЕСКОГО ЗОНДИРОВАНИЯ ТУРБУЛЕНТНОЙ АТМОСФЕРЫ
УДК 621.371.3:551.510.52 ПОСТАНОВКА ДИФРАКЦИОННОЙ ЗАДАЧИ РАДИОАКУСТИЧЕСКОГО ЗОНДИРОВАНИЯ ТУРБУЛЕНТНОЙ АТМОСФЕРЫ ИБРАИМОВ И.К., ПАНЧЕНКО А.Ю. Рассматриваются причины деформаций и изменений зондирующего пакета акустических волн и новые возможности создания систем зондирования. Эти две группы факторов определяют условия решения задачи рассеяния электромагнитных волн, которая в настоящее время приобретает актуальность. Ключевые слова: турбулентность, атмосферный пограничный слой, радиоантенна, акустический излучатель, апертура, скорость ветра, фокус, диаграмма направленности. Key words: turbulence, atmospheric boundary layer, aperture, radio antenna, acoustic emitter, wind speed, focus, radiation pattern. УДК 621.371.3:551.510.52 Постановка дифракційної задачі радіоакустичного зондування турбулентної атмосфери / І.К. Ібраімов, О.Ю. Панченко // Радіоелектроніка та інформатика. 2019. № 3. С. 4-11. Розглянуто причини деформацій і змін зондуючого пакета акустичних хвиль і нові можливості створення систем зондування. Ці дві групи факторів визначають умови вирішення задачі розсіювання електромагнітних хвиль, яка в даний час набуває актуальності. Іл. 8. Бібліогр.: 31 назва. UDC 621.371.3:551.510.52 Formulation of the diffraction problem of radio-acoustic sounding of a turbulent atmosphere / I.K. Ibraimov, A.Yu. Panchenko // Radioelectronics & Informatics. 2019. N 3. P. 4-11.The article discusses the causes of deformations and changes in the probe package of acoustic waves and new possibilities for creating sounding systems. These two groups of factors determine the conditions for solving the problem of scattering of electromagnetic waves, which is currently becoming relevant. Fig. 8. Ref.: 31 items. Литература:
Transliterated bibliography:
Ибраимов Ильвер Казимович, аспирант кафедры проектирования и эксплуатации электронных аппаратов ХНУРЭ. Научные интересы: электродинамика, акустика атмосферы. Адрес: Украина, 61166, Харьков, пр. Науки, 14. Панченко Александр Юрьевич, д-р физ.-мат. наук, профессор, заведующий кафедрой проектирования и эксплуатации электронных аппаратов ХНУРЭ. Научные интересы: электродинамика, акустика атмосферы. Адрес: Украина, 61166, Харьков, пр. Науки, 14. Ilver Ibraimov, Post graduate student of the Department of Design and Operation of Electronic Devices of the Kharkov National University of Radio Electronics. Scientific interests: electrodynamics, atmospheric acoustics. Address: Ukraine, 61166, Kharkiv, Nauka Ave., 14, Phone/fax: +380577021494. Alexander Panchenko, Doctor of Physical and Mathematical Sciences, Professor, Head of the Department of Design and Operation of Electronic Devices of the Kharkov National University of Radio Electronics. Scientific interests: electrodynamics, atmospheric acoustics. Address: Ukraine, 61166, Kharkiv, Nauka Ave., 14, Phone/fax: +380577021494, e-mail: oleksandr.panchenko@nure.ua
|
4-11 | ||
СОРОКУН А.Д. ОБОСНОВАНИЕ НАПРАВЛЕНИЯ ДЛЯ СНИЖЕНИЯ БИТОВОГО ОБЪЕМА ВИДЕОСНИМКОВ В ИНФОКОММУНИКАЦИОННЫХ СИСТЕМАХ
УДК 621.327:681.5 ОБОСНОВАНИЕ НАПРАВЛЕНИЯ ДЛЯ СНИЖЕНИЯ БИТОВОГО ОБЪЕМА ВИДЕОСНИМКОВ В ИНФОКОММУНИКАЦИОННЫХ СИСТЕМАХ СОРОКУН А.Д. Формируется методологический базис относительно взаимного размещения двух ключевых составляющих видеоснимка в одной кодовой конструкции, на основе чего создается метод компоновки ключевых составляющих видеоснимка. Формируются заполненные кодовые конструкции (ЗКК) путем размещения сегмента кодового слова, содержащего значение кода элементов массива длин ОКГ, в кодовые конструкции, содержащие информацию о кодовом значении для строк массивов значимых элементов совокупности ОКГ Ключевые слова: инфокоммуникационные системы, битовый объем, кодирование. Key words: infocommunication systems, bitrate, coding. УДК 621.327:681.5 Обґрунтування напряму для зниження бітового обсягу відеознімки в інфокомунікаційних системах / А.Д. Сорокун // Радіоелектроніка та інформатика. 2019. № 3. С. 12-15. Сформовано методологічний базис щодо взаємного розміщення двох ключових складових відеознімків в одній кодовій конструкції. На базі цього створений метод компонування ключових складових відеознімків. Сформовано заповнені кодові конструкції (ЗКК) шляхом розміщення сегмента кодового слова, що містить значення коду елементів масиву довжин ОКГ, в кодові конструкції, що містять інформацію про кодове значення для рядків масивів значущих елементів сукупності ОКГ. Ключові слова: інфокомунікаційні системи, бітовий обсяг, кодування. Іл. 1. Бібліогр.: 18 назв. UDC 621.327:681.5 Substantiation of the direction for reducing the bit volume of video images in infocommunication systems / A.D. Sorokun // Radioelectronics & Informatics. 2019. N 3. P. 12-15. A methodological basis has been formed regarding the relative placement of the two key components of the video in the same code structure. On the basis of what the method of layout of the key components of the video was created. filled-in code constructions (CCLs) are formed by placing the codeword segment containing the code value of the elements of the array of lengths of laser blocks into code structures containing information about the code value for the strings of arrays of significant elements of the set of laser blocks Key words: infocommunication systems, bit volume, coding. Fig. 1. Ref.: 18 items. Литература:
Сорокун Антон Дмитриевич, соискатель Национального авиационного университета. Научные интересы: семантическая обработка изображений. Адрес: Украина, 61023, Киев, ул. Космонавта Коморова, 1, тел. 38 063-521-89-90, vvbar.off@gmail.com; orcid.org/0000-0001-8469-641X. Sorokun Anton Dmitrievich, applicant, National Aviation University. Research interests: semantic image processing. Address: Ukraine, 61023, Kiev, st. Cosmonaut Komorov, 1, tel. 38 063-521-89-90, vvbar.off@gmail.com; orcid.org/0000-0001-8469-641X. |
12-15 | ||
ПАРХОМЕНКО В.Г., СИДОРОВ М.В. ЗАСТОСУВАННЯ МЕТОДУ ДВОБІЧНИХ НАБЛИЖЕНЬ ДО ЗНАХОДЖЕННЯ ДОДАТНИХ РАДІАЛЬНО-СИМЕТРИЧНИХ РОЗВ’ЯЗКІВ КРАЙОВИХ ЗАДАЧ З МОНОТОННИМИ НЕЛІНІЙНОСТЯМИ
УДК 519.632.4 : 517.927.4 УДК 519.632.4 : 517.927.4 Застосування методу двобічних наближень до знаходження додатних радіально-симетричних розв’язків крайових задач з монотонними нелінійностями / В.Г. Пархоменко, М.В. Сидоров // Радіоелектроніка та інформатика. 2019. № 3. С. 16-23. Розглянута задача знаходження з двосторонніми наближеннями додатного радіально-симетричного розв’язку першої та третьої крайових задач для еліптичного рівняння зі степеневою монотонною нелінійністю. Наведено результати обчислювального експерименту для тестових задач. Іл. 8. Бібліогр.: 10 назв. UDC 519.632.4 : 517.927.4 Application of the two-sided approximations method to finding positive radially symmetric solutions of boundary value problems with monotone nonlinearities / V.G. Parkhomenko, M.V. Sidorov // Radioelectronics & Informatics. 2019. N 3. P. 16-23. The article considers the problem of finding, with two-sided approximations, a positive radially symmetric solution to the first and third boundary value problems for an elliptic equation with a power-law monotone nonlinearity. The results of a computational experiment for test problems are presented. Fig. 8. Ref.: 10 items. Література: 1. Агошков В.И., Дубовский П.Б., Шутяев В.П. Методы решения задач математической физики / Под ред. Г.И. Марчука. М.: Физматлит, 2002. 320 с. 2. Вороненко М.Д., Сидоров М.В. Конструктивне дослідження нелінійних крайових задач для звичайних диференціальних рівнянь // Радиоэлектроника и информатика. 2018. № 1 (80). С. 48-54. 3. Колосова С.В., Луханин В.С., Сидоров М.В. О построении двусторонних приближений к положительному решению уравнения Лане-Эмдена // Вісник Запорізького національного університету. Серія: фізико-математичні науки. 2015. № 3. С. 107-120. 4. Колосова С.В., Луханин В.С., Сидоров М.В. О построении итерационных методов решения краевых задач для нелинейных эллиптических уравнений // Вісник Запорізького національного університету. Серія: фізико-математичні науки. 2013. № 1. С. 35-42. 5. Колосова С.В., Сидоров М.В. Применение итерационных методов к решению эллиптических краевых задач с экспоненциальной нелинейностью // Радиоэлектроника и информатика. 2013. № 3 (62). С. 28-31. 6.Красносельский М.А. Положительные решения операторных уравнений. М.: Физматгиз, 1962. 394 с. 7. Опойцев В.И., Хуродзе Т.А. Нелинейные операторы в пространствах с конусом. Тбилиси: Изд-во Тбилис. ун-та, 1984. 246 с. 8. Пархоменко В.Г. Метод двобічних наближень пошуку вісесиметричних розв’язків крайових задач з монотонними нелінійностями // 23-й Міжнародний молодіжний форум «Радіоелектроніка та молодь у ХХІ столітті»: зб. матеріалів форуму (м. Харків, 16-18 квітня 2019 р.). Т. 7. Харків: ХНУРЕ, 2019. С. 120-121. 9. Сидоров М.В. Метод двобічних наближень розв’язання першої крайової задачі для нелінійних звичайних диференціальних рівнянь на основі використання функції Гріна // Радіоелектроніка, інформатика, управління. 2019. № 1 (48). С. 57-66. 10. Kolosova S.V., Lukhanin V.S., Sidorov M.V. On positive solutions of Liouville-Gelfand problem // Вестник КазНУ. Серия математика, механика, информатика. 2018. № 3 (99). С. 78-91. Transliterated bibliography:
Пархоменко Владислав Геннадійович, студент гр. ПМм-19-1 фак-ту інформаційно-аналітичних технологій та менеджменту ХНУРЕ. Наукові інтереси: математичне моделювання, чисельний аналіз. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. (057) 7021436. E-mail: vladyslav.parkhomenko1@nure.ua. Сидоров Максим Вікторович, канд. фіз.-мат. наук, доцент каф. прикладної математики ХНУРЕ. Наукові інтереси: математичне моделювання, чисельні методи, математична фізика, теорія R-функцій та її застосування, стохастичний аналіз та його застосування. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. (057) 7021436. E-mail: maxim.sidorov@nure.ua. Parkhomenko Vladyslav Gennadijovych, student of group PMm-19-1 Faculty of Information and Analytical Technologies and Management, Kharkiv National University of Radioelectronics. Scientific interests: mathematical modeling, numerical analysis. Address: 14 Nauki avе, Kharkiv, Ukraine, 61166, tel. (057) 7021436. E-mail: vladyslav.parkhomenko1@nure.ua. Sidorov Maxim Victorovich, PhD in Physis and Maths, associate professor, associate professor of the Applied Mathematics Department, Kharkov National University of Radioelectronics. Scientific interests: mathematical modeling, numerical analysis, mathematical physics, R-function’s theory and its applications, stochastic analysis and its applications. Address: 14 Nauki avе, Kharkiv, Ukraine, 61166, tel. (057) 7021436. E-mail: maxim.sidorov@nure.ua. |
16-23 | ||
ВАРЕЦА В.В., ЛИТВИНОВА Е.И., КАКУРИН Н.Я. СРАВНИТЕЛЬНЫЙ АНАЛИЗ АППАРАТУРНЫХ ЗАТРАТ И БЫСТРОДЕЙСТВИЯ СХЕМНЫХ РЕАЛИЗАЦИЙ ПРЕОБРАЗОВАТЕЛЕЙ КОДОВ НА РЕГИСТРАХ СДВИГА
УДК 681.325 СРАВНИТЕЛЬНЫЙ АНАЛИЗ АППАРАТУРНЫХ ЗАТРАТ И БЫСТРОДЕЙСТВИЯ СХЕМНЫХ РЕАЛИЗАЦИЙ ПРЕОБРАЗОВАТЕЛЕЙ КОДОВ НА РЕГИСТРАХ СДВИГА ВАРЕЦА В.В., ЛИТВИНОВА Е.И., КАКУРИН Н.Я. Рассматриваются различные структуры преобразователей кодов на базе регистров сдвига. Предлагаются математические модели основных узлов специализированных преобразователей кодов – формирователей эквивалентов. УДК 681.325 Порівняльний аналіз витрат апаратури і швидкодії схемних реалізацій перетворювачів кодів на регістрах зсуву / В.В. Вареца, Є.І. Литвинова, М.Я. Какурін // Радіоелектроніка та інформатика. 2019. № 3. С. 24-30. Розглядаються різні структури перетворювачів кодів на базі регістрів зсуву. Пропонуються математичні моделі основних вузлів спеціалізованих перетворювачів кодів – формувачів еквівалентів. Табл. 2. Іл. 4. Бібліогр.: 15 назв. UDC 681.325 Comparative analysis of hardware costs and performance of circuit implementations for code converters on shift registers / V.V. Varetsa, E.I. Litvinova, N.Ya. Kakurin // Radioelectronics & Informatics. 2019. N 3. P. 24-30. Various structures of code converters based on shift registers are considered. Mathematical models of the main nodes of specialized code converters - equivalent shapers are proposed. Tab. 2. Fig. 4. Ref.: 15 items. Литература: 1. Какурин Н.Я., Вареца В.В., Коваленко С.Н. Параллельная стратегия использования шагов в двухшаговых преобразователях кодов //АСУ и приборы автоматики. 2007. Вып. 141. С. 29-36. 2. Какурин Н.Я., Вареца В.В., Коваленко С.Н. Структуры формирователей эквивалентов для преобразователей кодов с параллельным использованием шагов преобразования // Інформаційно-керуючі системи на залізничному транспорті. 2008. №5-6. С.66-70. 3. Какурин Н.Я., Бочаров Е.В., Вареца В.В., Полежаев К.В., Замалеев Ю.С. Программное средство для анализа преобразований чисел в преобразователях кодов параллельного типа // АСУ и приборы автоматики. 2011. Вып. 154. С.83-90. 4. Пат. №71361 Україна. Регістр зсуву. Какурін М.Я., Лопухін Ю.В., Хаханов В.І., Вареца В.В., Макаренко Г.М.; ХНУРЕ // Промислова власність 2012; бюл. №13. 5. Пат. №83310 Україна. Реверсивний регістр зсуву. Какурін М.Я., Хаханов В.І., Литвинова Є.І., Вареца В.В., Макаренко Г.М; ХНУРЕ // Промислова власність 2013; бюл. 17. 6. Пат. №90665 Україна. Реверсивний регістр зсуву. Какурін М.Я., Хаханов В.І., Литвинова Є.І., Вареца В.В., Макаренко Г.М.; ХНУРЕ // Промислова власність 2014; бюл. 7. Угрюмов Е. П. Цифровая схемотехника / Е. П. Угрюмов. СПб.: БХВ-Петербург, 2010. 816 с. 8. Преобразователи кодов чисел [Текст] / М. М. Сухомлинов, В. И. Выхованец. Киев: Техніка, 1965. 136 с. 9. Ефанов Д. В. Трехмодульные коды с суммированием для технической диагностики и синтеза контролепригодных дискретных систем // Изв. вузов. Приборостроение. 2019. Т. 62, № 2. С. 106–116. 10. Ефанов Д. В., Сапожников В. В., Сапожников Вл. В. О свойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика. 2010. № 6. С. 155–162. 11. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Контроль комбинационных схем на основе кодов с суммированием с одним взвешенным информационным разрядом // Автоматика на транспорте. 2016. Т. 2, № 4. С. 564–597. 12. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Коды с суммированием единичных информационных разрядов с произвольными модулями счета // Автоматика на транспорте. 2018. Т. 4, № 1. С. 106–130. 13. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Эффективный способ модификации кодов с суммированием единичных информационных разрядов // Изв. вузов. Приборостроение. 2017. Т. 60, № 11. С. 1020–1032. DOI: 10.17586/0021-3454-2017-60-11-1020-1032. 14. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Алгоритмы синтеза генераторов модульных кодов с суммированием взвешенных переходов с последовательностью весовых коэффициентов, образующих натуральный ряд чисел // Автоматика на транспорте. 2017. Т. 3, № 2. С. 280-301. 15. Мехов В.Б., Сапожников В.В., Сапожников Вл.В. Контроль комбинационных схем на основе модифицированных кодов с суммированием // Автоматика и телемеханика. 2008. № 8. С. 153-165. Transliterated bibliography:
Вареца Виталий Викторович, инженер центра тестирования и дистанционного обучения ХНУРЭ. Научные интересы: техническая диагностика. Адрес: Украина, 61166, Харьков, пр. Науки, 14. Литвинова Евгения Ивановна, д-р техн. наук, проф. кафедры АПВТ. Научные интересы: техническая диагностика. Адрес: Украина, 61166, Харьков, пр. Науки, 14. Какурин Николай Яковлевич, канд. техн. наук, проф., пенсионер. Научные интересы: техническая диагностика. Адрес: Украина, 61166, Харьков, пр. Науки, 14. Varetsa Vitaliy Viktorovich, engineer, Testing and Distance Learning Center, NURE. Research interests: technical diagnostics. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14. Litvinova Evgenia Ivanovna, Dr of Sc, prof. Design Automation Department. Scientific interests: technical diagnostics. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14. Kakurin Nikolay Yakovlevich, PhD, prof., pensioner. Scientific interests: technical diagnostics. Address: Ukraine, 61166, Kharkov, Nauki Ave, 14. |
24-30 | ||
ЛАРЧЕНКО Л.В., КУЛАК Е.М., ЛАРЧЕНКО Б.Д. ФУНКЦІОНАЛЬНЕ ПЕРЕТВОРЕННЯ ІМПУЛЬСНИХ ПОТОКІВ В АПАРАТНИХ ОБЧИСЛЮВАЧАХ МАТЕМАТИЧНИХ ФУНКЦІЙ
УДК 681. 325 ФУНКЦІОНАЛЬНЕ ПЕРЕТВОРЕННЯ ІМПУЛЬСНИХ ПОТОКІВ В АПАРАТНИХ ОБЧИСЛЮВАЧАХ МАТЕМАТИЧНИХ ФУНКЦІЙ ЛАРЧЕНКО Л.В., КУЛАК Е.М., ЛАРЧЕНКО Б.Д. Пропонується та досліджується метод ступінчастої апроксимації відтворення висхідних та спадних безперервних функцій визначеного класу, оптимальний з точки зору точності та часу обчислення. Це забезпечує в спеціалізованих обчислювачах єдиний підхід до формування цілочисельних значень однаково обмежених функцій, аргумент яких представлений імпульсним потоком. Ключові слова: функціональне перетворення, обчислення, метод, апроксимація, імпульсний потік, біт-потокові дані, одиничний імпульс, вибірка, абсолютна похибка. Key words: functional conversion, computing, method, approximation, pulse stream, bit-stream data, single pulse, sample, absolute error. УДК 681.325 Функціональне перетворення імпульсних потоків в апаратних обчислювачах математичних функцій / Л.В. Ларченко, Е.М. Кулак, Б.Д. Ларченко // Радіоелектроніка та інформатика. 2019. № 3. С. 31-38. Запропоновано та досліджено метод ступінчастої апроксимації відтворення безперервних висхідних та спадних функцій визначеного класу, оптимальний з точки зору точності та часу обчислення. В спеціалізованих апаратних обчислювачах метод забезпечує єдиний підхід до формування приростів при функціональному перетворенні імпульсних потоків. Проведено оцінку похибки обчислення функцій. Бібліогр.: 6 назв. UDC 681.325 Functional conversion of pulse streams in hardware mathematical functions computer / L.V. Larchenko, E. M. Kulak, B. D. Larchenko // Radioelectronics & Informatics. 2019. N 3. P. 31-38. This article offers and researches a reproduction approximation method of continuous ascending and descending functions of the determined class, optimal in accuracy and time of calculation. In specialized systems this method ensures a singular approach to function increment formation in pulse stream functional conversion. Function calculation error has been estimated. Ref.: 6 items. Література: 1. Буренева О.И., Жирнова О.А. Бит-потоковое устройство извлечения квадратного корня // Изв. ЛЭТИ, 2019, № 2. С. 26 – 32. 2. Буренева О.И. Автореф. диссертации. Отказоустойчивые устройства с реализацией процессов следящего преобразования потоков информационных квантов // Изд. СПбГЭТУ "ЛЭТИ". 2005. 20 С. 3. Дробот П. Н., Дробот Д. А. Осциллисторные сенсоры с частотным выходом // Южно-Сибирский науч. вестн. 2012, № 1. С. 120 – 123. URL: http://vital. lib.tsu.ru/vital/access/manager/Repository/vtls:00045044. 4. Al-Makhles D., Patel N., Swain A. Bit-stream control system: Stability and experimental application // Intern. Conf. on Applied Electronics (AE). Pilsen, Czech Republic: IEEE, 2013. P. 1–6. URL: https://ieeexplore. ieee.org/stamp/stamp.jsp?tp=&arnumber=6636470. 5. Ларченко Л.В., Хаханова А.В. Специализированный вычислитель для извлечения корня квадратного из суммы квадратов // Радиоэлектроника и информатика. 2010. №1. С.71–74. 6. Ларченко Л.В. Метод формирования приращений при функциональной обработке единичных кодов // Радиоэлектроника и информатика. 2001. № 3(16). С. 61 – 63. Transliterated bibliography:
Ларченко Ліна Вікторівна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: автоматизоване проектування спеціалізованих цифрових систем, язики опису апаратури. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. +380(57) 702-13-26. Кулак Ельвіра Миколаївна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: автоматизоване проектування цифрових автоматів, язики опису апаратури. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. +380(57) 702-13-26. Ларченко Богдан Дмитрович, аспірант кафедри АПОТ ХНУРЕ. Наукові інтереси: автоматизоване проектування цифрових систем, язики опису апаратури, FPGA. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. +380(57) 702-13-26. Larchenko Lіna Viktorіvna, PhD, Associate Professor, Design Automation Department, KNURE. Scientific interests: automated design of digital machines, HDL. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26. Kulak Elvira Mykolaivna, PhD, Associate Professor, Design Automation Department, KNURE. Scientific interests: automated design of digital machines, HDL. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26. Larchenko Bogdan Dmitrovich, PhD student, Design Automation Department, KNURE. Scientific interests: automated design of digital machines, HDL, FPGA. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26. |
31-38 | ||
ХАХАНОВА Г.В., ПШЕНИЧНИЙ К.Ю. МЕТОДИ ВЕРИФІКАЦІЇ ТЕМПОРАЛЬНИХ ВЛАСТИВОСТЕЙ ЦИФРОВИХ АВТОМАТІВ
УДК 681.326 МЕТОДИ ВЕРИФІКАЦІЇ ТЕМПОРАЛЬНИХ ВЛАСТИВОСТЕЙ ЦИФРОВИХ АВТОМАТІВ ПШЕНИЧНИЙ К.Ю., ХАХАНОВА Г.В. Для верифікації HDL-моделей пристроїв реального часу пропонується застосовувати механізм властивостей та асерцій мови System Verlog. Обґрунтовується доцільність механізму властивостей для більш вичерпного та ретельного тестування. Застосування цих підходів ілюструється конкретним прикладом. Ключові слова: System Verilog, formal verification, functional verification, System Verilog assertions, assertion, property, functional coverage. УДК 681.326 Методы верификации темпоральных свойств цифровых автоматов / К.Ю. Пшеничный, А.В. Хаханова // Радиоэлектроника и информатика. 2019. № 3. С. 39-41. Для верификации HDL-моделей устройств реального времени предложено применять механизм свойств и асерций языка System Verlog. Обоснована целесообразность механизма свойств для более исчерпывающего и тщательного тестирования. Применение этих подходов проиллюстрировано конкретным примером. Ил. 9. Библиогр .: 3 назв. UDC 681.326 Verification method of temporal properties for digital automata / K.Yu. Pshenichny, G.V. Khakhanova // Radioelectronics & Informatics. 2019. N 3. P.39–41. To verify HDL-models of real-time devices, it is proposed to use the mechanism of properties and assertions of the System Verlog language. The expediency of the properties mechanism for more comprehensive and thorough testing is substantiated. The application of these approaches is illustrated by a specific example. Fig. 9. Ref.: 3 titles. Література: 1. Harry D. Foster, Adam C. Krolnik, David J. Lacey. Assertion-Based Design. New York: Springer US. 2005. 390 p. 2. Srikanth Vijayaraghavan, Meyyappan Ramanthan. A Practical Guide for SystemVerilog Assertions. New York: Springer US, 2005. 333 c. 3. Шкиль А.С., Кулак Э.Н., Филиппенко И.В., Кучеренко Д.Е., Гога М.В. Автоматизированное проектирование систем логического управления с использованием шаблонов автоматного программирования // Радиоэлектроника и информатика. 2018. №3 С. 75-81. Transliterated Bibliography: 1. Harry D. Foster, Adam C. Krolnik, David J. Lacey. Assertion-Based Design. New York: Springer US, 2005. 390 p. 2. Srikanth Vijayaraghavan, Meyyappan Ramanthan. A Practical Guide for SystemVerilog Assertions. New York: Springer US, 2005. 333 p. 3. Shkil A.S., Kulak E.N., Filippenko I.V., Kucherenko D.E., Goga M.V. Avtomatizirovannoe proektirovanie sistem logicheskogo upravleniya s ispolzovaniem shablonov avtomatnogo programmirovaniya // Radioelectronics & Informatics. 2018. #3 P. 75-81. Надійшла до редколегії 11.09.2019 Рецензент: д-р техн. наук, проф. Кривуля Г.Ф. Пшеничний Кирило Юрійович, магістрант кафедри АПОТ ХНУРЕ. Наукові інтереси: проектування та верифікація цифрових систем. Адреса: Україна, 61166, Харків, пр. Науки, 14. E-mail: kyrylo.pshenychnyi@nure.ua Хаханова Ганна Володимірівна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: стиснення та відновлення двійкової інформації. Адреса: Україна, 61166, Харків, пр. Науки, 14. e-mail: anna.hahanova@nure.ua Pshenichny Kirill Yuryevich, Master Student, Design Automation Department, NURE. Scientific Interests: design and verification of digital systems. Address: Ukraine, 61166, Kharkov, Nauky Ave, 14, e-mail: kyrylo.pshenychnyi@nure.ua Khakhanova Anna Vladimirovna, Ph.D., Associate Professor, Design Automation Department, NURE. Scientific Interests: compressed and binary information recovery. Address: Ukraine, 61166, Kharkov, Nauky Ave., 14, e-mail: anna.hahanova@nure.ua |
39-41 | ||
ШКІЛЬ А.С., ФІЛІППЕНКО І.В., КОСТЮК С.О. МЕТОДИ ЕНЕРГОЗБЕРЕЖЕННЯ В СЕНСОРНИХ МЕРЕЖАХ
УДК 004.031.6 МЕТОДИ ЕНЕРГОЗБЕРЕЖЕННЯ В СЕНСОРНИХ МЕРЕЖАХ ШКІЛЬ О.С., КОСТЮК С.О., ФІЛІППЕНКО І.В. Наводяться результати дослідження методів збереження енергії, що використовуються при проектуванні та розробці сучасних сенсорних мереж. Дослідження базується на особливостях сенсорних мереж та питань застосовності загальних практик збереження енергії у вбудованих системах для оптимізації енергоспоживання сенсорних вузлів. Окрема увага приділяється структурі сенсорного вузла та виділенню основних споживачів електричної енергії сенсорного вузла. Наводиться класифікація методів енергозбереження за напрямком їх дії. Ключові слова: сенсорна мережа, бездротова сенсорна мережа, сенсорний вузол, вбудована система, оптимізація енергоспоживання, методи енергозбереження. Key words: sensor network, wireless sensor network, sensor node, embedded system, energy usage optimization, energy saving methods. УДК 004.031.6 Методи енергозбереження у сенсорних мережах / О.С. Шкіль, С.О. Костюк, І.В. Філіппенко // Радіоелектроніка та інформатика. 2019. № 3. С. 42-49. Наведено результати дослідження методів збереження енергії, що використовуються при проектуванні та розробці сучасних сенсорних мереж. Дослідження відштовхується від особливостей сенсорних мереж та питань застосовності загальних практик збереження енергії у вбудованих системах для оптимізації енергоспоживання сенсорних вузлів. Окрема увага приділяється структурі сенсорного вузла та виділенню основних споживачів електричної енергії сенсорного вузла. Приведено класифікацію методів енергозбереження за напрямком їх дії. Табл. 1. Іл. 4. Бібліогр.: 27 назв. УДК 004.031.6 Energy saving methods in sensor networks / A.S. Shkil Alexander, S.O. Kostiuk, I.V. Filippenko // Radioelectronics & Informatics. 2019. N 3. P.42-49. This works captures the results of research on energy saving methods that are applied in design and development of the modern sensor networks. The research starts from the specialty of the sensor networks and from the applicability of general power saving techniques from the embedded field for energy usage optimization in sensor nodes. The sensor node structure and main energy consumers in the sensor node and specifically described as the starting point of research. Proposed a classification of the energy saving methods by four categories: sleep/wakeup methods, data-driven methods, radio and routing optimization, hardware-based and control-based optimization. Tab. 1. Fig. 4. Ref.: 27 items. Література:
Шкіль Олександр Сергійович, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: діагностика цифрових систем, дистанційне навчання. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26. Костюк Сергій Олександрович, магістрант, кафедра АПОТ ХНУРЕ. Наукові інтереси: IoT-системи, бездротові сенсорні мережі. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26, e-mail: contact@s-kostyuk.me. Філіппенко Інна Вікторівна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: проектування цифрових пристроїв на базі мікроконтролерів, цифрові фільтри. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26. Shkil Alexander Sergeevich, PhD, Associate Professor, Design Automation Department, NURE. Scientific interests: diagnostics of digital systems, distance education. Address: Ukraine, 61166, Kharkiv, Nauky Ave. 14, tel. 702-13-26. Kostiuk Serhii Oleksandrovych, Master Student, Design Automation Department, NURE. Scientific interests: IoT systems, embedded systems. Address: Ukraine, 61166, Kharkiv, Nauky Ave. 14, tel. 702-13-26, e-mail: contact@s-kostyuk.me. Filippenko Inna Victorovna, PhD, Associate Professor, Design Automation Department, NURE. Scientific interests: design based on microcontrollers, digital filters. Address: Ukraine, 61166, Kharkiv, Nauky Ave. 14, tel. 702-13-26. |
42-49 | ||
ОГОРОДНИК І.М., ВИСОЦЬКА О.В., СЛІПЧЕНКО М.І., ТЕРНЮК М.Е. ОБГРУНТУВАННЯ ПРИНЦИПІВ ДІЇ ТА ВИЗНАЧЕННЯ ОСНОВНИХ ПАРАМЕТРІВ ДІАГНОСТИЧНО-ОЗДОРОВЧОГО КОМПЛЕКСУ «QUANTON»
УДК 61:616-02 ОБГРУНТУВАННЯ ПРИНЦИПІВ ДІЇ ТА ВИЗНАЧЕННЯ ОСНОВНИХ ПАРАМЕТРІВ ДІАГНОСТИЧНО-ОЗДОРОВЧОГО КОМПЛЕКСУ «QUANTON» ОГОРОДНИК І.М., ВИСОЦЬКА О.В., СЛІПЧЕНКО М.І., ТЕРНЮК М.Е. Досліджується принцип дії процесів діагностики і оздоровчого впливу та основні параметри діагностично-оздоровчого комплексу «QUANTON». Досліджуються також методи неінвазивної діагностики та оздоровчого впливу на організм з використанням електромагнітних явищ. Встановлюється, що ефективними фізичними принципами дії для отримання і переробки інформації при виконанні процесів діагностики є проява особливостей стану органів і систем на їх спектральних характеристиках, а також ефект зміни імпедансу шкіри при реакції організму на інформаційні маркери. Ключові слова: комплекс «Quanton», неінвазивна діагностика, спектральний метод, бінарний метод, частотна терапія, оздоровчий вплив. УДК 61: 616-02 UDC 61: 616-02 Література:
Огородник Ігор Миколайович, інженер-винахідник, завідувач відділу Міжнародної академії наук і інноваційних технологій. Адреса: Україна, 03194, Київ, Святошинський район, бульвар Кольцова, 14-Е. Висоцька Олена Володимирівна, д-р техн. наук, завідувач кафедри 502 Харківського національного аерокомічного університету ім. М.Є.Жуковського. Адреса: Україна, 61070, Харків, вул. Чкалова, 17, радіокорпус, ауд. 221. Сліпченко Микола Іванович, д-р фіз.-мат. наук, проф. Інститута сцинциляційних матеріалів НАН України. Наукові інтереси: мікрохвільова мікро-скопія, мікро- та оптоелектроніка, НВЧ-гігрометрія, приладобудування. Адреса: Україна, 61000, Харків, пр. Науки, 60. Тернюк Микола Емануілович, д-р техн. наук, професор, президент Міжнародної академії наук та інноваційних технологій. Адреса: Україна, 03194, Київ, Святошинський район, бульвар Кольцова, 14-Е. Ogorodnyk Igor Mykolayovych, engineer-inventor, head of department, International Academy of Sciences and Innovative Technologies. Address: Ukraine, 03194, Kyiv, Sviatoshynskyi district, Koltsova boulevard, 14-E. Vysotska Olena Volodymyrivna, Dr. Tech. Sciences, Head of Department 502, Kharkiv National Aerocomic University. ME Zhukovsky. Address: Ukraine, 61070, Kharkiv, street Chkalova, 17, radio building, room 221. Slipchenko Nikolay Ivanovich, Doctor of Physical and Mathematical Sciences, Professor, Institute for Scintillation Materials NAS of Ukraine. Scientific interests: electrodynamics. Address: 60, Nauky Ave., Kharkiv, 61000, Ukraine. Ternyuk Mykola Emanuilovych, Dr. Tech. Sciences, Professor, President of the International Academy of Sciences and Innovative Technologies. Address: Ukraine, 03194, Kyiv, Sviatoshynskyi district, Koltsova boulevard, 14-E. |
50-58 | ||
АЛИЕВА Е. Н. МОДЕЛЬНЫЕ ИССЛЕДОВАНИЯ ВЛИЯНИЯ ОБЛАКОВ НА ПРИЗЕМНУЮ УЛЬТРАФИОЛЕТОВУЮ РАДИАЦИЮ
УДК 551.510 Модельные исследования влияния облаков на приземную ультрафиолетовую радиацию / Е.Н. Алиева // Радиоелэктроника и информатика. 2019. № 3. С. 59-61. На основе анализа результатов исследований разных авторов в данной области определено, что наличие облачности может привести как к увеличению, так и уменьшению УФ радиации на поверхности Земли. На основе предложенной составной модели облачности найдено условие баланса ультрафиолетовой радиации на поверхности Земли и условие наличия общего прироста УФ радиации. На основе предложенной несоставной модели кучевых облаков найдено условие баланса УФ радиации на поверхность Земли и условие наличия общего прироста УФ радиации. Рис. 5. Библиогр.: 5 наим. УДК 551.510 Модельні дослідження впливу хмар на приземну ультрафіолетову радіацію / Е.Н. Алиєва // Радіоелектроніка та інформатика. 2019. № 3. С. 59-61. На основі аналізу результатів досліджень різних авторів в даній області визначено, що наявність хмарності може привести як до збільшення, так і зменшення УФ радіації на поверхні Землі. На основі запропонованої складової моделі хмарності знайдено умова балансу ультрафіолетової радіації на поверхні Землі і умова наявності загального приросту УФ радіації. На основі запропонованої несоставної моделі купчастих хмар знайдено умова балансу УФ радіації на поверхню Землі і умова наявності загального приросту УФ радіації. Іл. 5. Бібліогр .: 5 назв. UDC 551.510 Model studies of the effect of clouds on surface ultraviolet radiation / E.N. Alieva// Radioelectronics & Informatics. 2019. N 3. P. 59-61. Based on the analysis of the results of research by various authors in the field, it has been determined that the presence of clouds can lead to both an increase and a decrease in UV radiation on the surface of the Earth. On the basis of the proposed composite model of clouds, a condition of balance of ultraviolet radiation on the Earth 's surface and a condition of total increase of UV radiation have been found. On the basis of the proposed non-permanent model of cough clouds, a condition of balance of UV radiation on the Earth 's surface and a condition of total increase of UV radiation have been found. Fig. 5. Ref.: 5 items. Алиева Егана Новрузовна, д.ф.н., Азербайджанский Государственный университет нефти и промышленности. Адрес: Азербайджан, Баку, пр. Азадлыг, 20, e-mail: yegane.aliyeva.1969@mail.ru Aliyeva Egana Novruzovna, Doctor of Philosophy, Azerbaijan State University of Oil and Industry. Address: Azerbaijan, Baku, Azadlig ave., 20, e-mail: yegane.aliyeva.1969@mail.ru |
59-61 | ||
ХАХАНОВА Г.В. МЕТРИЧНІ ВІДНОСИНИ КІБЕРСОЦІАЛЬНОГО КОМП'ЮТИНГУ
УДК 681.326:519.613 Метричні відносини кіберсоціального комп'ютингу / Г.В. Хаханова // Радіоелектроніка та інформатика. 2019. № 3. С. 62-78. Пропонується одна з можливих технологій цифровізації відносин, як процес переходу до детермінованого хмарного онлайн управління технічними, біологічними і соціальними об'єктами в рамках культури кібер {фізичного, соціального} комп'ютингу на основі точного моніторингу та інтелектуального аналізу їх діяльності в часі і просторі, завдяки тотальній цифровий ідентифікації. Удосконалюється метрика параметрів для вимірювання процесів і явищ в просторі, яка відрізняється від відомих рівнянням Конволюция відстаней вимірюваних об'єктів, що дає можливість істотно зменшувати обсяги даних для зберігання і передачі моделей вимірюваних об'єктів. Пропонується асиметрична модель і формули обчислення функцій належності, яка характеризується наявністю декількох інтервалів області визначення, що дає можливість альтернативного вимірювання подібності-відмінності кіберсоціальних процесів і явищ, а також їх кластеризації-класифікації на три істотних підмножини. Удосконалюється архітектура кіберсоціального комп'ютингу, яка відрізняється від аналогів автоматичним взаємодією в часі і просторі двох механізмів: проектування моделей і алгоритмів розпізнавання соціальних патернів, а також використанням створених обчислювальних структур для пошуку даних в кіберпросторі на основі асиметричної метрики подібності-відмінності. Пропонується ієрархічна модель синтезу соціальних відносин між процесами і явищами, яка відрізняється від аналогів кубітно-векторних поданням функціональних описів соціально-логічних елементів що дає можливість істотно зменшувати їх розмірність і паралельно виконувати процедури і алгоритми їх аналізу при пошуку і розпізнаванні соціальних патернів. Ключові слова: кіберсоціальний комп'ютинг, програмний та апаратний комп'ютинг, кубітні структури даних, управління та моніторинг, схожість і відмінність, розпізнавання патернів. UDC 681.326: 519.613 Metric relations of cyber-social computing / G.V. Khakhanova // Radioelectronics & Informatics. 2019. N 3. P. 62-78. The technology of digitalization for relations is proposed as a process of transition to deterministic cloud-based online management of technical, biological and social objects within the culture of cyber {physical, social} computing. The metric of parameters for measuring processes and phenomena in space has been improved. An asymmetric model and formulas for calculating membership functions was proposed. The architecture of cyber-social computing has been improved. Fig. 18. Ref.: 32 items. Хаханова Ганна Володимирівна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: стиснення та відновлення двійкової інформації. Адреса: Україна, 61166, Харків, пр. Науки, 14. e-mail: anna.hahanova@nure.ua Khakhanova Anna Vladimirovna, Ph.D., Associate Professor, Design Automation Department, NURE. Scientific Interests: compressed and binary information recovery. Address: Ukraine, 61166, Kharkov, Nauky Ave., 14, e-mail: anna.hahanova@nure.ua |
62-78 |