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

• Класифікатори та каталоги
• Контроль помилок. Обробка помилок

Виявлення, зазначення (індикація) помилок. Оцінка даних. Підтвердження достовірності даних. Перевірка даних

Документи:

• Автоматизация диагностирования систем управления летающих моделей при стендовых испытаниях [Текст] : учеб. пособие / Гос. комитет СССР по народному образованию, Харьк. авиац. ин-т им. Н. Е. Жуковского. — Х. : Харьк. авиац. ин-т им. Н. Е. Жуковского, 1990. — 84 с.
• Анализ эволюции программного обеспечения с открытым кодом [Текст] / И.Б. Туркин, А.В. Сыромятников, Ю.А. Кузнецова // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2013. — С. 21-33.
• Аффінно-інтервальний метод контролю достовірності інформації в програмному забезпеченні систем реального часу [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.080403 - комп'ютерні науки, програмне забезп. автоматизованних систем : (робота викон на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Туркін І. Б. — Х., 2011. — 63 с. + додатки.
• Барометричний покажчик висоти з цифровим виходом [Текст] : пояснюв. зап. до вип. роботи бакалавра : 0913 - метрологія та вимірювальна техніка, інформаційно-вимірювальні системи : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. авіац. приладів та вимірювання (№ 303) ; кер. Гордієнко В. О. — Х., 2010. — 52 с. + додатки.
• Вбудована вимірювально-обчислювальна система контролю і настройки стаціонарної передаючої фазованої антенної решітки на базі решітки вимірювальних зондів у ближній зоні [Текст] : автореф. дис. ... канд. техн. наук : 05.12.17 - радіотехн. та телевіз. системи / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2006. — 20 с.
• Вимірювач приладної швидкості на підставі мікроконтролеру [Текст] : пояснюв. зап. до дип. проекту бакалавра : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк.авїац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Кіслий А. Г. — Х., 2010. — 80 с. + додатки.
• Встроенная измерительно-вычислительная система контроля и настройки стационарной передающей фазированной антенной решетки на базе решетки измерительных зондов в ближней зоне [Текст] : дис. ... канд. техн. наук : 05.12.17 - радиотехнические и телевизионные системы / МО Украины, Объединенный НИИ Вооруженных Сил ; рук. Лиепинь У.Р. — Х., 2006. — 134 с.
• Графічна візуалізація мікроконтролерного управління [Текст] : пояснюв. зап. до дип. проекту спеціаліста : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Троненко Д. С. — Х., 2010. — 112 с. + додатки.
• Графічна консоль для вивчання мікроконтроллерів AVR [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.091 - електричні апарати, 6.091.001 - виробництво електронних засобів : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. вир-ва радіоелектрон. систем літ. апаратів (№ 502); кер. Баранов М. Г. — Х., 2010. — 98 с. + додатки.
• Группирование ошибок, вызываемых импульсными помехами в каналах передачи данных [Текст] : автореф. дис. ... канд. техн. наук : 291 - радиосвязь, радиовещение и телевидение / КИИГА. — К., 1971. — 23 с.
• Диагностика отказов цифровых вычислительных систем [Текст] / Г. Чжен, Е. Мэннинг, Г. Метц. — М. : Мир, 1972. — 232 с.
• Дифференциальная передача координатной информации [Текст] / С.В. Алексеев, Ю.И. Лосев // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2002. — С. 160-167.
• Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов [Текст] / Сертификационный центр АСУ, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 192-199.
• Доказова незалежна верифікація та прогнозування дефектів критичного програмного забезпечення на базі диверсного вимірювання інваріантів [Текст] / Б.М. Конорев, В.В. Сергіенко, І.Б. Туркін // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2011. — С. 5-14.
• Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем [Текст] / С.А. Яремчук, В.С. Харченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 77-81.
• Електронна та мікропроцесорна техніка в метрології й інформаційно-вимірювальних системах [Текст] : навч. посібник до лаб. практикуму / М.В. Цеховський, О.В. Світличний, О.В. Заболотний, В.О. Книш. — Х. : Нац. аерокосмічний ун-т "ХАІ", 2009. — 80 с.
• Инвариантно-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 02.03.12 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х., 2011. — 166 с.
• Информационная технология обеспечения достоверности и актуальности данных при испытаниях сложных технических комплексов [Текст] : дис. ... канд. техн. наук : 05.13.06- информ. технологии / МОНУ, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "ХАИ". — Х., 2010. — 176 с.
• Исследование и разработка методов расчета электрических фильтров на базе цепей с распределенными параметрами [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Элементы и устройства вычислительной техники и систем управления" / Моск. авиац. ин-т. — Москва, 1981. — 20 с.
• Исследование и разработка средств контроля и диагностики устройств переработки дискретной информации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - элементы и устройства вычислительной техники / АН УССР, Ин-т электродинамики. — К., 1978. — 20 с.
• Імітація сигналів управління літального апарату за курсом на авіаційному тренажері [Текст] : пояснюв. зап. до дип. проекту спеціаліста : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Кислий А. І. — Х., 2010. — 109 с. + додатки.
• Інваріантно-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 21 с.
• Інформаційна технологія забезпечення вірогідності та актуальності даних при випробуваннях складних технічних комплексів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2010. — 19 с.
• Інформаційна технологія забезпечення достовірності інформації в системах безпроводового доступу на основі адаптивних кодових конструкцій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Черніг. нац. технолог. ун-т. — Чернігів, 2015. — 19 с.
• Інформаційна технологія забезпечення достовірності інформації при обміні даними на основі каскадного кодування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / Нац. акад. наук України, Ін-т телекомунікацій і глоб. інформ. простору. — К., 2014. — 18 с.
• Інформаційна технологія моніторингу газоспоживання міста [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Терноп. нац. техн. ун-т ім. І. Пулюя. — Тернопіль, 2015. — 21 с.
• Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 161-167.
• Комплект БИС К1804 в процессорах и контроллерах [Текст] / под ред. В. Б. Смолова. — М. : Радио и связь, 1990. — 255 с.
• Конструирование устройств на микроконтроллерах [Текст] / А.В. Белов. — СПб. : Наука и Техника, 2005. — 256 с.
• Контролер для адаптивної точки доступу бездротової мережі [Текст] : пояснюв. зап. до вип. роботи бакалавра : 0915 - комп'ютерна інженерія : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ютерних систем та мереж (№ 503) ; кер. Харченко В. С. — Х., 2010. — 47 с. + додатки.
• Лабораторний стенд для вивчення аналого-цифрового перетворювача на основі промислового мікроконтроллера [Текст] : пояснюв. зап. до вип. роботи бакалавра : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк.авїац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Зянчуріна І. М,. — Х., 2010. — 62 с. + додатки.
• Метод автоматичного контролю ступеня завантаження рудою барабанних млинів магнітозбагачувальних фабрик [Текст] : автореф. дис. ... канд. техн. наук : 05.13.07 - автоматизація процесів керування / М-во освіти і науки України, Держ. вищ. навч. закл. "Нац. гірн. ун-т". — Дніпропетровськ, 2015. — 19 с.
• Методи організації розподілення комп'ютерних систем контролю і ідентифікації режимів електричних мереж залізниць [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - комп'ют. системи та компоненти / М-во освіти і науки, молоді та спорту України, Держ. екон. - технол. ун-т трансп. — К., 2013. — 19 с.
• Методи пошуку несправностей в локальних обчислювальних мережах та їх сегментах [Текст] : автореф. дис. ...канд. техн. наук.: 05.13.13 "Обчислювальні машини, системи та мережі" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 20 с.
• Методи та моделі забезпечення сталої достовірності інформації у безпроводових системах передачі даних [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 - інформ. технології / Нац. акад. наук України, Ін-т проблем мат. машин і систем. — Київ, 2016. — 38 с.
• Методи формування цифрового потоку для систем широкосмугового радіодоступу [Текст] : автореф. дис. ... канд. техн. наук : 05.12.02 - телекомунікац. системи та мережі / М-во освіти і науки України, Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2013. — 20 с.
• Метод отбора дефектосодержащих компонентов программных систем [Текст] / С.А. Яремчук, В.С. Харченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 64-69.
• Метод повышения достоверности контроля данных, представленных в системе остаточных классов [Текст] / В.А. Краснобаев, С.А. Кошман, М.А. Маврина // . — С. 167-175.
• Методы и средства повышения качества данных в автоматизированных системах организационного управления [Текст] : дис. ... канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информационные технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Кулик А.С. — Х., 2003. — 168 с.
• Методы поиска неисправностей в локальных вычислительных сетях и их сегментах [Текст] : дис. ... канд. техн. наук : 05.13.13 "Вычислительные машины, системы и сети" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2007. — 188 с.
• Методы формирования способов автоматической проверки программной реализации алгоритмов систем управления [Текст] / ОАО МНПК "Авионика" // Авиакосмическое приборостроение : Ежемесячный научно-технический и производственный журнал. — 2006. — С. 49-58.
• Микроконтроллерные системы: структуры и практическое применение [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2005. — 93 с.
• Микроконтроллеры? Это же просто! [Текст] / А.В. Фрунзе. — М. : ИД СКИМЕН, 2002. — 336 с.
• Микроконтроллеры AVR. Вводный курс [Текст] : пер. с англ. / Дж. Мортон. — М. : ИД "Додэка- XXI", 2006. — 272 с.
• Микроконтроллеры AVR семейств Tiny и Mega фирмы ATMEL [Текст] / А.В. Евстифеев. — 3-е изд. — М. : ИД "Додэка-XXI", 2006. — 560 с.
• Микроконтроллеры MicroCHIP [Текст] : практ. рук-во / В.С. Яценков. — 2-е изд. — М. : Горячая линия- Телеком, 2007. — 280 с.
• Мікроконтролерна реалізація керування завантаженням касет гальванічної дільниці [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050202 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Благодарний М. П. — Х., 2012. — 64 с. + додатки.
• Мікроконтролерна система керування автоматизованим складом [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050202 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Внуков І.П. — Х., 2013. — 57 с. + додатки.
• Моделі, методи та інформаційна технологія створення та супроводу знанняорієнтованих систем контролю [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Одес. нац. політехн. ун-т. — Одеса, 2016. — 21 с.
• Модель инварианто-ориентированной оценки характеристик качества программного обеспечения [Текст] / Сертификационный центр АСУ ГП Госцентркачечтва, г.Харьков, Украина // . — С. 117-120.

1   2