Научная статья на тему 'Сравнительный анализ численных и алгебраических методов автоматизированного расчета оптических систем в параксиальной области'

Сравнительный анализ численных и алгебраических методов автоматизированного расчета оптических систем в параксиальной области Текст научной статьи по специальности «Математика»

CC BY
141
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПАРАМЕТРИЧЕСКИЙ СИНТЕЗ / ОПТИЧЕСКАЯ СИСТЕМА / СИСТЕМА ПОЛИЛИНЕЙНЫХ УРАВНЕНИЙ

Аннотация научной статьи по математике, автор научной работы — Острун А. Б., Иванов А. В.

В статье проведено cравнение эффективности численных и алгебраических методов решения систем полилинейных модельных уравнений с целью определения оптимального алгоритма параметрического синтеза центрированной оптической системы в гауссовой области.Анализ эффективности производится на конкретных примерах различной степени сложности, наглядно демонстрирующих работу обоих методов. Процесс формирования систем полилинейных уравнений, содержащих в качестве неизвестных оптические силы компонентов, осуществляется в полуавтоматическом режиме. По результатам проведенного сравнительного анализа предложены рекомендации по использованию каждого из способов решения задачи автоматизированного параметрического синтеза.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Сравнительный анализ численных и алгебраических методов автоматизированного расчета оптических систем в параксиальной области»

НАУЧНОЕ ИЗДАНИЕ МГТУ ИМ. Н. Э. БАУМАНА

НАУКА и ОБРАЗОВАНИЕ

Эл № ФС77 • 48211. Государственная регистрация №0421200025. ISSN 1994-0408

электронный научно-технический журнал

Сравнительный анализ численных и алгебраических методов

автоматизированного расчета оптических систем

в параксиальной области

# 03, март 2013

Б01: 10.7463/0313.0548050

Острун А. Б., Иванов А. В.

УДК 535.317.22

Россия, СПб НИУ ИТМО Alexostr@yandex. ш ivanov@mail.ifmo.ru

Одним из важных этапов проектирования оптических систем является стадия параметрического синтеза («габаритного расчета») в гауссовой области. При реализации указанного этапа необходимо определить параметры оптических сил и расположения компонентов оптической системы.

Эта задача сводится к проблеме составления и решения систем уравнений и неравенств относительно неизвестных параметров схемы.

Зависимость выражений для параксиальных функций от структуры оптической схемы и способа выбора параметров сильно усложняет процесс автоматизированного формирования и последующего решения систем уравнений [1]. Поясним сказанное на

примере. Известно, что оптическая сила системы двух бесконечно тонких компонентов фс

связана с оптическими силами компонентов ф,ф2 и расстоянием d между ними следующим образом:

Фс = Ф + Ф - ФФё

Если в качестве переменной х выбрать оптическую силу первого компонента, то функция заднего фокального отрезка имеет вид:

фс = а + Ьх (1)

где а = ф2; Ь = 1 -ф2ё .

Если же в качестве переменной взять осевое расстояние между компонентами, то выражение для функции (1) формально не изменится, но значения коэффициентов будут определяться совершенно иными формулами:

а = фх +ф2; Ь = .

Аналогичные примеры можно привести и для других параксиальных выражений. Поэтому, вследствие множества вариантов структуры оптических систем и способов выбора переменных, уравнения для параксиального расчета практически всегда составляются специалистом «вручную», под каждую определенную схему и набор параметров.

Однако функциям координат нулевых лучей от параметров оптической системы присущи особые свойства, которые позволяют успешно решить проблему составления уравнений. Как доказано ранее [2], выходные координаты нулевых лучей представляют собой полилинейные функции оптических сил поверхностей и расстояний между ними:

п п—1 п

/(X) = /(ХХ-Л) = С0 + ЕСгХг + Е Е СуХгХ] +

г =1 г =1 ] =1+1

п—2 п—1 п

+ Е Е Е СфХгХ]Хк + ... + С123...пХ1 Х2...Хп = 0

г=1 у =г +1 к=_/+1

Полилинейность выходных координат нулевых лучей позволяет привести практически все широко используемые параксиальные уравнения к обобщенному виду равенств нулю полилинейных функций, коэффициенты которых определяются с помощью тривиальной интерполяции путем просчета параксиального лучей. Решение полученной системы уравнений может быть:

- осуществлено численным алгоритмом. Суть его заключается в в последовательном разбиении области изменения переменных и отбрасывании блоков в виде гиперпараллелепипедов, в которых заведомо отсутствуют решения. Критерием существования решений является перемена знаков всех полилинейных функций в углах гиперпараллелепипеда [2];

- получено методами компьютерной алгебры с помощью преобразования исходной системы уравнений по алгоритму Бухбергера с последующим нахождением корней многочлена одной переменной.

Успешность в получении результата и трудоемкость работы указанных методов в значительной степени связана со способами реализации алгоритмов, а также размерностью решаемых задач. Тем не менее, представляет отдельный интерес сравнение алгебраического и численного методов на конкретных оптических системах с небольшим количеством переменных, поскольку оно позволяет сделать определенные выводы о достоинствах и преимуществах разных подходов к решению систем алгебраических уравнений и неравенств.

В качестве первой тестовой задачи был избран параксиальный расчет объектива с фокусным расстоянием f=90 мм и задним отрезком 80 мм, который состоит из двух тонких компонентов, разделенных воздушным промежутком 2 мм. В качестве переменных x1, x2 были избраны оптические силы компонентов. Контролировалось отклонение оптической силы и заднего отрезка системы от заданных. Коэффициенты перед неизвестными могут быть легко найдены путем интерполяции с помощью расчета выходных координат четырех параксиальных лучей. Полученная система уравнений имеет вид:

[ -2x1 x2 + x + x2 - 0,011 = 0 [-150x1 x2 + 77x1 + 75x2 -1 = 0

Графически проиллюстрируем работу алгоритма (рис. 1)

Рис. 1. Иллюстрация работы алгоритма численного метода.

На рисунке показаны кривые линии, соответствующие уравнениям (красно-бордовые линии изначальные, зелено-желтые, полученные с помощью линейных комбинаций уравнений, способы такого построения описаны в предыдущих работах [3]); заштрихованные области соответствуют удаляемым блокам на первой, второй, третьей стадиях процесса разделения начального квадрата; зоны с отсутствием штриховки охватывают остаточные площади с неопределенным расположением решения. Поиск производился на интервале, охватывающим все разумные решения (фокусные расстояния оптических элементов по модулю больше 3 мм). Решение было найдено менее чем за 0,5 сек численным методом. Такую же скорость показал и алгебраический метод.

Во втором примере требовалось рассчитать фотообъектив типа «триплет» с задним фокусным расстоянием Г=80 мм и задним отрезком 65 мм, который состоит из трех тонких компонентов, разделенных воздушными промежутками 1 мм и 2 мм. В процессе синтеза следует предусмотреть коррекцию кривизны Петцваля (сумма оптических сил принимается равной нулю). Выбирая в качестве переменных оптические силы тонких компонентов, получим систему уравнений для обеспечения заданных характеристик в виде:

-0,0125 + х1 + х2 + х3 - х1 х2 - 3х1 х3 - 2х2х3 + 2х1 х2х3 = 0 ! 1 - 68х1 - 67х2 - 65х3 + 4556х1 х2 +195х1 х3 +130х2х3 -130х1 х2х3 = 0

х1 + х2 + х3 = 0

Решение было найдено менее чем за одну секунду, но метод компьютерной алгебры также породил два комплексных корня, нахождение которых в контексте задачи интереса не представляет.

Следующий пример иллюстрирует проблему синтеза оптической схемы с двумя переменными. В ходе решения этой задачи были построены кривые на плоскости переменных, соответствующие параксиальным уравнениям (рис. 2).

Рис. 2. Иллюстрация примера, не имеющего точного решения.

Как видно из построения, кривые линии проходят близко друг от друга, но нигде не пересекаются. Следовательно, точного решения у системы нет. Однако есть весьма близкое сближение линий, которое свидетельствует о наличии комбинации переменных, делающей невязки уравнений достаточно малыми. Эта комбинация может иметь интерес при рассмотрении исходной задачи как некорректной, имеющей большую относительную погрешность исходных данных. В этом случае целесообразными с точки зрения синтеза становятся все решения, обеспечивающие незначительную невязку уравнений.

В данном случае метод компьютерной алгебры вычислит комплексные корни, не представляющие интереса. В то же время численный метод может выделить интервал неопределенности переменных, в котором решение достигается с определенной степенью точности. Эта точность может регулироваться пользователем.

В четвертом примере требуется рассчитать в гауссовой области панкратический объектив, имеющий в двух крайних состояниях фокусные расстояния 57,12 мм и 142,8 мм

и неизменный задний фокальный отрезок, равный 82,03 мм. Оптическую схему представим в виде набора четырех тонких компонентов, двух подвижных и двух неподвижных. Оптические силы компонентов будем считать неизвестными, а осевые расстояния для крайних состояний заимствуем из работы [4] (см. таблица 1).

Таблица 1. Осевые расстояния между компонентами и фокусное расстояние системы.

Г' й1 й3

57,12 15,79 41,47 26,45

142,8 62,61 6,07 15,03

Полученная система уравнений для определения оптических сил имеет вид:

-0.0175 + х1 + х2 + х3 + х4 -15.79х1 х2 - 57.26х1 х3 -83.71х1 х4 -41.47х2х3 -

- 67.92х2х4 - 26.45х3х4 + 654.8113х:х2х3 +1072.4568хх2х4 + +1514.527х1 х3х4 + 1096.8815х2х3х4 -17319.759х1 х2х3х4 = 0

-0.007 + х1 + х2 + х3 + х4 -62.61х1 х2 -68.68х1 х3 -83.71х1 х4 -6.07х2х3 -

- 21.21х2х4 - 15.03х3х4 + 380.04хх2х3 +1321.07хх2х4 + +1032.26х^х3х4 + 91.23х2х3х4 - 5712.04хх2х3х4 = 0

' 1 -165.74х1 - 149.95х2 -108.48х3 - 82.03х4 + 2367.71х1 х2 + 6211.56х1 х3 +

+ 6866.73^х4 + 4498.66х2х3 + 5571.48х2х4 + 2169.69х3х4 -71033.93^х2х3 --87973.63х1 х2х4 - 124236.65х1 х3х4 -89977.19х2х3х4 +1420739.82х1 х2х3х4 = 0

1 -165.74х1 - 103.13х2 -97.06х3 -82.03х4 + 6456.97х1 х2 + 6666.08^х3 +

+ 6866.73^х4 + 589.15х2х3 + 1730.83х2х4 + 1232.91х3х4 -36886.94х1 х2х3 -

- 108367.45х1 х2х4 -84676.32хх3х4 -7483.77х2х3х4 + 468558.79хх2х3х4 = 0,

В этом случае методы компьютерной алгебры либо вообще не находят решения, либо находят корни, не являющиеся решением, либо находят приближенное решение, которое требует уточнения. Численный метод находит все действительные решения за удовлетворительный промежуток времени (около 1 сек.).

Рассмотренные алгоритмы достаточно успешно решают предложенные типы задач. В ряде примеров методы компьютерной алгебры оказываются быстрее. Однако они могут порождать ненужные решения или не находить комбинации переменных, представляющие интерес, но не являющиеся решением. Численный метод является универсальным и позволяет находить решение с заданной точностью. Его быстродействие можно заранее предсказать, зная количество переменных.

Список литературы

1. Иванов А.В. Универсальные методы решения модельных уравнений при габаритном расчете оптических систем // Оптический журнал. 2007. Т. 74, вып. 5, С. 7-11.

2. Иванов А.В. Универсальная модель для автоматизированного параметрического синтеза центрированных оптических систем в гауссовой области // Научно-технический вестник СПбГУ ИТМО. 2006. Вып. 11 (34). С. 298-303.

3. Иванов А.В., Острун А.Б. Усовершенствованный универсальный метод габаритного расчета центрированных оптических систем // Оптический журнал. 2012. Т. 79, вып. 5. С. 35-39.

4. Smith W.J. Modern lens design. McGraw-Hill, Inc., 1992. 380 p.

SCIENTIFIC PERIODICAL OF THE RAIJMAN MS TU

SCIENCE and EDUCATION

EL № FS77 - 48211. №0421200025. ISSN 1994-040S

electronic scientific and technical journal

Comparative analysis of numerical and algebraic methods of

automated calculation of optical systems in the paraxial region

# 03, March 2013

DOI: 10.7463/0313.0548050

Ostrun A.B., Ivanov A.V.

Russia, St. Petersburg ITMO Alexostr@yandex. ru ivanov@mail.ifmo.ru

In this article the authors present an efficiency comparison of numerical and algebraic methods for solving polylinear model equations in order to determine an optimal algorithm of parametric synthesis of a centered optical system in Gaussian optics. The performance analysis was carried out with case studies of varying complexity that illustrate features of both methods. Generation of multilinear equations was produced in a semi-automatic mode while optical powers of components were considered to be unknown. Recommendations on usage of each method for the computer-aided parametric synthesis based on results of comparative analysis are given.

Publications with keywords: parametric synthesis, optical system, system of polylinear equations

Publications with words: parametric synthesis, optical system, system of polylinear equations

References

1. Ivanov A.V. Universal'nye metody resheniia model'nykh uravnenii pri gabaritnom raschete opticheskikh sistem [Universal methods for solving model equations for the dimensional calculation of optical systems]. Opticheskii zhurnal, 2007, vol. 74, no. 5, pp. 7-11. (Trans. version: Journal of Optical Technology, 2007, vol. 74, no. 5, pp. 302-306.).

2. Ivanov A.V. Universal'naia model' dlia avtomatizirovannogo parametricheskogo sinteza tsentrirovannykh opticheskikh sistem v gaussovoi oblasti [Universal model for automated parametrical synthesis of centered optical systems in Gaussian field]. Nauchno-tekhnicheskii vestnik SPbGUITMO [Scientific and technical Bulletin of Saint-Petersburg state University of information technologies, mechanics and optics], 2006, no. 11 (34), pp. 298-303.

3. Ivanov A.V., Ostrun A.B. Usovershenstvovannyi universal'nyi metod gabaritnogo rascheta tsentrirovannykh opticheskikh sistem [Improved universal method for a size calculation of centered optical systems]. Opticheskii zhurnal, 2012, vol. 79, no. 5. S, pp. 35-39.). (Trans. version: Journal of Optical Technology, 2012, vol. 79, no. 5, pp. 285-288.).

4. Smith W.J. Modern lens design. McGraw-Hill, Inc., 1992. 380 p.

i Надоели баннеры? Вы всегда можете отключить рекламу.