Создание самокорректирующихся программ для решения прикладных задач
Опубликовано: 27.09.2013
Авторы: Казарин О.В., Скиба В.Ю.
Опубликовано в выпуске: #3(15)/2013
DOI: 10.18698/2308-6033-2013-3-653
Раздел: Информационные технологии | Рубрика: Автоматизированные системы управления
Исследована возможность реализации самокорректирующихся программ для: решения прикладных задач - радиолокации, баллистики и навигации; создания инструментальных библиотек и пакетов прикладных программ; разработки подсистем защиты информации от несанкционированного доступа; надежной отладки программного обеспечения.
Литература
[1] Казарин О.В. Проактивная безопасность вычислительных систем. Математика и безопасность информационных технологий. Материалы конференции в МГУ—МаБИТ -2004. Москва, МЦНМО, 2005, с. 306-320
[2] Казарин О.В. Проактивная безопасность и самокорректирующиеся среды. Математика и безопасность информационных технологий. Материалы конференции в МГУ—МаБИТ-2005. Москва, МЦНМО, 2006, с. 322-334
[3] Казарин О.В. Методология защиты программного обеспечения. Москва, МЦНМО, 2009, 464 с.
[4] Казарин О.В., Скиба В.Ю. Парадигма проактивной безопасности компьютерных систем. Защита информации. INSIDE, 2009, № 5, с. 2-9; № 6, с. 2-7
[5] Казарин О.В., Скиба В.Ю. Применение самокорректирующихся сред для обеспечения проактивной безопасности компьютерных систем. Известия вузов. Приборостроение, 2010, №1, с. 34-39
[6] Камалов Ю.Б., Служивый М.Н. Определение местоположения мобильного объекта. Известия Самарского научного центра Российской академии наук, 2009, № 3 (2), с. 361-368
[7] Редькин Н.П. Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций. Дискретный анализ и исследование операций. Серия 1, 1996, № 2, с. 62-79
[8] Уайтхаус Х., Спейзер Дж., Бромли К. Применение параллельных матричных процессоров для обработки сигналов. Сверхбольшие интегральные схемы и современная обработка сигналов. Москва, Радио и связь, 1989
[9] Blum M., Luby M., Rubinfeld R. Self-testing/ correcting with applications to numerical problems. Proc 22th ACM Symposium on Theory of Computing, 1990, pp. 73-83
[10] Ergun F., Kumar S.R., Rubinfield R. Approximate checking of polynomials and functional equations. Proc. of the 37-th IEEE Symp. on Foundations of Computer Science, FOCS, 1996, pp. 592-601
[11] Freivalds R. Fast probabilistic algorithms. Lecture Notes in Computer Science. Mathematical Foundations of CS, 1979, v. 74, pp. 57-69
[12] Gemmel P., Lipton R., Rubinfield R., Sudan M., Wigderson A. Selftesting/correcting for polynomials and for approximate functions. Proc. 23-rd ACM Symposium on Theory of Computing, STOC, 1991, pp. 32-42
[13] Rubinfield R., Sudan M. Robust characterization of polynomials and their applications to program testing. SIAM J. of Computing, 1996, № 25 (2), pp. 252-271