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

• Класифікатори та каталоги
• Якість систем і програмного забезпечення

Надійність і точність

Підтеми:

• Стійкість до помилок
• Стійкість до відмов
• Контроль помилок. Обробка помилок

Документи:

• Автоматизация процессов исследования биологических и медицинских объектов [Текст] : отчет о НИР (заключ. : 506-136/77 / ХАИ ; рук. Коробков Н.Г. ; исполн.: Ялинич Ю.И., Блиновская Л.С., Дудченко В.Г., Побережный А.Д., Сирота А.Б., Шаронов В.Б., Яремчук В.П. — Х., 1977. — 174 с.
• Адаптивность как путь к безопасности [Текст] / Л. Черняк // Открытые системы. — 2004. — №10. — С.17-23.
• Алгебричне аналізування надійності програмного забезпечення [Текст] / Ю.С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2014. — С. 20-27.
• Алгоритм выбора математической модели для оценки надежности программного обеспечения сетевых информационных систем [Текст] / В.В. Алексеев, А.Ю. Громова, А.М. Юсеф // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2012. — С. 42-46.
• Алгоритм диагностики элементов компьютерных промышленных сетей [Текст] / Донецький национальный технический университет // . — С. 139-142.
• Алгоритм повышения надежности передачи информации в микропроцессорных сетях [Текст] / А.А. Баркалов, Р.В. Мальчева, Г. Майерзи, А.Р. Арутюнян // Радіоелектронні і комп'ютерні системи. — 2006. — С. 166-170.
• Алгоритмы построения квазиминимальных тестов для контроля и диагностики многовыходных комбинационных схем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Вычислительная техника" / МВССО СССР, Моск. авиац. ин-т. — Москва, 1973. — 15 с.
• Анализ вероятностного распределения случайной величины времени работы программы в присутствии слкчайных сбоев [Текст] / Институт проблем управления им.В.А.Трапезникова РАН, г.Москва, Россия // Автоматика и телемеханика  : науково-технічний журнал / Рос. акад. наук. — С. 175-185.
• Анализ возможностей современных промышленных контроллеров для разработки отказоустойчивых систем [Текст] / Е.В. Бабешко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 36-39.
• Анализ гарантоспособности криптографической защиты систем неоднородного состава [Текст] / Севастопольский национальный технический университет, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 111-117.
• Анализ инструментальных средств тестирования web-сервисов [Текст] / В.А. Ковригин, А.В. Боярчук // Радіоелектронні і комп'ютерні системи. — 2007. — C. 176-179.
• Анализ и синтез избыточных информационно-управляющих систем технико-экономическим показателям [Текст] : отчет о НИР (заключ.) : 308-140/88 / ХАИ; рук. Колесников В.Н.; исполн.: Аникин А.Н., Дергачев В.А., Гордиенко В.А., Чумаченко И.В., Лисов С.П. — Х., 1988. — 71 с.
• Анализ методов построения и контроля мультимикропроцессорных систем [Текст] : отчет о НИР (промежуточ.) : 506-/82 / ХАИ ; рук. Березюк Н.Т. ; исполн.: Данильченко П.Д., Хлестков В.И., Ялинич Ю.И., Близнюк В.Д., Ларченко В.Ю., Орехов А.А., Холодный М.Ф. — Х., 1982. — 115 с.
• Анализ многоверсионных архитектур для повышения гарантоспособности систем хранения данных [Текст] / Таврический национальный университет им. В.И. Вернадского // . — С. 71-75.
• Анализ отказоустойчивых многомодульных систем со сложным распределением отказов на основе циклических GL-моделей [Текст] / А.М. Романкевич, В.В. Иванов, В.А. Романкевич // Электронное моделирование. — 2004. — С. 67-81.
• Анализ структур специализированных вычислительных устройств [Текст] : отчет о НИР (промежуточ.) : 302-/75 / ХАИ ; рук. Попов В.А. ; исполн.: Федорович О.Е., Лысенко Э.В., Гербали С.Н., Дмитриев Н.Ф., Погорелов А.А., Литвинов А.Л., Скибенко И.Т., Водолазский В.И., Артеменко М.Н. — Х., 1975. — 102 с.
• Аналитический обзор функциональных возможностей программных средств проектирования компьютерных сетей [Текст] / Е.В. Курочкин, А.В. Горбенко // Системи управління, навігації та зв'язку : зб. наук. праць / ДП "Центр. наук. - дослід. ін-т навігації і упр.". — К. : ДП "Центр. наук. - дослід. ін-т навігації і упр.", 2012. — С. 204-209.
• Аналіз застосування надійних Web-сервісів для реалізації гарантоздатних економічних експертних систем [Текст] / А.Ю. Кривцов, С.В. Гонтовий // Радіоелектронні і комп'ютерні системи. — 2012. — С. 28-32.
• Аналіз математичних моделей розподілу зусиль тестування для оцінювання надійності ПЗ з урахуванням недосконалого відлагодження [Текст] / В.С. Яковина, В.А. Мацелюх, О.О. Нитребич // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 93-99.
• Аналого-цифровые преобразователи повышенной динамической точности [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - элементы и устройства вычислительной техники и систем управления / Уфим. авиац. ин-т им. С.Орджоникидзе. — Уфа, 1984. — 17 с.
• Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов [Текст] / В.С. Харченко, О.Н. Одарущенко, Е.Б. Одарущенко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 62-70.
• Безотказный ПК: это реально? [Текст] // Компьютеры + Программы. — 2004. — №3. — С. 36-43.
• Веб-сервіс для аналізу вразливостей програмного забезпечення [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050102 - комп'ют. інженерія : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ют. систем і мереж (№ 503) ; кер. Горбенко А. В. — Х., 2013. — 62 с. + додатки.
• Вероятностно-физические методы исследования надежности средств вычислительной техники [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 - элементы и устройства вычислительной техники и систем управления; 05.13.13 - вычислительные машины, комплексы, системы и сети / АН УССР, Ин-т кибернетики им. В.М.Глушкова. — К., 1990. — 32 с.
• Визначення впливу нерівномірності перерозподілу навантаження на мінімальну множину перетинів відновлюваної системи із резервуванням за схемою 2-ІЗ-3 [Текст] / С.В. Щербовських // Радіоелектронні і комп'ютерні системи. — 2013. — С. 403-407.
• Внедрение системы пректного управления на предприятии. [Текст] / А. Волков // Argc & Argv : Программирование. Информационные технологии. Стандарты. — К. : ЧП "СИЧ", 2004. — С. 53-62.
• Внутрення диверсность реализации арифметических операций в модулярной системе вычисления [Текст] / Харьковский национальный технический университет сельского хозяйства им.Петра Василенко, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 49-55.
• Вопросы анализа надежности и синтеза логических модулей ЦВМ на сетях из формальных нейронов [Текст] : автореф. дис. ... канд. техн. наук : 252 - вычислительная техника / МАИ им. С.Орджоникидзе. — М., 1968. — 15 с.
• Выбор многоверсионных технологий разработки критических программных средств с учетом совместимости видов версионной избыточности [Текст] / А.В. Волковой, В.С. Харченко // Технология приборостроения  : Научно-технический журнал / ГП НИТИП. — С. 198-202.
• Выбор моделей надежности программных средств для систем критического применения [Текст] / В.C. Харченко, В.В. Скляр, С.А. Вилкомир // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 59-69.
• Выявление вычислительных аномалий в программных реализациях алгоритмов вычислительной геометрии [Текст] / Д.А. Орлов // Программная инженерия  : Теоретический и прикладной научно-технический журнал / ООО "Издательство "Новые технологии". — С. 16-27.
• Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів [Текст] / В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2007. — C. 7-14.
• Гарантоспособность аэрокосмических систем в условиях упругих колебаний [Текст] / В.А Крамарь // Радіоелектронні і комп'ютерні системи. — 2012. — С. 78-83.
• Гарантоспособность и гарантноспособные системы: элементы методологии [Текст] / В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 7-19.
• Гарантоспособность океанотехнических систем при воздействии внешних ледовых нагрузок [Текст] / А.Ю. Заец, В.А. Крамарь // Радіоелектронні і комп'ютерні системи. — 2014. — С. 7-11.
• Гибридный подход к повышению надежности программных систем [Текст] / Институт системного программирования РАН // Программирование. — 2004. — С. 25-36.
• Двенадцать ступеней к созданию максимально безопасного кода на Java. [Текст] / В. Ерофеева // Argc & Argv : Программирование. Информационные технологии. Стандарты. — К. : ЧП "СИЧ", 2004. — С. 46-49.
• Диагностика и контроль систем управления [Текст] : отчет о НИР (промежуточ.) : 506-136/78 / ХАИ ; рук. Березюк Н.Т. ; исполн.: Коробков Н.Т., Блиновская Л.С., Данильченко П.Д., Орехов А.А., Подарева Н.М., Сирота А.Б., Хлетков В.И., Шаронов В.Б., Ялинич Ю.И., Яремчук В.П. — Х., 1979. — 114 с.
• Динамичные информационные системы и их классификация [Текст] / Д.А. Маевский // Радіоелектронні і комп'ютерні системи. — 2012. — С. 126-130.
• Экспериментальная оценка эффективности схем электропитания персональных компьютеров учебного класса [Текст] / И.Б. Туркин, А.В. Вдовитченко // . — С. 235-240.
• Экспериментальная оценка надежности изделий в условиях малого числа отказов [Текст] / П.В. Стрельников // Математичні машини і системи  : наук. журнал / Нац. акад. наук України, Ін-т проблем темат. машин і систем Нац. акад. наук України. — С. 141-146.
• Експериментальне оцінювання надійності обладнання інформаційних систем в умовах малої статистики відмов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 "Інформаційні технології" / НАН України, Ін- проблем мат. машин і систем. — Київ, 2015. — 21 с.
• Экспериментальный анализ точности моделей надежности программного обеспечения [Текст] / Д.А. Маевский, Е.Д. Маевская // Радіоелектронні і комп'ютерні системи. — 2012. — С. 229-233.
• Иерархическая модель оценки надежности многокомпонентных информационно-управляющих систем [Текст] / В.В. Скляр, В.И. Токарев, А.Д. Герасименко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 49-54.
• Имитационное моделирование процесса оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов [Текст] / Ю.Л. Поночовный, Е.Б. Одарущенко // Радіоелектронні і комп'ютерні системи. — 2007. — С. 68-74.
• Информационная оборона. [Текст] / В. Коржов // Открытые системы. СУБД. — 2004. — С. 24-29.
• Информационная технология оценивания безопасности человеко-машинных интерфейсов информационно-управляющих систем [Текст] / А.А. Орехова // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 267-271.
• Информационный анализ процессов мониторинга критических систем [Текст] / Е.В. Заика, А.С. Изидинов, И.А. Скатков // Радіоелектронні і комп'ютерні системи. — 2012. — С. 202-207.
• Информационный пропорционально-интегрально-дифференциальный регулятор как средство компенсации последствий атак [Текст] / А.В. Скатков, Д.Ю. Воронин, С.А Чорномыз // Радіоелектронні і комп'ютерні системи. — 2013. — С. 168-171.
• Использование алгоритма Такаги-Сугено в адаптивных методах маршрутизации компьютерных сетей [Текст] / В.С. Михайленко, А.М. Асланов, М.С. Солодовник // Радіоелектронні і комп'ютерні системи. — 2014. — С. 82-87.

1   2    3    4    5