Стійкість до помилок
Документи:
- Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 267-271.
- Исследование и разработка методов принятия оптимальных решений для комплексной оценки элементов вычислительных систем [Текст] : отчет о НИР (промежуточ.) : 302-120/74 / ХАИ ; рук. Федорович О.Е. ; исполн.: Лысенко Э.В., Попов В.А., Гербали С.Н., Дмитриев Н.Ф., Чаплий И.В., Илюшко В.М., Погорелов А.А., Скибенко И.Т. — Х., 1975. — 106 с.
- Лингвистические и металингвистические представления в интеллектуальных многоязычных системах [Текст] / Е.Б. Козеренко, Н.В. Лунева, И.В. Галина, Ю.И. Морозова // Искусственный интеллект. — 2011. — С. 123-135.
- Методи прискореного криптоаналізу БСШ на основі аналізу показників стійкості зменшених моделей прототипів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.21 - системи захисту інформ. / Харк. нац. ун-т радіоелектрон. — Х., 2010. — 24 с.
- Методи та засоби забезпечення завадостійкості і безпеки функціонування мереж технології WiMAX [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - комп'ют. системи та компоненти / М-во освіти і науки, молоді та спорту України, Нац. авіац. ун-т. — К., 2013. — 22 с.
- Методи та засоби завадостійкого кодування інформації в комп'ютерних системах на основі кодів Лагранжа [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - комп'ют. системи та компоненти / М-во освіти і науки, молоді та спорту України, Нац. авіац. ун-т. — К., 2012. — 21 с.
- Моделі і методи підвищення стійкості інформаційної системи спеціального призначення [Текст] : автореф. д-ра техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. — К., 2013. — 39 с.
- Моделі та методи підвищення стійкості до перешкод в оптичних системах ідентифікації [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Херсон. нац. техн. ун-т. — Херсон, 2012. — 20 с.
- Моделювання дискретних видів модуляцій на завадостійкість [Текст] : пояснюв. зап. до вип. роботи бакалавра : 924 - телекомунікації. інформ. мережі зв'язку : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М.Є Жуковського "Харк. авіац. ін-т", Каф. прийому , передачі та оброб. сигналів (№504) ; кер. Кортунов В.І. — Х., 2011. — 52 с.
- Науково-методичні основи функціональної стійкості бортових інформаційно-керуючих комплексів маневрених транспортних засобів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. трансп. ун-т. — Київ, 2015. — 21 с.
- Підвищення надійності функціонування інформаційних систем [Текст] / ВНУ им.В.Даля, г.Луганск, Украина // . — С. 56-59.
- Процедуры анализа допущений и выбора моделей надежности программных средств с использованием матрично-графового метода [Текст] / О.М. Тарасюк, В.С. Харченко // Технология приборостроения : Научно-технический журнал / ГП НИТИП. — С. 184-188.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов...Т.1. Ч.1 [Текст] : отчет о НИР (заключ.) : Г503-42/2003 / Нац. аэрокосмический ун-т "ХАИ" ; рук. В.Харченко. — Х. : [б. в.], 2003. — 159 с.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов...Т.2 Ч.1 [Текст] : Отчет о НИР / Нац. аэрокосмический ун-т "ХАИ"; Руководитель Харченко В. — Х., 2004. — 300 с.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов... Т.3 [Текст]. Т.3. : Отчет о НИР. Г503-42/2003 (заключительный) / Нац. аэрокосмычний ун-т "ХАИ"; руководитель В. Харченко. — Х. : 005, 2005. — 218 с.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов... [Текст]. Разработка методов моделирования и многоверсионных технологий... : отчет о НИР (заключ.) : Г503-42/2003. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — 580 с.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов... [Текст]. Разработка методов моделирования.... : отчет о НИР (заключ.) : Г503-42/2003. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2003. — 353 с.
- Разработка научно-методических основ и информационных технологий оценки и обеспечения отказоустойчивости и безопасности компьютеризированных систем аэрокосмических комплексов... [Текст]. Разработка методов моделирования : отчет о НИР (заключ.) : Г503-42/2003. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2003. — 566 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2012. — 120 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2013. — 111 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПОКС) [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2014. — 202 с.
- Разработка теоретических основ обеспечения гарантоспособности систем критического назначения в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2013. — 158 с.
- Способ голосования в N-кратно резервированной вычислительной системе [Текст] / Уфимский государственный авиационный технический университет // . — С. 2-6.
- Теоретические основы, методы и инструментальные средства анализа, разработки и верификации гарантоспособных информ.-управляющих систем для аэрокосмических объектов и комплексов критического применеия [Текст] : отчет о НИР (заключ.) / Нац. аэрокосмический ун-т "ХАИ" ; рук. В. Харченко. — Х., 2008. — 321 с.
- Теоретические основы, методы и инструментальные средства анализа, разработки и верификации гарантоспособных информ.-управляющих систем для аэрокосмических объектов и комплексов критического применения [Текст] : отчет о НИР (заключ.) / Нац. аэрокосмический ун-т "ХАИ" ; рук. В. Харченко. — Х., 2008. — 155 с.
- Теоретические основы, методы и инструментальные средства анализа, разработки и верификации гарантоспособных информ.-управляющих систем для аэрокосмических объектов и комплексов критического применения [Текст] : отчет о НИР (заключ.) / Нац. аэрокосмический ун-т "ХАИ" ; рук. В. Харченко. — Х., 2008. — 507 с.
- Теоретические основы, методы и инструментальные средства анализа, разработки и верификации гарантоспособных информ.-управляющих систем для аэрокосмических объектов и комплексов критического применения [Текст] : отчет о НИР (заключ.) / Нац. аэрокосмический ун-т "ХАИ" ; рук. В. Харченко. — Х., 2008. — 871 с.
- Теоретические основы, методы и информационные технологии разработки программно-технических комплексов критического применения в условиях ресурсных ограничений. Внедрение полученных результатов [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2014. — 278 с.
- Теоретичні основи синтезу та обгрунтування стійкості рандомізованих симетричних систем шифрування і протоколів передачі та розподілу ключів [Текст] : автореф. дис.... д-ра техн. наук: 05.13.21- Системи захисту інформації / А.М. Олексійчук. — К. : НТУ "КПІ", 2009. — 34 с.
- Формирование методологического обеспечения гарантоспособности программно-технических комплексов и систем критического применения в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2012. — 111 с.
|
