автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Программный комплекс генетического моделирования процессов термолюминесценции в диэлектриках
Автореферат диссертации по теме "Программный комплекс генетического моделирования процессов термолюминесценции в диэлектриках"
На правах рукописи
0034Э0ЭВЭ
ПОПКО ЕВГЕНИИ АЛЕКСАНДРОВИЧ
ПРОГРАММНЫЙ КОМПЛЕКС ГЕНЕТИЧЕСКОГО МОДЕЛИРОВАНИЯ ПРОЦЕССОВ ТЕРМОЛЮМИНЕСЦЕНЦИИ В ДИЭЛЕКТРИКАХ
Специальность 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Автореферат диссертации на соискание ученой степени кандидата физико-математических наук
2 8 ЯНВ 2010
Екатеринбург - 2009
003490969
Работа выполнена на кафедре вычислительной техники в ГОУ ВПО «Уральский государственный технический университет - УПИ имени первого Президента России Б.Н. Ельцина», г. Екатеринбург.
Научный руководитель: доктор технических наук, профессор
Смирнов Геннадий Борисович
Научный консультант: доктор физико-математических наук
Вайнштейн Илья Александрович
Официальные оппоненты: доктор физико-математических наук, профессор
Шориков Андрей Федорович
доктор физико-математических наук, профессор Мелких Алексей Вениаминович
Ведущая организация: Институт математики и механики УрО РАН,
г. Екатеринбург
Защита состоится 16 февраля 2010 г. в ff : 00 часов на заседании диссертационного совета Д 212.285.13 при ГОУ ВПО «Уральский государственный технический университет - УПИ имени первого Президента России Б.Н. Ельцина» по адресу: 620002, г. Екатеринбург, ул. Мира, 19, аудитория I главного учебного корпуса (зал ученого совета).
С диссертацией можно ознакомиться в читальном зале библиотеки ГОУ ВПО «Уральский государственный технический университет - УПИ имени первого Президента России Б.Н. Ельцина».
Отзыв на автореферат в одном экземпляре, заверенный гербовой печатью, просим направить по адресу: 620002, г. Екатеринбург, ул. Мира, 19, ГОУ ВПО «Уральский государственный технический университет - УПИ имени первого Президента России Б.Н. Ельцина», ученому секретарю университета. Автореферат разослан". ." января 2010 года.
Ученый секретарь диссертационного
совета Д 212.285.13, РоговичВ.И.
кандидат физ.-мат. наук, профессор
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность. Применение программных комплексов (ПК) в автоматизированных системах научных исследований при изучении различных объектов физики конденсированного состояния позволяет решать задачи структурной и параметрической идентификации механизмов сложных явлений по данным натурного эксперимента. Кроме этого появляется дополнительная возможность эффективного использования методов многофакторного вычислительного эксперимента для количественного анализа поведения твердотельных систем в широком диапазоне изменяемых структур и значений их параметров. Явление термолюминесценции (TJI) в диэлектриках, традиционно моделируемое системами обыкновенных дифференциальных уравнений (ОДУ) с переменной структурой и многими параметрами, относится к классу объектов, для которого целесообразно применить описанную идеологию.
Существенный вклад в развитие теоретических основ математического моделирования процессов 'ГЛ внесли российские и зарубежные исследователи: В.В. Антонов-Романовский, Э.И. Адирович, B.C. Кортов, П. Браунлих, Р. Хен, С. МакКи-вер. Большинство известных программных пакетов для численного анализа TJI данных, как правило, не решают задачу идентификации (как структурную, так и параметрическую) в полном объеме. Предлагаемые методики либо заменяют существующие модели упрощенными аналитическими выражениями^ либо используют локальные методы поиска. Это связано с тем, что в случае систем ОДУ, задающих модели TJI, возникают следующие сложности при решении задач идентификации: необходимо использование численных методов, производная оптимизируемой функции может быть найдена только приближенно, присутствуют локальные минимумы, большое количество параметров (в рассматриваемой задаче при аппроксимации требуется настраивать до 50 значений), большие диапазоны изменения параметров, необходимо производить настройку системы уравнений (подбирать количество уравнений и слагаемых).
Вышеприведенные факторы представляют определенную сложность для традиционных методик идентификации моделей. Альтернативным подходом в данном случае могут выступать эвристические методы, одним из которых является генетический алгоритм (ГА). ГА - это итеративная процедура эволюционного развития, которая работает с популяцией особей-решений, трансформируя ее во времени с помощью имитации принципов естественного отбора. Данный метод не имеет значительных математических требований к виду целевой функции, устойчив к попаданию в локальные минимумы, эффективен при решении крупномасштабных проблем оптимизации. ГА показали свою эффективность при решении различных оптимизационных задач физики твердого тела (построение кристаллических структур
и кластеров наночастиц, описание магнитных свойств в модели Изинга, расчеты в приближении локальной плотности двухъямного потенциала). Данный подход отличается гибкостью, универсальностью. Для мультимодальных задач большой размерности ГА, как правило, находят лучшее решение при меньших вычислительных затратах по сравнению с традиционными методиками.
Таким образом, с учетом всего вышесказанного ГА представляется перспективным подходом для идентификации ТЛ-моделей в реальных широкозонных материалах. Разработка такого рода программного комплекса с использованием генетических алгоритмов является актуальной задачей математического моделирования. За счет обоснованного принятия решений у исследователя появляются новые возможности по обработке и верификации экспериментальных ТЛ данных в кристаллах, как на стадии изучения априорной информации, так и на стадии численного анализа полученных результатов.
Объект исследования. Модели ТЛ-процессов и генетические алгоритмы для параметрической и структурной идентификации.
Предмет исследования. Реализация и условия применимости ГА к задачам моделирования ТЛ-процессов.
Цель работы и задачи исследования. Целью исследования является разработка программного комплекса моделирования процессов термолюминесценции в диэлектриках на основе применения генетических алгоритмов.
Для достижения поставленной цели в диссертации последовательно решены следующие задачи:
1) выделение особенностей актуального класса исследуемого явления, который характеризуется определенным комплексом механизмов термолюминесценции, задающих структуру математических моделей;
2) выбор прототипа ПК из имеющихся аналогов;
3) обоснование выбора генетических алгоритмов для моделирования процессов ТЛ.
4) модификация математической модели для выбранного класса ТЛ-моделей, которая позволит производить выбор требуемой зонной схемы путем построения системы дифференциальных уравнений;
5) подбор наиболее эффективных генетических операторов для решения задач идентификации ТЛ-моделей и разработка оригинального генетического алгоритма на их основе;
6) проектирование создаваемого программного комплекса генетического моделирования ТЛ-процессов в диэлектриках;
7) программирование, тестирование и настройка комплекса на основе известных частных моделей термолюминесценции.
Научная новизна работы. 1. Модифицирована обобщенная кинетическая модель термолюминесценции для многоловушечных систем в кристаллах, которая позволяет с использованием ГА конструировать зонные схемы ТЛ-процессов на основе введенных битовых «выключателей».
2. Разработан новый генетический алгоритм с двоично-вещественным кодированием, осуществляющий одновременный перебор моделей и поиск оптимальных значений их параметров при аппроксимации экспериментальных ТЛ кривых.
3. Предложены и обоснованы с использованием полного многофакторного эксперимента новые модификации операторов мутации, селекции и кроссовера, обеспечивающие наилучшее быстродействие алгоритма при заданной точности.
4. По сравнению с прототипом расширена структура интегрированного пакета для решения комплекса задач при моделировании процессов термолюминесценции на основе ГА за счет внедрения нового блока построения моделей.
Защищаемые положения. 1. С использованием битовых «выключателей» в структуре систем кинетических уравнений можно описывать широкий класс моделей ТЛ процессов в диэлектрических кристаллах, а также учитывать вероятные дополнительные механизмы при анализе зонных схем.
2. Созданный генетический алгоритм позволяет при обработке экспериментальных ТЛ кривых в едином цикле определять величины параметров заданной модели (идентификация в узком смысле), а также проводить поиск неизвестной зонной схемы и одновременную оценку ее параметров (идентификация в широком смысле).
3. Эмпирическое выражение, полученное в рамках полного 4-факторного эксперимента, дает возможность количественно оценивать влияние разных вариантов генетических операторов на целевую функцию.
4. Предложенная методика генетического моделирования позволяет оценить разбросы параметров зонных схем и выявить среди них наиболее сильно влияющие на форму ТЛ-пика.
5. Улучшенная по сравнению с прототипом структура программного комплекса позволяет расширить функциональность системы и решать задачи структурной идентификации ТЛ-моделей в диэлектриках.
Практическая значимость работы. Разработанные алгоритмы и программное обеспечение позволяют одновременно проводить параметрическую и структурную идентификацию моделей в отличие от традиционных методов. Созданный программный комплекс обеспечивает снижение временных затрат по сравнению с прототипом при аппроксимации экспериментальных ТЛ кривых с заданной точно-
стью. Имеется акт внедрения разработанного ПК, а также получены три Свидетельства о регистрации программ для ЭВМ. Созданная система может использоваться в образовательном процессе при обучении студентов физических и информационных специальностей, а также при подготовке научных кадров высшей квалификации.
Апробация работы. Основные результаты и положения исследований докладывались и обсуждались на конференциях молодых ученых УГТУ-УПИ (Екатеринбург, 2004-2009), на I Международной научно-практической конференции «Современные информационные технологии и ИТ-образование» (Москва, 2005), на XIV и XV Международных конференциях по люминесценции (Китай, Пекин, 2005; Лион, Франция, 2008), на IV Международном симпозиуме по лазерам, сцинтилляторам и нелинейным оптическим материалам (Чехия, Прага, 2006), на X Международной школе-семинаре по люминесценции и лазерной физике ЛЛФ-2006 (Иркутск, 2006), на 6-й и 7-й европейских конференциях по люминесцентным детекторам и преобразователям ионизирующих излучений (Львов, Украина, 2006; Краков, Польша, 2009), на Международной научно-практической конференции «Новые информационные технологии в образовании» (Екатеринбург, 2007), на 15-й Международной конференции по твердотельной дозиметрии (Нидерланды, Делфт, 2007), на IV Уральском семинаре «Люминесцентные материалы и твердотельные детекторы ионизирующих излучений» (Екатеринбург, 2008).
Публикации. По теме диссертации имеется 28 публикаций, в том числе 7 статей в научных журналах, согласно перечням ВАК 2005 - 2009 гг., а также 3 Свидетельства о регистрации программ для ЭВМ.
Объем и структура работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы из 111 наименований, 4 приложений и со держит 136 страниц основного машинописного текста, 41 рисунок, 13 таблиц.
ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ
Во введении обоснована актуальность решаемой проблемы, выделены научная новизна и практическое применение поставленных задач.
В первой главе проведен обзор существующих математических моделей термолюминесценции и современных программ моделирования кинетических процессов, произведен выбор прототипа.
Рассмотрен класс зонных схем, выбранный для Исследования в данной работе: «одна ловушка - один рекомбинационный центр» (OTOR), система невзаимодействующих ловушек (NMTS), взаимодействующих ловушек (IMTS). Помимо этого, приведены феноменологические описания - модели первого, второго и общего порядков кинетики, модель с учетом распределения ловушек, описание кинетики Шо-
на-Клозенса, модели с учетом эффекта туннелирования, с учетом локализованных переходов, с учетом нескольких рекомбинационных центров [1,2].
Выполнен литературно-аналитический обзор существующих программных пакетов, предназначенных для математического моделирования кинетических процессов, родственных для ТЛ. В качестве прототипа была выбрана система ОБЬ-вА. Данный аналог обладает следующими достоинствами: возможность построения ТЛ-кривых для различных моделей, использование методик для аппроксимации экспериментальных данных в рамках исследуемой зонной схемы. Основным недостатком прототипа, выявленным в результате анализа, является то, что в нем не реализована возможность проведения структурной идентификации. Данный недостаток может быть устранен путем введения в систему процедуры глобальной оптимизации для поиска значений параметров и типа модели.
Был проведен анализ различных методов оптимизации, в результате которого для решения задач параметрической и структурной идентификации предложено использовать генетический алгоритм. Используя различные генетические операторы, «следователь может получать разные виды ГА. Кроме того, эволюционные алгоритмы различаются по дополнительным принципам: наличие механизмов адаптации параметров (адаптивные ГА), объединение с другими методами оптимизации (гибридные ГА), использование различных алфавитов для кодирования хромосом [3,4].
Вторая глава посвящена разработке алгоритмов параметрической и структурной идентификации. В данной главе производится адаптация структурированной обобщенной кинетической модели термолюминесценции, описывается методика работы генетического конструктора (ГК), значительное внимание уделяется эволюционным операторам, используемым в решках данного подхода.
В целях систематизации информации о различных механизмах ТЛ была модифицирована обобщенная кинетическая модель, в рамках которой исследователь может построить базовые зонные схемы ОТОК, N1*1X5 и МТБ. За ее основу было взято описание многоловушечных систем, представленное Хеном и МакКивером [1].
В приведенной ниже системе уравнений рассмотрены ловушки только электронного типа. При необходимости указанная система может быть расширена за счет включения дырочных ловушек.
Были введены так называемые битовые «выключатели» К = {0, 1}, позволяющие настраивать вид и количество кинетических уравнений в системе. В настоящей реализации используются 4 битовых «выключателя», в зависимости от состояния которых активируются определенные дополнительные слагаемые или даже целые уравнения в системе ОДУ: Кл1 - включение в рассмотрение г'-й активной ловушки (АЛ) с набором конкретных значений параметров; К^ - подключение _/-й
глубокой ловушки (ГЛ); Кх - наличие исходной концентрации рекомбинационных центров; Кя - учет механизма температурного тушения люминесценции.
С использованием «выключателей» изменение концентрации щ заполненных АЛ описывается следующим уравнением:
к.
¿/и,. Л
= -П; 'Я,
-Е, ~кТ
вкт +пс-(Ы1-п1)-Ап1
(1)
где г = 1, 2,..., ц. Здесь ц - максимально допустимое количество обычных ловушек (одна ловушка есть всегда, т.е. Кп! э Г); к - постоянная Больцмана; /У, - общая концентрация г'-й АЛ, термоактивация с которой характеризуется энергией Еы и частотным фактором и,- и пс - концентрации г-п АЛ и свободных электронов в зоне проводимости соответственно; А,и— скорость захвата на /-ю ловушку. В случае если определенная 2-я АЛ в модели не рассматривается, то Кп1 = 0 и соответствующее кинетическое уравнение в системе отсутствует; Т- температура; время.
Для учета возможных конкурирующих процессов захвата используются термически несвязанные ГЛ:
т]
с!т.
Л
1- = пс-{МГт])-Ап.
(2)
где j = 1,... ц. Здесь ц - максимально допустимое количество глубоких ловушек; М/ -общая концентрация 7-й ГЛ; от,- - моментальная концентрация заполненной глубокой ловушки; А „у - вероятность захвата на ГЛ.
Концентрация электронов в зоне проводимости описывается следующим образом:
-Е,„
Лу, V _
= 2Х-И, кТ ~пс-т])• Ат.
ш и
7
-пс ■ (#/ -п,)• А„, -пс ■ к• А,
/=1
(3)
где АI, — скорость рекомбинации; И - концентрация рекомбинационных центров, изменение которой связано с интенсивностью ТЛ-свечения 1ц\
г №
1 + Ко "еХР
г V
кТ
-I
(4)
Коэффициент у учитывает температурное тушение люминесценции, которое задается энергией активации Еч и множителем В данной работе рассматривается
модель с одним рекомбинационным центром (РЦ), однако возможно расширение предложенной модели за счет добавления дополнительных центров. В этом случае концентрации всех РЦ суммируются.
Начальное условие в момент времени t= 0 имеет следующий вид:
К = Е К»1 • "о; + Е кщ • + Кх • К ; (5)
1=1 У=1
где }\х- исходная концентрация РЦ, присутствовавших в кристалле до облучения.
С использованием «выключателей» система (1) - (5) может быть расширена любыми слагаемыми или уравнениями, в зависимости от структуры модели, рассматриваемой исследователем. В рамках приведенной обобщенной системы уравнений (1) - (5) могут быть описаны, например, простейшие кинетические схемы термолюминесценции в твердых телах: 01011 - (г/, ¿и, Кх, Кд) = (1,0,0, 0); МТБ -(1,1, 0,0) и №ЛТ8 - (1,0,1,0).
Основным назначением адаптированной кинетической модели (1) - (5) является предоставление интерфейсных возможностей, с помощью которых в рамках ГА будет производиться перебор моделей в рамках численного конструирования разнообразных зонных схем. Термины эволюционного моделирования, используемые в описании алгоритмов, их определения и соответствующие им объекты решаемой задачи приведены в табл. 1. Данная таблица позволяет понять специфику применения ГА к решаемой задаче идентификации и систематизировать информацию об элементах алгоритмов.
В предлагаемой методике генетического конструирования предполагается, что одновременно оптимизируются структура модели и значения ее параметров. Генетический код особи в рамках такого подхода распадается на 2 части: двоичную и вещественную. Битовое кодирование задает структуру системы уравнений и указывает наличие в ней тех или иных элементов. Такой способ задания хромосом обусловлен необходимостью обеспечить дискретность и перебор различных вариантов зонных схем. Вещественная часть представляет собой вектор-массив значений параметров, задаваемых в явном виде.
Следует учитывать, что двоичное описание модели отличается от представления параметров в битовой кодировке. В данном случае каждый бит всего лишь отвечает за наличие определенного элемента (например, ловушки). Если в соответствующей позиции стоит 1, то элемент модели присутствует, если 0, то отключен. На рис. 1 хромосома, отвечающая за активные ловушки, может задать до 4 ловушек. Как видно из данного примера, одна из активных ловушек включена (>/ =1), в то время как глубокие ловушки отсутствуют (/<=0). Приведенная на рисунке хромосома соответствует модели N1^8.
Таблица 1
Термины эволюционного моделирования применительно к TJI-процессам
Термин Определение Пояснение для ТЛ-процессов
Хромосома Последовательность из нулей и единиц или вещественное значение Параметр модели или ее структурный элемент. Может быть задай с помощью вещественного и битового кодирования
Особь (состоит из генетического кода) Набор хромосом, который и является вариантом решения задачи Наборы параметров и структурных элементов, задающих модель
Битовая часть кода Хромосомы, ответственные за структуру Набор структурных элементов, задающих модель и вид системы уравнений
Вещественная часть кода Хромосомы, ответственные за параметры Набор параметров, задающих модель (например, для модели OTOR - это Е„, А ¿Ль, s, Пц/N)
Популяция Набор особей (решений) Множество моделей с определенными структурами и параметрами
Приспособленность особи Значение целевой функции Критерий, описывающий точность аппроксимации экспериментальных данных в рамках модели
Кроссовер Операция, при которой две особи обмениваются своими генетическими кодами Изменение значений параметров модели. Обмен структурными элементами (слагаемыми ОДУ) между моделями
Селекция Отбор особей по какому-либо правилу Отбор структур и параметрических наборов
Мутация Случайное изменение одной или нескольких позиций в хромосоме Случайное изменение значения одного параметра модели в диапазоне, задаваемом пользователем по определенному правилу. Случайное включение или выключение структурного элемента
Таким образом, каждая особь состоит из 2 основных частей: битовой части генетического кода, задающей модельную структуру, и вещественной части генетического кода, содержащей значения параметров.
Каждому варианту решения задачи соответствует целевая функция, которая служит для оценки приспособленности особи. Нами предложено использовать в основе функции пригодности/показатель качества аппроксимации РОМ, который ис-
К ni к mi к* к.
1 0 0 0 0 0 0 0 1 0
Рис. 1. Часть генетического кода, задающая структуру системы
пользуется во многих исследованиях ТЛ-процессов. Целевая функция в данном случае имеет вид
л
/с0'с —/схр
/ = --100%, (6)
Ее'"
1=1
где Гак - расчетное значение интенсивности термолюминесценции, соответствующее данному набору параметров; Гхр - экспериментальное значение интенсивности; п — количество экспериментальных точек. Меньшее значение параметра РОМ соответствует лучшему качеству аппроксимации.
Работа алгоритма начинается с создания исходной популяции. Случайным образом генерируются особи-модели, задаваемые структурой и параметрами. Количество особей Ир в популяции задается пользователем перед запуском алгоритма. Пример задания исходной популяции приведен на рис. 2, а в пространстве из двух модельных параметров - глубины ловушки Е„ и частотного фактора .у. На данном рисунке различная штриховка областей соответствует разным значениям РОМ, приведенным в подрисуночной подписи для обозначенных линий уровня целевой функции. Квадратными символами обозначены особи, каждой из которых соответствует свой набор значений данных параметров. Отметим, что в начальной популяции значения РОМ > 45 %, а значит и качество аппроксимации, являются неудовлетворительными. На рис. 2, Ь приведено распределение окончательной популяции в том же пространстве. Видно, что в результате работы алгоритма большинство особей оказываются в областях локальных минимумов, где РОМ< 5 %.
Решение любой задачи с помощью ГА включает в себя помимо работы алгоритма предварительный подбор и настройку структуры и параметров эволюционных операторов в зависимости от специфики решаемой задачи. Существует множество различных вариантов исполнения внутренних операторов ГА - селекции, кроссовера и мутации. При этом процесс настройки ГА включает в себя выбор наиболее оптимальных генетических операторов с точки зрения скорости работы при необходимой точности решения и подстройку параметров отобранных эволюционных операторов для обеспечения наибольшего быстродействия алгоритма.
Для каждого оператора можно рассмотреть набор методов, наиболее часто встречающихся в литературе по эволюционному моделированию. Таким образом, задача сводится к подбору комбинации способов селекции, кроссовера и мутации, дающей наилучшие результаты по скорости при заданной точности для рассматриваемой задачи. Нами были рассмотрены наиболее распространенные варианты эволюционных операторов, которые приведены в табл. 2. Кроме этого, в столбце 5 перечислены варианты, предложенные нами: модифицированная турнирная селекция,
модифицированный 2-точечный линейный кроссовер и адаптивный оператор мутации.
10П
0,8 1,0 1,2 1,4
Энергия активации (эВ)
Рис. 2. Пример распределения популяции в пространстве параметров для двухлову-шечной модели OTOR: а - исходное поколение, Ъ - последнее поколение. 1 - FOM = 200 %; 2- 180 %; 3-90 %: 4-45 %.
Перебор различных типов ГА производился путем комбинирования операторов из табл. 2 по правилам планирования полного 4-факторного эксперимента с различным числом уровней варьирования: сначала фиксировали параметры селекции, во вторую очередь - кроссовера структурной части, в третью — кроссовера вещественной части и в последнюю очередь варьировали параметры мутации. Для всех вариантов реализации были установлены одинаковые размер популяции Мр = 200 и количество поколений Ые = 200.
Таблица 2
Предлагаемые эволюционные операторы
Тип оператора ГА Реализация в алгоритме
х)= 1 х1=2 х,= 3
1 2 3 4 5
Селекция (*/) На основе равномерного распределения [4] Турнирная [4] — Модифицированная турнирная
Кроссовер структурной части ([Х2) 1-точечный [4] Однородный [4] 3-точечный [4] 2-точечный
Кроссовер параметрической части (дг ¡) Плоский кроссовер Арифметический кроссовер Линейный Модифицированный многоточечный линейный
Мутация (Х1) Случайная с равномерным распределением [4] Неоднородная Михалевича [4] С нормальным распределением Модифицированная адаптивная
В качестве аппроксимируемых экспериментальных данных использовалась _ заранее пострденная крипая тс^молюминесценции с заданными параметрами в рамках одноловушечной модели ОТОИ. Параметры модели: Е„ = 1 эВ, 5 = 1012 с"', А„ = = 10'7см3-с'\ Л,, — = Ю10 см'3, П(/М=0Л.
В результате применения методики многофакторного вычислительного эксперимента получена эмпирическая функциональная зависимость
ЯШ (%) = 6.683 - 0.201*, - 0.419*2 - 0.463*., - 0.21. (7)
Кроме этого, значимыми являются все коэффициенты парных взаимодействий для нелинейной регрессии. Значения целевой функции для обоих случаев приведены в табл. 3. Кроме того, была проведена оценка адекватности. Значения расчетных критериев Фишера также приведены в табл. 3. Поскольку 1грасч < Ртавл, гипотеза об адекватности подтверждается для обоих типов регрессии.
В рамках линейного подхода показано, что наибольшее влияние на эффективность работы алгоритма в режиме локального поиска оказывают кроссовер параметрической части и кроссовер модельной части. РОМ принимает наибольшее значение 5.381 % при условии X/ = Х2 = Хз = Х4 =1. Подобное качество аппроксимации считается удовлетворительным и было получено при подгонке экспериментальных кривых в различных независимых работах [2, 5, 6, 7]. Указанный результат служит обосно-
ванием для выбора порогового значения РОМ = 5 %, которое используется нами для перехода ГА в режим локального поиска.
Таблица 3
Полученные значения целевой функции и критерия Фишера
Параметр Линейная регрессия Нелинейная регрессия
X/ =Х2=Хз=Х4 = 4 1.475 1.571
Г'ОМтп Х[ ~ Х2 ~ Хз = Х4 - 1 5.381 5.333
Ррасч 12.96 13.15
Ртабп р - 1.95 19.49
Критерий РОМ принимает наименьшее значение 1.571 % при условии х/ =х2~ =х3 - х4 = 4. Проведенная настройка эволюционных операторов позволила улучшить качество аппроксимации по сравнению с наихудшим рассмотренным вариантом реализации в 3 раза. Полученные результаты можно считать обоснованием для использования значения РОМ =2% в качестве порогового для условия остановки работы ГА.
В рамках полученного наиболее эффективного ГА была дополнительно произведена адаптация внутренних параметров кроссовера и мутации. Было показано, что наилучшим выбором для модифицированного многоточечного оператора кроссовера является использование двух точек разрыва. Найдены пороговые значения для процедуры мутации генетического кода особей:
РОМп- 5 % (критерий перехода в режим локального поиска); Рпш = 70 % (нижняя граница изменения битового кода); др!/,,„= 7 % и Л/>1, = 1 % (приращения вероятности мутации в режимах настройки и локального поиска соответственно).
В третьей главе представлено моделирование ПК, включающее в себя определение требований к системе и ее анализ. Также рассматриваются проектирование и реализация комплекса.
Анализ программной архитектуры и документации позволил восстановить структуру основного прототипа и выделить подсистемы настройки и генерации параметров. На следующем этапе были восстановлены и приведены алгоритмы функционирования прототипа, на его базе предложено развитие структуры и алгоритмов системы. Структура синтезированного прототипа и предлагаемое решение изображены на рис. 3.
Основными базовыми элементами структуры являются модули, каждый из которых выполняет свою группу функций. Модуль «Генерация параметров» включает функции задания зонной схемы и входных параметров, решения систем уравнений и построения ТЛ-кривых. Блок «Анализ модели» реализует функции оптимизации (генетический алгоритм) и построение статистических отчетов. Внедрение в структуру модуля «Построение моделей» позволяет устранить недостатки прототипа, приведенные в первой главе, и получить требуемую функциональность системы.
По результатам анализа синтезирован алгоритм работы прототипа (рис. 4). Для возможности решения задач структурной идентификации алгоритм работы был подвержен модификации. Блок, который добавлен нами, выделен на рисунке. Как видно из рисунка, режим работы выбирается на основе запросов пользователя, и выполняемые задачи распределяются между соответствующими модулями.
Рис.4. Алгоритм прототипа программного комплекса и предлагаемое решение (выделено предлагаемое расширение алгоритма)
Модель программного комплекса была представлена в виде кортежа:
P=<Name, Mods, Reis, Ints >, (8)
где Name - название программного комплекса; Mods - множество модулей комплекса; Reis - множество взаимосвязей между модулями; Ints - множество интерфейсов.
Модули описываются следующей кортежной моделью:
Mod=<Name, Ms, Rs, Inputs, Outputs >, (9) "
где Name - название модуля; Ms - множество методов, реализованных в модуле; Rs - множество взаимосвязей между методами; Inputs - множество входных переменных, задаваемых пользователем; Outputs - множество выходных переменных.
Каждый метод, используемый в комплексе, реализован в виде отдельной законченной процедуры. Модель метода может быть представлена в виде кортежной модели:
М-- <Name, О, Pars, Comp > , (10)
где Name - название метода; О - цель метода; Pars - множество параметров метода; Comp — множество процедур, являющихся составляющими метода.
Функциональная и информационная модели проектируемой системы были описаны в нотации IDEF. После этого был произведен выход на техническое задание и проектирование ПК.
Четвертая глава посвящена тестированию разработанных алгоритмов на основе генерации кривых TJI и расчета их параметров, аппроксимации опытных TJI данных в рамках конкретной кинетической модели, а также анализу данных вычислительного эксперимента для заранее заданных моделей с одновременной настройкой структуры зонной схемы.
Результаты решения соответствующих систем ОДУ показали, что ПК дает возможность исследователю получать новые и точные результаты при генерировании кривых термолюминесценции, а также изучать зависимости геометрических факторов формы пиков от параметров модели. В частности, были получены зависимости для полуширины, положения максимума и площади TJI-пика от исходной концентрации рекомбинационных центров в кристалле и от соотношения А„/А/, для схемы NMTS с температурным тушением.
С помощью разработанного программного комплекса была произведена оценка адекватности используемой кинетической модели ТЛ-процессов для анионно-дефектных монокристаллов а-А120з. ТЛ регистрировалась в диапазоне температур 300 -¡- 600 К при линейном нагреве со скоростью 2 К/с. Детальное описание экспериментальной установки и условия измерений приведены в [5].
Сначала для проверки однородности дисперсий результатов повторных измерений использовался критерий Кохрена. При его вычислении для различных интер-
валов температур и при сравнении с табличным значением было обнаружено, что однородность сохраняется в диапазоне 400 - 505 К (рис. 5). Затем анализируемые экспериментальные результаты были описаны в рамках модели (1,0,1,0) - NMTS с учетом температурного тушения. Результат аппроксимации показан на рис. 5. При этом значения модельных параметров (Е„ - 1.25 эВ, 5 = 1.1 10|4с"', A/Ah = 80, hJN -=2.5, Ед = 1.01 эВ, sQ = 1.6 1014 с'1), полученные для кристаллов оксида алюминия, находились в хорошем согласии с данными других авторов (см. ссылки в [5, 7]).
Далее была произведена оценка адекватности обобщенной кинетической модели с использованием критерия Фишера. Результаты показывают, что расчетное значение Fpac4 = 1.019 не превышает табличные для уровней значимости 5 и 1 %, то есть модель (1,0,1,0) является адекватной для описанных экспериментальных данных.
Для оценки эффективности ПК в настоящей работе в качестве «экспериментальных» пиков использовались кривые, построенные в рамках зонных схем с заранее заданными параметрами. Для этого использовался оригинальный программный пакет GenTL, позволяющий моделировать процессы для различных зонных схем. Далее выполнялась аппроксимация с помощью встроенного модуля генетического конструктора. Максимальное число поколений составляло 300, размер популяции - 200 - 300 особей. Результаты работы ГК представлены в табл. 4, которая содержит список искомых моделей с разным количеством активных и глубоких ловушек, r¡ к ¡л соответственно.
Для каждой зонной схемы задавался свой диапазон поиска во множестве моделей и число R варьируемых параметров. Модели располагаются в порядке увеличения R. Как правило, для более сложных структур зонных схем задавалось пространство поиска большей размерности.
Как видно из табл. 4, генетический поиск обеспечивает достаточно хорошее качество аппроксимации. Для большинства моделей величина FOM не превышает 2 %, что близко к предельной оценке по выражению (7) (табл. 3). Также в табл. 4
Рис.5. Результаты аппроксимации данных эксперимента из [5]. Символами обозначены экспериментальные данные, сплошная линия - рассчитанная кривая, штриховые линии - границы диапазона однородности дисперсий
представлены соответствующие номера поколений V, на которых были найдены зонные схемы. Видно, что ГК верно определяет исковую модель в пределах 100 поколений. При этом номер поколения, на котором найдена структура, не зависит от типа зонной схемы и количества варьируемых параметров. Соответствующие временные затраты поиска каждой модели приведены в табл. 4. Результаты показывают, что время расчета также практически не зависит от количества параметров.
Таблица 4
Описание рассмотренных моделей
Номер модели Модель 1 V Я V Время, ч ТОМ, %
1 «1 ловушка (1 -ловушечная ОТСЖ) с тушением» 1 0 20 7 5.4 0.60
2 «2 обычные ловушки+1 термически несвязанная ловушка с тушением» 2 1 20 10 8.9 1.09
3 «1 обычная ловушка+1 дырочная ловушка с тушением» 1 0 22 И 9.5 0.38
4 Система взаимодействующих ловушек с тушением 1 1 22 2 2.1 0.28
5 «3 ловушки (3-ловушечная ОТОК) с тушением» 3 0 22 15 8.4 1.75
6 «2 ловушки (2-ловушечная ОТОК) с тушением» 2 0 24 91 7.4 3.24
7 «1 обычная ловушка+1 термически несвязанная ловушка+1 дырочная ловушка» 1 ! 24 62 1.4 0.78
8 Система невзаимодействующих ловушек 1 0 25 1 9.8 0.44
В табл. 5 представлены результаты аппроксимации моделей №1 - 4 из табл. 4. Такие параметры, как энергии активации ловушек Е„, в большинстве случаев определяются достаточно точно, со средней относительной погрешностью меньше 5 %. В свою очередь значения соотношений А^Аи и частотного фактора 5 в некоторых случаях могут существенно отклоняться от «экспериментальных» (в 10 раз). При этом сохраняется высокое качество аппроксимации (РОМ < 3%). Указанную достоверность численных оценок необходимо учитывать при анализе кривых ТЛ в реальных диэлектрических кристаллах.
Таблица 5
Результаты работы ГК при описании ТЛ-процессов
Параметр Модель № 1 Модель № 2 Модель № 3 Модель № 4
Исх. ГА Исх. ГА Исх. ГА Исх. ГА
Е„;, эВ 1 1.001 1 1.004 1 1.01 1 1.005
Е„2, эВ -, - 1.3 1.333 - - - -
ПщМ/ 0.1 0.098 0.1 0.1 0.1 0.099 0.1 0.097
- - 0.1 0.1 - - - -
5/ , С НО12 5.4-1012 МО12 3.2Л0и МО12 7-101'1 НО" 5-Ю™
с"1 - - МО" 2.3-1012 - - - -
А„,/Л,, 100 508 100 348 100 533 100 456
Апт/А/, - - 1 1 - - - -
тт/М1 - - 0.001 0.01 - - 0.01 0.006
Ат/Аь - - 10 11.78 - - - -
В качестве примеров на рис. 6 представлены данные, полученные в результа-; тестирования разработанного ПК. Из рисунка видно, что для представленных мо-шей расчетные зависимо-и хорошо описывают 1кспериментальные» криле. При этом значения ОМ не являются наи-еныними среди представ-:нных в табл. 4.
Отметим, что прове-:нные вычисления зани-ают 6-8 часов. Продолжи-¡льность данных расчетов ичительно меньше, чем родолжительность расче-зв, произведенных с по-ощью прототипа на ком-ьютере класса Pentium IV Ю 72 часов) [6].
400 500
Температура(К)
Рис. 6. Примеры аппроксимации ТЛ кривых с использованием
генетического конструктора. Символы - исходные данные, сплошные линии - расчетные зависимости. Цифры соответствуют номерам моделей в табл. 4
ОСНОВНЫЕ РЕЗУЛЬТАТЫ ИССЛЕДОВАНИЯ
1. Проведен анализ существующих средств моделирования кинетических провесов и методов оптимизации, используемых при решении задач идентификации юделей ТЛ-процессов. Сформулированы критерии оценки аналогов и выбран про-отип программЕюго комплекса - система 05ЮА. Выявлены недостатки различ-;ых методов оптимизации применительно к задаче моделирования ТЛ-процессов -шьшое количество вычислений, застревание в локальных минимумах, требование казания целевой функции в явном виде. Обоснованы преимущества использования "А для дальнейшего решения поставленных задач.
2. Принципы и понятия эволюционного моделирования адаптированы применительно к ТЛ-анализу. Обоснован выбор типа кодирования: для структурной части хромосомы используется битовая строка, для параметрической части - вещественная. Предложена трехуровневая иерархия численных методов, используемых в ПК, для решения задач идентификации ТЛ-моделей. Задача высшего уровня включает в себя параметрическую (настройка параметров) и структурную (подбор схемы) иден-
тификации в рамках генетического конструирования. На основе созданной иерархии выполнено алгоритмическое и функциональное описание ПК.
3. Проанализированы особенности операторов мутации, селекции и кроссовера, влияющие на быстродействие ГА при конструировании зонных моделей ТЛ в диэлектриках. С помощью полного 4-факторного численного эксперимента проведена настройка эффективности эволюционных операторов, заключающаяся в определении оптимальных значений для вероятности и приращений мутаций, количества точек разрыва, пороговых величин целевой функции и т.д.
4. Для параметрической части ГА предложен модифицированный кроссовер, отличающийся от обычного линейного оператора введением двух точек разрыва. В турнирную селекцию внедрена адаптивная процедура лидерства, задающая число пар родителей, в которые обязательно входит особь-лидер с наилучшим значением целевой функции. Модифицирован оператор мутации с подстраиваемыми значениями вероятности изменения генетического кода в зависимости от текущего значения FOM
5. Исходя из требований к реализации ПК, создан конечный программный инструментарий, включающий в себя модули ТОБЬ и вепТЬ. По результатам работы данного комплекса исследователь может делать обоснованные предположения о физическом содержании ТЛ-модели и получать количественные оценки ее параметров.
6. Определены относительные погрешности для оценок параметров ТЛ-моделей в диэлектриках. В рамках вычислительного эксперимента показано, что энергии активации ловушек определяются достаточно точно, со средней погрешностью меньше 5 %, а значения скорости захвата на ловушки и частотного фактора в некоторых случаях могут существенно отклоняться от истинных величин (в 10 раз). При этом сохраняется высокое качество аппроксимации (РОМ < 3%). Указанную достоверность численных оценок необходимо учитывать при анализе кривых ТЛ в реальных диэлектрических кристаллах.
7. Практическим результатом исследования является разработка программного комплекса, позволяющего:
- существенно повысить скорость и точность идентификации моделей ТЛ по сравнению с аналогами за счет использования разработанных алгоритмов, при этом значение параметра F0M лежит в пределах 0.2 - 3.5 %;
- практически полностью исключить участие пользователя в процессе поиска;
- проводить параллельно структурную и параметрическую идентификацию ТЛ-моделей.
Цитируемая литература
1. Chen R. Theory of Thermoluminescence and Related Phenomena / R. Chen, S. W. S. McKeever. Singapore: World Scientific, 1997.
2. Pagonis V. Numerical and practical exercises in thermoluminescence / V. Pagonis, G. Kitis, C. Furetta. New York : Springer, 2006.
3. Holland J.H. Adaptation in natural and artificial systems / J.H. Holland. Michigan: The University of Michigan Press, 1975.
4. Mitchell M. An introduction to genetic algorithms / M. Mitchell. Cambridge: MIT Press, 1999.
5. Орозбек уулу Аскар. Особенности кинетики люминесценции F+'Центров в аниондефект-ных кристаллах оксида алюминия: дис. ... канд. физ.-мат. наук: 01.04.07 : защищена 19.02.07 / Орозбек уулу Аскар. Екатеринбург, 2007. 125 с.
6. Adamiec G. Application of a genetic algorithm to finding parameter values for numerical simulation of quartz luminescence / G. Adamiec, M. Garcia-Talavera, R.M. Bailey // Geochronometria. 2004. Vol. 23. P. 9-14.
7. Analysis with a multilayer model of heating rate effect on thermally stimulated luminescence, conductivity and exoelectronic emission of а-А120з / A. Berkane-Krachai, P. lacconi, R. Bindi, S. Vinceller // J. Phys. D: Appl. Phys. 2002. Vol.35. P.1895-1902.
сиовные положения диссертации опубликованы в следующих работах: татьи в журналах, сборниках и материалах конференций
1. Попко Е.А. Настройка операторов генетического моделирования методом полного факторного эксперимента / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов // Известия ОрелГТУ. Серия «Информационные системы и технологии». 2009. №5. С. 42-47.
2. Weinstein I.A. Genetic synthesizing of band schemes for thermoluminescence in dosimetric crystals / I.A. Weinstein, E.A. Popko // Radiation Measurements. 2008. Vol. 43, No.2-6. P. 218-221.
3. Попко Е.А. Настройка операторов генетического алгоритма для моделирования термоактивационных процессов / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов // Инжиниринг. Инновации. Инвестиции: сборник научных трудов. Челябинск: ЧНЦ РАЕН, 2008. С. 87-103.
4. Weinstein I.A. Evolutionary approach in the simulation of thermoluminescence kinetics / I.A. Weinstein, E.A. Popko // Radiation Measurements. 2007. Vol. 42, No.4-5. P. 735-738.
5. Попко E.A. Концептуальное проектирование программного комплекса моделирования кинетических процессов / Е.А. Попко, Г.Б. Смирнов // Новые информационные технологии в образовании, 26-28 февраля 2007 г.: материалы международной научно-практической конференции, в 2 ч. Екатеринбург, 2007. 4.1. С. 112-113.
6. Weinstein I.A. The simulation of TL processes in а-Л1203 using different ratios between microparameters of trapping and luminescent centers / I.A. Weinstein, E.A. Popko // Journal of Luminescence. 2007. V. 122 -123. P. 377 - 380.
7. Попко E.A. Оценка адекватности обобщенной кинетической модели при анализе экспериментальных кривых термолюминесценции / Е.А. Попко, Г.Б. Смирнов, И.А. Вайнштейн // Академия инженерных наук на Урале: Научно-практическая и организационная деятельность на рубеже веков: сборник научных трудов, в 5 т. Екатеринбург: ООО «Технезис», 2007. Т5. С. 125-127.
8. Вайнштейн И.А. Эволюционное моделирование TJ1 процессов для системы невзаимодействующих ловушек / И.А. Вайнштейн, Е.А. Попко // X Международная школа-семинар по люминесценции и лазерной физике, 2-6 октября 2006 г.: материалы конференции. Иркутск, 2007. С. 71 - 79.
9. Вайнштейн И.А. Генетический поиск модельных параметров при аппроксимации кривых термолюминесценции / И.А. Вайнштейн, Е.А. Попко // Письма в ЖТФ. 2006. Т. 32, вып. 12. С. 56-62.
10.Попко Е.А. Структура системы управления знаниями для оценки адекватности моделей в АСНИ / Е.А. Попко, В.И. Рогович, И.А. Вайнштейн // Вестник УГТУ-УПИ. Специальный выпуск. 2005. С. 77-81.
11. Попко Е.А., Вайнштейн И.А. Система программного обеспечения TOSL для АСНИ процессов люминесценции в диэлектриках // Современные информационные технологии и ИТ-образование: сборник докладов научно-практической конференции. М.: МАКС Пресс, 2005. С. 546-550.
12. Учет температурного тушения при моделировании параметров TJl-пиков в а-А120з / Е.А. Попко, Орозбек уулу Аскар, И.А. Вайнштейн, B.C. Кортов // Вестник УГТУ-УПИ. Специальный выпуск, в 2 ч. 2004. 4.1. С. 145-147.
Свидетельства о регистрации программ
13.Свидетельство об официальной регистрации программы для ЭВМ. Программный модуль «Электронный ГА-конструктор люминесцентных моделей с тер-моактивационной кинетикой» (GenTL) / И.А. Вайнштейн, Е.А. Попко. № 2006614299. опубл. 18.12.2006. М., 2006.
14. Свидетельство об официальной регистрации программы для ЭВМ. Электронный учебник "Планирование и организация эксперимента" (DEXP) / Е.А. Попко, И.А. Вайнштейн, Н.Г. Светличный. №2006611978. опубл. 08.06.2006. М., 2006.
15. Свидетельство об официальной регистрации программы для ЭВМ. Программный модуль «Моделирование механизмов термофотолюминесценции в ди-
электриках» (TOSL) / Е.А. Попко, И.А. Вайнштейн, B.C. Кортов. № 2005610234. опубл. 25.01.2005. М., 2005.
езисы докладов
16. Compensation relationship between parameters of Thermoluminescence kinetics in crystals / I.A. Weinstein, A.S. Vokhmintsev, E.A. Popko, V.S. Kortov // 7"1 Interna-tioanal Conference on Luminescent Detectors and Transformers of Ionizing Radiation. Krakow (Poland), 2009. P. 146.
17. Попко Е.А. Сравнительный анализ эффективности двоичного и вещественного кодирования при параметрической идентификации термолюминесценции в генетических алгоритмах / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов Ц XV Международная научная конференция молодых ученых: сборник статей, в 3 ч. Екатеринбург: УГТУ-УПИ, 2009. Ч. 2. С. 266-267.
18. Попко Е.А. Генетическое моделирование механизмов термолюминесценции в кристаллах / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов // IV Уральский семинар ТТД-2008,13-14 ноября 2008 г.: тезисы. Екатеринбург, 2008. С. 85-86.
19. Weinstein I.A. Peculiarities of the genetic simulation for TL analysis in solids / I.A.Weinstein, E.A. Popko, G.B. Smirnov // Abstracts of The 15th International Conference on Luminescence and Optical Spectroscopy of Condensed Matter, 711 July 2008. Lyon, France, 2008. P. 416.
20. Попко Е.А. Разработка программного комплекса генетического моделирования: обзор, аналоги, прототип и предлагаемое решение / Е.А. Попко, Г.Б.Смирнов // XII отчетная конференция молодых ученых УГТУ-УПИ: сборник статей, в 3 ч. Екатеринбург: УГТУ-УПИ, 2007. Ч. 2. С. 26-28.
21. Weinstein I.A. Genetic synthesizing of band schemes for thermoluminescence in dosimetric crystals / I.A. Weinstein, E.A. Popko // 15th International Conference on Solid State Dosimetry. Book of abstracts, July 8-13 2007. Delft, The Netherlands, 2007. P. 80.
22. Вайнштейн И.А. Эволюционное конструирование кинетических моделей термолюминесценции в кристаллах / И.А. Вайнштейн, Е.А. Попко // X Международная школа-семинар по люминесценции и лазерной физике, ЛЛФ-2006, 2-6 октября 2006 г.: тезисы лекций и докладов. Иркутск, 2006. С. 26-28.
23. Weinstein I.A. The evolutionary approach in the simulation of thermoluminescence kinetics / I.A. Weinstein, E.A. Popko // 6th European conf. on luminescent detectors and transformers of ionizing radiation. Lumdetr 2006 abstracts, June 19-23 2006. Lviv, Ukraine, 2006. P. 130.
24.Weinstein I. A. The use of genetic algorithm for simulation of thermoluminescence in crystals / I.A. Weinstein, E.A. Popko // Abstracts of 4th Int. Symposium on Laser, Scintillator and NonLinear Optical Materials (ISLNOM-4), June 26-30 2006. Prague, Czech Republic, 2006. P. 53.
25.ПОПКО E.A. Иерархия методов эволюционного моделирования кинетических процессов / Е.А. Попко, Г.Б. Смирнов, И.А. Вайнштейн // XI отчетная конференция молодых ученых УГТУ-УПИ: сборник статей, в 3 ч. Екатеринбург: УГТУ-УПИ, 2006. Ч. 2. С. 141-142.
26. Попко Е.А. Моделирование кривых термолюминесценции с использованием различных соотношений между микропараметрами центров захвата и рекомбинации / Е.А. Попко, И.А. Вайнштейн // 11-я Всероссийская научная конференция студентов-физиков и молодых ученых, ВНКСФ-11, 24-31 марта 2005 г: сборник тезисов. Екатеринбург, 2005. С. 123-124.
27. Weinstein I.A. The simulation of TL processes in а-А120з using different ratios between microparameters of trapping and luminescent centers / I.A. Weinstein, E.A.Popko // The 14th International Conference on Luminescence. ICL'05 Abstracts, July 25-29 2005. Beijing, China, 2005. P. TUE_P_P156.
28. Попко E.A. Программный пакет для моделирования термолюминесценции в диэлектриках / Е.А. Попко, И.А. Вайнштейн // Студент и научно-технический прогресс: сборник тезисов докладов студенческой научной конференции. Екатеринбург: УГТУ-УПИ, 2004. С. 184-185.
Подписано в печать Формат 60x84 1/16
Бумага писчая. Плоская печать Усл. печ. л. 1,4
Уч.-изд. л. 1,3. Тираж 100 экз. Заказ 3
Копицентр «Копирус» 620151, Екатеринбург, ул. Мамина-Сибиряка, 137
Оглавление автор диссертации — кандидата физико-математических наук Попко, Евгений Александрович
ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ.
ВВЕДЕНИЕ.:.
ГЛАВА 1. АНАЛИТИЧЕСКИЙ ОБЗОР ПРОГРАММНЫХ СРЕДСТВ И МЕТОДОВ МОДЕЛИРОВАНИЯ ПРОЦЕССОВ ТЕРМОЛЮМИНЕСЦЕНЦИИ В КРИСТАЛЛАХ.
1 Л. Типовые зонные модели термолюминесценции.
1Л Л. Модель «одна ловушка — один рекомбинационный центр».
1.1.2. Система невзаимодействующих ловушек.
1 Л.З. Система взаимодействующих ловушек.
1.2. Описание термолюминесцентной кинетики.
1.3. Математическое описание многоловушечных систем.
1.4. Обзор аналогов систем программного обеспечения моделирования процессов ТЛ.
1.4.1. Программный пакет для аппроксимации кривых LAB Fit.
1.4.2. Программный пакет для минимизации MINUIT.
1.4.3. Программное обеспечение для моделирования ModelKinetix ModelMaker.
1.4.4. Программное обеспечение для решения дифференциальных уравнений FlexPDE.
1.4.5. Программа анализа кривых свечения GCA.
1.4.6. Программный пакет GlowFit.
1.4.7. Программа для численного моделирования оптически стимулированной люминесценции OSL-GA.
1.4.8. Программное обеспечение для построения кривых DataFit.
1.5. Оценка аналогов и выбор прототипа программного комплекса.
1.6. Анализ методов минимизации суммарной меры отклонений экспериментальных и расчетных данных.
1.6.1. Вычислительные методы.
1.6.2. Метод полного перебора.
1.6.3. Стохастические методы.
1.6.4. Эвристические методы.
1.7. Генетические алгоритмы.
1.8 Выводы и постановка задач исследований.
ГЛАВА 2. АДАПТАЦИЯ МАТЕМАТИЧЕСКОЙ МОДЕЛИ И РАЗРАБОТКА АЛГОРИТМОВ ДЛЯ СОЗДАНИЯ ПРОГРАММНОГО КОМПЛЕКСА.
2.1. Структурированная обобщенная кинетическая модель процессов термо люминесценции.
2.2. Иерархия методов программного комплекса генетического моделирования механизмов термолюминесценции в диэлектриках.
2.3. Генетический алгоритм для конструирования моделей термолюминесценции.
2.4. Выбор типа кодирования, используемого в генетическом алгоритме.
2.4.1. Выбор типа кодирования структурной части хромосомы генетического алгоритма.
2.4.2. Выбор типа кодирования параметрической части хромосомы генетического алгоритма.
2.5. Выбор целевой функции.
2.6. Настройка операторов генетического алгоритма для моделирования процессов термолюминесценции.
2.6.1. Селекция решений.
2.6.2. Скрещивание решений.
2.6.3. Мутация.
2.6.4. Результаты вычислительного эксперимента.
2.6.5. Сравнительный анализ эффективности двоичного и вещественного кодирования.
2.6.6. Сравнение критериев качества аппроксимации экспериментальных данных в задаче моделирования ТЛ-процессов.
Введение 2009 год, диссертация по информатике, вычислительной технике и управлению, Попко, Евгений Александрович
Применение программных комплексов (ПК) в автоматизированных системах научных исследований при изучении различных объектов физики конденсированного состояния позволяет решать задачи структурной и параметрической идентификации механизмов сложных явлений по данным натурного эксперимента. Кроме этого, появляется дополнительная возможность эффективного использования методов многофакторного вычислительного эксперимента для количественного анализа поведения твердотельных систем в широком диапазоне изменяемых структур и значений их параметров. Явление термолюминесценции (TJI) в диэлектриках, традиционно моделируемое системами обыкновенных дифференциальных уравнений (ОДУ) с переменной структурой и многими параметрами, относится к классу объектов, для которого целесообразно применить описанную идеологию [1, 2].
Существенный вклад в развитие теоретических основ математического моделирования процессов TJI внесли российские и зарубежные исследователи:
B.В. Антонов-Романовский, Э.И. Адирович, B.C. Кортов, П. Браунлих, Р. Хен,
C. МакКивер [1, 3, 4, 5, 6]. Проблемам разработки численных методов моделирования данных процессов посвящены работы В. Пагониса, Д. Китиса, Г. Ада-меца, С. Сунты, А. Дельгадо, Ф. Джеймса, М. Пучальской, С.Д. Агриненко, С. Синга [2, 7, 8, 9,10,11,12].
Большинство известных программных пакетов для численного анализа TJI данных, как правило, не решают задачу идентификации (как структурную, так и параметрическую) в полном объеме. Предлагаемые методики либо заменяют существующие модели упрощенными аналитическими выражениями, либо используют локальные методы поиска. Это связано с тем, что в случае систем ОДУ, задающих модели TJI, возникают следующие сложности при решении задач идентификации:
1) необходимо использование численных методов;
2) производная оптимизируемой функции может быть найдена только приближенно;
3) присутствуют локальные минимумы;
4) большое количество параметров: в рассматриваемой задаче при аппроксимации требуется настраивать до 50 значений;
5) большие диапазоны изменения параметров;
6) необходимо производить настройку системы уравнений (подбирать количество уравнений и слагаемых).
Вышеприведенные факторы представляют определенную сложность для традиционных методик идентификации моделей. Альтернативным подходом в данном случае могут выступать эвристические методы, одним из которых является генетический алгоритм (ГА). ГА - это итеративная процедура эволюционного развития, которая работает с популяцией особей-решений, трансформируя ее во времени с помощью имитации принципов естественного отбора. Данный метод не имеет значительных математических требований к виду целевой функции, устойчив к попаданию в локальные минимумы, эффективен при решении крупномасштабных проблем оптимизации [13]. ГА показали свою эффективность при решении различных задач структурной идентификации и, в частности, при построении математических выражений и уравнений [14]. Данный подход отличается гибкостью, универсальностью. Для мультимодальных задач большой размерности ГА, как правило, находят лучшее решение при меньших вычислительных затратах по сравнению с традиционными методиками [13].
Таким образом, с учетом всего вышесказанного ГА представляется перспективным подходом для идентификации ТЛ-моделей в реальных широкозонных материалах. Разработка такого рода программного комплекса с использованием генетических алгоритмов является актуальной задачей математического моделирования. За счет обоснованного принятия решений у исследователя появляются новые возможности по обработке и верификации экспериментальных
ТЛ данных в кристаллах, как на стадии изучения априорной информации, так и на стадии численного анализа полученных результатов.
Целью диссертационной работы является разработка программного комплекса моделирования процессов термолюминесценции в диэлектриках на основе применения генетических алгоритмов.
Научная новизна работы заключается в следующем.
1. Модифицирована обобщенная кинетическая модель термолюминесценции для многоловушечных систем в кристаллах, которая позволяет с использованием ГА конструировать зонные схемы ТЛ-процессов на основе введенных битовых «выключателей».
2. Разработан новый генетический алгоритм с двоично-вещественным кодированием, осуществляющий одновременный перебор моделей и поиск оптимальных значений их параметров при аппроксимации экспериментальных ТЛ кривых.
3. Предложены и обоснованы с использованием полного многофакторного эксперимента новые модификации операторов мутации, селекции и кроссовера, обеспечивающие наилучшее быстродействие алгоритма при заданной точности.
4. По сравнению с прототипом расширена структура интегрированного пакета для решения комплекса задач моделирования процессов термолюминесценции на основе ГА за счет внедрения нового блока построения моделей.
Защищаемые положения.
1. С использованием битовых «выключателей» в структуре систем кинетических уравнений можно описывать широкий класс моделей ТЛ процессов в диэлектрических кристаллах, а также учитывать вероятные дополнительные механизмы при анализе зонных схем.
2. Созданный генетический алгоритм позволяет при обработке экспериментальных ТЛ кривых в едином цикле определять величины параметров заданной модели (идентификация в узком смысле), а также проводить поиск неизвестной зонной схемы и одновременную оценку ее параметров (идентификация в широком смысле).
3. Эмпирическое выражение, полученное в рамках полного 4-факторного эксперимента, дает возможность количественно оценивать влияние разных вариантов генетических операторов на целевую функцию.
4. Предложенная методика генетического моделирования позволяет оценить разбросы параметров зонных схем и выявить среди них наиболее сильно влияющие на форму ТЛ-пика.
5. Улучшенная по сравнению с прототипом структура программного комплекса позволяет расширить функциональность системы и решать задачи структурной идентификации ТЛ-моделей в диэлектриках.
Практическая значимость работы. Разработанные алгоритмы и программное обеспечение позволяют одновременно проводить параметрическую и структурную идентификацию моделей в отличие от традиционных методов. Созданный программный комплекс обеспечивает снижение временных затрат по сравнению с прототипом при аппроксимации экспериментальных ТЛ кривых с заданной точностью. Имеется акт внедрения разработанного ПК, а также получены три Свидетельства о регистрации программ для ЭВМ. Созданная система может использоваться в образовательном процессе при обучении студентов физических и информационных специальностей, а также при подготовке научных кадров высшей квалификации.
Апробация работы. Основные результаты и положения исследований докладывались и обсуждались на конференциях молодых ученых УГТУ-УПИ (Екатеринбург, 2004-2009), на I Международной научно-практической конференции «Современные информационные технологии и ИТ-образование» (Москва, 2005), на XIV и XV Международных конференциях по люминесценции (Китай, Пекин, 2005; Лион, Франция, 2008), на IV Международном симпозиуме по лазерам, сцинтилляторам и нелинейным оптическим материалам (Чехия, Прага, 2006), на X Международной школе-семинаре по люминесценции и лазерной физике ЛЛФ-2006 (Иркутск, 2006), на 6-й и 7-й европейских конференциях по люминесцентным детекторам и преобразователям ионизирующих излучений (Львов, Украина, 2006; Краков, Польша, 2009), на Международной научно-практической конференции «Новые информационные технологии в образовании» (Екатеринбург, 2007), на 15-й Международной конференции по твердотельной дозиметрии (Нидерланды, Делфт, 2007), на IV Уральском семинаре «Люминесцентные материалы и твердотельные детекторы ионизирующих излучений» (Екатеринбург, 2008).
Публикации. По теме диссертации имеется 28 публикаций, в том числе 7 статей в научных журналах, согласно перечням ВАК 2005 - 2009 гг., а также 3 Свидетельства о регистрации программ для ЭВМ.
Заключение диссертация на тему "Программный комплекс генетического моделирования процессов термолюминесценции в диэлектриках"
4.4 Основные результаты и выводы по главе
1. С помощью разработанного ПК была получена зависимость параметров TJI-пика от исходной концентрации рекомбинационных центров. Она показала, что в модели NMTS с тушением при значениях соотношения h/N<0.01 и h/N< 100 изменение данного параметра не приводит к существенным изменениям параметров пика. Аналогично для величины А,/А{, было показано, что при AJAh < 1 и А,/А], > 10000 форма ТЛ-кривой остается практически неизменной.
2. Разработанная система использовалась при проверке адекватности обобщенной кинетической модели процессов ТЛ в диэлектриках. С помощью критерия Кохрена был определен диапазон от 400 до 505 К, в котором однородность дисперсий сохраняется. Для проверки адекватности использовался критерий Фишера, расчетное значение которого Fpac4 = 1.019 показало, что модель является адекватной.
3. Показано, что использование ГА представляет собой эффективный способ моделирования фундаментальных механизмов термолюминесценции в кристаллах. Получаемые при этом параметры моделей, такие как глубина ловушки Е„ и энергия активации тушения Eq определяются с погрешностью менее 5 % по отношению к исходным величинам, заданным в вычислительном эксперименте. В то же время, соотношения скоростей захвата на ловушки и частотный фактор в некоторых случаях могут существенно отклоняться от реальных (в 10 раз), что является особенностью исследуемого объекта.
4. Результаты вычислительных экспериментов показали, что предложенная методика генетического конструирования позволяет точно выбрать требуемую ТЛ-модель среди множества предлагаемых. При этом номер поколения, на котором найдена верная структура зонной схемы, не зависит от количества ее структурных элементов и количества варьируемых параметров. Также на примере тестовых задач было показано, что разработанный программный комплекс генетического моделирования процессов ТЛ в диэлектриках работает быстрее рассмотренного ранее прототипа (6-8 часов против 24-72).
ЗАКЛЮЧЕНИЕ
В результате выполнения диссертационной работы получены следующие основные научные и практические результаты и сделаны следующие выводы.
1. Проведен анализ существующих средств моделирования кинетических процессов и методов оптимизации, используемых при решении задач идентификации моделей ТЛ-процессов. Сформулированы критерии оценки аналогов и выбран прототип программного комплекса - система 08Ь-СА. Выявлены недостатки различных методов оптимизации применительно к задаче моделирования ТЛ-процессов — большое количество вычислений, застревание в локальных минимумах, требование указания целевой функции в явном виде. Обоснованы преимущества использования ГА для дальнейшего решения поставленных задач.
2. Принципы и понятия эволюционного моделирования адаптированы применительно к ТЛ-анализу. Обоснован выбор типа кодирования: для структурной части хромосомы используется битовая строка, для параметрической части — вещественная. Предложена трехуровневая иерархия численных методов, используемых в ПК, для решения задач идентификации ТЛ-моделей. Задача высшего уровня включает в себя параметрическую (настройка параметров) и структурную (подбор схемы) идентификации в рамках генетического конструирования. На основе созданной иерархии выполнено алгоритмическое и функциональное описание ПК.
3. Проанализированы особенности операторов мутации, селекции и кроссовера, влияющие на быстродействие ГА при конструировании зонных моделей ТЛ в диэлектриках. С помощью полного 4-факторного численного эксперимента проведена настройка эффективности эволюционных операторов, заключающаяся в определении оптимальных значений для вероятности и приращений мутаций, количества точек разрыва, пороговых величин целевой функции и т.д.
4. Для параметрической части ГА предложен модифицированный кроссовер, отличающийся от обычного линейного оператора введением двух точек разрыва. В турнирную селекцию внедрена адаптивная процедура лидерства, задающая число пар родителей, в которые обязательно входит особь-лидер с наилучшим значением целевой функции. Модифицирован оператор мутации с подстраиваемыми значениями вероятности изменения генетического кода в зависимости от текущего значения FOM.
5. Исходя из требований к реализации ПК, создан конечный программный инструментарий, включающий в себя модули TOSL и GenTL. По результатам работы данного комплекса исследователь может делать обоснованные предположения о физическом содержании TJI-модели и получать количественные оценки ее параметров.
6. Определены относительные погрешности для оценок параметров ТЛ-моделей в диэлектриках. В рамках вычислительного эксперимента показано, что энергии активации ловушек определяются достаточно точно, со средней погрешностью меньше 5 %, а значения скорости захвата на ловушки и частотного фактора в некоторых случаях могут существенно отклоняться от истинных величин (в 10 раз). При этом сохраняется высокое качество аппроксимации (FOM <3%). Указанную достоверность численных оценок необходимо учитывать при анализе кривых ТЛ в реальных диэлектрических кристаллах.
7. Практическим результатом исследования является разработка программного комплекса, позволяющего:
- существенно повысить скорость и точность идентификации моделей ТЛ по сравнению с аналогами за счет использования разработанных алгоритмов, при этом значение параметра FOMлежит в пределах 0.2 - 3.5 %;
- практически полностью исключить участие пользователя в процессе поиска;
- проводить параллельно структурную и параметрическую идентификацию ТЛ-моделей.
Библиография Попко, Евгений Александрович, диссертация по теме Математическое моделирование, численные методы и комплексы программ
1. Chen, R. Theory of Thermoluminescence and Related Phenomena Текст. / R. Chen, S. W. S. McKeever. Singapore: World Scientific, 1997.
2. Pagonis, V. Numerical and practical exercises in thermoluminescence Текст. / V. Pagonis, G. Kitis, C. Furetta. New York : Springer, 2006.
3. Антонов-Романовский, B.B. Кинетика фототермолюминесценции кристалло-фосфоров Текст. / B.B. Антонов-Романовский. М.: Наука, 1966.
4. Braunlich, P. Basic principles. In: Thermally stimulated relaxation in solids Текст. / P. Braunlich. Berlin: Springer-Verlag, 1979.
5. Адирович, Э.И. Некоторые вопросы люминесценции кристаллов Текст. / Э.И. Адирович. М. - Л.: ГИТТЛ, 1951.
6. Кортов, B.C. Механизм люминесценции F-центров в анион-дефектных монокристаллах оксида алюминия Текст. / B.C. Кортов, И.И. Мильман, С.В. Никифоров, В.Е. Пеленев // Физика твердого тела. 2003. - Т.45, вып. 7. - С. 1202 -1208.
7. Sunta, С.М. General order kinetics of thermoluminescence and its physical meaning Текст. / С.М. Sunta, W.E.F. Ayta, R.N. Kulkarni, T.M. Piters, S. Watanabe // J.Phys. D: Appl. Phys. 1997. - Vol.30. - P.1234-1242.
8. Singh, S. D. The determination of the trapping parameters of a thermoluminescence peak by using the Kirsh method Текст. / S.D.Singh, P.S. Mazumdar, R.K.Gartia, N.C.Deb // J.Phys. D: Appl. Phys. 1998. - Vol. 31, - P. 231 -234.
9. Агриненко, С.Д. Метод анализа кривой термовысвечивания Текст. / С.Д. Агриненко, А.Г. Алексеев, И.А. Бурлака, Н.А. Карпов. — Протвино: Препринт ИФВЭ 99-61,1999.
10. Puchalska, М. GlowFit a new tool for thermoluminescence glow-curve deconvolution Текст. / M. Puchalska, P.Bilski // Radiation Measurements. - 2006. -Vol. 41.-P. 659-664.
11. Delgado, A. Computerised glow curve analysis: a tool for routine thermoluminescence dosimetry Текст. / A. Delgado, J.M. Gomez-Ros // Radiation Protection Dosimetry. 2001. - Vol. 96. - P.127-132.
12. James, F. LMU : MINUIT Documentation Электронный ресурс. / F. James, M. Roos // http://lmu.web.psi.ch/facilities/software/minuitdoc.html
13. Mitchell, M. An introduction to genetic algorithms Текст. / M. Mitchell. Cambridge: MIT Press, 1999.
14. Коза, Д. Эволюция в мире изобретений Текст. / Д. Коза, М. Кин, М. Стри-тер // В мире науки. 2003. - № 6. - С. 46-53.
15. Sunta, С.М. Limitation of peak fitting and peak shape methods for determination of activation energy of thermoluminescence glow peaks Текст. / С.М. Sunta, W.E.F. Ayta, T.M. Piters, S. Watanabe // Radiation Measurements. 1999. - Vol. 30. -P. 197-201.
16. Sunta, C.M. General order kinetics of thermoluminescence — a comparison with physical models Текст. / C.M. Sunta, R.N. Kulkarni, T.M. Piters, W.E.F. Ayta, S. Watanabe // J.Phys. D: Appl. Phys. 1998. - Vol. 31. - P.2074-2081.
17. Klasens, H.A. Transfer of energy between centers in sink sulphide phosphors Текст. / H.A. Klasens // Nature. 1946. - Vol. 158. - P. 306-308.
18. Halperin, A. Evaluation of thermal activation energies from glow curves Текст. / A. Halperin, A.A. Braner // Phys. Rev. 1960. - Vol. 117. - P. 408-415.
19. Weinstein, I.A. The simulation of TL processes in а-АЬОз using different ratios between microparameters of trapping and luminescent centers Текст. / I.A. Weinstein, E.A. Popko // Journal of Luminescence. 2007. - v. 122 - 123C, - P. 377 -380.
20. Pagonis, V. A quantitative kinetic model for АЬС^С: TL response to ionizing radiation Текст. / V. Pagonis, R. Chen, J.L.Lawless // Radiation Measurements. — 2007. Vol. 42, No.2. - P. 198-204.
21. Bailey, R.M. Towards a general kinetic model for optically and thermally stimulated luminescence of quartz Текст. / R.M. Bailey // Radiation Measurements. -2006.-Vol. 33.-P. 17-45.
22. Chen, R. Modelling thermal activation characteristics of the sensitization of thermoluminescence in quartz Текст. / R.Chen, V.Pagonis // J.Phys. D: Appl. Phys. -2003.-Vol.36.-P.l-6.
23. Supralinearity and sensitization of thermoluminescence. II: interactive trap system model applied to LiF: Mg, Ti Текст. / С. Sunta, E. Okuno, J. Lima, E. Yoshi-mura // J.Phys. D: Appl. Phys. 1994. - Vol.27. - P.2636-2643.
24. Sakurai, T. The determination of intrinsic trapping parameters of a thermoluminescence peak of BeO Текст. / Т. Sakurai, R.K. Gartia // J.Phys. D: Appl. Phys. 1996. - Vol. 29, - P. 2714 - 2717.
25. LAB Fit Curve Fitting Software (Nonlinear Regression Program) Электронный ресурс. // http://zeus.df.ufcg.edu.br/labfit/
26. Marquardt, D. An algorithm for least squares estimation of nonlinear parameters Текст. / D. Marquardt // SIAM. 1963. - P.431-442.
27. ModelKinetix ModelManager and ModelMaker - Modeling Software Электронный ресурс. // http://www.modelkinetix.com/modelmaker/fcatures.htm
28. FlexPDE finite element model builder for Partial Differential Equations Электронный ресурс. // http://www.pdesolutions.com/index.html
29. Bos, A. J. J. An Intercomparison of Glow Curve Analysis Computer Programs: I. Synthetic glow curves Текст. / A. J. J. Bos, Т. M. Piters, J. M. Gomez-Ros, A. Delgado // Radiation Protection Dosimetry. 1993. - Vol. 47. - P.473-477.
30. Adamiec, G. Application of a genetic algorithm to finding parameter values for numerical simulation of quartz luminescence Текст. / G. Adamiec, M. Garcia-Talavera, R.M. Bailey // Geochronometria. 2004. - Vol. 23. - P. 9-14.
31. Adamiec, G. Finding model parameters: Genetic algorithms and the numerical modelling of quartz luminescence Текст. / G. Adamiec, A. Bluszcz, R.M. Bailey, M. Garcia-Talavera // Radiation Measurements. 2006. - Vol. 41. - P. 897-902.
32. DataFit Curve Fitting and Data Plotting Software Features Электронный ресурс. // http://www.oakdaleengr.com/datafit.htm
33. Растригин, JI.A. Адаптация сложных систем Текст. / JI.A. Растригин. — Рига: Зинатне, 1981.
34. Эйкхофф, П. Основы идентификации систем управления Текст. / П. Эйк-хофф. -М.: Мир, 1975.
35. Носач, В.В. Решение задач аппроксимации с помощью персональных компьютеров Текст. /В.В. Носач. М.: МИКАП, 1994.
36. Корнеев, В.В. Базы данных. Интеллектуальная обработка информации Текст. / В.В. Корнеев, А.Ф. Гарев, С.В. Васютин, В.В. Райх. М.: «Нолидж», 2000.
37. Измаилов, А.Ф. Численные методы оптимизации: Учеб. пособие Текст. / А.Ф. Измаилов, М.В. Солодов. -М.: ФИЗМАТЛИТ, 2005.
38. Ильина, В.А. Численные методы для физиков-теоретиков Текст. / В.А. Ильина, П.К. Силаев. Москва-Ижевск: Институт компьютерных исследований, 2004.
39. Сухарев, А.Г. Курс методов оптимизации: Учеб. пособие Текст. / А.Г. Сухарев, А.В. Тимохов, В.В. Федоров. М.: ФИЗМАТЛИТ, 2005.
40. Nash, J.C. Compact numerical methods for computers Текст. / J.C. Nash. Bristol: Page Bros Ltd, 1990.
41. Новикова, H.M. Основы оптимизации (курс лекций) Электронный ресурс. / Н.М. Новикова. 2002. // http://www.ccas.ru/depart/malashen/papper/oonovikl.ps
42. Орлянская, И.В. Современные подходы к построению методов глобальной оптимизации Электронный ресурс. / И.В. Орлянская // Электронный журнал «Исследовано в России». 2002. - № 4. - С. 2097 - 2108. h llp://zhurnal .ape.relarn .ru/articles/2002/189.pdf
43. Whitley, D. A Genetic algorithm tutorial Текст. / D. Whitley // Statistics and Computing. -1994. Vol.4. - P.65-85.
44. Гладков, JI.A. Генетические алгоритмы Текст. / JI.A. Гладков, B.B. Курей-чик, В.М. Курейчик. -М.: Физматлит, 2006.
45. Press, W.H. Numerical Recipes in С Текст. / W.H. Press, S.A. Teukolsky, W.T. Vetterling, B.P. Flannery. Cambridge : Cambridge University Press, 2002.
46. Martin, A.D. A Review of discrete optimization algorithms Текст. / A.D. Martin, K.M. Quinn // The Political Methodologist. 1996. - Vol. 7, No.2. - P.6-10.
47. Holland, J.H. Adaptation in natural and artificial systems Текст. / J.H. Holland. — Michigan: The University of Michigan Press, 1975.
48. Генетический алгоритм Электронный ресурс. // http://www.neuroproject.ru/genealg.htm
49. Ротштейн, А.П. Интеллектуальные технологии идентификации Электронный ресурс. / А.П.Ротштейн // http://matlab.exponenta.ru/fuzzylogic/book5/l2.php
50. Abraham, N.L. A Periodic Genetic Algorithm with Real-Space Representation for Crystal Structure and Polymorph Prediction Текст. / N.L. Abraham, M.I.J. Probert // Phys. Rev. B. 2006. - Vol.73.
51. Малютина, Э.Э. Построение адаптивных сеток с использованием генетических алгоритмов Текст. / Э.Э. Малютина // Математическое моделирование. — 2001. Т. 13, № 9, - С. 23-36.
52. Rajo-Iglesias, Е. Dielectric electromagnetic band gap design with genetic algorithm Текст. / E. Rajo-Iglesias, P. Sanabria-Martínez, J.L. Fernández-Villacañas // Microwave and Optical Technology Letters. 2005. - Vol. 46, No.3. - P.248-252.
53. Панченко, T.B. Сравнительный анализ эффективности применения генетических алгоритмов и алгоритма Метрополиса в задачах физики твердого тела
54. Текст. / Т.В. Панченко, Ю.Ю. Тарасевич // Вычислительные методы и программирование. 2007. - Т. 8, - С. 77-87.
55. Zeiri, Y. Application of genetic algorithm to the calculation of bound states and local density approximations Текст. / Y. Zeiri, E.Fattal, R. Kosloff // J. Chem. Phys. 1995. - Vol. 102, No.4. -P.1859-1862.
56. Johnston, R. L. Evolving better nanoparticles: Genetic algorithms for optimizing cluster geometries Текст. / R. L. Johnston // Dalton Trans. 2003. - P.4193-4207.
57. Мудров, А.Е. Численные методы для ПЭВМ на языках Бейсик, Фортран и Паскаль Текст. / А.Е. Мудров. Томск: МП «Раско», 1991.
58. Самарский, А.А. Введение в численные методы Текст. / А.А.Самарский. — М.: Наука, 1987.
59. Цой, Ю.Р. Генетические алгоритмы. Советы и рекомендации Электронный ресурс. / Ю.Р. Цой. 2006. // http://qai.narod.ru/GA/advices.html#popsize
60. Michalevicz, Z. Genetic algorithms + Data structures = Evolution Programs Текст. / Z. Michalevicz. Berlin: Springer-Verlag, 1992.
61. Weinstein, I.A. Genetic synthesizing of band schemes for thermoluminescence in dosimetric crystals Текст. / I.A. Weinstein, E.A. Popko // Radiation Measurements. 2008. - Vol. 43, No.2-6. - pp. 218-221.1. V- 122
62. Паклин, Н.Б. Генетические алгоритмы с вещественным кодированием Электронный ресурс. / Н.Б. Паклин. — 2004. // http://masters.donntu.edu.ua/2006/kita/bashev/librarv/rcga.html
63. Herrera, F. Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis Текст. / F. Herrera, M.Lozano, J.L.Verdegay // Artificial Intelligence Review. 1998. - Vol. 12. - P.265-319.
64. Kitis, G. Thcrmoluminescence glow-curve deconvolution functions for first, second and general orders of kinetics Текст. / G. Kitis, J.M. Gomez-Ros, J. W.N.Tuyn // J.Phys. D: Appl. Phys. 1998. - Vol.31. - P.2636-2641.
65. Sunta, C.M. General order and mixed order fits of thermoluminescence glow curves a comparison Текст. / C.M. Sunta, W.E.F. Ayta, J.F.D. Chubaci, S. Wata-nabe // Radiation Measurements. - 2002. - Vol. 35. - P. 47-57.
66. Смирнов, Г.Б. Настройка операторов генетического алгоритма для моделирования термоактивационных процессов Текст. / Г.Б.Смирнов, И.А.Вайнштейн, Е.А.Попко // Сб. науч. Трудов «Инжиниринг. Инновации. Инвестиции», Челябинск: ЧНЦ РАЕН, 2008, с. 87-103.
67. Монтгомери, Д.К. Планирование эксперимента и анализ данных Текст. / Д.К. Монтгомери. Д.: Судостроение. 1980.
68. Адлер, Ю.П. Планирование эксперимента при поиске оптимальных условий Текст. / Ю.П. Адлер, Е.В. Маркова, Ю.В. Грановский // М.: Наука, 1976. 280 с.
69. Попко, Е.А. Настройка операторов генетического моделирования методом полного факторного эксперимента Текст. / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов // Известия ОрелГТУ. Серия «Информационные системы и технологии». 2009. - №5. - с. 42-47.
70. Petrovski, A. Statistical identification and optimisation of significant GA factors Текст. / A. Petrovski, A.Wilson, J. McCall // Proceedings of the 5th Joint Conférence on Information Sciences (JCIS'2000): Atlantic City, NJ, USA. Vol. 1 - P.1027-1030.
71. Ахназарова, С.JI. Методы оптимизации эксперимента в химической технологии Текст. / С.Л. Ахназарова, В.В. Кафаров // М.: Высшая школа, 1985. 328с.
72. Попко, Е.А. Электронный учебник "Планирование и организация эксперимента" ("DEXP") // Е.А. Попко, И.А.Вайнштейн, Н.Г.Светличный. Свидетельство об официальной регистрации программы для ЭВМ № 2006611978. Москва, 08.06.2006.
73. Зедгинидзе, И.Г. Планирование эксперимента для исследования многокомпонентных систем Текст. / И.Г. Зедгинидзе. — М.: Наука, 1976.
74. Попко, Е.А. Программный модуль «Моделирование механизмов термофотолюминесценции в диэлектриках» ("TOSL") / Е.А. Попко, И.А.Вайнштейн, B.C. Кортов // Свидетельство об официальной регистрации программы для ЭВМ № 2005610234. Москва, 25.01.2005.
75. Вайнштейн, И.А. Программный модуль «Электронный ГА-конструктор люминесцентных моделей с термоактивационной кинетикой» ("GenTL") / И.А.Вайнштейн, Е.А. Попко // Свидетельство об официальной регистрации программы для ЭВМ № 2006614299. Москва, 18.12.2006.
76. Weinstein, I.A. Evolutionary approach in the simulation of thermoluminescence kinetics Текст. / I.A. Weinstein, Е.А. Popko // Radiation Measurements. 2007. -Vol. 42, No.4-5. - pp. 735-738.
77. Технология разработки ПО Электронный ресурс. // http://www.redbrick.ru/develop.html
78. Трофимов, С. Использование моделей UML в процессе разработки программных систем Электронный ресурс. / С. Трофимов. 2003. // www.caseclub.ru/articles/modeli.html
79. Гольдштейн, C.JI. Введение в системологию и системотехнику Текст. / C.JI. Гольдштейн, Т.Я. Ткаченко. Екатеринбург: ИРРО, 1994.
80. Боггс, У. UML и Rational Rose 2002 Текст. / У. Боггс, М. Боггс. М.: Издательство «Лори», 2004.
81. Леоненков, A.B. Самоучитель UML Текст. / A.B. Леоненков. СПб: БХВ-Петербург, 2004.
82. Клир, Дж. Системология. Автоматизация решения системных задач Текст. / Дж. Клир. М.: Радио и связь, 1990.
83. Попко, Е.А. Структура системы управления знаниями для оценки адекватности моделей в АСНИ Текст. / Е.А. Попко, В.И. Рогович, И.А. Вайнштейн // Вестник УГТУ-УПИ, спец. выпуск. Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005.-С. 77-81.
84. Моисеев Е.Е. Методологические аспекты проектирования Электронный ресурс. // www.phiIosophy.nsc.ru/journals/philscieiice/12 02/MQIS.htm
85. Городняя, JI.B. Парадигмы программирования Электронный ресурс. // http://www.intuit.ru/department/se/paradigms/
86. Баас, P. Delphi 5 для пользователя Текст. / Р. Баас, М. Фервай, X. Гюнтер. — Киев: Издательская группа BHV, 2000.
87. Автоматизированные Системы Научных Исследований Электронный ресурс. // http://pmi.ulstu.rU/newproject/new/l.html
88. Weinstein, I.A. The simulation of TL processes in а-АЬОз using different ratios between microparameters of trapping and luminescent centers Текст. / I.A.iL
89. Weinstein, E.A. Popko // The 14 International Conference on Luminescence. ICL'05 Abstracts, July 25-29 2005, Beijing, China. P. TUEPP156.
90. Вайнштейн, И.А. Генетический поиск модельных параметров при аппроксимации кривых термолюминесценции Текст. / И.А.Вайнштейн, Е.А. Попко // Письма в ЖТФ. 2006. - Т. 32, вып. 12. - С. 56-62.
91. Weinstein, I.A. Compensation relationship between parameters of Thermoluminescence kinetics in crystals Текст. / I.A. Weinstein, A.S. Vokhmintsev, E.A.th
92. Popko, V.S. Kortov // 7 Internatioanal Conference on Luminescent Detectors and Transformers of Ionizing Radiation. Krakow (Poland), 2009. P. 146.
93. Орозбек уулу Аскар. Особенности кинетики люминесценции Р+-центров а аниондефектных кристаллах оксида алюминия: дис. . канд. физ.-мат. наук: 01.04.07 : защищена 19.02.07. Екатеринбург, 2007. - 125 с.
94. Akselrod, M.S. Thermal quenching of F-center luminescence in АЬ03:С Текст. / M.S.Akselrod, N.Agersnap Larsen, V.Whitley, S.W.S.McKeever // J. Phys. D: Appl. Phys. 1998. - Vol.33. - P.3364-3373.
95. Попко, Е.А. Генетическое моделирование механизмов термолюминесценции в кристаллах Текст. / Е.А. Попко, И.А. Вайнштейн, Г.Б. Смирнов // Тезисы IV Уральского семинара ТТД-2008,13-14 ноября, 2008, Екатеринбург, сс. 85-86.
96. Gomez-Ros, J.M. Simple methods to analyze thermoluminescence glow curves assuming arbitrary recombination-retrapping rates Текст. / J.M. Gomez-Ros, C. Furetta, V. Correcher // Radiation Protection Dosimetry. 2006. - Vol. 118, No.1-4. - P.339-343.
-
Похожие работы
- Программный комплекс для моделирования кинетики термолюминесценции в кристаллах с применением параллельных вычислений
- Комплексные исследования электрофизических свойств термически окисленных слоев кремния в производстве полупроводниковых приборов с проектной нормой 0,5-0,8 мкм
- Математическое моделирование процессов взаимодействия электронных пучков с полярными диэлектриками
- Электрические поля в озонаторе с неоднородным диэлектриком
- Математическое моделирование СВЧ нагрева диэлектрика с учетом фазовых переходов
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность