Методика выбора программного обеспечения компьютерных сетей
Авторы: Андреев А.М., Можаров Г.П.
Опубликовано в выпуске: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-1055
Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети
Рассмотрена процедура синтеза программного обеспечения, представляющая упорядочение набора программных модулей, реализующих множество операций. Определено описание этого набора как трансверсалей семейства алгоритмических признаков программы. Для нахождения наибольшей по весу частичной трансверсали семейства алгоритмических признаков программы используется жадный алгоритм. Подобный подход применен и для оценки надежности (вероятности связности случайного графа, представляемого случайным матроидом) программного обеспечения. Предложена модель надежности сети связи программных модулей.
Литература
[1] Андреев А.М., Березкин Д.В., Можаров Г.П., Свирин Ил.С. Математическое моделирование надежности компьютерных систем и сетей. Вестник МГТУ им. Баумана. Сер. Приборостроение, спец. выпуск "Моделирование и идентификация компьютерных систем и сетей", 2012, с. 3-46
[2] Андреев А.М., Можаров Г.П., Сюзев В.В. Многопроцессорные вычислительные системы: теоретический анализ, математические модели и применение. Москва, Изд-во МГТУ им. Н.Э. Баумана, 2011, 334 с.
[3] Полесский В.П. Достижимые границы вероятности полного ранга случайного подматроида. Пробл. передачи информ., 1995, т. 31, № 4, с. 81-99
[4] Ковалев М.М. Матроиды в дискретной оптимизации. 2-е изд., Москва, Едиториал УРСС, 2003, 224 с.
[5] Степанов В.Е. Комбинаторная алгебра и случайные графы. Теория вероятн. и ее примен., 1970, т. XIV, вып. 3, с. 393-420
[6] Берж К. Теория графов и ее применения. Москва, Изд-во иностр. лит., 1962, 320 с.
[7] Топорков В.В. Модели распределенных вычислений. Москва, Физматлит, 2004, 320 с.
[8] Форд Л.Р., Фалкерсон Д.Р. Потоки в сетях. Москва, Мир, 1966, 276 с.
[9] Холл M. Комбинаторика. Москва, Мир, 1970, 424 с.
[10] Edmonds J., Fulkerson D.R. Bottlneck Extremal. J. Comb. Theory, 1970, vol. 8, pp. 299-306
[11] Grimmet G.R. Percolation Theory. Second edition. A Series of Comprehensive Studies in Math. Berlin, Springer, 1999, 459 p.
[12] Shier D.R. Network Reliabilty and Algebraic Structures. Oxford, Claredon Press, 1991