Search
Now showing items 41-47 of 47
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения
(ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...
Обзор и анализ возможностей виртуальных машин как средства обеспечения безопасности функционирования программных средств
(ХАИ, 2007)
Проанализирована существующая проблема обеспечения функциональной безопасности программного обеспечения критического назначения. Проведен обзор и анализ существующих типов виртуальных машин (ВМ), их архитектур и свойств. ...
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...
Групповая динамика и коммуникация как дисциплина программной инженерии
(ХАИ, 2012)
Статья посвящена определению целей и содержания обучения по профессионально-ориентированной дисциплине «Групповая динамика и коммуникация», которая входит в
учебный план подготовки бакалавра по направлению «Программная ...
Разработка ПО для микроконтроллера STM32FXXX при интеграции с оптическим радаром Leddar One
(ХАИ, 2018)
В последние годы большую популярность получили автопилоты для различных
транспортных средств. Важнейшие блоки автопилота – системы обнаружения препятствий.
В качестве чувствительных элементов выступают радары различных ...
Анализ актуальности средств разработки программного кода для адаптации учебных планов университетского образования Украины
(ХАИ, 2018)
В работе проведен анализ средств разработки программного обеспечения, которое может
быть использовано, при подготовке будущих специалистов в области информационных
технологий. Приведена статистика рынка труда Украины по ...
Исследование датчика температуры DS18B20 WI-FI модулем NodeMCU V3 ESP8266
(ХАИ, 2019)
В работе описан аппаратно-программный
комплекс для подключения измерителя температуры (датчика) DS18B20. Комплекс
разработан для исследования обеспечения отказоустойчивости измерений
температуры в IoT. В качестве блока ...