ТЕНЗОРНЫЙ МЕТОД АНАЛИЗА АЛГОРИТМОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОРТОГОНАЛЬНОЙ СТРУКТУРЫ

Вопрос надёжности программных средств имеет важнейшее значение. В настоящее время надёжность аппаратных средств, влияет на надёжность системы в целом меньше, чем надёжность программного обеспечения. Это связано с рядом причин: 1. Уровень технологий достаточно развит в плане создания высоконадёжных микросхем и вычислительных комплексов; 2. Стоимость серийно выпускаемых устройств снизилась значительно, что позволяет создавать резервные устройства, в качестве дублирующих.
Программные средства достаточно дороги, поскольку требуют высококлассных специалистов для их создания и, как правило, единичных экземпляров. Это не позволяет осуществлять полное резервирование программного продукта.
Вопрос получения надёжных алгоритмов программных средств, при современном бурном их распространении весьма актуален. Известны различные методы исследования и создания надёжных программных продуктов /1, 2/. В работе /3/ разработан метод исследования надёжности алгоритмов программного обеспечения на основе тензорной методологии. Тензорная методология позволяет не только исследовать, анализировать алгоритмы программного обеспечения с точки зрения надёжность, но синтезировать оптимальные схемы алгоритмов по критерию надёжности. В данном случае рассмотрим применение тензорного анализа к алгоритмам программного обеспечения ортогональной структуры рис. 1.
Рис.1. Исходный алгоритм ортогональной структуры
Суть тензорного метода заключается в том, что исходный алгоритм преобразуется в новую схему алгоритма, когда все блоки разнесены на большое расстояние, то есть, разорваны рис. 2. Исследования производят алгоритма простой схемы рисунок 2, а затем результаты переносят на исходный алгоритм рис. 1 по определённым правилам.
Тензорный анализ прост в вычислениях и сводится к простому умножению матриц /3/.
Важным достоинство метода является возможность анализировать большое схемы алгоритмов, на основе диакоптики. Метод обладает решением в прямом и обратном порядке, что позволяет от простой схемы рис. 2 перейти к сложной структуре наилучшей из всех возможных вариантов соединения с точки зрения её надёжности.
Рис. 2. Структура примитивной узловой схемы алгоритма из семи ветвей.
СПИСОК ЛИТЕРАТУРЫ:
- Русаков М.А., Р.Ю, Царев, С.А. Шабалин. Современные методы надежностной оценки сложных программных систем. - СПб.: Инфо-да, 2005 г.
- Ковалев И.В. Надежность архитектуры программного обеспечения телекоммуникационных технологий. - Международная науч. конф. Telematica´2001. Санкт-Петербург, 2001 г.
- Тензорная методология исследования надёжности алгоритмов программного обеспечениясистемдования социальных: Научное издание / Золотухин В.В., Колесов К.В., Петров М.Н.// Под ред. проф. М.Н. Петрова - Красноярск: НИИ СУВПТ, 2007 г. - 206 с.
Работа представлена на III научную международную конференцию «Фундаментальные исследования», Доминиканская республика, 10-20 апреля 2008 г. Поступила в редакцию 09.04.2008.
Статья в формате PDF
171 KB...
10 08 2026 17:49:18
Статья в формате PDF
148 KB...
09 08 2026 1:49:35
Статья в формате PDF
121 KB...
08 08 2026 13:43:49
Статья в формате PDF
110 KB...
07 08 2026 8:49:35
Статья в формате PDF
211 KB...
06 08 2026 16:56:45
Статья в формате PDF
111 KB...
05 08 2026 13:55:47
04 08 2026 5:10:39
Статья в формате PDF
122 KB...
03 08 2026 20:32:19
Среди образовательных технологий заметно выделяются научные олимпиады школьников. Участники олимпиад организуют свою мыслительную деятельность на познание явлений природы, овладение умением пользоваться ими, что формирует в сознании естественнонаучную картину мира, закладывая основы целостной личности.
...
01 08 2026 19:10:31
Статья в формате PDF
130 KB...
31 07 2026 20:42:41
Статья в формате PDF
273 KB...
30 07 2026 21:38:15
Статья в формате PDF
102 KB...
29 07 2026 23:48:24
Статья в формате PDF
112 KB...
28 07 2026 4:37:19
Статья в формате PDF
111 KB...
27 07 2026 18:33:26
26 07 2026 9:13:42
Статья в формате PDF
112 KB...
25 07 2026 18:42:43
Статья в формате PDF
124 KB...
23 07 2026 23:54:28
Статья в формате PDF
476 KB...
21 07 2026 17:27:17
Статья в формате PDF
262 KB...
20 07 2026 15:52:39
Статья в формате PDF
103 KB...
19 07 2026 0:28:54
Статья в формате PDF
173 KB...
18 07 2026 3:47:22
Статья в формате PDF
114 KB...
17 07 2026 10:37:53
Статья в формате PDF
350 KB...
16 07 2026 16:42:29
Статья в формате PDF
304 KB...
15 07 2026 17:50:42
Статья в формате PDF
145 KB...
14 07 2026 16:59:48
Обсуждены методика и некоторые результаты моделирования вероятных конфигураций межфазных границ на поверхности композиционных материалов, полученные методом итерации треугольных генераторов на определенных сетках Кеплера-Шубникова.
...
13 07 2026 11:37:35
Статья в формате PDF
119 KB...
12 07 2026 10:18:53
Статья в формате PDF
104 KB...
10 07 2026 19:42:26
Статья в формате PDF
150 KB...
09 07 2026 16:41:51
Статья в формате PDF
254 KB...
08 07 2026 3:12:19
07 07 2026 4:29:22
Статья в формате PDF
119 KB...
06 07 2026 7:47:18
Статья в формате PDF
101 KB...
05 07 2026 17:23:59
Статья в формате PDF 120 KB...
04 07 2026 4:40:50
Статья в формате PDF
116 KB...
03 07 2026 17:11:24
Статья в формате PDF
116 KB...
02 07 2026 7:35:48
Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::