Перегляд за автором "Харченко, В.С."

Результати 1-15 з 15

Анализ структур отказоустойчивых бортовых комплексов при использовании электронных компонентов Industry

Харченко, В.С.; Юрченко, Ю.Б. (Технология и конструирование в электронной аппаратуре, 2003)

Анализируется возможность применения электронных компонентов Industry в аппаратуре бортовых комплексов, работающих при повышенном уровне радиации. Исследуются структуры бортовых комплексов различных систем управления при ...
Влияние обогащенной жирами диеты на содержание сфинголипидов в мозгу и когнитивные функции у старых крыс

Бабенко, Н.А.; Семенова, Я.А.; Харченко, В.С. (Нейрофизиология, 2009)

Показано, что длительное содержание крыс (от 15- до 24-месячного возраста, 36 недель) на пищевом рационе, обогащенном насыщенными жирами, сопровождается увеличением уровней свободных жирных кислот и меченого ([14C]) церамида ...
Влияния старения и экспериментально вызванных модификаций сигнальных путей на инсулининдуцированные сдвиги обмена глюкозы в коре головного мозга крыс

Бабенко, Н.А.; Харченко, В.С. (Нейрофизиология, 2015)

Исследовали индуцированную инсулином интенсификацию поглощения глюкозы и образования гликогена в коре головного мозга молодых и старых крыс. У первых из них соответствующие сдвиги были хорошо выражены; у старых же животных ...
Возрастные изменения фосфолипаза D-зависимого сигнального пути инсулина в неокортексе крыс

Бабенко, Н.А.; Харченко, В.С. (Нейрофизиология, 2013)

Инсулин участвует в обеспечении нормального функционирования ЦНС; фосфолипаза D является неотъемлемой частью сигнального каскада этого гормона. С возрастом происходят изменения липидного спектра клеток, что влечет за собой ...
Вплив ангармонізму та електрон-фононної взаємодії на спектер частот кристалів з гексагональною щільнопакованою ґратницею

Репецький, С.П.; Харченко, В.С.; Вишивана, І.Г. (Успехи физики металлов, 2011)

В огляді розглянуто основні методи опису енергетичного спектру електронів та спектру частот коливань атомів кристалічної ґратниці. Зроблено огляд основних метод дослідження впливу ефектів ангармонізму на фізичні властивості ...
Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"

Кривцов, В.С.; Горбенко, А.В.; Харченко, В.С. (Наука та інновації, 2015)

Інформаційні технології є однією з перспективних галузей світової та вітчизняної індустрії, яка розвивається стрімкими темпами. В статті автори діляться досвідом Національного аерокосмічного університету «ХАІ» з підготовки ...
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2010)

Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности ...
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах

Летичевський, О.О.; Песчаненко, В.С.; Харченко, В.С.; Волков, В.А.; Одарущенко, О.М. (Кибернетика и системный анализ, 2020)

Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем ...
Насколько формальны формальные методы?

Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2011)

В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и ...
Опыт взаимодействия университетов и промышленности в сфере трансфера ИТ-технологий в Западной Европе

Литвинов, В.В.; Харченко, В.С. (Математичні машини і системи, 2015)

В статье рассматриваются вопросы взаимодействия университетов и ИТ-компаний, современное состояние ИТ-индустрии в Украине, современное состояние университетов в Украине, зарубежный опыт решения проблемы взаимодействия ...
Реализация процесса верификации для разработки надежного программного обеспечения

Скляр, В.В.; Харченко, В.С. (Математичні машини і системи, 2006)

Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод ...
Роль церамидов с различной длиной ацильной цепи в нарушении функционального состояния клеток печени

Бабенко, Н.А.; Белый, А.Н.; Харченко, В.С. (Таврический медико-биологический вестник, 2013)

В даній роботі вивчали вплив екзогенних церамідів из різною довжиною ацильного ланцюга на функціональний стан клітин печінки. Інкубація гепатоцитів у присутності С16- або С18-цераміду супроводжується підвищенням рівня ...
Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: концепция, принципы построения

Саченко, А.А.; Кочан, В.В.; Харченко, В.С.; Ястребенецкий, М.А.; Фесенко, Г.В.; Яновский, M.Э. (Ядерна та радіаційна безпека, 2016)

Предложена концепция проектирования системы послеаварийного мониторинга оборудования и территории АЭС после тяжелой аварии с использованием беспилотных летательных аппаратов (БПЛА). Проводная сеть определена как наиболее ...
Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: модели надежности

Харченко, В.С.; Ястребенецкий, М.А.; Фесенко, Г.В.; Саченко, А.А.; Кочан, В.В. (Ядерна та радіаційна безпека, 2016)

Представлены различные варианты построения системы послеаварийного мониторинга АЭС на базе флотов дронов. Разработаны структурные схемы надежности таких вариантов и получены формулы для оценки их вероятности безотказной ...
Учет вторичных дефектов в моделях надежности программных средств

Одарущенко, О.Н.; Руденко, А.А.; Харченко, В.С. (Математичні машини і системи, 2010)

Анализируются допущения, принятые в моделях оценки надежности программных средств, на предмет внесения новых (вторичных) дефектов в процессе устранения обнаруженных ранее дефектов. Изложен порядок нахождения параметров ...

Результати 1-15 з 15

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Харченко, В.С."

Репозиторій DSpace/Manakin

Перегляд за автором "Харченко, В.С."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис