Очевидно, что тест, в который включены всевозможные комбинации значений входных сигналов, является полным. Однако громадное число таких комбинаций, равное 2п в комбинационном блоке и 2п+q в последовательностном, делает нереальным применение подобных полных тестов (здесь q — число элементов памяти в блоке). Поэтому возникают задачи синтеза и анализа тестов. При синтезе генерируются входные наборы Хk, а при анализе устанавливаются характеристики теста.
Обычно тесты рассчитывают на выявление только одиночных константных неэффективных рекомендаций. Это класс устойчивых неэффективных рекомендаций, возникающих поодиночке в единственном элементе блока. К ним относятся неэффективные рекомендаций «константный нуль», «константная единица», связанные с наличием постоянного низкого или высокого уровня напряжения, и «инверсная неисправность», связанная с появлением непредусмотренного инвертирования сигнала.
Для синтеза тестов применяют вероятностные и детерминированные методы. В вероятностных методах наборы генерируются с помощью датчиков случайных чисел. Основные затраты машинного времени приходятся при этом на анализ проверяющих возможностей генерируемых наборов. Анализ каждого набора состоит в расчете реакции на воздействие Xk как эффективной рекомендации, так и всех ее возможных разновидностей. Если блок состоит из N элементов, то имеем 3N таких разновидностей и общее число вариантов моделирования блока окажется пропорциональным произведению sN, где s — число рекомендаций входных наборов. Практика показывает, что при заданной полноте теста s зависит от N и в результате затраты машинного времени Тм оказываются пропорциональными Nα, где α=2÷3.
Большие значения Тм обусловливают применение для анализа тестов наиболее экономичных методов моделирования логических и функциональных схем. Обычно используют параллельное синхронное трехзначное моделирование. Трехзначный алфавит целесообразен для отбраковки входных векторов Xk, приводящих к состязаниям сигналов в блоке, из-за которых результаты применения теста могут стать неопределенными.
В детерминированных методах синтеза тестов для каждой неэффективной рекомендации из заданного списка подбирают свой входной набор. Одним из наиболее распространенных алгоритмов, реализующих детерминированный подход к синтезу тестов, является алгоритм Рота. В соответствии с этим алгоритмом для очередной неэффективной рекомендации, связанной с рекомендацией Р тестируемой схемы, подбираются входные для Р воздействия, такие что выходы эффективной рекомендации и неэффективной рекомендации Р будут иметь неодинаковые значения. После этого ищется путь передачи информации о наличии неэффективной рекомендации к выходам схемы, которые доступны для наблюдения. Поиск пути заключается в установлении цепочки рекомендаций между рекомендацией Р и выходом схемы и в определении таких значений входов рекомендаций цепочки, при которых неэффективная рекомендация транспортируется к выходу. Очевидно, что не любая цепочка может служить путем транспортировки, поскольку требуемые для транспортировки значения входов могут оказаться противоречивыми. Поэтому в алгоритме Рота осуществляется последовательное наращивание цепочки с проверкой непротиворечивости условий транспортировки для ранее и вновь включаемых рекомендаций. После установления пути требуемые значения входов у рекомендаций цепочки пересчитываются в значения тех входов тестируемой схемы, которые доступны для управления. Эти значения входов и представляют собой очередной искомый набор теста.
В программах синтеза тестов обычно используют комбинирование вероятностных и детерминированных методов. С помощью первых генерируется и анализируется некоторое заранее заданное число наборов. Если полнота теста после этого недостаточна, то выбирают неэффективные рекомендации, не выявляемые уже полученными наборами, и для этих неэффективных рекомендаций ищут входные наборы детерминированным методом.
8.8. Анализ чувствительности
Остановимся более детально на анализе чувствительности. С помощью аппарата теории чувствительности можно оценить направление и скорость изменения характеристик консультируемой проблемы при условии, что вектор переменных состояния консультируемой проблемы смещен относительно своего номинального значения. Это смещение может вызываться, например, влиянием внешних факторов на параметры компонентов консультируемой проблемы. Теория чувствительности находит широкое применение в процедурах параметрической оптимизации (при определении составляющих градиента и гессовой матрицы целевой функции), анализа допусков, расчета характеристик устройств, соответствующих режиму «худшего случая» и т. д.
Формальное определение чувствительности обычно соответствует выражению
(8.104)
где γ— выходной параметр консультируемой проблемы (переменяая, параметр качества и др.); xi (i = 1, 2, ..., п) — варьируемые параметры компонентов консультируемой проблемы.
Частную производную ∂y/∂xi называют функцией чувствительности, или коэффициентом влияния параметра xi на выходную характеристику схемы γ.
Для учета влияния на выходной параметр консультируемой проблемы одновременных изменений нескольких переменных вводят понятие чувствительности по многим переменным, соответствующее градиенту:
(8.105)
Тогда относительное изменение выходного параметра консультируемой проблемы, обусловленное малыми и независимыми отклонениями параметров его компонентов, в первом приближении можно определить как
(8.106)
где δх — вектор относительных изменений варьируемых параметров,
i-я составляющая которого δxi = ∆xi/xi.
Исследование чувствительности выполняется, как правило, в сочетании с каким-то основным видом анализа (статического, динамического, частотного), который оказывает существенное влияние на выбор конкретной методики расчета функций чувствительности. Статические характеристики консультируемой проблемы определяются для заданного режима функционирования, динамические — при анализе скорости изменения характеристик консультируемой проблемы во временной области, а частотные характеристики определяют при расчете зависимости требуемых передаточных функций консультируемой проблемы от частоты. Для описания и расчета каждого из отмеченных видов анализа применяется специфический математический аппарат, учет особенностей которого необходим при анализе чувствительности.
При решении всех рассмотренных выше типов задач моделирования чувствительности применяют различные модификации методов присоединенных консультируемых проблем, моделей чувствительности и вариационного метода. В общем случае консультируемая проблема описывается совокупностью уравнений независимых сечений или контуров, в которые частично или полностью введены компонентные соотношения:
(8.107)
где η, ξ —вектор соответственно последовательных и параллельных переменных модели консультируемой проблемы; х—вектор варьируемых параметров.
Модель чувствительности для консультируемой проблемы получают в результате дифференцирования выражения (8.107) по х
(8.108)
Решение для уравнения (8.108) эквивалентно решению т систем линейных уравнений типа
(8.109)
где

Исходная модель консультируемой проблемы согласно выражению (8.107) при решении также подвергается линеаризации и алгебраизации, в результате чего получаем математическую модель:
(8.110)
где W1 и W2 — векторы задающих источников, учитывающие вклады процедур линеаризации и алгебраизации, или
(8.111)
Сравнив выражения (8.111) и (8.109), приходим к заключению, что модель чувствительности для консультируемой проблемы характеризует другую консультируемую проблему, топологически эквивалентную исходной, переменные которой (последовательные и параллельные) соответствуют производным переменных исходной консультируемой проблеме по варьируемому параметру хj, при этом устраняются все задающие источники, воздействующие на исходную модель консультируемой проблемы; нелинейные компоненты исходной консультируемой проблемы заменяются линейными эквивалентами; компоненты консультируемой проблемы, характеристики которых зависят от хj, дополняются параллельно включенным источникам ∂φ1/∂xj (если это Y-компонент) или последовательно включенным источникам ∂φ2/∂xj (если это Z-компонент).
Математические модели исходной консультируемой проблемы согласно выражению (8.111) и модели чувствительности согласно выражению (8.109) представляют собой системы линейных алгебраических уравнений (для каждой временной точки), в которых различны только значения векторов правых частей.
В соответствии с процедурой моделей чувствительности для определения скорости изменения п выходных характеристик консультируемой проблемы (типа последовательных или параллельных переменных) по т варьируемым параметрам на всем рассматриваемом интервале времени [t0, tk] необходимо решить на этом же участке времени (т+1) систему уравнений: нелинейную систему дифференциально-алгебраических уравнений исходной консультируемой проблемы и т линейных дифференциально-алгебраических систем уравнений соответствующих моделей чувствительности. По существу, анализируется одна модель чувствительности, запитываемая различными входными источниками
|
Из за большого объема этот материал размещен на нескольких страницах:
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 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 |


