Публикации 2013

Статьи 

  1. Бабий С.М., Шевченко А.В., Алаа Мохаммед Абдул-Хади. Моделирование процесса последовательных испытаний серийных изделий на надёжность. I. Организация процесса последовательных испытаний // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 1(108). – С. 2–7.
  2. Бабий С.М., Шевченко А.В., Алаа Мохаммед Абдул-Хади. Моделирование процесса последовательных испытаний серийных изделий на надёжность. II. Сравнительный анализ последовательных испытаний с традиционным методом на базе однократной выборки // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 2(109). – С. 6–10.
  3. Лысенко И.В. Подход к модифицированию подключей для криптоалгоритма ГОСТ 28147-89 в зависимости от преобразуемых данных // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 1(108). – С. 192–193.
  4. Политько Е.И., Тарасюк О.М., Горбенко А.В. Метод формальной верификации UMC: UML Model Checking // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 1(108). – С. 211–215.
  5. Орехова А.А. Информационная технология оценивания безопасности человеко-машинных интерфейсов информационно-управляющих систем // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 1(108). – С. 267–271.
  6. Иванченко О.В., Харченко В.С., Бирюков Д.Ю. Полумарковская модель протекания аварии критической инфраструктуры //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 5(64). – С. 45–51.
  7. Дрозд А.В., Харченко В.С., Антощук С.Г., Дрозд М.А. Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа «замыкание» //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 5(64). – С. 142–147.
  8. Горбенко А.В. Анализ особенностей создания и эксплуатации гарантоспособных сервис-ориентированных систем //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 5(64). – С. 237–242. 
  9. Абдул-Хади А.М., Поночовный Ю.Л., Харченко В.С. Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 5(64). – С. 186–191.
  10. Butenko V.О., Odarushchenko O.N., Kharchenko V.S. Metric-based analysis of markov models for computer system availability assessment //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 5(64). – С. 214–220. 
  11. Лысенко И.В. О решении задач дискретной оптимизации в системе компьютерной математики МATLAB //  Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАИ». – 2013. – № 2(61). – С. 86–93.
  12. Лысенко И.В., Бутенко В.О. Анализ возможностей решения задач дискретной оптимизации средствами систем компьютерной математики // Системи обробки інформації. – Харків: ХУПС. – 2013. – Вип. 5(112). – С. 96–101.
  13. Горбенко А.В., Дубницкий В.Ю., Тимошенко И.И. Особенности подготовки рукописи статьи для публикации в англоязычной научной периодике  // Системи обробки інформації.  – Харків: ХУПС. –  2013. – Вип. 4(111). – С. 61–67.
  14. Gorbenko A., Romanovsky A. Time-Outing Internet Services // IEEE Security & Privacy. – 2013. – Vol. 11, No. 2. – P. 68 – 71.
  15. Орехова А.А., Харченко В.С., Брежнев Е.В., Бутенко В.О. Разработка марковских моделей готовности информационных и управляющих систем с учётом характеристик человеко-машинного интерфейса  // Наука і техніка повітряних сил Збройних сил України.  – 2013. – №1(10). – С. 131 – 135.
  16. Kharchenko V., Odarushchenko O.,  Butenko V.,  Popov P. Selecting mathematical software for dependability assessment of computer systems described by stiff Markov chains  // ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer. – 2013. – p. 146–162.
  17. Горбенко А.В., Тарасюк О.М.,  Лысенко А.С. Анализ производительности Web-сервисов в среде Cloud Computing // Збірник наукових праць Харківського університету Повітряних Сил. – Харків: ХУПС, 2013. – Вип. 2(35). – С. 82–85.                                        

Материалы конференций

  1. Gorbenko, A. Estimating Throughput Unfairness in a Mixed Data Rate Wi-Fi Environment [Текст] / A. Gorbenko, V. Kharchenko, O. Tarasyuk, Alaa Mohammed Abdul-Hadi // Proc. Digital Technologies (DT'2013), Zilina (Slovak Republic), 2013. – P. 181–184.
  2. Yanovsky, M. Adaptive WiFi systems: principles of design and application support [Текст] / M. Yanovsky, V. Kharchenko, A. Gorbenko // Proc. Digital Technologies (DT'2013), Zilina (Slovak Republic), 2013. – P. 203–206.
  3. Kharchenko, V. Green computing and communications in critical application domains: Challenges and solutions [Текст] / V. Kharchenko, V. Sklyar, A. Gorbenko, C. Phillips // Proc. Digital Technologies (DT'2013), Zilina (Slovak Republic), 2013. – P. 191–197.
  4. Illiashenko, O., Kharchenko V. Security Assessment and Green Issues of FPGA-Based Information & Control Systems // 9th International Conference on Digital Technologies, Zilina, Slovakia, May 29-31, 2013. – P. 235–241.

Тезисы докладов 

  1. Бутенко В.О. Математичне програмне забезпечення для моделювання комп'ютерних систем, що описуються жорсткими Марківськими ланцюгами // Тези доповідей конференції професорсько-викладацького складу по результатам наукових досліджень за 2012 рік, 29-30 травня 2013. – Полтава: Полтавська державна аграрна академія, 2013. – с. 90–91.
  2. Alaa Mohammed Abdul-Hadi. Markovian chain-based network availability analysis considering security issues //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.54.
  3. Чуйков Я.А., Харченко В.С. Технологии и методы снижения энергопотребления в FPGA //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.57.
  4. Белобородов А.Ю. Исследование уязвимости серверных операционных систем //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.59.
  5. Здоровець Ю.В.,  Желтухін О.В., Галькевич О.О. Підсистема діагностування автомобіля //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.65.
  6. Колесник И.Н.,  Желтухин А.В. , Галькевич А.А.,  Холодная З.Б. Модуль системы экологического мониторинга //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.66.
  7. Кузьмичёв А.М., Белобородов А.Ю. Обзор баз данных уязвимостей и эксплойтов //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.67.
  8. Худолей М.С. Верификация программного обеспечения на моделях  в рамках гибкой методологии разработки //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.68.
  9. Манулик В.С. Адаптивный интерфейс пользователя //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.69.
  10. Перепелицын А.Е. Анализ способов организации передачи данных между устройствами на базе ПЛИС и хост-компьютером //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.71. 
  11. Подскальный Е.И., Галькевич А.А. Рассмотрение вопросов информационной безопасности систем контроля физического доступа с идентификацией на основе смарт-карт //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.72. 
  12. Проценко И.А., Желтухин А.В. Анализ состояния водителя по зрачку //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.73. 
  13. Свирса Д.В. , Желтухин А.В. , Галькевич А.А. Автоматизированная система планирования и управления городским маршрутным транспортом //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.76. 
  14. Свирса К.В. , Желтухин А.В. , Галькевич А.А.  Автоматизированная система оптимизации управления городским электротранспортом //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.77. 
  15. Шеремет С.А., Орехов А.А. Система мониторинга лесных пожаров на основе сенсорных сетей //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.75. 
  16. Трубилко А.В., Смусенок С.А., Фурманов А.А. Анализ методов оценки производительности систем управления базами данных //  Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2013". – Харків: Нац. аерокосм. ун-т "ХАІ", 2013. – Том 2. – с.56. 

Монографии

  1. Gorbenko, A. Software Engineering for Resilient Systems [Текст] / A. Gorbenko, A. Romanovsky, V. Kharchenko (Eds.). – Lecture Notes in Computer Science, Vol. 8166. – Springer, 2013. – 199 p.
  2. Харченко В.С., Горбенко А.В., Худолей М.С. и др. Технологии Web, Grid, Cloud для гарантоспособных ИТ-инфраструктур. В 3-х томах. / Под ред. Харченко В.С., Горбенко А. В. – Харьков: Нац. аэрокосм. ун-т «Харьк. авиац. ин-т», 2013. – 868 с.

Учебники и учебные пособия

  1. Шостак А.В. Разработка клиентской части базы данных: учеб. пособие / А.В. Шостак. – Х: Нац. аэрокосм. ун-т «Харьк. авиац. ин-т», 2013. – 88 с. [Электронное издание]  
  2. Применение компьютерных технологий для оценивания надёжности и безопасности программно-технических комплексов / Соколов Ю.Н., Харченко В.С., Илюшко В.М., Поночовный Ю.Л., Бабаков М.Ф. / Под ред. Ю.Н. Соколова, В.С. Харченко. – Харьков: Нац.  аэрокосмический ун-т им. Н.Е. Жуковского «ХАИ», 2013. – 458 с.

Патенты на изобретения

  1. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач пачки імпульсів типу меандр перенастроюваної тривалості і фіксованої кількості, яка дорівнює чотирьом / Патент на корисну модель № 76443, Бюл. №1, 10.01.2013. 
  2. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач пачки імпульсів типу меандр з програмованою тривалістю і кількістю імпульсів в пачці / Патент на корисну модель № 78849, Бюл. №7, 10.04.2013. 
  3. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач одиночної пачки імпульсів типу меандр програмованої тривалості і кількості імпульсів в пачці / Патент на корисну модель № 78850, Бюл. №7, 10.04.2013.
  4. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач періодичної послідовності пачок імпульсів з перенастроюваною тривалістю, кількістю імпульсів в пачці і паузою між пачками / Патент на корисну модель № 78856, Бюл. №7, 10.04.2013.
  5. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач одиночної пачки імпульсів типу меандр з програмованою тривалістю, кількістю і затримкою відносно стартового / Патент на корисну модель № 78857, Бюл. №7, 10.04.2013.
  6. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач одиночної пачки імпульсів типу меандр з програмованою тривалістю, кількістю і фіксованою затримкою пачки відносно стартового на два такти / Патент на корисну модель № 78858, Бюл. №7, 10.04.2013.
  7. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач періодичної послідовності пачок імпульсів фіксованої тривалості, рівної трьом тактам, з перенастроюваною кількістю імпульсів в пачці і паузою між пачками  / Патент на корисну модель № 78859, Бюл. №7, 10.04.2013.
  8. Коробков М.Г., Коробкова О.М., Рубанов В.Г., Харченко В.С. Формувач імпульсів типу меандр з перенастроюваною тривалістю / Патент на корисну модель № 78861, Бюл. №7, 10.04.2013.

Свидетельство о регистрации авторского права

  1. Орєхова, А.О. Комп'ютерна програма «HazopEditor» / А.О. Орєхова, В.С. Манулік, В.С. Харченко, О.О. Орєхов – Свідоцтво про реєстрацію авторського права на твір №47031. – Дата реєстрації 02.01.2013.
  2. Маслов Д.В. Комп'ютерна  програма "Покриття довільної області колами з обходом перешкод на основі технології блок-структур, як частина системи автоматизації процесу проектування наземних гібридних систем моніторингу" / Д.В.Маслов, В.С. Харченко, О.О. Орєхов, Д.А. Кочкарь.  –  Свідоцтво про реєстрацію авторського права на твір № 47956. – Дата реєстрації 04.01.2013.