ТЕНЗОРНЫЙ МЕТОД АНАЛИЗА АЛГОРИТМОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОРТОГОНАЛЬНОЙ СТРУКТУРЫ
Вопрос надёжности программных средств имеет важнейшее значение. В настоящее время надёжность аппаратных средств, влияет на надёжность системы в целом меньше, чем надёжность программного обеспечения. Это связано с рядом причин: 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
109 KB...
27 09 2023 5:38:54
Статья в формате PDF
100 KB...
26 09 2023 9:41:38
Статья в формате PDF
146 KB...
25 09 2023 6:28:54
Статья в формате PDF
118 KB...
24 09 2023 17:41:53
23 09 2023 9:13:24
Статья в формате PDF
249 KB...
22 09 2023 2:36:18
21 09 2023 9:19:59
Статья в формате PDF
113 KB...
20 09 2023 23:56:55
Статья в формате PDF
110 KB...
19 09 2023 15:49:57
Статья в формате PDF
254 KB...
17 09 2023 21:39:41
Статья в формате PDF
113 KB...
15 09 2023 21:34:14
Статья в формате PDF
119 KB...
14 09 2023 18:29:51
Статья в формате PDF
276 KB...
13 09 2023 14:51:43
Разделение тимуса на истинные доли происходит у плодов белой крысы в процессе его неравномерного роста в плотном окружении, под давлением ветвей внутренней грудной артерии и сопровождающих вен.
...
12 09 2023 3:49:10
11 09 2023 21:44:26
Статья в формате PDF
164 KB...
10 09 2023 0:16:20
Статья в формате PDF
123 KB...
09 09 2023 16:23:41
Статья в формате PDF
114 KB...
07 09 2023 2:31:41
Статья в формате PDF
261 KB...
06 09 2023 4:43:10
Статья в формате PDF
113 KB...
05 09 2023 23:33:22
04 09 2023 13:37:34
02 09 2023 9:59:38
Статья в формате PDF
253 KB...
01 09 2023 18:50:31
Важность разработки и внедрения системы менеджмента качества в вузе отражена и закреплена в ряде приказов Федерального агентства по образованию и обусловлена предстоящим вступлением страны в ВТО и присоединение к Болонскому процессу. В статье описываются алгоритм, этапы деятельности, результаты разработки и внедрения СМК в Кузбасском государственном техническом университете.
...
31 08 2023 3:28:46
Статья в формате PDF
121 KB...
30 08 2023 21:37:29
Статья в формате PDF
129 KB...
28 08 2023 5:49:43
Статья в формате PDF
284 KB...
27 08 2023 17:45:19
Статья в формате PDF
274 KB...
26 08 2023 18:48:50
Статья в формате PDF
312 KB...
25 08 2023 9:19:29
Статья в формате PDF
120 KB...
24 08 2023 11:50:37
Статья в формате PDF
262 KB...
23 08 2023 2:28:46
Статья в формате PDF
286 KB...
22 08 2023 8:21:36
Статья в формате PDF
103 KB...
21 08 2023 11:20:53
Статья в формате PDF
154 KB...
20 08 2023 21:42:24
Статья в формате PDF
119 KB...
19 08 2023 13:32:25
Еще:
Поддержать себя -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 ::