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

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

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

Документи:

• Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Текст] / Б.М. Конорев, С.А. Засуха, Ю.С. Манжос та ін. // Радіоелектронні і комп'ютерні системи. — 2006. — С. 162-170.
• Моделювання хвилевидної антенної решітки [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050903 - телекомунікації : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Каф. прийому, передачі та оброб. сигналів (№504) ; кер. Науменко В. В. — Х., 2015. — 64 с. + додатки.
• Низькочастотний функціональний генератор (лабораторний макет) [Текст] : пояснюв. зап. до диплом. проекту : 7.091001 - електронні апарати, виробництво електронних засобів : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. вир-ва радіоелектрон. систем. літ. апаратів (№ 502) ; кер. Баранов М. Г. — Х., 2010. — 190 с. + додатки.
• Оптимизация диагностических порцедур на основе принципа максимума [Текст] / А.К. Дмитриев, Е.В. Копкин // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 3-10.
• Оптимизация кода почтового программного приложения на платформе Apple iOS по критерию минимума энергопотребления [Текст] / И.Б. Туркин, А.В. Вдовиченко // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2014. — С. 32-40.
• Организация и программирование микроконтроллеров [Текст] : учеб. для студентов вузов / И.А. Фурман, В.А. Краснобаев, В.В. Скороделов, А.Н. Рысованый. — Х. : Эспада, 2005. — 248 с.
• Отладка программного обеспечения на универсальном микроконтроллерном стенде [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2000. — 90 с.
• Оценивание величин средствами нечеткой арифметики [Текст] / И.А. Ходашинский // Автометрия  : научно-технический журнал / РАН, Сиб. отд-ние; Ин-т автоматики и телеметрии. — С. 21-30.
• Оценка сложных объектов по иерархической системе критериев. [Текст] / Г.В. Антюфеев, Е.А. Елтаренко // Информационные технологии в проектировании и производстве. — 2005. — №2. — С. 46-54.
• Планирование программных проектов на основе недоопределенных моделей и программирования в ограничениях [Текст] / И.Б. Туркин, М.С. Соколов, Д.С. Дереженец // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2012. — С. 14-22.
• Повышение точности диаметра координатным методом [Текст] / А.Б. Матанцев // Измерительная техника  : научно-технический журнал / Госком РФ по стандартизации и метрологии. — С. 28-30.
• Поиск устойчивых ошибок в программах [Текст] / Б.В. Архангельский, В.В. Черняховский. — М. : Радио и связь, 1989. — 240 с.
• Построение диагностических моделей при разработке диагностического обеспечения блока гироскопических датчиков динамически подобной летающей модели [Текст] / В.А. Мясов, С.В. Николаенко, Н.П. Отраднова // Знаниеориентированные системы поддержки принятия решений : сб. науч. тр. / Харьк. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1991. — С. 50-53.
• Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью [Текст] / Б.М. Конорев, В.В. Сергиенко, В.С. Харченко, Г.М. Жолткевич // Радіоелектронні і комп'ютерні системи. — 2014. — С. 50-54.
• Проектирование цифровых устройств на однокристальных микроконтроллерах [Текст] / В.В. Сташин, А.В. Урусов, О.Ф. Мологонцева. — М. : Энергоатомиздат, 1990. — 223 с.
• Проектування цифрових контролерів [Текст] : навч. посіб. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2008. — 100 с.
• Профессия - стиратель [Текст] / О. Пилипенко // . — С. 52-55.
• Разработка автоматизированной системы диагностирования бортовых систем управления летающих моделей [Текст] : отчет о НИР (промежуточ.) : Г103-314/86 / ХАИ ; рук. Садовничий С.Н. ; исполн.: Черановский О.Р., Кулик А.С., Булгаков И.А. — Х., 1990. — 110 с.
• Разработка диагностических моделей линейных динамических систем в операторной форме [Текст] / А.С. Кулик, С.Н. Садовничий, И.А. Булгаков // Знаниеориентированные системы поддержки принятия решений : сб. науч. тр. / Харьк. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1991. — С. 53-59.
• Разработка программного обеспечения системы контроля и диагностики цифровых устройств [Текст] : отчет о НИР (промежуточ.) : 303-144/78 / ХАИ; рук. Сироджа И.Б.; исполн.: Тупало В.Г., Голубь Н.Г., Печенкин В.А.,. — Х., 1978. — 118 с.
• Разработка проектов на основе программируемых логических контроллеров [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 37 с.
• Реализация криптографических преобразований сообщений в системах управления промышленных сетей lon интеллектуальных зданий [Текст] / Пермский государственный технический университет, г.Пермь, Россия // . — С. 78-82.
• Розробка й удосконалення мікропроцесорної системи керування впорскуванням палива у двигунах внутрішнього згоряння [Текст] : пояснюв. зап. до вип. роботи магістра : 0913 - метрологія та вимірювальна техніка, інформаційно-вимірювальні системи : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. авіац. приладів та вимірювання (№ 303) ; кер. Цеховський М. В. — Х., 2010. — 151 с. + додатки.
• Розробка лабораторного практикуму на базі мікроконтролера MSP430 [Текст] : пояснюв. зап. до вип. роботи спеціаліста : 0509 - телекомунікації, технології та засоби телекомунікацій : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Каф. прийому, передачі та оброб. сигналів (№504) ; кер. Кравчук А. С. — Х., 2012. — 80 с. + додатки.
• Сигналізація аварійного зниження тиску в гальмівній системі [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк.авїац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Троненко Д. С. — Х., 2011. — 75 с. + додатки.
• Система стабилизации угловой скорости радиолокационной станции [Текст] : поясн. зап. к вып. работе бакалавра : 6.091401 - системы упр. и автоматики / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", Фак. систем упр. летат. аппаратов, Каф. № 301 ; рук. Джулгаков В. Г. и др. — Х., 2009. — 68 с. + прил.
• Система стабілізації кута обертання радіолокаційної станції [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050201 - систем. інженерія : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. № 301 ; кер. Паршін А. П. — Х., 2014. — 79 с. + додатки.
• Система стабілізації кутової швидкості радіолокаційної антени [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.051103 - авіоніка : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. № 301 ; кер. Постніков В. Н. — Х., 2012. — 53 с. + додатки.
• Система стабілізації швидкості обертання антени радіолокаційної станції [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.091401 - системи упр. і автоматики / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратами, Каф. № 301 ; кер. Джулгаков В. Г. та ін. — Х., 2009. — 64 с. + додатки.
• Система стабілізації швидкості повороту та позиціювання радіолокаційної антени [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.070102 - аеронавігація : (робота викон. на англ. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. № 301 ; кер. Джулгаков В. Г. — Х., 2014. — 59 с. + додатки.
• Система управління включенням та аварійним відключенням газової горілки [Текст] : пояснюв. зап. до вип. роботи бакалавра : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк.авїац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Бояркин А. О. — Х., 2010. — 57 с. + додатки.
• Система управління вприскування палива у двигунах внутрішнього згоряння [Текст] : пояснюв. зап. до вип. роботи спеціаліста : 0913 - метрологія та вимірювальна техніка, інформаційно-вимірювальні системи : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. авіац. приладів та вимірювання (№ 303) ; кер. Цеховський М. В. — Х., 2010. — 167 с. + додатки.
• Система управління кутом повороту радіолокаційної антени [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.051103 - систем. інженерія : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. № 301 ; кер. Джулгаков В. Г. — Х., 2012. — 47 с. + додатки.
• Справочник по PIC-микроконтроллерам [Текст] : пер. с англ. / М. Предко. — М. : ДМК Пресс, 2006. — 512 с.
• Техническое описание на микроконтроллеры фирмы ATMEL [Текст]. — М. : б.и. — 277 с.
• Цифровий блок вимірювання кількості палива транспортного засобу на основі мікроконтролера [Текст] : пояснюв. зап. до диплом. проекту : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. авіац. приладів та вимірювання (№ 303) ; кер. Анікін А. М. — Х., 2010. — 139 с. + додатки.
• Concept of critical software independent verification based on invariant-oriented model-checking approach [Текст] = Концепция независимой верификации критического программного обеспечения на основе инварианто-ориентированного model-checking подхода / B.M. Konorev, V.V. Sergiienko, G.N. Zholtkevych та ін. // Радіоелектронні і комп'ютерні системи. — 2012. — С. 184-190.
• Modelling of battery storages in energy saving technologies for mobile computer devices [Текст] / I. Turkin, A. Vdovitchenko, S. AlKhshab // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2015. — P. 62-68.

1    2