НАНУ 22 марта 2012 Харьковский Национальный Университет Радиоэлектроники

НАНУ, 22 марта, 2012 Харьковский Национальный Университет Радиоэлектроники Научная деятельность как кандидата в член-корр. НАНУ Владимир Иванович Хаханов Kharkov National University of Radio Electronics, Design Automation Department, hahanov. kture. kharkov. ua 1

НАНУ, 22 марта, 2012 1. Образование и учебная работа Хаханов Владимир Иванович, доктор технических наук, профессор кафедры АПВТ Харьковского национального университета радиоэлектроники (ХНУРЭ), декан факультета компьютерной инженерии и управления, IEEE Computer Society Senior and Golden Core Member, академик Академии наук Прикладной радиоэлектроники. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. (+380)-57 -7021326. E-mail: hahanov@kture. kharkov. ua 1. Образование и учебная работа 1996 – Доктор технических наук, Харьковский государственный технический университет радиоэлектроники, специальности: 05. 13. 08 – вычислительные машины, системы и сети, элементы и устройства вычислительной техники и систем управления; 05. 13. 02 – математическое моделирование в научных исследованиях. Тема диссертации – «Модели цифровых и микропроцессорных структур и методы их анализа в системе диагностического обслуживания» . 1997 – Профессор кафедры автоматизации проектирования вычислительной техники ХНУРЭ. 1985 – Кандидат технических наук, Харьковский институт радиоэлектроники, специальность – управление в технических системах. Тема диссертации – «Модели цифровых устройств и методы их анализа в автоматизированной системе диагностического обеспечения» . 1988 – Доцент кафедры вычислительной техники ХИРЭ. 1978 – Инженер-системотехник, Харьковский институт радиоэлектроники, специальность – автоматизированные системы управления. Тема дипломной работы – «Автоматическая система контроля цифровых устройств» . Лекционные курсы (10): «Цифровые вычислительные машины» ; «Логическое моделирование» , «Диагностика ЭВМ и систем» , «Электронные вычислительные машины» ; «Специальные разделы математики» ; «Основы дискретной математики» ; «Сертификация и верификация компьютерных систем» ; «Тестирование и оптимизация компьютерных систем и сетей» , «Основы автоматизации проектирования цифровых систем на кристаллах» , «Design and Testing of Computer Systems» . Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 2

НАНУ, 22 марта, 2012 2. Научная работа Научные интересы: Компьютерная и программная инженерия систем сетей и киберпространства (метрика и технологии анализа кибернетического пространства, виртуальные компьютеры, мозгоподобные и квантовые вычислительные процессы, техническая диагностика компьютерных систем и сетей на кристаллах, верификация программных и аппаратных продуктов). Руководитель научной школы «Проектирование, верификация и тестирование компьютерных систем и сетей» . Научные и технические достижения. 1) Технологии дедуктивного логического моделирования структурных и функциональных нарушений цифровых систем. 2) Методы синтеза детерминированных тестов активизации So. C. 3) Технологии верификации и диагностирования цифровых систем на кристаллах. 4) Двухтактное кубическое исчисление и модели компактного описания для анализа и синтеза вычислительных структур и функциональностей. 5) Модели и методы ассерционного тестирования и верификации программных и аппаратных компонентов So. C. 6) Технологии и метрика анализа информационного пространства на основе векторно-логических ассоциативных вычислительных структур. 7) Модели и методы мозгоподобных квантовых вычислительных процессов для анализа киберпространства. Подготовка кадров. Научный руководитель 3 докторов наук (Елисеев В. В. , Чумаченко С. В. , Литвинова Е. И. ) и 22 кандидатов наук (Монжаренко И. В. , Ханько В. В. , Ковалев Е. В. , Масуд Мехеди, Хак Джахирул, Абу Занунех Халиль, Скворцова О. Б. , Сысенко И. Ю. , Бережная М. А. , Колесников К. В. , Егоров А. А. , Гузь О. А. , Ваде Гриби, Хассан Ктейман, Каминская М. А. , Каменюка E. A. , Парфентий А. Н. , Побеженко И. А. , Зайченко С. А. , Кристофер Нгене, Ив Тиекура, Филиппенко И. А. ) по специальностям: «Системы автоматизации проектирования» , «Компьютерные системы и компоненты» . Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 3

НАНУ, 22 марта, 2012 3. Публикации и патенты 430 публикаций, 12 книг (учебник, 5 пособий и 6 монографий), 2 изобретения. Среди них: 1. Хаханов В. И. Техническая диагностика цифровых и микропроцессорных структур. Учебник. К. : IЗМН. 1995. 252 с. 2. Хаханов В. И. Техническая диагностика элементов и узлов персональных компьютеров. К. : IЗМН. 1997. 308 с. 3. Проектирование и диагностика компьютерных систем и сетей / Бондаренко М. Ф. , Кривуля Г. Ф. , Рябцев В. Г. , Фрадков С. А. , Хаханов В. И. Киев: НМЦ ВО, 2000. 306 с. 4. Семенец В. В. , Хаханова И. В. , Хаханов В. И. Проектирование цифровых систем с использованием языка VHDL. Харьков: ХНУРЭ, 2003. 492 с. 5. Хаханов В. И. , Хаханова И. В. VHDL + Verilog = синтез за минуты. – Харьков: ХНУРЭ. – 2006. – 264 с. 6. Хаханов В. И. , Литвинова Е. И. , Хаханова И. В. , Гузь О. А. Проектирование и тестирование цифровых систем на кристаллах. Харьков: ХНУРЭ. - 2009. - 484 с. 7. Verilog & System Verilog. Проектирование и верификация цифровых систем на кристаллах / В. И. Хаханов, И. В. Хаханова, Е. И. Литвинова, О. А. Гузь. – Харьков: ХНУРЭ. – 2010. – 526 с. 8. Бондаренко М. Ф. , Хаханов В. И. , Гузь О. А. , Шабанов-Кушнаренко Ю. П. Инфраструктура мозгоподобных вычислительных процессов. Харьков: ХНУРЭ. 2010. 169 с. 9. Хаханов В. И. , Литвинова Е. И. , Чумаченко С. В. , Гузь О. А. Логический ассоциативный вычислитель // Электронное моделирование. 2011. № 1(33). С. 73 -89. 10. Hahanov V. , Wajeb Gharibi, Litvinova E. , Chumachenko S. Information analysis infrastructure for diagnosis // Information an international interdisciplinary journal. 2011. Japan. Vol. 14. № 7. Р. 2419 -2433. 11. Хаханов В. И. , Хаханова И. В. , Литвинова Е. И. , Гузь О. А. Тестирование и верификация HDL-моделей цифровых систем на кристаллах // Электронное моделирование. 2010. № 2(32). С. 31 -39. 12. Хаханов В. И. , Баркалов О. О. , Мариан Адамски. Infrastructure intellectual property for So. C simulation and diagnosis service. Springer, 2011. Р. 289 -330. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 4

НАНУ, 22 марта, 2012 4. Общественная и международная деятельность Ответственный редактор журналов «Радиоэлектроника и информатика» и «АСУ и приборы автоматики» . Член двух специализированных советов по защите докторских диссертаций: «Системы автоматизации проектных работ» , «Компьютерные системы и компоненты» . Председатель международного ежегодного симпозиума «IEEE East-West Design & Test» . Член 25 редколлегий зарубежных журналов, организационных и программных международных конференций. Член общества IEEE Computer Soсiety с 2001 года. Senior Member of IEEE Computer Soсiety с 2011 года. Научный консультант корпораций Aldec, USA, Echostar, USA, Data. Art Lab, Kaspersky Lab. Руководитель студенческого научного клуба Club Elite Teaching «Aldec» . Член Международного Комитета по присуждению Премий Мирового Признания в области Global IT. 5. Public relation Фигурант 33 целевых телевизионных программ за последние 10 лет в Харькове (7 канал, ОТБ, Фаворит), Москве, Ленинграде, Ереване, Бухаресте, BBC), посвященные результатам волонтерской научной и образовательной деятельности. Одна публикация в газете, одна – в бизнес-журнале. 6. Награды и премии Дипломант конкурсов «Лучший ученый Харьковщины» 2000 и 2001 годов; победитель конкурса проектов фирмы Intel в области Design Automation 2003 года; «Отличник образования Украины» , 2005 год, IEEE Recognition Award, 2005; IEEE Gerald W. Gordon Award, 2005; IEEE диплом – за организацию и проведение международных конференций, 2005; IEEE Computer Society Golden Core Member, 2006 год. Медаль Лауреата конкурса «Харьковчанин 2005 года» , дипломы IEEE Computer Society за мировое признание 2006 и 2007 годов, диплом и наградные часы от Президента Украины. 2006. Диплом победителя конкурса «Харьков – лучшие имена» в номинации «Лучший декан» , 2008 года. Награда «Computer Society Outstanding Contribution Award» от Президента Общества IEEE. Медаль Украины «За научные достижения» , 2009. , золотая медаль от АН ПРЭ, 2010. 7. Другие сведения. Родился 27 февраля 1953 года. Четверо детей. Увлечения: автопутешествия, баскетбол, волейбол, горные лыжи, футбол, театр. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 5

НАНУ, 22 марта, 2012 Тенденции IT-индустрии 1) Число специализированных цифровых систем на кристаллах (So. C, Si. P) = 3 миллиарда. 2) Мощность одного кристалла – 1 миллиард вентилей, 10 000 vies (отверстий), 7 пластин в пакете Si. P. Толщина одной пластины (thickness) – 5 (25) micrometers. Промышленная технология сегодня – 20 nm. 3) Век 21 – время облачных сервисов, и сервисноориентированных технологий проектирования So. C. 4) Стадии развития интеллекта киберпространства: 1) Mouse brain – 2012. 2) Human brain – 2020. Humanity brain – 2050. Self-improving computer (SIC) – 2025. Проблемы: 1) Как заполнить силиконовый кристалл сервисами. 2) Как уменьшить мощность рассеивания на кристаллах. 3) Как повысить кристаллах. надежность и качество изделий на 4) Реструктуризация Интернет или создание инфраструктуры киберпространства. 5) Создание быстродействующих двигателей поиска, распознавания и принятия решений на основе стандартизованной инфраструктуры киберпространства. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 6

НАНУ, 22 марта, 2012 Метрика и Критерии Анализа Киберпространства Цель скалярного критерия оценить любое из указанных взаимодействий интервальной оценкой [0, 1] путем совместного использования трех параметров: кодового расстояния и двух функций непринадлежности. Векторный критерий оценивает структуру взаимодействия объектов. 7 Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 7

НАНУ, 22 марта, 2012 Киберпространство. Инфраструктура • Киберпространство – совокупность взаимодействующих по метрике информационных процессов и явлений, использующих в качестве носителя компьютерные системы и сети. Или. Интеллектуально-информационное отображение деятельности человечества. • Виртуальный компьютер – дружественное индивидуальное киберпространство с фильтрами, настроенными на повышение качества жизни каждого человека. Или. Интеллектуальный интерфейс связи с киберпространством. • Интеллект есть способность субъекта (объекта) к самообучению и совершенствованию среды, направленные на повышение качества жизни. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 8

НАНУ, 22 марта, 2012 Матричный процессор бинарных операций • Модуль ориентирован на параллельное выполнение в данном случае одной из четырех инструкций (ISA – Instruction Set Architecture), оперирующих матрицами двоичных данных одинаковой размерности. • Сложность ММП перенесена на структуры данных, где память матрицы имеет одну аппаратно-реализованную встроенную команду, что позволяет иметь примитивную систему управления параллельными вычислительными процессами (SIMD – Single Instruction Multiple Data), последовательностную по своей сути. • Нет необходимости создавать сложные компиляторы, ориентированные на распараллеливание вычислительных процессов. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 9

НАНУ, 22 марта, 2012 Logical Associative Multiprocessor Timer UART Interrupt Controller Program Memory SW Debugger OPB Bus Video Channel Microblaze Custom Peripheral Active-HDL Simulator Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 10

НАНУ, 22 марта, 2012 Модели квантовых вычислений Рыночная привлекательность квантовых или кубитных моделей вычислений основывается на высоком параллелизме решения задач дискретной оптимизации, сжатия и телепортации данных, отказоустойчивого проектирования, защиты информации за счет повышения аппаратных затрат. Кубит – совокупность двоичных битов, формирующих единичными значениями n примитивов, для обозначения состояний, составляющих булеан – множество всех подмножеств от n примитивов. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 11

НАНУ, 22 марта, 2012 Сервис ремонта модулей (памяти) Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua

НАНУ, 22 марта, 2012 Сервис синтеза тестов Используется уравнение пространства (функциональность, тест, дефекты) для решения задач: синтеза тестов, моделирования неисправностей, создания модели Обобщение и классификация задач технической диагностики путем создания модели xor-отношений на множестве из четырех основных компонентов. Процедуры синтеза тестов, моделирования неисправностей и поиска дефектов сводятся к графу полного взаимодействия четырех вершин (функциональность, устройство, тест, дефекты) на основе xor -операции. Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 13

НАНУ, 22 марта, 2012 Сервис диагностирования Аналитическая модель диагностирования функциональных нарушений любых объектов (процессов или явлений) оперирует реакцией, строками и столбцами: Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 14

НАНУ, 22 марта, 2012 10 Projects (Last 10 Years) q SIGETEST- fault simulation and test generation for complex digital devices q PRUS - programmable unlimited systems, spherical multiprocessor for Boolean equations solving, Aldec q Independent Test Lab: - INFOWATCH Mail Storage - Kaspersky lab Antivirus q HES+ARM Board - HW/SW co-simulator for complex So. Cs verification, Aldec q Assertions Engine - temporal assertions checker q CORDIC - IP Core generator fast calculations of trigonometric functions in hardware q JPEG/MPEG 4 – So. C implementation (R&D) q Open. TEST - Knowledge testing computer system q ASFTEST - automatic test synthesis system for state machines q Cyberspace, Virtual Computing & Engines, Ukraine (2) q Malware & Security, Sweden Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua 15

НАНУ, 22 марта, 2012 Контакты с мировой IT-индустрией STARC Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua

НАНУ, 22 марта, 2012 IEEE East-West Design & Test Symposium EWDTS’ 2012, Kharkov, Ukraine, 14 -17 September 2012 EWDT-History analysis Authors (2054) Countries - 67 EWDTS 2012 Authors (298) Countries (30) Armenia -9 Bangladesh -1 Belarus -7 Brazil -1 Chech Republic - 3 Côte d’Ivoire -1 Estonia -4 Germany -3 India -17 Iran -1 Israel -2 Italy -5 Japan -1 Malaysia - 3 Mexico -2 Nigeria -1 Norway -3 Palestine - 1 Poland -8 Romania -5 Russia -52 Saudi Arabia -1 Turkey - 6 UK - 1 Ukraine - 54 USA - 4 Kharkiv National University of Radio Electronics, Design Automation Department, e-mail: hahanov@kture. kharkov. ua