CC BY
36
3. Kiczales G., Mezini M. Aspect-oriented programming and modular reasoning // Proc. 27th Intern. Conf. on Software engineering — ICSE '05. NY, USA: ACM Press, 2005. P. 49.
4. Harrison W., Ossher H. Subject-oriented programming // ACM SIGPLAN Notices. 1993. Vol. 28, N 10. P. 411— 428.
5. Tarr P. et al. N Degrees of Separation: Multi-Dimensional Separation of Concerns // Proc. 21st Intern. Conf. on Software engineering — ICSE '99. NY, USA: ACM Press, 1999. P. 107—119.
6. Bergmans L., Aksits M. Composing crosscutting concerns using composition filters // Communications of the ACM. 2001. Vol. 44, N 10. P. 51—57.
7. Lieberherr K., Orleans D., Ovlinger J. Aspect-oriented programming with adaptive methods // Communications of the ACM. ACM Press. 2001. Vol. 44, N 10. P. 39—41.
8. Chadwick B. Functional Adaptive Programming. Northeastern University, 2010.
9. Lieberherr K., Holland I., Riel A. Object-oriented programming: an objective sense of style // ACM SIGPLAN Notices. 1988. Vol. 23, N 11. P. 323—334.
Сведения об авторе
Алексей Витальевич Николаенков — аспирант; Санкт-Петербургский национальный исследовательский
университет информационных технологий, механики и оптики, кафедра вычислительной техники; E-mail: nickolaenkov@gmail.com
Рекомендована кафедрой Поступила в редакцию
вычислительной техники 08.02.12 г.
УДК 621.3.85
А. А. Ожиганов, И. Д. Захаров
СИСТЕМА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПСЕВДОРЕГУЛЯРНЫХ КОДОВЫХ ШКАЛ
Предлагается система автоматизированного проектирования псевдорегулярных кодовых шкал, основными задачами которой являются получение рисунка кодирующей маски шкалы и размещение на ее информационных дорожках считывающих элементов с учетом заданных физических ограничений.
Ключевые слова: система автоматизированного проектирования, преобразователь перемещения, псевдорегулярная кодовая шкала, считывающие элементы.
В современных информационно-измерительных системах широко применяются устройства аналого-цифрового преобразования, одним из видов которых являются преобразователи перемещений, построенные по методу считывания [1]. В качестве кодированного элемента в таких преобразователях могут быть использованы псевдорегулярные кодовые шкалы (ПРКШ) [2]. В силу особенностей этим шкалам свойственно большое разнообразие вариантов построения кодирующих масок, даже в пределах одной разрядности [3]. Поэтому разработку ПРКШ целесообразно выполнять с использованием системы автоматизированного проектирования.
Предлагаемая система, укрупненная схема которой показана на рис. 1, содержит несколько модулей, различающихся по функциональному назначению. Основной функцией вычислительного модуля является объектное представление проектируемой ПРКШ. Пользователь имеет возможность манипулировать ПРКШ при помощи графического интерфейса пользователя (ГИП), который выделяется в отдельный модуль. Отклик модуля ПРКШ на действия
Система автоматизированного проектирования псевдорегулярных кодовых шкал 81
пользователя, в свою очередь, отображается посредством модуля графического представления кодовой шкалы (ГПКШ). Особого внимания также заслуживает расширяемое множество модулей-генераторов, используемых для формирования кодирующих масок (КМ) дорожек ПРКШ.
ГИП
ГПКШ
ПРКШ
Генератор
Генератор
Рис. 1
Объектная иерархия модуля ПРКШ (рис. 2) спроектирована таким образом, чтобы максимально отразить технологические особенности проектируемого изделия. Так, младшим объектом иерархии является квант (ч) кодовой дорожки (КД) [2]. Множество квантов можно объединить в абстракцию, представляющую собой один период информационной КД. Синтез КМ осуществляется посредством выбираемого объекта-генератора двоичной рекуррентной последовательности. Конкретный тип генератора определяется пользователем в процессе проектирования. Полученный объект соответствует периоду информационной КД, предоставляя вышестоящему объекту иерархии интерфейс для работы с периодом информационной КД в целом.
КШ
Считывающие элементы
Параметры КШ
КД
Период КД
1 Ч 1 ... Ч
Период КД
1 ч ... \ Ч
Параметры КД
КД
Период КД
Ч Ч
Период КД
Ч | . Ч |
Параметры КД
Генератор
Генератор
Рис. 2
Выше в объектной иерархии системы расположен объект КД, который функционально состоит из двух частей, отвечающих за логическую и физическую составляющие. Объекты периодов информационной КД составляют основу логической части объекта КД. В физической части хранятся либо вычисляются такие параметры КД, как диаметр, число периодов, линейные
размеры кванта и др. Объект КД предоставляет интерфейс для работы графического модуля, позволяющего рассчитывать местоположение конкретного кванта информационной КД.
Кодовая шкала является верхним уровнем объектной иерархии модуля ПРКШ. В функции КШ входит хранение списка объектов КД, предоставление интерфейса работы с ними, а также взаимодействие со считывающими элементами (СЭ) и их физическими параметрами. Для этих целей в состав КШ включена сущность, отвечающая за размещение СЭ на всех КД, из которых состоит данная КШ. Физические ограничения для КШ определяются как ее физическими параметрами (расстояние между КД и линейные размеры квантов каждой информационной КД), так и конструктивными особенностями преобразователя на основе ПРКШ в целом. Для устранения неоднозначности результатов считывания с ПРКШ информации СЭ должны размещаться с необходимой избыточностью [4].
Модули-генераторы различаются по типу генерируемых двоичных рекуррентных последовательностей. Такие модули состоят из двух частей — вычислительной и интерфейсной. В вычислительной части, выполняемой в отдельном потоке, реализуется алгоритм генерации двоичной рекуррентной последовательности, а интерфейсная часть предоставляет полученные последовательности модулю ПРКШ и осуществляет контроль над вычислительной частью, останавливая и возобновляя вычислительный поток. Известны алгоритмы формирования двоичных рекуррентных последовательностей, пригодные для формирования КМ шкалы и оптимизированные для использования в САПР кодовых шкал [3, 5]. Рассматриваемая в настоящей работе САПР ПРКШ позволяет унифицировать их реализацию, инкапсулируя вычислительную часть и предоставляя единый интерфейс.
Круговая ПРКШ представляет собой диск с нанесенной на него КМ в виде информационных КД и СЭ. Вдоль информационных КД размещены СЭ, с которых снимается информация об угловом положении ПРКШ.
В качестве входных данных модуля ПРКШ, получаемых из ГИП, выбираются внутренний и внешний диаметры КМ, минимальные линейные размеры кванта информационной КД, расстояние между КД, размеры СЭ, а также минимальные расстояния между ними.
Ширина 1-й КД (/=1, ..., к) вычисляется модулем ПРКШ в соответствии с выражением
Л ( - Dm -(k - 1) w) k
где Din и Dex — внутренний и внешний диаметр КМ, а w — минимальное расстояние между соседними КД.
С учетом того, что ширина всех КД, входящих в проектируемую КШ одинакова, внутренний диаметр D¡ i-й КД может быть определен из соотношения
П D + (Л + V iDex +(k - 1)Din + iw
Di = Din + (Л i + wV =--~Y-•
Линейный размер кванта КД вычисляется в соответствии с выражением
лД
4i =—L NlPl
где — число квантов в одном периоде /-й информационной КД, а Р/ — число периодов КМ /-й КД.
Число квантов каждой кодирующей маски КД определяется разработчиком ПРКШ и задается посредством выбора соответствующего генератора последовательности. В случае
Система автоматизированного проектирования псевдорегулярных кодовых шкал 83
формирования КМ 1-й информационной КД на основе последовательностей де Брейна число ее квантов равно 2п, где п — степень последовательности де Брейна.
Число периодов текущей информационной КД определяется рекуррентно из соотношения
Р = Р-1Н-1, р = 1.
На сформированной КМ информационной КД размещаются СЭ, число которых равно степени последовательности, лежащей в основе построения маски конкретной дорожки.
Корректность размещения СЭ на КД проверяется путем нахождения всех кодовых комбинаций, получаемых при изменении угла поворота ПРКШ на один квант младшей КД. Размещение СЭ корректно тогда и только тогда, когда все получаемые с ПРКШ кодовые комбинации уникальны. В противном случае необходимо синтезировать другую КМ.
При синтезе каждой КД должны выполняться следующие условия.
1. Линейные размеры одного кванта информационной КД должны быть больше либо равны минимально различаемым размерам кванта для выбранных СЭ.
2. Расстояния £ на КД между СЭ не должны превышать определенной для используемого типа СЭ величины:
£ = ^г1 sin2 (а1 -а2) + (г0 - г1 cos (а1 - а2))
где г и г — расстояния между центром круговой КМ и центрами квантов, над которыми размещаются СЭ (т > 1); а1 и а2 — углы между заданной нулевой позицией (край кванта, с которого начинается отсчет) и квантами, над которыми размещаются СЭ.
Расстояния между центром круговой КМ и центром любого кванта 1-й информационной КД определяются из выражения
, = А
В случае формирования КМ на основе последовательности де Брейна угол между нулевой позицией и1-м квантом 1-й КД определяется из соотношения
у 180° ( 21 +1)
а =---1.
1 2п'Р
Вследствие воздействия СЭ друг на друга, например выделяемым тепловым излучением, необходимо стремиться к максимальному увеличению расстояния между ними. Поэтому алгоритм перебора вариантов размещений СЭ в модуле ПРКШ должен начинаться с проверки таких случаев, когда СЭ распределены по шкале равномерно.
В работе представлена система автоматизированного проектирования ПРКШ, подробно рассмотрена объектная иерархия основного вычислительного модуля. На основе рассмотренного подхода реализована САПР ПРКШ на языке С++/014. Подобную систему можно применять для проектирования преобразователей угловых перемещений, использующих различные виды ПРКШ.
СПИСОК ЛИТЕРАТУРЫ
1. Домрачев В. Г., Мейко Б. С. Цифровые преобразователи угла: принципы построения, теория точности, методы контроля. М.: Энергоатомиздат, 1984. 328 с.
2. Ожиганов А. А., Прибыткин П. А. Псевдорегулярные кодовые шкалы для цифровых преобразователей угла // Науч.-техн. вестн. СПбГУ ИТМО. 2011. Вып. 1. С. 67—72.
84
С. О. Чураев
3. Ожиганов А. А., Захаров И. Д. Применение последовательностей де Брейна для построения псевдорегулярных кодовых шкал // Науч.-техн. вестн. НИУ ИТМО. 2012. Вып. 2(78). С. 69—74.
4. Азов А. К., Ожиганов А. А. Устранение неоднозначности считывания в преобразователях перемещения с рекурсивными кодовыми шкалами // Информационные системы. 2001. № 6. С. 39—42.
5. Ожиганов А. А., Захаров И. Д. Использование порождающих полиномов M-последовательностей при построении псевдослучайных кодовых шкал // Изв. вузов. Приборостроение. 2011. Т. 54, № 6. С. 49—56.
Сведения об авторах
Александр Аркадьевич Ожиганов — д-р техн. наук, профессор; Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, кафедра вычислительной техники; E-mail: ojiganov@mail.ifmo.ru — аспирант; Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, кафедра вычислительной техники; E-mail: zakharov_ilya@hotmail.com
Поступила в редакцию 08.02.12 г.
УДК 004.031.6
С. О. Чураев
МЕТОД РЕВЕРСИВНОЙ СЛУЧАЙНОЙ ВЫБОРКИ ДЛЯ ИЗМЕРЕНИЯ С ПИКОСЕКУНДНЫМ РАЗРЕШЕНИЕМ ВРЕМЕНИ ЗАДЕРЖКИ В ЭЛЕМЕНТАХ ИНТЕГРАЛЬНЫХ СХЕМ
Предложен обеспечивающий пикосекундную точность метод измерения времени задержки по фронту и спаду сигнала в наноразмерном логическом вентиле интегральной схемы. Приведено схемотехническое решение, реализующее данный метод измерения.
Ключевые слова: метод случайной выборки, встраиваемые времяцифровые преобразователи, пикосекундное разрешение, разделение задержек по фронту и спаду, инерциальная задержка.
Введение. При проектировании цифровых наноразмерных интегральных схем (ИС) одной из актуальных проблем остается высокоточное измерение временных параметров логических вентилей. К основным параметрам относится значение времени задержки переключения по фронту tr и спаду сигнала tf, которое используется в моделях элементов при проектировании схемы в САПР. До недавнего времени данная задача решалась с помощью сравнительно простых внешних измерительных устройств, таких как осциллограф и генератор, а также линии задержки, включающей 5—10 и более однотипных, последовательно соединенных элементов.
Существует класс измерительных схем, условно классифицируемых как встраиваемые времяцифровые преобразователи (ВВЦП). Это специализированные схемы, выполненные по единому технологическому процессу и размещаемые вблизи объекта тестирования, обеспечивающие интенсивное контролируемое взаимодействие с ними [1]. Разместив ВВЦП рядом с объектом тестирования, можно существенно снизить влияние оборудования на объект измерения, снизить трудоемкость изготовления, энергопотребление и время измерения. В ВВЦП реализуются методы прямого отсчета, нониусного совпадения фаз, Уилкинсона, случайной выборки (МСВ) [2], фазового накопления ошибки [3, 4].
Илья Дмитриевич Захаров
Рекомендована кафедрой вычислительной техники
