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

Авторы
Файлы

Петров М.Н. Петров И.М. Колесов К.В. Статья в формате PDF 110 KB

Вопрос надёжности программных средств имеет важнейшее значение. В настоящее время надёжность аппаратных средств, влияет на надёжность системы в целом меньше, чем надёжность программного обеспечения. Это связано с рядом причин: 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 129 KB...

14 02 2025 19:24:38

НАРУШЕНИЯ ИММУНОРЕГУЛЯЦИИ МИКРОБИОЦЕНОЗА ОРГАНИЗМА ЧЕЛОВЕКА

Статья в формате PDF 99 KB...

13 02 2025 0:37:32

ДИСТАНЦИОННОЕ ОБРАЗОВАНИЕ: ОСНОВНЫЕ СОВРЕМЕННЫЕ ТРЕБОВАНИЯ И ПРОБЛЕМЫ

Статья в формате PDF 143 KB...

12 02 2025 6:52:10

СОКРАЩЕНИЕ СРОКОВ ТЕХНИЧЕСКОЙ ПОДГОТОВКИ ПРОИЗВОДСТВА

Статья в формате PDF 273 KB...

11 02 2025 7:49:21

ОСНОВНЫЕ НАПРАВЛЕНИЯ ИНВЕСТИЦИОННОГО РЕГУЛИРОВАНИя МЕЖДУНАРОДНОГО ФИНАНСОВОГО РЫНКА

Статья в формате PDF 248 KB...

10 02 2025 11:28:28

ВРАЩАТЕЛЬНОЕ ДВИЖЕНИЕ МОЛОТИЛЬНОГО БАРАБАНА ПОД ДЕЙСТВИЕМ НЕПРЕРЫВНЫХ УДАРНЫХ ИМПУЛЬСОВ

Статья в формате PDF 590 KB...

09 02 2025 20:33:55

ПЕРИОДИЧЕСКИЕ ПРОЦЕССЫВСЕОБЩАЯ ЗАКОНОМЕРНОСТЬ ПРИРОДЫ

Статья в формате PDF 99 KB...

08 02 2025 22:30:35

ИНФОРМАЦИОННЫЙ АНАЛИЗ КАЛА

Статья в формате PDF 194 KB...

07 02 2025 21:13:35

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

Статья в формате PDF 93 KB...

06 02 2025 14:54:34

Профилактика и лечение грибковых инфекций у онкогематологических больных

Статья в формате PDF 119 KB...

05 02 2025 7:23:16

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

Статья в формате PDF 111 KB...

04 02 2025 4:16:58

ОДИН ПОСТУЛАТИ ОТ СИЛЫ ИНЕРЦИИ ОСТАНЕТСЯ ОДНО ВОСПОМИНАНИЕ

Статья в формате PDF 114 KB...

03 02 2025 1:53:34

ТЕХНОЛОГИЯ ВИРТУАЛЬНОЙ ПЕРСОНАЛЬНОЙ АУТЕНТИФИКАЦИИ НА ОСНОВЕ ЦВЕТОВОГО ГАММИРОВАНИЯ

Статья в формате PDF 95 KB...

02 02 2025 0:26:42

CHYTRIDIOMYCOSIS У ЛИЧИНОК RANA ARVALIS NILSSON НА СРЕДНЕМ УРАЛЕ

На основании диагностических признаков приводятся доказательства, указывающие на то, что Chytridiomycosis существует в популяциях Rana arvalis на Среднем Урале. Показана методика обнаружения заболевания по аномалиям ротового аппарата личинок и отслеживания динамики частоты встречаемости его в популяции. В экстремальных условиях инфекция поражает ослабленных и ведет к их выбpaковке, что приводит к ускорению адаптации популяции в целом в быстро изменяемой среде. ...

01 02 2025 20:52:55

ИНСТИТУЦИОНАЛЬНЫЕ ОТНОШЕНИЯ И КОГЕРЕНТНОСТЬ ПРОЦЕССОВ САМООРГАНИЗАЦИИ В ИННОВАЦИОННОЙ СФЕРЕ РЕГИОНА

Статья в формате PDF 270 KB...

31 01 2025 7:55:50

ОСОБЕННОСТИ МЕТОДИЧЕСКОГО ОБЕСПЕЧЕНИЯ КУРСА «ОРГАНИЧЕСКАЯ ХИМИЯ» В СИСТЕМЕ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ

Статья в формате PDF 111 KB...

30 01 2025 9:46:49

ОСНОВНЫЕ ПРИНЦИПЫ НЕЙРОРЕАБИЛИТАЦИИ БОЛЬНЫХ ИШЕМИЧЕСКИМ ИНСУЛЬТОМ

Статья в формате PDF 108 KB...

29 01 2025 19:46:27

СТРУКТУРА СОЦИАЛЬНОГО ПАКЕТА ПРЕДПРИЯТИЯ

Статья в формате PDF 123 KB...

28 01 2025 8:33:58

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

Статья в формате PDF 261 KB...

27 01 2025 9:24:36

ЭФФЕКТИВНЫЙ СПОСОБ ИСПОЛЬЗОВАНИЯ БИОЛОГИЧЕСКИ АКТИВНЫХ ВЕЩЕСТВ В ЖИВОТНОВОДСТВЕ

Статья в формате PDF 91 KB...

26 01 2025 4:42:51

ВЛИЯНИЕ МЕТОДОВ КОНТРАЦЕПЦИИ НА ТЕЧЕНИЕ БЕРЕМЕННОСТИ И РОДОВ У ПЕРВОРОДЯЩИХ ЖЕНЩИН

Статья в формате PDF 193 KB...

25 01 2025 16:52:56

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

Статья в формате PDF 184 KB...

24 01 2025 5:25:17

ВЛИЯНИЕ СТРЕССОВЫХ ФАКТОРОВ НА ФУНКЦИОНАЛЬНОЕ СОСТОЯНИЕ БРЮШИНЫ

Статья в формате PDF 293 KB...

23 01 2025 3:14:13

СОСТОЯНИЕ ОПОРНО-ДВИГАТЕЛЬНОЙ СИСТЕМЫ ПРИ ХРОНИЧЕСКОМ ФУНКЦИОНАЛЬНОМ ПЕРЕНАПРЯЖЕНИИ У ЖЕНЩИН-РАБОТНИЦ АГРОПРОМЫШЛЕННОГО КОМПЛЕКСА

Статья в формате PDF 128 KB...

22 01 2025 8:47:33

ИССЛЕДОВАНИЕ СВОЙСТВ СТЕНОВОЙ КЕРАМИКИ С ИСПОЛЬЗОВАНИЕМ ОПОКИ

Статья в формате PDF 308 KB...

21 01 2025 2:35:32

Отходы производства и потрeбления. пути их решения

Статья в формате PDF 156 KB...

20 01 2025 13:48:30

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

В статье рассматриваются понятия «самоопределение», «самореализация», «профессиональное становление личности». Актуализируется проблема становления профессионала, проблема личностного и социального развития будущего специалиста как субъекта социального действия и основные факторы, влияющие на выбор профессии. ...

19 01 2025 7:48:51

МОДЕЛИ ИННОВАЦИОННЫХ СТРАТЕГИЙ СОЦИОСФЕРНОГО РАЗВИТИЯ

Статья в формате PDF 301 KB...

18 01 2025 10:27:56

ОБЪЕКТИВНЫЕ ХАРАКТЕРИСТИКИ СФОРМИРОВАННОСТИ ПРЕДСТАВЛЕНИЙ О ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ ИНЖЕНЕРА

Статья в формате PDF 139 KB...

17 01 2025 0:19:41

АНАЛИЗ РЕГИОНАЛЬНОЙ ФИНАНСОВОЙ ПОЛИТИКИ СТРАН ЗАПАДНОЙ ЕВРОПЫ

Статья в формате PDF 121 KB...

16 01 2025 17:59:27

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

Разработан пакет графических алгоритмических моделей отбpaковочных испытаний радиоприемных устройств, изготавливаемых и выпускаемых предприятием, как первый шаг к последующей автоматизации. Показано преимущество разработанных моделей по сравнению с действующей текстовой инструкцией по проведению испытаний. ...