![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Вводные замечания 1 страница
Общая теория алгоритмических измерений как самостоятельная теоретическая дисциплина возникла и развилась в недавнее время. Ее появление обусловлено, с одной стороны, наличием большого количества накопленных и ожидающих обобщений частных знаний в области теории и техники измерений, с другой же стороны, необходимостью решать все более трудные проблемы измерений и обработки данных, связанных с измерением количественных и неколичественных признаков. Поэтому в последние годы усиленно проводятся изыскания, направленные на автоматизацию интеллектуальных операций измерительного эксперимента, на создание так называемой интеллектуальной измерительной техники, позволяющей многократно повышать производительность труда при проведении измерений и значительно повысить их точность. Применение вычислительной техники при этом процессе в средствах измерений нацелено на решение двух принципиально различных задач: автоматизация процессов управления и мониторинга измерительными приборами, а также автоматизация обработки результатов измерений с направленностью на выполнение интеллектуальных функций. Эта теория оформилась как теория шкал, называемая также репрезентационной теорией измерения или теорией обобщенных измерений. Основные работы в области теории обобщенных измерений написаны специалистами по математической психологии. Однако в литературе все чаще встречаются попытки изложения этой теории с технических позиций. Основное ее применение – это построение алгоритмов обнаружения эмпирических закономерностей и систематизация процедур формирования данных. В этом разделе изложены основы теории цифровых алгоритмических измерений (ЦАИ). Рассмотрены эволюция понятий измерения величин и числа (§ 5.2). Дан краткий обзор наиболее распространенных метрических и неметрических шкал и показана связь понятийного аппарата общей теории измерения с алгоритмическими измерениями (§ 5.3). Приведены простейшие алгоритмы измерения в номинальной, порядковой и аддитивной шкалах при их программно-аппаратной реализации (§ 5.4). Поэтому термин «алгоритмическое измерение» применим ко всем шкалам. Приведены общие соотношения моделирования ЦАИ системы АЦП–ЦП–ЦАП § 5.5 и показана эквивалентность между фильтрацией и алгоритмическим измерением (§ 5.6). Рассмотрена структура спектров дискретизированного сигнала на основе двух теорем дискретизации, в том числе для последовательности импульсов конечной ширины и сигналов конечной длительности (§ 5.7). Также рассмотрены алгоритмы и элементная база шкалы метрологического кодирования (§§ 5.8, 5.9, 5.10) 5.2. Развитие понятий числа и измерения величин
Понятия числа и измерения величин принадлежат к основным понятиям науки, которые неразрывно развивались в течение нескольких тысячелетий. В ходе этого развития оформились основные числовые системы математики: положительные целые числа N, целые числа Q, рациональные числа Ra, действительные числа Re, состоящие из рациональных и иррациональных чисел, комплексные числа С. Нетрудно заметить, что в этой расширяющейся цепочке N Ì Q Ì Ra Ì Re Ì C каждая числовая система, стоящая рангом выше, обобщает предшествующую. Комплексные числа стали в каком-то смысле завершением этого развития. Параллельно развивалось и понятие измерения. В упомянутой цепочке числовых систем наблюдается два свойства числовых систем – дискретность и непрерывность. Действительные числа обладают не только свойствами целых чисел, но и некоторыми новыми свойствами. Их можно складывать, умножать, делить, возводить в степень и извлекать корни. Они приобрели новое свойство – между точками на действительной оси нет промежутков, они идут непрерывно. Множество действительных чисел обладает свойством непрерывности, а множество целых чисел – свойством дискретности или прерывности. Целые числа входят в множество действительных чисел, но в нем бесконечно много и других чисел. Математическим образом отдельного предмета служит целое число, а математическим образом совокупности дискретных предметов – сумма целых чисел. Основным исходным математическим образом непрерывности служит непрерывность геометрической фигуры, в простейшем случае – прямой линии. Перед нами две противоположности – дискретность и непрерывность – и их отвлеченные математические образы – целое число и геометрическая протяженность. Измерение есть соединение этих противоположностей; непрерывное измеряется отдельными единицами. Но неделимыми единицами обойтись нельзя, приходится вводить дробные доли исходной единицы. Современная измерительная практика использует и другие числовые системы, являющиеся производными от основных числовых систем математики – четыре вида иррациональных чисел (число Согласно концепции Нейгебауэра о метрологическом происхождении систем счисления оказалось закономерным появление теоретических исследований в области алгоритмов измерения как способов представления (кодирования) чисел. Результатом этих теоретических исследований в области прикладной арифметики является теория «фибоначчиевых» двоичных систем счисления. Особенно проявила себя эта тенденция в технике аналого-цифрового преобразования. Здесь при метрологическом кодировании сигнала измерение присутствует как аппаратурный прием проектирования устройств преобразования формы информации. Такой прием создания устройств измерительной техники ставит совершенно новые проблемы метрологического обеспечения разработок различных устройств. В настоящее время стало складываться новое направление микроэлектроники – однокристальные цифровые процессоры обработки аналоговых сигналов или сигнальные микропроцессоры (СМП), работающие в реальном времени. В этих приборах имеют место два вида измерения: физическое и функциональное (алгоритмическое). Физическое измерение выполняют в аналого-цифровых преобразователях (АЦП); функциональное измерение – вычислительным устройством, входящим в состав СМП. Функциональное измерение может быть достоверным, если соблюдены требования надлежащего метрологического обеспечения – стабильная тактовая частота генератора и стабильное опорное напряжение, необходимое число разрядов всех регистров вычислительного устройства, стабильная и надежная элементная база. В последнее время появились разработки СМП с использованием природных констант и, в частности, на основе эффекта Джозефсона. Развитие техники измерений и проектирования цифровой аппаратуры способствовало расширению понятийного аппарата теории измерений. Математика в настоящее время позволяет рассматривать теорию измерений как алгебру событий и отношений, а измерение считать решением одного класса математических задач. При таком подходе оказывается возможным измерять любые показатели, если только определены множества элементов и шкалы (неметрические и метрические). Однако развитие технологии и схемо- и системотехники позволяет реализовать аппаратно и программно как неметрические, так и метрические шкалы и, таким образом, рассматривать цель измерения не только как средство получения информации об исследуемом объекте, но и как аппаратурный прием проектирования цифровой и аналоговой техники.
5.3. Теория шкал и алгоритмические измерения
Объектами измерений являются свойства. Масса, цвет, электрическое сопротивление, умственные способности – типичные примеры для иллюстрации смысла, который здесь придается слову «свойство». Свойства существуют только в связи с эмпирическими объектами, такими, как физические тела, электромагнитные волны, люди. Электромагнитные волны, например, обладают таким свойством, как цвет. Обычно один объект проявляет различные свойства: тон, например, обладает громкостью, высотой и тембром. Измеряя одно свойство, пренебрегаем всеми другими, которыми может обладать объект. При измерении массы пренебрегаем такими свойствами тел, как форма и цвет. Таким образом, совершенно несходные объекты могут стать эквивалентными, если рассмотрение ограничено одним свойством. Говорят, что свойство объекта обладает определенной структурой, имея в виду любую структуру, детерминированную эмпирическими отношениями между эмпирическими объектами. Несмотря на то, что всегда исходим из отношений между объектами, предмет измерения составляют свойства, а не сами объекты. Гомоморфное отображение свойств математическим пространством называют измерительной шкалой. В основе теории шкал лежит теоретико-множественный аппарат отношений. Рассмотрим, например, такое свойство, как высота тона. Простейшим эмпирическим отношением между двумя тонами, связанными со структурой свойства, является субъективное утверждение о том, какой из двух тонов выше. Можно ввести еще другое эмпирическое отношение, связанное со структурой этого свойства, определить высоту тона, лежащую между двумя данными высотами. Эмпирические отношения поддаются математическому описанию на языке теории отношений. Пусть S – множество значений свойств объектов А, В, С, например множество их весов а, b, с. Эмпирическое отношение между объектами по их весам обозначим R, подразумевая, например, под R отношение «легче чем». Если тело с весом a легче тела с весом b, то это означает, что в системе эмпирических объектов имеет место отношение aRb. Система
называется эмпирической системой с отношениями, если S – множество свойств объектов (носитель системы с отношениями), а Ri – множество отношений между объектами по этим свойствам. Для того чтобы было удобно высказываться об отношениях в эмпирической системе, ее отображают на числовую систему; одномерную систему
которая называется абстрактной системой с отношением, если М – множество чисел (например, множество всех действительных чисел) – носитель системы, a Pi – определенные отношения на числах, которые зависят от выбора числовой системы так, чтобы с их помощью легко и однозначно отражались соответствующие отношения Ri из эмпирической системы. Отображение системы Е на систему N называют гомоморфизмом. Совокупность правил, которые позволяют выполнить сопоставление эмпирической системы с отношением в числовую систему с отношениями, называют шкалой. В теории Суппеса и Зинеса шкала представляется тройкой
где Под гомоморфным отображением понимается масштаб единицы измерения (без учета адекватных операций). Если с помощью преобразования j отображение y можно взаимно однозначно перевести в отображение g (g = jy, y = j-1 g), то шкалы Рассмотрим некоторые типы шкал, имеющих широкое распространение в практике решения прикладных задач распознавания образов, при построении алгоритмов обнаружения эмпирических закономерностей и в технике обработки данных методами многомерного шкалирования. Абсолютная шкала. В общем случае ее допустимое преобразование тождественно преобразованию Измерения в квантовой метрологии отличаются высокими метрологическими характеристиками и уникальными свойствами, которые обусловлены стабильностью физических явлений, лежащих в их основе. Функции преобразования квантовых измерительных приборов и преобразователей базируются на фундаментальных законах микромира и квантовомеханических соотношениях. Во всех случаях в качестве коэффициентов преобразования таких средств измерений выступают фундаментальные физические константы, обычно известные с высокой точностью, или коэффициенты, которые поддаются точному теоретическому расчету. Это кроме высокой точности преобразования обеспечивает переход к абсолютным измерениям и повышение метрологической надежности средств измерений, поскольку такие средства измерений не нуждаются градуировке и периодической поверке. Метрологические характеристики квантовых приборов мало или вообще не зависят от изменения внешних факторов. В качестве информативного параметра выходного сигнала квантовых средств измерений во многих случаях выступает частота, являющаяся наиболее точно измеряемой физической величиной, которую легко без искажений можно передать на большие расстояния. Это позволяет сделать общедоступной высокую точность измерения не только в метрологической практике, но и при технических измерениях. Измерения в ядерной физике с помощью детекторов излучения осуществляют также по абсолютной шкале с использованием процедуры счета. Очевидно, что эти измерения безэталонные. По абсолютной шкале измеряют относительные величины (коэффициенты усиления, трения, добротности, статистической вероятности и т.д.), которые выражаются относительными числами, не зависящими от выбора единиц, а при измерении этих величин не требуется эталонов. Особый интерес представляют шкалы для измерения КПД, вероятности, информации. Для них выбрана шкала от 0 до 1, причем конечные пункты шкалы физически как бы бесконечно удалены, недостижимы. Для абсолютных шкал иногда используют логарифмическую оценку, например, в децибелах. Шкала отношений. Это метрическая шкала. Почти все технические измерения в рамках основного уравнения измерения описываются шкалами отношений. Для шкалы отношений допустимое преобразование результатов измерения – умножение всех их на одно и то же положительное число (т.е. изменение масштаба Шкала интервалов. Шкала обладает метрическими свойствами частично, так как числовые значения не обладают многими свойствами действительных чисел. Эта шкала допускает положительные линейные преобразования – является положительным линейным преобразованием тогда, когда для каждого х имеем Шкала порядка. Ее называют также ординальной шкалой. Она учитывает наличие отношения порядка в системе объектов, для которых допустимым преобразованием является преобразование, не изменяющее порядок чисел. Все объекты выстраиваются по какому-либо свойству (некоторые из них могут занять одно и то же место в цепочке – быть эквивалентными), здесь отсутствует пропорциональность. Здесь мы уже не имеем дело с величинами, хотя и упорядочиваем свойства в определенной системе. Важно, что для хранения ординальной шкалы необходимо такое же число образцовых объектов, какое нужно для классов эквивалентности, на которые должно быть разбито множество произвольных исследуемых объектов. Шкала наименований. Наиболее «слабая» шкала. Здесь числа служат условными названиями объектов или классов. Правило шкалы – нельзя присваивать одно имя двум разным объектам. Значит, то отношение в системе объектов, которое передается шкалой наименований, – это идентичность объектов самим себе. Его аналогом в числовой системе является индивидуальность чисел; неважно, что одному объекту присваивается большее число, а другому – меньшее, эти числа можно поменять местами. Более строго допустимой группой преобразований для шкалы наименований является группа перестановок, иначе называемая пермутационной группой. Шкала наименований существует и как познавательная процедура классификации во многих приложениях (контроль изделий – классификация на годные и негодные, поверка приборов, диагностика задачи распознавания образов). В таких случаях вводят шкалу классификации – это отношение эквивалентности в определенном смысле. Так, все годные изделия эквивалентны в том смысле, что могут быть полезно использованы. В числовой системе это отношение проявляется в той же индивидуальности чисел, поэтому допустимая группа преобразований для шкалы классификации – та же группа перестановок. Номинальная, ординальная, интервалов, пропорциональная и абсолютная шкалы считаются основными типами шкал, используемых при анализе экспериментальных и статистических данных, а также при формировании данных. Три последних типа обладают метрическими свойствами. Все метрические шкалы связаны между собой определенными соотношениями. Как уже отмечалось, интервалы шкалы интервалов образуют шкалу отношений; в свою очередь, отношения шкалы отношений образуют абсолютную шкалу. Имеется и другая связь: логарифмическое преобразование переводит абсолютную шкалу в шкалу отношений (как при выражении усиления в децибелах), а шкалу отношений – в шкалу интервалов (как при выражении частоты октавами). Из рассмотренных шкал абсолютная является самой «сильной», а шкала наименований – самой «слабой». Действительно, из абсолютных данных можно узнать все, что могут дать любые другие шкалы, но не наоборот. Из того, что в группе А 15 студентов, в группе В 20, а в группе С 30, можно узнать: в А студентов в 2 раза меньше (шкала отношений), чем в С; в В их на 10 человек меньше, чем в С (шкала интервалов); в А их просто меньше, чем В и С (шкала порядка); число студентов в группе не совпадает (шкала наименований). Однако рекомендовать к использованию только абсолютные шкалы было бы неверно. Для получения информации о свойствах, измеряемых в сильных шкалах, требуются более совершенные (сложные, дорогие) измерительные приборы и процедуры. Приборов и процедур для измерения многих характеристик в сильных шкалах еще нет. Кроме того, слабые шкалы более помехоустойчивы – их показания не меняются, если помеха находится в рамках допустимых преобразований. А группа этих преобразований тем шире, чем слабее шкала. Если информация, содержащаяся в измерениях по любой из двух шкал разного типа, достаточна для решения некоторой задачи, то целесообразно использовать измерения в более слабой из этих двух шкал. Как уже отмечалось, совокупность правил, которые позволяют выполнить условия гомоморфизма эмпирической системы с отношением в числовую систему с отношениями, называют шкалой. Эта совокупность правил есть не что иное, как алгоритм измерения, а сам процесс нахождения числа – алгоритмическое измерение. Реальная измерительная практика вызвала необходимость расширения этого понятия и заставляет понимать под алгоритмическим измерением свойства, некоторый способ (алгоритм) нахождения символа (числа, функции, алгебраического элемента), моделирующего свойство исследуемого объекта в соответствии с конкретной измерительной шкалой. Измерительная шкала, ставя в соответствие свойствам символы, может быть задана только в виде множества свойств, представляющих символы. Следовательно, алгоритмическое измерение (АИ) должно состоять в сравнении неизвестных свойств объекта с эталонными свойствами до тех пор, пока не будут найдены свойства, находящиеся в таком отношении, которое позволит определить символ, моделирующий исследуемое свойство. Особенность алгоритмического измерения при цифровой обработке сигналов на сигнальном микропроцессоре СМП (рис. 5.3.1 и 5.3.2) состоит в том, что это метрологически кодированный вычислительный процесс, когда основное измерение проводится на цифровой измерительной шкале (ЦИШ), пункты которой метрологически кодированы. Другими словами, цифровое алгоритмическое измерение (ЦАИ) есть процедура измерения, использующая не менее двух шкал – шкалу преобразования аналоговой величины в цифровую (шкала метрологического кодирования) и ЦИШ, на которой реализован алгоритм измерения.
Рис. 5.3.1. Функциональная схема цифровой обработки аналогового сигнала
Рис. 5.3.2. Представление сигнального микропроцессора в виде абстрактной измерительной системы
Способ гомоморфного отображения при цифровом алгоритмическом измерении удобно математически описывать с помощью концепции проверки отношения эквивалентности, поскольку любой процесс отображения порождает отношение эквивалентности, которое включает три измерительные процедуры: формирование сравниваемых свойств, сравнение свойств, вычисление свойств. Применительно к СМП формирование сравниваемых свойств означает формирование некоторой шкалы, являющейся совокупностью отметок (делений), изображающих ряд цифр, соответствующих измеряемой величине. При этом для формирования шкалы необходимо использование некоторого числа мер, для каждого из которых известно число содержащихся в нем квантов. Например, если выходной код АЦП содержит п двоичных разрядов, то с их помощью могут быть представлены десятичные числа от 0 до Вторая процедура при ЦАИ – это сравнение свойств. По существу, это алгоритм преобразования аналогового сигнала в цифровой код. Для СМП он необходим при автоматизации структурного проектирования АЦП и связанного с ним цифрового моделирования. Необходимо заметить, что идеализированные характеристики конкретной структуры АЦП в полной мере определяются выбранным набором шкал и методом их сочетания, в то время как вид логической схемы алгоритма остается, при использовании метода поразрядного кодирования, неизменным для любого набора шкал. В этом смысле можно говорить об алгоритмическом измерении в АЦП, поскольку процедура «сравнение свойств» реализуется по определенному алгоритму программно-аппаратными средствами. Алгоритмическое измерение как функциональное реализуется путем подключения к АЦП микропроцессора (МП), который и реализует измерительную процедуру. Его алгоритмическая структура ориентирована на цифровую фильтрацию. Если необходимо получить результат измерения в аналоговой форме, то к МП подключают цифро-аналоговый преобразователь (ЦАП). Следовательно, для общей характеристики ЦАИ следует рассматривать в целом систему АЦП – МП или АЦП – МП – ЦАП, при этом измерительную процедуру осуществляют на цифровой измерительной шкале, которую можно определить как алгоритмическую структуру, реализуемую аппаратными и программными средствами для достижения высокой точности и производительности обработки измерительной информации при ЦАИ. 5.4. Алгоритмы измерения в номинальной шкале, аддитивной и порядка
Рассмотрим алгоритмы измерения в номинальной, порядка и аддитивной шкалах, которые широко используют в измерительной практике. Измерение в номинальной шкале является самым примитивным. Его реализация требует воспроизведения измерительной шкалы с помощью по крайней мере п -1мер, где п – численность семейства, к которому принадлежит исследуемое свойство. Измерение можно реализовать методом одновременных или последовательных сравнений. В последнем случае шкала формируется неупорядоченным образом. Алгоритм измерения в номинальной шкале представлен на рис. 5.4.1, а. Индекс i упорядочивает меры чисто формально.
Рис. 5.4.1. Алгоритмы измерения в номинальной (а), булевой (б) и порядковой (в) шкалах
Примером измерения в номинальной шкале может служить измерение в булевой шкале, которая воспроизводится единственной мерой ul с булевым значением 0 или 1. Измерение состоит всего из одного сравнения. Алгоритм измерения в булевой шкале представлен на рис. 5.4.1, б. Порядковая непрерывная шкала может быть воспроизведена с помощью конечного числа мер иi со свойствами vi, представляющими числа хi. Результат измерения по непрерывной порядковой шкале имеет интервальную форму, и его можно реализовать методом одновременных сравнений либо методом поочередных сравнений, формируя развертывающуюся или шаговую шкалу. Развертывание заключается в формировании последовательности мер { ui } = { u l, u 2,..., uj...}со свойствами, упорядоченными в соответствии с отношением порядка шкалы. Индекс i одновременно задает последовательность сравнения. Алгоритм измерения в порядковой развертывающейся шкале показан на рис. 5.4.1, в. При формировании с накоплением последовательность мер, участвующих в сравнении, имеет вид { ui } = { ui 1, ui 2,..., uij , ...}, где индекс i упорядочен в соответствии с порядком шкалы, а индекс j указывает очередность сравнения. Значение мер в j -м сравнении зависит от результата предыдущих j -1 сравнений с мерами ujα , α = l, 2,..., j -1.
|