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

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

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

Підтеми:

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

Документи:

• Методологические основы и информационные технологии создания гарантоспособных сервис-ориентированных Web-систем [Текст] : дис. ... д-ра техн. наук : 05.13.06 - информ. технол. : защищена 8.06.12 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. консультант Харченко В.С. — Х., 2012. — 413 с.
• Методологічні основи та інформаційні технології створення гарантоздатних сервіс-орієнтованих Web-систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 - інформ. технологіі / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 39 с.
• Метод оценивания надежности программных средств с учетом вторичных дефектов [Текст] / О.Н. Одарущенко, А.А. Руденко, В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 294-300.
• Метод формальной верификации UMC: UML Model Checking [Текст] / Е.И. Политько, О.М. Тарасюк, А.В. Горбенко // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 211-215.
• Метод формальной декомпозиции задач для параллельных вычислительных систем [Текст] / Харьковский национальный университет им В.Н.Каразина, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 235-239.
• Методы и информационная технология разработки многоверсионных сервис-ориентированных веб-систем с учетом уязвимостей компонентов [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 2.07.13 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. рук. Харченко В. С. — Х., 2012. — 182 с.
• Методы расчета надежности узлов ЦВМ [Текст] : отчет о НИР : Г501-13/76 / ХАИ ; рук. Гусев К.Г. ; исполн.: Бабий С.И., Иванов Г.А., Бабаков М.Ф., Гнусарева Н.Ф., Абрамов Л.А., Бушин В.П. — Х., 1979. — 43 с.
• Метрики диверсности программных средств: классификация, анализ и применение для оценки надежности и безопастности компьютерных систем управления [Текст] / В.С. Харченко, И.В. Пискачева, В.В. Скляр // Открытые информационные и компьютерные интегрированные технологии. Вып. 9 ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" - Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" , 2001. — С. 194-214.
• Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов [Текст] / Национальный аэрокосмический университет им. Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 75-81.
• Модели и метод обеспечения отказоустойчивости системы обработки информации беспилотных летательных аппаратов на основе модулярной арифметики [Текст] : дис. ... канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информ. технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Илюшко В.М. — Х., 2007. — 185 с.
• Модели и метод повышения надежности мультидиверсных информационно-управляющих систем [Текст] : дис. ... канд. техн. наук : 05.13.06 - информационные технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Скляр В.В. — Х., 2009. — 208 с.
• Модели и методы обеспечения надежности информационных систем с учетом процессов обновления программных средств [Текст] : дис. ... канд. тех. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информ.технологии / Мво обороны Украины, Полтавский военный ин-т связи ; рук. Одарущенко О.Н. — Полтава, 2006. — 204 с.
• Модели, метод и информационная технология выбора средств обеспечения надежности Web-сервисов [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технол. : защищена 7.06.12 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т"; нау. рук. Харченко В.С. — Х., 2012. — 194 с.
• Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ" г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 65-69.
• Моделирование диагностических состояний и компетентности пользователя компьютерной системы [Текст] / Харьковский национальный университет радиоэлектроники, г.Харьков, Украина // . — С. 185-189.
• Моделирование надежности программных средств информационных систем с учетом отказов, вызванных дефектами взаимодействия [Текст] / Ю.Л. Поночовный // Радіоелектронні і комп'ютерні системи. — 2006. — С. 171-174.
• Моделирование сценариев сетевых атак на основе стохастических контекстно-независимых грамматик [Текст] / Н.В. Медведьев, Г.А. Гришина // Вестник Московского государственного технического университета им. Н.Э. Баумана.Сер. Приборостроение : научно-теоретический и прикладной журнал. — 1998. — 4 : Специальный выпуск "Радиоэлектроника". — С. 94-101.
• Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность. [Текст] / В.С. Харченко, В.В. Скляр, А.Х. АльТарази // . — С. 67-74.
• Моделі і методи спектрального аналізу технічного стану вузлів газотурбінних двигунів [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 - мат. моделювання та обчислюв. методи / М-во освіти і науки, молоді та спорту України, Харк. нац. ун-т радіоелектрон. — Х., 2012. — 19 с.
• Моделі, метод та інформаційна технологія вибору засобів забезпечення надійності Web-сервісів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 20 с.
• Моделі, метод та інформаційна технологія забезпечення надійності автоматизованих систем охорони промислових об'єктів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2013. — 19 с.
• Моделі та засоби побудови гарантоздатних інформаційних систем для тензометрії [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Одес. нац. політехн. ун-т. — Одеса, 2013. — 21 с.
• Моделі та метод забезпечення відмовостійкості системи обробки інформації безпілотних літальних апаратів на основі модулярної арифметики [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматиз. системи упр. та прогрес. інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2007. — 16 с.
• Моделі та методи забеспечення надійності інформаційних систем з урахуванням процесів оновлення програмних засобів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматизовані системи управління та прогресивні інформ. технол. / Нац. аерокосм. ун-т "ХАІ". — Х., 2006. — 20 с.
• Моделі та метод підвищення надійності мультидиверсних інформаційно-управляючих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2009. — 19 с.
• Модель активности пользователя в политике управления энергопитанием персонального компьютера [Текст] / И.Б. Туркин, А.В. Вдовитченко // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 160-164.
• Модель самодиагностирования однородных процессорных сред в реальном масштабе времени [Текст] / Н.П. Благодарный // Радіоелектронні і комп'ютерні системи. — 2012. — С. 159-165.
• Надежность вычислительных систем [Текст] / Р. Лонгботтом. — М. : Энергоатомиздат, 1985. — 288 с.
• Надежность и безопасность ИС [Текст] / А.Г. Карманов, А.А. Воробьева // Информация и космос. — СПб., 2011. — С. 37-40.
• Надежность и эффективность резервированных компьютерных сетей [Текст] / Санкт-Петербургский государственный университет сервиса и экономики // Информационные технологии. — 2006. — С. 25-30.
• Надежность и контроль ЭВМ [Текст] / под ред. Ю. П. Журавлева. — М. : Сов. радио, 1978. — 416 с.
• Надежность и отказоустойчивость компьютерных средств и систем [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 44 с.
• Надежность программного обеспечения систем обработки данных [Текст] : учебник для вузов, обучающ. по спец. "Организация механизированной обработки экономической информации" / В.В. Шураков. — 2-е изд., перераб. и доп. — М. : Финансы и статистика, 1987. — 272 с.
• Надежность программного обеспечения систем обработки данных [Текст] : учебник для вузов, обуч. по спец. "Организация механизированной обработки экономической информации" / В.В. Шураков. — М. : Финансы и статистика, 1981. — 216 с.
• Надежность программного обеспечения [Текст] : методы тестирования программного обеспечения: учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2005. — 73 с.
• Надійнісні моделі програмно-апаратних засобів радіотехнічних систем з версійно-структурним резервуванням [Текст] : автореф. дис. ... канд. техн. наук : 05.12.17 - радіотехн. та телевіз. системи / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2014. — 21 с.
• Надійність обчислювальних систем [Текст] : підруч. для студ. напряму підготов. "Метрологія та інформаційно-вимірювальні технології" вищ. навч. закл. : гриф МОН України / М-во освіти і науки України, Ін-т інновац. технологій і змісту освіти, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2014. — 69 с.
• Насколько формальны формальные методы? [Текст] / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Математичні машини і системи  : наук. журнал / Нац. акад. наук України, Ін-т проблем темат. машин і систем Нац. акад. наук України. — С. 154-167.
• Некоторые вопросы надежности нейронных сетей [Текст] : автореф. дис. ... канд. техн. наук / МАИ им. С.Орджоникидзе. — М., 1965. — 21 с.
• Обеспечение достоверности и надежности компьютерных расчетов [Текст] : [ учеб. пособие ] / Ю.П. Петров. — СПб. : БХВ-Петербург, 2008. — 160 с.
• Обеспечение отказоустойчивости микропроцессорных систем адаптируемых к функциональным отказам на основе контроля правильности выполнения команд передачи управления [Текст] / С.Ф. Тюрин, А.А. Прохоров // Радіоелектронні і комп'ютерні системи. — 2006. — С. 54-61.
• Обзор и классификация средств оценивания надежности программного обеспечения [Текст] / Д.А. Маевский, Е.Ю. Маевская, Ю.П. Чербаджи // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 54-58.
• Об одной задаче реконфигурирования в многопроцессорных системах [Текст] / А.М. Романкевич, Мораведж Милад, В.А. Романкевич, К.В. Морозов // Радіоелектронні і комп'ютерні системи. — 2012. — С. 91-94.
• Об одном подходе к построению отказоустойчивых бортовых многопроцессорных вычислительно-управляющих систем [Текст] / О.В. Катаев // Искусственный интеллект. — 2008. — С. 538-544.
• Об одном способе построения GL-моделей отказоустойчивых многопроцессорных систем [Текст] / В.А. Романкевич // Радіоелектронні і комп'ютерні системи. — 2006. — С. 47-51.
• Обработка числовых данных с повышенной точностью в модулярной алгебре [Текст] / О.Д. Жуков // Информационные технологии : научно-технич. и научно-произв.журнал. — М., 2004. — 2. — С.10-16.
• Оперативный тестовый контроль и диагностика неисправностей ЭЦВМ с микропрограммным управлением [Текст] : автореф. дис. ... канд. техн. наук : 05.252 - вычислительная техника / МАИ им. С.Орджоникидзе. — М., 1970. — 17 с.
• О подходе к решению задачи выбора методологии оценки структурной наджености оценки структурной надежности и живучести информационных сетей критического применения [Текст] / А.В. Харыбин, О.Н. Одарущенко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 61-70.
• Оптимизация элементов вычислительных систем методами планирования эксперимента [Текст] : отчет о НИР : 506-123/72 / ХАИ ; рук. Попов В.А. ; исполн.: Корнет И.Н., Гордиенко В.И., Коробков Н.Г., Федорович О.Е., Водопьянов В.К., Дмитриев Н.Ф., Палагин В.К., Самойленко В.И. — Х., 1972. — 150 с.
• Оптимізація активних геодезичних мереж моніторингу інженерних споруд гідроелектростанцій [Текст] : автореф. дис. ... канд. техн. наук : 05.24.01 - геодезія, фотограмметрія та картографія / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2015. — 21 с.

1    2    3   4    5