ВЕСТН. САМАР. ГОС. ТЕХН. УН-ТА. СЕР. ТЕХНИЧЕСКИЕ НАУКИ. 2018. № 2 (58)
УДК 681.335
РЕАЛИЗАЦИЯ ПРИНЦИПА ЛОГИЧЕСКОГО РАЗВЕРТЫВАНИЯ В ИЗМЕРИТЕЛЬНЫХ СИСТЕМАХ
Н.Н. Хрисанов
Самарский государственный технический университет Россия, 443100, г. Самара, ул. Молодогвардейская, 244
Аннотация. Рассматривается принцип логического развертывания в измерительных системах, который предполагает реализацию некоторой стратегии поиска в процессе функционирования измерительной системы, обеспечивающей заданные параметры ее функционирования. Приведена операционная схема логического развертывания для случая произвольного числа развертывающих функций. Предложена математическая модель функционирования системы, приведен пример применения принципа логического развертывания для многоканального аналого-цифрового преобразователя.
Ключевые слова: измерительные системы, функция развертывания, аналого-цифровое преобразование, теория оптимального поиска.
В измерительных системах, как правило, используется принцип развертывающего преобразования компенсационного типа, который предусматривает сопоставление измеряемой величины x(t) с развертывающей функцией s(t).
Как указано в [1], элементарные развертывающие функции должны удовлетворять следующим требованиям: функция s(t) должна быть циклической, монотонной на участках возрастания и убывания, непрерывной или кусочно-непрерывной, в каждом цикле должно быть не более одного максимума и одного минимума, а также промежуточных точек с производными, равными нулю; функция s(t) должна быть определенной на всем протяжении или, по крайней мере, в ее рабочей области; функция s(t) должна быть ограниченной сверху и снизу и принимать все возможные абсолютные значения параметра x от x до xmin. Развертывающие функции, созданные с помощью ступенчатых функций, должны содержать конечное множество возможных значений.
Выполнение этих требований приводит к следующим недостаткам измерительных систем: необходимо последовательное формирование всех возможных значений развертывающей функции, что является основным фактором, снижающим быстродействие этих систем; не предусмотрена возможность одновременного применения нескольких развертывающих функций для преобразования одного или нескольких параметров; развертывающая функция должна быть монотонной на участках возрастания и убывания, не должна иметь в каждом цикле более одного максимума и одного минимума, что снижает функциональные возможности развертывающих систем; не учитываются вероятностные характеристики преобразуемого параметра с целью определения оптимальной формы развертывающей функции.
Хрисанов Николай Николаевич (к.т.н., доц.), доцент кафедры «Вычислительная техника». 78
Указанные недостатки устраняются применением принципа логического развертывания, предусматривающего применение теории оптимального поиска для определения оптимальной формы и количества развертывающих функций.
Принцип логического развертывания предполагает реализацию некоторой стратегии поиска в процессе функционирования измерительной системы, обеспечивающей заданные параметры функционирования системы. Цель поиска определяется основным назначением измерительной системы. Например, при многоканальном аналого-цифровом преобразовании каждому входному сигналу необходимо найти соответствующее значение цифрового кода, при измерении необходимо за минимальное число шагов подобрать измеряемому параметру соответствующую меру, в системах автоматического контроля необходимо за минимальное время определить все параметры, вышедшие из зоны допуска, и т.д. Результатом решения задачи оптимального поиска при этом является определение оптимальной формы и количества развертывающих функций исходя из заданных вероятностных характеристик входных сигналов.
Пример логического развертывания измеряемой величины х(/) в цифровой
код I 2(к) с применением двух развертывающих функций ^(к) и (к) приведен на рис. 1а.
В качестве окончательного результата в этой схеме развертывания используется значение I (п), где п - количество тактов в одном преобразовании. Развертывающая система для этого случая приведена на рис. 1Ь, из которого следует, что применение нескольких развертывающих функций позволяет уменьшить число тактов преобразования.
0 1 0
1 1 1
о о о
0 0 0
1 1 1
ООО
Ь)
01(к)
1 1 1 ¿2(к)
Л(к)
11 (к -1) 12 (к -1) Л
!2(к)
А(к)
*(к)
А(к)
Л(к)
Ч(к)
^2(к )
12 (к )
¡2(к )
12 (к )
я
Ч(к )
х(1)
Рис. 1. Схема логического развертывания
Для случая произвольного числа развертывающих функций операционная схема имеет следующий вид:
(к) ^ ^.п(к - 1М,..,Я(к)] ^ /1(к)
; Т
) ^ Н1..П ^ (к)
Применение логического развертывания позволяет повысить быстродействие и расширить функциональные возможности информационно- измерительных систем [2], систем автоматического контроля [3], аналого-цифровых преобразователей [4].
Сформулируем задачу оптимизации работы измерительной системы с логическим развертыванием. Пусть задано множество О = {1 , ..., N из N элементов. В процессе функционирования измерительной системы необходимо найти некоторое подмножество элементов, удовлетворяющих заданному условию. Множество возможных результатов поиска является областью поиска X. В измерительной системе с логическим развертыванием множество О - это возможные значения измеряемого параметра, перечень двоичных кодов, которые могут быть поставлены в соответствие преобразуемым в цифровой код аналоговым сигналам, контролируемые параметры в многоканальной системе контроля и т. п. Областью поиска X для АЦП является множество двоичных кодов, которые могут соответствовать входному аналоговому сигналу, для автоматической системы контроля это множество параметров, вышедших из допуска, и т. д.
Предполагается, что имеется возможность совместного анализа элементов из любого множества А с {1,...,N. При этом возможны два результата в зависимости от того, есть во множестве А искомые элементы, обладающие необходимым свойством, или нет. Поиск производится с помощью свободных от ошибок тестов £, где £ - некоторое отображение множества X в подходящее множество Я. В случае, если обследуется элемент г еХ, тест £ дает результат £ (г) . Наоборот, если результатом теста £ служит г е Я, то искомый объект должен находиться во множестве £ 1 (г). Совместное исследование элементов из А с {1,...^} соответствует тесту £А : Р {1,...^} ^ {0,1}, для которого (В) = 1 ^ А П В Ф0. Это означает, что множество А содержит искомые элементы тогда и только тогда, когда множество искомых элементов В имеет непустое пересечение со множеством А . Заметим, что при |А| > 1 и положительном
исходе теста можно утверждать лишь о том, что множество А содержит элементы, обладающие искомым свойством, однако нельзя определить номера этих элементов.
Пусть множество О есть О={г,г2,г3,...,г^}, где г, г = 1,N - элементы множества О. Процесс поиска производится с помощью тестов, составляющих множество Т = }, г = 1, т . Каждый тест определяется своим двоичным кодом:
=К-} г =1 т ] =1 п
где п - мощность множества О;
т - количество возможных тестов.
Пусть при применении теста ^ производится совместное обследование элементов множества О . Тогда а^ = 1, если при применении теста ^ ] -тый эле-
мент множества О принадлежит множеству Ог-, и а ] = 0 в противном случае, т. е.
[1, если ] еЦ,
а г] =\ — — ,
[0, если ] < Ц, г = 1, т, ] = 1,п.
Совокупность подмножеств Ог составляет семейство Б . Множеству тестов
Т = }, г = 1, т поставим в соответствие матрицу т = |, г, ] = 1, т затрат на
их проведение, где т . - затраты на проведение теста при условии, что перед
ним был проведен тест '. . Множеству всех измеряемых параметров О поставим
в соответствие вектор-строку априорных вероятностей Q = {дг}, г = 1, п, где ^ -априорная вероятность того, что -тый элемент обладает искомым свойством.
Целью функционирования системы является определение состояния всех элементов множества О или определение подмножества элементов, обладающих определенным свойством. Поиск производится последовательным применением тестов матрицы Т , причем выбор теста для применения на каждом следующем шаге зависит от исходов предшествующих тестов. Задача состоит в выборе некоторой совокупности тестов, достаточной для решения поставленной задачи поиска, и в определении условного порядка применения тестов этой совокупности так, чтобы обеспечить минимальное значение некоторого критерия.
Стратегию поиска удобно определить следующим образом:
-(о) 4 0,-,' 0 ],
т. е. как условный порядок применения (в порядке их написания) тестов '0,...,'0 ,
где каждый следующий тест применяется только при положительном исходе предыдущего. Верхний индекс в обозначении теста означает номер стратегии, в которую входит данный тест. При отрицательном исходе любого теста (например, '0) процесс переходит на частичную стратегию (-(О0)) определения состояния элементов в подмножестве (О0) . Принцип записи частичных стратегий аналогичен.
Если определена некоторая стратегия -(О), то определены и все частичные стратегии -(О]) . Фактически частичные стратегии входят в состав -(О) , но не записываются из-за громоздкости такой записи. Таким образом, стратегия -(О) определяет аналитическую форму записи программы поиска. Графически программу поиска можно представить дихотомическим деревом, вершины которого обозначают применяемые тесты, горизонтальные дуги - положительные исходы тестов, вертикальные - отрицательные исходы тестов.
Для математической постановки задачи оптимального поиска кроме задания исходного множества О , таблицы тестов необходимо определить модель самого процесса поиска, т. е. сформулировать предположение об области поиска, определить процедуру поиска, цели, правила прекращения поиска, критерий оптимальности и т. д. Например, для многоканального АЦП областью поиска является набор двоичных кодов, соответствующих входным аналоговым сигналам. Поиск прекращается после определения двоичных кодов для всех входных сигна-
лов. В качестве критерия оптимальности может быть выбран минимум среднего времени преобразования многоканального АЦП.
Время преобразования для рассматриваемого АЦП является случайной величиной. Можно показать, что среднее время преобразования и для АЦП с одним ЦАП равно
1
с № )]=^ к<
I ^ 1 0-и
р=1
где <2^ - вероятность г -го выходного кода;
. - время установления напряжения на выходе ЦАП при подаче на его вход ] -го кода, если перед ним был i -й код.
Для АЦП с v ЦАП среднее время преобразования равно
C
где т
)]=зг! X
тах (У
1=1 I
= тах (.. .+1, ,...т1^
) •
В ряде случаев, если неизвестны вероятности выходных кодов 0 , целесообразно использовать минимаксный критерий:
к ИЦ)] = т1п ^ах . + X . -1,, + Я [о (^ ]) ]
к-1
.1 + -1,I + К [СТ(Пк )]
Рис. 2. Зависимость среднего времени преобразования от с.к.о. входного сигнала
Предположим, что входной сигнал х изменяется в пределах [0, хт ], закон распределения входного сигнала - нормальный, математическое ожидание равно тх = хт /2, среднеквадратичное отклонение о . Зависимость среднего времени преобразования для 8-разрядного АЦП от отношения хт / о для различных значений V - количества ЦАП приведена на рис. 2. Величина среднего времени преобразования на графике нормирована к величине максимального значения одного такта преобразования, в качестве которого принято время, необходимое 82
для установления напряжения на выходе ЦАП при изменении от нуля до уровня, соответствующего середине диапазона.
Из рис. 2 следует, что применение нескольких развертывающих функций (т. е. большего количества ЦАП), учет вероятностных характеристик входного сигнала и динамических параметров ЦАП позволяют значительно повысить быстродействие АЦП последовательного приближения. Отметим, что для обычного 8-разрядного АЦП = 8.
Применение принципа логического развертывания в системах контроля параметров позволяет уменьшить время обнаружения аварийного состояния объекта.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Чернов В.Г. Устройства ввода-вывода аналоговой информации для цифровых систем сбора и обработки данных. - М.: Машиностроение, 1988. - 184 с.
2. А.с. 1322352, МКИ G08 C 19/28. Информационно-измерительная система / Н.Н. Хрисанов. Опубл. 15.06.1986. Бюл. № 22.
3. А.с. 1238040, МКИ G05 B 23/02. Устройство для централизованного контроля параметров / Н.Н. Хрисанов. Опубл. 15.06.1986. Бюл. № 22.
4. Пат. 2183381 России МКИ3 H03M 1/26. Аналого-цифровой преобразователь / Н.Н. Хрисанов (Россия); № 2001108023/09; заявлено 26.03.2001; Опубл. 10.06.2002. Бюл. № 16.
Статья поступила в редакцию 14 января 2018 г.
REALIZATION OF THE PRINCIPLE OF LOGICAL DEPLOYMENT IN MEASUREMENT SYSTEMS
N.N. Hrisanov
Samara State Technical University
244, Molodogvardeyskaya st., Samara, 443100, Russian Federation
Abstract. The paper considers the principle of logical deployment in measuring systems, which involves the implementation of a search strategy in the process of the functioning of a measuring system that provides specified parameters of its functioning. The operational scheme of logical deploying is given for the case of an arbitrary number of deploying functions. A mathematical model of the system functioning is offered, an example of application of the principle of logical deployment for a multichannel analog-to-digital converter is given.
Keywords: measuring systems, deployment function, analog-to-digital conversion, optimal search theory.
Nikolay N. Hrisanov (Ph.D. (Techn.)), Associate Professor.