Публикации 2010

Статьи

  1. Боярчук А.В., Поночовный Ю.Л., Харченко В.С.  Разработка и исследование базовых моделей отказоустойчивых web-сервисов // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №5(46). – c.42–49.
  2. Скляр В.В., Харченко В.С., Панарин А.С., Сандер И. Применение концепции model-based testing для верификации систем на базе IP-ядер // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №5(46). – c.237–241.
  3. Серков О.А., Харченко В.С., Чурюмов Г.І. Принципи побудови волоконно-оптичної інтелектуальної мережі // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №5(46). – с.287–291.     
  4. Дужий В.И., Харченко В.С., Старов А.А., Русин Д.О. Исследование сервисов спортивного программирования как многоверсионных проектов// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.25–31.     
  5. Бохан К.А., Худолей М.С. Модели корпоративных сервисов на основе иерархических сетей Петри// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.32–38.     
  6. Gorbenko A.V. Instability Analysis of Delays Contributing to Web Service Response Time // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.44–48.   
  7. Куланов С.А. Метод планирования задач и распределения ресурсов в ГРИД на основе процедур прогнозирования  // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.65–69.   
  8. Прохорова Ю.Н. Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-b // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.130–137.   
  9. Ostroumov S., Laibinis L., Troubitsyna E. Event-b Patterns for Developing FPGA-based Hardware// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.149–155.   
  10. Руденко А.А., Одарущенко О.Н., Харченко В.С. Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.191–197.   
  11. Коваленко Н.С., Харченко В.С. Модели автоматизированных систем периметровой охраны объектов с ''пассивным'' нарушителем // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №6(47). – с.326–332.   
  12. Лахижа Р.Н. Таксономическая схема и методы обеспечения гарантоспособности банковских информационных систем// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.62–67.   
  13. Годунов А.С. Анализ методов вычисления коэффициента релевантности для веб-страниц поисковыми системами // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.68–71.   
  14. Андрашов А.А., Дубницкий В.Ю. Наукометрический анализ трудов конференции «Гарантоспособные системы, сервисы и технологии (DESSERT 2006-2010)» // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.72–76.   
  15. Андрашов А.А. Таксономические модели профилирования требований информационно-управляющих систем критического применения// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.104–108.   
  16. Куланов В.А., Куланов С.А., Скрынник А.С. Инструментальное средство засева и моделирования константных неисправностей встроенных систем на ПЛИС // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.225–229.   
  17. Скляр В.В. Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.267–271.   
  18. Бабий С.М., Кочкарь Д.А., Чмовж В.В. Алгоритм покрытия площади лесного массива кругами видеонаблюдения и контроля // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.272–277.
  19. Бабешко Е.В., Ильяшенко О.А., Харченко В.С. Многоэтапный анализ надежности и безопасности информационно-управляющих систем // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.283–287.   
  20. Харченко В.С., Зайцева Е. О деградирующих системах с деградирующими компонентами // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.288–292.   
  21. Харченко В.С. Анализ проблем ИТ-инженерии безопасности: проект TEMPUS-SAFEGUARD // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.297–300.   
  22. Кочкарь Д.А., Мединцев С.Ю., Орехов А.А. Оптимальное размещение вышек наблюдения наземных систем  видео-мониторинга лесных пожаров // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.311–314.   
  23. Гончаров А.С., Фурманов А.А. Анализ гарантоспособности диверсных сервис-ориентированных архитектур (на англ. яз.) // Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. –  №7(48). – с.18–23.   
  24. Проценко А.Г., Лысенко И.В. Тестирование генераторов случайных чисел систем программироавания на основе стандарта FIPS 140-1// Системи обробки інформації. – Харків: ХУПС.– 2010. – Вип. 2(83). – С.130–132.
  25. Денисенко С.В., Шостак А.В. Модификация алгоритма построения кратчайшего остовного дерева для беспроводной сенсорной сети // Системи обробки інформації. – Харків: ХУПС.– 2010. – Вип. 2(83). – С.75–79.
  26. Асташкина Е.Н., Лысенко И.В. Подход к формированию расписания ключей для блочного симметричного криптоалгоритма ГОСТ 28147-89// Системи обробки інформації. – Харків: ХУПС.– 2010. – Вип. 6(87). – С.30–34.
  27. Шостак А.В. О размещении точки доступа в Wi-Fi сети// Системи управління, навігації та зв'язку. – К: Центральний науково-дослідний інститут навігації і управління. – 2010. – Вип. 2(14). – с.91–94.
  28. Бохан К.А., Худолей М.С. Анализ сетей Петри в среде моделирования CPN Tools// Системи обробки інформації. – Харків: ХУПС.– 2010. – Вип. 8(89). – С.45–51.
  29. Горбенко А.В., Газал М.С., Котик В.С., Тарасюк О.М. Метод проектирования беспроводных компьютерных сетей с учетом требований к пропускной способности // Системи обробки інформації: Зб. наук. праць. Вип. 1(82). – Харків: ХУПС, 2010. – С. 99–103.
  30. Горбенко А.В., Тарасюк О.М., Харченко В.С. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A // Математические машины и системы. – 2010. – № 2. – С. 166 – 177.
  31. Горбенко А.В., Тарасюк О.М., Харченко В.С. Створення гарантоздатних сервіс-орієнтованих систем для розподіленої обробки інформації за умов невизначеності характеристик компонентів// Тр. Международной научно-технической конференции «Автоматизация: проблемы, идеи, решения». – С.: СевНТУ, 2010. – С. 71–73.
  32. Горбенко А.В. Determination of distribution laws of delays contributing to Web-services response time// Радіоелектронні і комп'ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – № 7 (48). – С. 44–48.
  33. Kharchenko V., Orekhov A., Medintsev S., Kothckar D., Bogomolov V. Ground Video-Monitoring System for Early Detection of Forest Fires// Journal of Information, Control and Management Systems. Faculty of  Management  Science and Informatics University of Zilina. – 2010. – Vol. 8, No2. – p.111–120.
  34. Kharchenko V., Sklyar V. Scalable diversity-oriented decisions and technologies for dependable SoPC-based safety-critical computer systems and infrastructures//International Journal of Critical Computer-Based Systems, Published by Inderscience Enterprices Ltd. – 2010. – Vol.1, Nos 1/2/3. – p.24–40.
  35. A. Gorbenko, О. Tarasyuk, V.Kharchenko, S. Mamutov, Yu. Chen, A. Romanovsky. Real Distribution of Response Time Instability in Service-Oriented Architecture// Proc. 29th IEEE International Symposium on Reliable Distributed Systems (SRDS'2010), Delhi (India), 31 Oct-3 Nov 2010. – pp.92 – 99.
  36. A. Andrashov, V. Kharchenko, K. Netkachova, V. Sklyar, A.Siora. Safety Case-Oriented Assessment of Critical Software: Several Principles and Elements of Techniques// Safety Case-Oriented Assessment of Critical Software: Several Principals And Elements of Techniques, Monographs of System Dependability. Dependability of Networks, Wroclaw, OWPW, 2010. – p. 11–25.
  37. A. Andrashov,  V. Kharchenko, V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir. Verification of FPGA Electronic Designs for Nuclear Reactor Trip Systems: Test- and Invariant-Based Methods// Proceedings of IEEEEast-West Design & Test Symposium, St. Petersburg, Russia, September 17 – 20, 2010. – p. 92-97.
  38. Andrashov A.A.,  Bakhmach E.S., Siora A.A., Tokarev V.I., Kharchenko V.S., Sklyar V.V. Safety Critical FPGA-based NPP I&C Systems: Assessment, Development and Implementation// Proceedings of the 17th PBNC, Cancun, Mexico, October 24-30, 2010. – p. 1 – 14.
  39. Andrashov A.A.,  I. Bakhmach, V. Kharchenko, A. Siora, V. Sklyar. Experience of I&C systems modernization using FPGA technology // Proceedings of the NPIC&HMIT 2010, Las-Vagas, Nevada, USA, November 7-11, 2010. – p. 1345 – 1352.
  40. Нечаусов С.Н. Прогнозирование нагрузки потока задач на GRID-ресурсы // Системи обробки інформації. – Харків: ХУПС.– 2010. – Вип. 8(89). – С.29–34.
  41. Шевченко А.В., Нечаусов С.Н. Метод оптимального распределения транзакций корпоративной сети // Системи обробки інформації. – Харків: ХУПС. – 2010. – Вип. 9(90). – С.123–125.

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

  1. Асташкина Е.Н., Лысенко И.В.  Процедуры формирования расписания ключей для  алгоритма шифрования ГОСТ 28147-89// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.199.
  2. И.В. Дужий, А.В. Шостак, В.И. Дужий. Инструментальные средства поддержки экспериментальных исследований многоверсионных проектов// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. –  с.206.
  3. Голованов И.С., Волоковой А.В. Подходы к анализу рисков и оценке информационной безопасности// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.204.
  4. Крумин А.В., Колесников А.С., Горбенко А.В. Анализ возможностей и проблем использования технологии Cloud Computing// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – c.213.
  5. Никитенко М.А., Волковой А.В.  Управление требованиями к программному обеспечению многоверсионных систем // Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.217.
  6. Порубянский А.В., Орехов А.А. Автоматизация процесса проектирования систем видеомониторинга// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.222.
  7. Русин Д.О., Старов А.А., Дужий В.И. Методика вычисления метрик диверсности многоверсионных проектов// Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.223.
  8. Старов А.А., Русин Д.О., Дужий В.И. Сравнительный анализ статических анализаторов кода для экспериментального исследования диверсности // Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ-2010".– Харків: НАКУ "ХАІ", 2010. – Том 2. – с.226.

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

  1. Лысенко И.В. Методы исследования компьютерных систем:  cб. практ. заданий / И.В. Лысенко. – Х.:   Нац.  аэрокосм.  ун-т   «Харьк.  авиац. ин-т», 2010. – 28 с. [Электронное издание]
  2. Орехов А.А., Остроумов Б.В., Сидоренко Н.Ф. Проектирование интерфейсов пользователей/ Учеб. пособие. – Х: Нац. аэрокосм. ун-т «Харьк. авиац. ин-т», 2010. – 52 с.
  3. Дужий В.И., Галькевич А.А., Желтухин А.В., Шостак А.В. Аппаратная организация компьютеров/ Учеб. пособие. – Х: Нац. аэрокосм. ун-т «Харьк. авиац. ин-т», 2010. – 88 с.

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

  1. Коробков М.Г., Коробкова О.М., Харченко В.С. Формувач тактових імпульсів/ Патент на корисну модель № 51622, МПК Н03К 3/78 від 26.07.2010.
  2. Коробков М.Г., Коробкова О.М., Харченко В.С. Формувач тактових імпульсів/ Патент на корисну модель № 52887, МПК Н03К 3/78 від 10.09.2010.
  3. Коробков М.Г., Коробкова О.М., Харченко В.С. Формувач тактових імпульсів/ Патент на корисну модель № 53542, МПК Н03К 3/78 від 11.10.2010.
  4. Коробков М.Г., Коробкова О.М., Харченко В.С. Формувач одиночних пачок імпульсів/ Патент на корисну модель № 55951, МПК Н03К 3/78 від 27.12.2010.