Realization of the principle of logical deployment in measurement systems

Full Text

В измерительных системах, как правило, используется принцип развертывающего преобразования компенсационного типа, который предусматривает сопоставление измеряемой величины с развертывающей функцией . Как указано в [1], элементарные развертывающие функции должны удовлетворять следующим требованиям: функция должна быть циклической,монотонной на участках возрастания и убывания, непрерывной или кусочно-непрерывной, в каждом цикле должно быть не более одного максимума иодного минимума, а также промежуточных точек с производными, равными нулю;функция должна быть определенной на всем протяжении или, по крайней мере, в ее рабочей области; функция должна быть ограниченной сверху и снизу и принимать все возможные абсолютные значения параметраот до . Развертывающие функции, созданные с помощью ступенчатых функций,должны содержать конечное множество возможных значений. Выполнение этих требований приводит к следующим недостаткамизмерительных систем:необходимо последовательное формирование всех возможных значений развертывающей функции, что является основным фактором, снижающим быстродействие этих систем; не предусмотрена возможность одновременного применения нескольких развертывающих функций для преобразования одного или нескольких параметров; развертывающаяфункция должна быть монотонной на участках возрастания и убывания, не должна иметь в каждом цикле более одного максимума и одного минимума, что снижает функциональные возможности развертывающих систем; не учитываются вероятностные характеристики преобразуемого параметра с целью определения оптимальной формы развертывающей функции. Указанные недостатки устраняются применением принципа логического развертывания,предусматривающего применение теории оптимального поиска для определения оптимальной формы и количества развертывающих функций. Принцип логического развертывания предполагает реализацию некоторой стратегии поиска в процессе функционирования измерительной системы, обеспечивающей заданные параметры функционирования системы. Цель поиска определяется основным назначением измерительной системы. Например, при многоканальном аналого-цифровом преобразовании каждому входному сигналу необходимо найти соответствующее значение цифрового кода,при измерении необходимо за минимальное число шагов подобрать измеряемому параметру соответствующую меру, в системах автоматического контроля необходимо за минимальное время определить все параметры, вышедшие из зоны допуска, и т.д. Результатом решения задачи оптимального поиска при этом является определение оптимальной формы и количества развертывающих функций исходя из заданных вероятностных характеристик входных сигналов. Пример логического развертывания измеряемой величины в цифровой код с применением двух развертывающих функций и приведен на рис. 1а. В качестве окончательного результата в этой схеме развертывания используется значение , где - количество тактов в одном преобразовании. Развертывающая система для этого случая приведена на рис. 1b, из которого следует, что применение нескольких развертывающих функций позволяет уменьшить число тактов преобразования. Рис. 1. Схема логического развертывания Для случая произвольного числа развертывающих функций операционная схема имеет следующий вид: Применение логического развертывания позволяет повысить быстродействие и расширить функциональные возможности информационно- измерительных систем [2], систем автоматического контроля [3], аналого-цифровых преобразователей [4]. Сформулируем задачу оптимизации работы измерительной системы с логическим развертыванием. Пусть задано множество из элементов. В процессе функционирования измерительной системы необходимо найти некоторое подмножество элементов, удовлетворяющих заданному условию. Множество возможных результатов поиска является областью поиска.В измерительной системе с логическим развертыванием множество- это возможные значения измеряемого параметра, перечень двоичных кодов, которые могут быть поставлены в соответствие преобразуемым в цифровой код аналоговым сигналам, контролируемые параметры в многоканальной системе контроля и т. п. Областью поиска для АЦП является множество двоичных кодов, которые могут соответствовать входному аналоговому сигналу, для автоматической системы контроля это множество параметров, вышедших из допуска, и т. д. Предполагается, что имеется возможность совместного анализа элементов из любого множества . При этом возможны два результата в зависимости от того, есть во множестве искомые элементы, обладающие необходимым свойством, или нет. Поиск производится с помощью свободных от ошибок тестов , где - некоторое отображение множества в подходящее множество . В случае, если обследуется элемент , тест дает результат . Наоборот, если результатом теста служит , то искомый объект должен находиться во множестве . Совместное исследование элементов из соответствует тесту : , для которого . Это означает, что множество содержит искомые элементы тогда и только тогда, когда множество искомых элементов имеет непустое пересечение со множеством. Заметим, что при и положительном исходе теста можно утверждать лишь о том, что множество содержит элементы, обладающие искомым свойством, однако нельзя определить номера этих элементов. Пусть множество есть, где - элементы множества .Процесс поиска производится с помощью тестов, составляющих множество . Каждый тест определяется своим двоичным кодом: где - мощность множества ; - количество возможных тестов. Пусть при применении теста производится совместное обследование элементов множества . Тогда , если при применении теста -тый элемент множества принадлежит множеству , и в противном случае, т. е. , Совокупность подмножеств составляет семейство . Множеству тестов поставим в соответствиематрицу затрат на их проведение, где - затраты на проведение теста при условии, что перед ним был проведен тест . Множеству всех измеряемых параметров поставим в соответствие вектор-строку априорных вероятностей , где - априорная вероятность того, что -тый элемент обладает искомым свойством. Целью функционирования системы является определение состояния всех элементов множества или определение подмножества элементов, обладающих определенным свойством. Поиск производится последовательным применением тестов матрицы , причем выбор теста для применения на каждом следующем шаге зависит от исходов предшествующих тестов. Задача состоит в выборе некоторой совокупности тестов, достаточной для решения поставленной задачи поиска, и в определении условного порядка применения тестов этой совокупности так, чтобы обеспечить минимальное значение некоторого критерия. Стратегию поиска удобно определить следующим образом: , т. е. как условный порядок применения (в порядке их написания) тестов , где каждый следующий тест применяется только при положительном исходе предыдущего. Верхний индекс в обозначении теста означает номер стратегии, в которую входит данный тест. При отрицательном исходе любого теста (например,) процесс переходит на частичную стратегию определения состояния элементов в подмножестве .Принцип записи частичных стратегий аналогичен. Если определена некоторая стратегия , то определены и все частичные стратегии . Фактически частичные стратегии входят в состав , но не записываются из-за громоздкости такой записи. Таким образом, стратегия определяет аналитическую форму записи программы поиска. Графически программу поиска можно представить дихотомическим деревом, вершины которого обозначают применяемые тесты, горизонтальные дуги - положительные исходы тестов, вертикальные - отрицательные исходы тестов. Для математической постановки задачи оптимального поиска кроме задания исходного множества , таблицы тестовнеобходимо определить модель самого процесса поиска, т. е. сформулировать предположение об области поиска, определить процедуру поиска, цели, правила прекращения поиска, критерий оптимальности и т. д. Например, для многоканального АЦП областью поиска является набор двоичных кодов, соответствующих входным аналоговым сигналам. Поиск прекращается после определения двоичных кодов для всех входных сигналов. В качестве критерия оптимальности может быть выбран минимум среднего времени преобразования многоканального АЦП. Время преобразования для рассматриваемого АЦП является случайной величиной. Можно показать, что среднее время преобразования и для АЦП с одним ЦАПравно , где - вероятность -го выходного кода; - время установления напряжения на выходе ЦАП при подаче на его вход -го кода, если перед ним был -й код. Для АЦП с ЦАП среднее время преобразования равно , где. В ряде случаев, если неизвестны вероятности выходных кодов , целесообразно использовать минимаксный критерий: . Рис. 2. Зависимость среднего времени преобразования от с.к.о. входного сигнала Предположим, что входной сигнал изменяется в пределах [0, ], закон распределения входного сигнала - нормальный, математическое ожидание равно , среднеквадратичное отклонение . Зависимость среднего времени преобразования для 8-разрядного АЦП от отношения для различных значений - количества ЦАПприведена на рис. 2. Величина среднего времени преобразования на графике нормирована к величине максимального значения одного такта преобразования, в качестве которого принято время, необходимоедля установления напряжения на выходе ЦАП при изменении от нуля до уровня, соответствующего середине диапазона. Из рис. 2 следует, что применение нескольких развертывающих функций (т. е. большего количества ЦАП), учет вероятностных характеристик входного сигнала и динамических параметров ЦАПпозволяютзначительно повысить быстродействие АЦП последовательного приближения. Отметим, что для обычного 8-разрядного АЦП = 8. Применение принципа логического развертывания в системах контроля параметров позволяет уменьшить время обнаружения аварийного состояния объекта.

About the authors

Nikolay N Hrisanov

Samara State Technical University

(Ph.D. (Techn.)), Associate Professor 244, Molodogvardeyskayast., Samara,443100, Russian Federation

References

Supplementary files