Зведений каталог бібліотек Харкова

Харченко В.С./Kharchenko V.S.

Документи:

Абстрактные модели и элементы систеза многоверсионных автоматов [Текст] / В.С. Харченко, В.В. Тарасенко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 52-55.
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 79-83.
Анализ архитектур отказоустойчивых серверов для оценки их надежности [Текст] / О.Н. Одарущенко, С.В. Живило, В.С. Харченко, Е.Б. Одарущенко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 60-67.
Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю [Текст] / Е.В. Брежнев, В.С. Манулик, В.С. Харченко, А.А. Орехов // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 20-29.
Анализ моделей представления требований к программному обеспечению при их профилировании [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 186-191.
Анализ применения плис технологий в медицинском оборудовании [Текст] / А.Е. Перепелицын, В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 125-130.
Анализ производительности коммуникационных протоколов soap и tcp [Текст] / С.С. Мамутов, В.С. Харченко, А.В. Горбенко, Саид Мохамед // Радіоелектронні і комп'ютерні системи. — 2007. — C. 205-208.
Анализ стохастических методов метамоделирования и оценивания готовности облачных инфраструктур [Текст] / О.В. Иванченко, В.С. Харченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 6-11.
Анализ характеристик и выбор средств разработки компьютерных игр [Текст] / Н.В. Мозговой, В.С. Харченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2015. — С. 96-104.
Аналіз проблем IT-інженерії безпеки: проект TEMPUS-SAFEGUARD [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 297-300.
Безопасность аэрокосмической техники и надежность компьютерных систем [Текст] / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — С. 66-80.
Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения [Текст] = Safety of Critical Infrastructures: Mathematical and Engineering Methods of Analysis and Ensuring / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2011. — 641 с.
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-2009 гг. [Текст] / Нац. аэроксм. ун-т им. Н.Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2011. — С. 9-20.
Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов [Текст] / А.А. Андрашов, В.С. Харченко, Л.А. Рева та ін. // Системи управління, навігації та зв'язку : зб. наук. праць / ДП "Центр. наук. - дослід. ін-т навігації і упр.". — К. : ДП "Центр. наук. - дослід. ін-т навігації і упр.", 2012. — С. 45-50.
Верификация программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. — 132 с.
Влияние интенсивности проведения профилактического техобслуживания на готовность автоматизированных систем охраны [Текст] / Н.С. Коваленко, Алаа АбдулХади, В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 24-29.
Возможности совместного использования современных методов анализа отказов систем, важных для безопасности [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков,Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 60-64.
Выбор многоверсионных технологий разработки критических программных средств с учетом совместимости видов версионной избыточности [Текст] / А.В. Волковой, В.С. Харченко // Технология приборостроения : Научно-технический журнал / ГП НИТИП. — С. 198-202.
Выбор моделей надежности программных средств для систем критического применения [Текст] / В.C. Харченко, В.В. Скляр, С.А. Вилкомир // Управляющие системы и машины : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 59-69.
Выбор технологии проектирования и базовых архитектур дефектоустойчивых цифровых управляющих и вычислительных систем реального времени [Текст] / В.С. Харченко // Космічна наука і технологія : наук. - практ. журн. / Нац. косм. агентство України, Нац. акад. наук України. — С. 109-119.
Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ" г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 46-59.
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів [Текст] / В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2007. — C. 7-14.
Гарантоздатність комп'ютерних систем: проблеми і результати [Текст] / Національний аерокосмічний університет ім. М.Є.Жуковського "ХАІ", м.Київ, Україна // Авіаційно-космічна техніка і технологія : наук.- техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2003. — С. 352-376.
Гарантоспособность и гарантноспособные системы: элементы методологии [Текст] / В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 7-19.
Динамическая реконфигурация веб-системы на основе метрического анализа баз данных уязвимостей ОТS-компонентов [Текст] / Н.И. Мазуренко, В.С. Харченко, А.В. Горбенко // Радіоелектронні і комп'ютерні системи. — 2014. — С. 135-139.
Доказательство и обеспечение безопасности с использованием формальных нотаций [Текст] / Е.И. Неткачёва, В.С. Харченко // Системи озброєння і військова техніка. — Х., 2011. — С. 89-97.
Эволюция отказоустойчивых БЦВК и направления их развития на однокристальных микро-ЭВМ [Текст] / Н.К. Байда, А.И. Кривоносов, И.В. Лысенко та ін. // Системи обробки інформації : зб. наук. праць / Нац. акад. наук України, Петрів. акад. наук та мистецтв, Харк. військ. ун-т. — Х. : ХВУ, 2001. — С. 217-225.
Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем [Текст] / С.А. Яремчук, В.С. Харченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 77-81.
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів [Текст] / Нац. аерокосм. ун-т ім. М.Є. Жуковського "ХАІ" // Авиационно-космическая техника и технология. 6 - Х. : Нац. аэрокосмический ун-т "ХАИ" , 2011. — С. 81-95.
Энергоэффективные кластерные и облачные вычисления и технологии [Текст] = Energy-efficient Cluster and Cloud Computing and Technology : практикум / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. А. Г. Федоровой, В. С. Харченко. — Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2016. — 199 с.
Зеленая ИТ-инженерия [Текст]. Принципы, компоненты, модели : [в 2 т.] / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 594 с.
Зеленая ИТ-инженерия [Текст]. Системы, индустрия, социум : [в 2 т.] / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 688 с.
Зеленое программное обеспечение [Текст] = Green Software : практикум / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко, Д. А. Маевского. — Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 161 с.
Зеленые аппаратные средства и программируемые системы [Текст] = Green Hardware and Programmable Systems : практикум / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. А. В. Дрозд, В. С. Харченко. — Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 117 с.
Зеленые технологии в телекоммуникациях [Текст] = Green Telecommunication Technologies : [практикум] / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко, О. С. Мезенцевой. — Харков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 247 с.
Имитационное моделирование отказоустойчивых бортовых систем управления с программируемой логикой с учетом факторов среды [Текст] / А.А. Ушаков, В.С. Харченко // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — С. 74-89.
Инвариантно-ориентированная оценка качества программного обеспечения космических систем [Текст] / Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. Б.М. Конорева, В.С. Харченка. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. — 224 с.
Инженерия критического программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 68 с.
Интеллектуальная система поддержки сертификации программного обеспечения систем критического применения [Текст] / В.С. Харченко, И.В. Шостак, Ю.С. Манжос // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аєрокосмічний ун-т "ХАІ"; Миколаїв: Вид-во МФ НаУКМА, 2002. — С. 45-50.
Использование радиальных метрических диаграмм для оценки характеристик программного обеспечения [Текст] / В.С. Харченко, О.М. Тарасюк // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2003. — С. 123-133.
Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем [Текст] / В.С. Харченко, Н.П. Бородавка // Радіоелектронні і комп'ютерні системи. — 2006. — С. 55-60.
Исследование зависимости "надёжность-стоимость" при использовании многоверсионных технологий разработки программных средств [Текст] / А.В. Волковой, В.В. Скляр, В.С. Харченко // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аерокосмічний ун-т "ХАІ", 2002. — С. 182-186.
Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата [Текст] / Ю.Л. Поночовный, С.А. Засуха, В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 41-47.
Исследование сервисов спортивного программирования как многоверсионных проектов [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 29-35.
Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім.М.Є.Жуковського "ХАІ" [Текст] / В.С. Кривцов, А.В. Горбенко, В.С. Харченко // Наука та інновації : український оглядовий журнал майбутнього: науково-практичний журнал. — К., 2015. — С. 81-84.
Квалификационные испытания критического программного обеспечения космических систем: целевая технология независимой верификации и прогнозирования скрытых дефектов [Текст] / Б.М. Конорев, Ю.Г. Алексеев, С.А. Засуха та ін. // Космічна наука і технологія : наук. - практ. журн. / Нац. косм. агентство України, Нац. акад. наук України. — С. 9-26.
Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа "замыкание" [Текст] / А.В. Дрозд, В.С. Харченко, С.Г. Антощук, М.А. Дрозд // Радіоелектронні і комп'ютерні системи. — 2013. — С. 142-147.
Концепція побудови мобільних систем пост-аварійного моніторингу АЕС з використанням флоту квадрокоптерів [Текст] / А.О. Саченко, В.В. Кочан, В.С. Харченко та ін. // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 207-214.
Кооперация университетов и IT-индустрии: структура, результаты и перспективы в Украине [Текст] / В.С. Харченко, В.В. Скляр // Радіоелектронні і комп'ютерні системи. — 2014. — С. 170-174.
Масштабируемая реализация алгоритмов шифрования на ПЛИС: алгоритм IDEA [Текст] / Е.В. Брошеван, А.Е. Перепелицын, В.С Харченко // Радіоелектронні і комп'ютерні системи. — 2014. — С. 178-182.

1 2 3 4