WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

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

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

имени М.В. Ломоносова

Факультет вычислительной математики и кибернетики

На правах рукописи

ЗОРИН Даниил Александрович

СИНТЕЗ АРХИТЕКТУР ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

РЕАЛЬНОГО ВРЕМЕНИ С УЧЕТОМ ОГРАНИЧЕНИЙ НА ВРЕМЯ

ВЫПОЛНЕНИЯ И ТРЕБОВАНИЙ К НАДЕЖНОСТИ

05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

МОСКВА – 2014

Работа выполнена на кафедре автоматизации систем вычислительных комплексов факультета вычислительной математики и кибернетики Московского государственного университета имени М.В. Ломоносова.

Научный руководитель: кандидат технических наук, ведущий научный сотрудник Костенко Валерий Алексеевич.

Официальные оппоненты: доктор технических наук, профессор Топорков Виктор Васильевич;

кандидат технических наук, Гончар Дмитрий Русланович.

Ведущая организация: Научно-исследовательский институт вычислительных комплексов им. М.А. Карцева (НИИВК)

Защита диссертации состоится 10 октября 2014 г. в 11 часов на заседании диссертационного совета Д 501.001.44 при Московском государственном университете имени М. В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, 2-й учебный корпус, факультет вычислительной математики и кибернетики, аудитория 685.

С диссертацией можно ознакомиться в библиотеке факультета ВМК МГУ имени М. В. Ломоносова, с текстом автореферата можно ознакомиться на официальном сайте факультета ВМК МГУ http://www.cmc.msu.ru в разделе «Наука»

– «Работа диссертационных советов» – «Д 501.001.44».

Автореферат разослан “”_20 г.

Ученый секретарь диссертационного совета Д 501.001. в.н.с. В.А. Костенко

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ



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

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

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

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

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

Актуальность разработки алгоритмов структурного синтеза подтверждается особенностями рассматриваемой задачи, отличающими ее от других задач построения расписаний, а именно:

Наличие одновременно двух ограничений (время выполнения программы и надежность вычислительной системы);

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

Необходима возможность использовать для вычисления времени выполнения расписания имитационные модели различного уровня детализации.

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





Для достижения поставленной цели необходимо решить следующие задачи:

Сформулировать задачу структурного синтеза, в том числе предложить математическую модель вычислительных систем реального времени и расписаний, позволяющую использовать модели программных и аппаратных средств с различной степенью детализации;

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

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

Основные результаты работы Основные результаты диссертационной работы следующие:

1. Предложена математическая постановка задачи структурного синтеза вычислительных систем реального времени с учетом ограничений реального времени и требований к надежности, которая позволяет использовать произвольные вычислимые функции для оценки времени выполнения расписания и надежности системы;

2. Разработан алгоритм решения задачи на основе схемы имитации отжига.

Теоретически обоснованы его корректность, доказана асимптотическая сходимость, и проведено исследование его точности и вычислительной сложности с использованием метода проверки статистических гипотез;

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

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

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

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

Полученные в работе результаты могут быть рекомендованы к использованию при проектировании и модернизации вычислительных систем реального времени.

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

Апробация работы Результаты работы докладывались на научно-исследовательском семинаре кафедры автоматизации систем вычислительных комплексов (АСВК) факультета ВМК МГУ, на научном семинаре лаборатории вычислительных комплексов кафедры АСВК, а также на следующих конференциях:

1. XVII Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2010 г.) 2. XVIII Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2011 г.) 3. 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (Брно, Чехия, 2012 г.) 4. Международная конференция «Параллельные вычисления и задачи управления» (Москва, 2012 г.) 5. XX Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2013 г.) 6. 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (Казань, 2013 г.) 7. VII Moscow International Conference on Operations Research (Москва, 8. 3rd International Conference on Operations Research and Enterprise Systems (Анже, Франция, 2014 г.) Работа выполнена при поддержке стипендии Президента Российской Федерации.

Публикации По теме диссертации опубликовано 16 печатных работ, в том числе работы в журналах «Известия РАН. Теория и системы управления», «Вестник МГУ. Вычислительная математика и кибернетика», «Прикладная информатика» входящих в перечень ведущих рецензируемых научных журналов ВАК РФ, а также работы, индексируемых системой Scopus. Список работ приведен в конце автореферата.

Структура и объем диссертации Диссертация состоит из введения, пяти глав, заключения, списка литературы и четырех приложений. Объем работы – 103 страницы, с приложениями – страницы. Список литературы содержит 109 наименований.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность диссертационной работы и дано краткое описание задачи.

В первой главе вводится математическая модель функционирования вычислительной системы реального времени (ВСРВ), формулируется задача определения минимального необходимого числа процессоров с учетом ограничений на время выполнения программы и требований к надежности ВСРВ. В разделе 1.1 приводится содержательное описание задачи. В разделе 1.2 дается определение входных данных задачи: однородной многопроцессорной системы и графа потока данных, задающего программу. Граф потока данных состоит из вершин, соответствующих заданиям (подпрограммам) и ребер, соответствующих зависимостям между заданиями по данным. На графе введена разметка, используемая для оценки времени выполнения программы.

В разделе 1.3 вводятся используемые механизмы обеспечения отказоустойчивости, позволяющие повышать надежность системы. Резервирование процессоров заключается в том, что к некоторому процессору в системе добавляется дублирующий процессор, на котором выполняются те же задания. В этом случае система отказывает, только если отказывают оба процессора. Дублирующий процессор работает в режиме горячего резерва, то есть принимает все те же данные и выполняет те же вычисления, что и основной, но передает данные только в случае отказа основного. Обосновывается необходимость выполнять на дублирующем процессоре все задания в том же порядке, что и на основном. При Nверсионном программировании создается N версий реализации какого-либо задания. Число версий всегда нечетно (обычно 3 либо 5), и результаты подвергаются простому сравнению, итоговым результатом объявляется тот, который выдали больше половины версий. Таким образом, при отказе не более чем версий отказа не происходит. Разные версии обычно разрабатываются разными группами программистов для того, чтобы по возможности неисправности были различны в разных версиях. Предполагается, что если неисправности различны, то версии отказывают на разных входных данных.

В разделе 1.4 вводится понятие расписания.

Определение 1. Расписание (для системы с резервированием и многоверсионным программированием) определяется как пара, где – множество – мультимножество, состоящее из элементов множества процессоров.

Общее число процессоров в системе – кратность процессора в мультимножестве.

Содержательно и определяют задание и номер его версии, и задают соответственно привязку к процессору и порядок выполнения для каждой версии каждого задания. Ограничения, записанные выше логическими условиями, означают, что 1) у каждого задания хотя бы одна версия должна присутствовать в расписании, 2) каждая версия каждого задания может присутствовать в расписании только один раз, 3) у всех заданий, назначенных на один процессор, разные номера. Мультимножество задает резервируемые процессоры.

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

Определение 2. Расписание S является корректным, если его граф является ациклическим.

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

Определение 3. Функцией интерпретации называется вычислимая функция, по произвольному корректному расписанию однозначно строящая временную диаграмму.

Определение 4. Время выполнения – это максимальное значение времени завершения задания во временной диаграмме.

В данной работе реализованы несколько функций интерпретации, соответствующих таким физическим средам передачи данных, как шина и коммутатор Fibre Channel. Их подробное описание приведено в приложениях Б и В.

В разделе 1.6 вводятся функции для вычисления надежности системы.

Определение 5. Функция оценки надежности задания – функция, определяющая надежность задания с учетом всех его версий:

Определение 6. Надежность системы – это следующая величина:

Первый множитель соответствует совокупной надежности процессоров. Если – вероятность безотказной работы, то – вероятность отказа.

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

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

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

В работе доказана NP-трудность поставленной задачи и сформулированы требования к алгоритму решения данной задачи.

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

В разделах 2.2-2.

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

В третьей главе приводится описание алгоритма имитации отжига, решающего задачу, поставленную в разделе 1.

В разделе 3.1 описана общая схема алгоритма имитации отжига.

Ш а г 2. Установить начальную температуру, приняв ее текущей ( ).

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

решения считать текущим ( Ш а г 5. Повторить заданное число раз шаги 3 и 4 без изменения текущей температуры.

Ш а г 6. Если критерий останова выполнен, то завершение работы алгоритма.

Ш а г 7. Понизить текущую температуру в соответствии с выбранным законом и перейти к шагу 3.

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

Утверждение 1. Замкнутость системы операций. Если – корректное расписание, то после применения любой из операций также получается корректное расписание.

Утверждение 2. Для каждой операции, переводящей расписание в расписание, существует обратная операция, переводящая расписание в расписание.

Утверждение 3. Полнота системы операций. Если – корректные расписания, то существует последовательность операций, приводящая к, такая, что все промежуточные расписания корректны.

В разделе 3.3 описаны стратегии применения операций на шаге 3 алгоритма.

Стратегия определяет, какая из операций применяется на текущем шаге и с какими параметрами. Для операции переноса задания предложены три основных стратегии: стратегия уменьшения задержек, стратегия заполнения простоев и смешанная стратегия. Также описана случайная стратегия, с которой сравниваются остальные. Стратегия уменьшения задержек (стратегия S1) основана на следующем утверждении. Если время начала выполнения каждого задания равно длине критического пути в графе от истоков до задания, то расписание будет оптимальным. Длина критического пути является минимально возможным временем начала выполнения задания и равна сумме значений времени выполнения заданий, соответствующих вершинам критического пути. Стратегия заполнения простоев (стратегия S2) основана на эмпирической гипотезе: чем меньше времени в сумме простаивают процессоры, тем лучше расписание. Смешанная стратегия (стратегия S3) объединяет две предыдущих. На каждой итерации случайным образом применяется либо одна стратегия, либо другая.

В разделе 3.4 определяются условия перехода и останова. Приводятся различные законы понижения температуры на шаге 7 алгоритма.

В разделе 3.5 дается оценка вычислительной сложности одной итерации алгоритма. Она составляет, где – число заданий, – число ребер в графе программы, – сложность вычисления функции интерпретации.

В четвертой главе описывается теоретическое и экспериментальное исследование алгоритма.

В разделе 4.1 дается доказательство асимптотической сходимости алгоритма.

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

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

В разделе 4.2 вводятся метрики в пространстве расписаний, используемые в дальнейшем в экспериментальном исследовании. Метрика определяется как длина минимальной цепочки операций, переводящей расписание в расписание. Доказано следующее утверждение.

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

будем называть это перестановкой для.

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

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

Определение 11.

Утверждение 5., – метрическое пространство.

Значение метрики может быть вычислено алгоритмом с полиномиальной сложностью.

Связь между двумя метрики задается следующими соотношениями.

В разделе 4.3 описано экспериментальное исследование алгоритма. В подразделе 4.3.1 алгоритм исследуется на случайно созданных модельных данных.

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

Локальная оптимальность: если – расписание, построенное алгоритмом, то, то есть результат, найденный алгоритмом, не может быть улучшен применением одной операции.

Следующие гипотезы имеют место:

Локальная оптимальность алгоритма (имеет место в 100% случаев на рассмотренных выборках).

В подразделе 4.3.2 приведены результаты исследования алгоритма на совместимых исходных данных. Описан алгоритм создания графа программы, для которого известно оптимальное расписание, и результаты, полученные алгоритмом, сравниваются с оптимальным расписанием по метрике из раздела 4.2. Различия в работе стратегий проявляются с ростом значения. При малых различия в работе стратегий не проявляются, тогда как с ростом стратегия S3 показывает лучшие результаты. Кроме того на рассматриваемых в этом подразделе примерах стратегия S2 работает лучше, чем на случайно созданных исходных данных.

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

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

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

Наличие графического интерфейса пользователя;

Возможность ввода исходных данных как из заранее созданного файла, так и с использованием графического интерфейса;

Возможность запускать алгоритм, менять его настройки, визуализировать на экране результаты;

Возможность править результаты алгоритма в ручном режиме. При изменении решения автоматически должна проверяться его корректность;

Возможность задавать различные модели вычислительной системы для оценки времени и различные методики расчета надежности;

Возможность создавать специализированные подсистемы для построения вычислительных систем для конкретных практических задач;

Возможность генерации кода процедур обмена.

В разделе 5.2 приведено подробное описание инструментальной системы.

ИС написана на языке Python, для графического пользовательского интерфейса используется библиотека Qt. Описана структура программного кода, в том числе приведены UML-диаграммы классов основных пакетов. Описан пользовательский интерфейс, приведены иллюстрации работы системы.

Также в разделе 5.2 описана реализованная в ИС возможность создавать шаблоны для генерации исходных данных для частных практических задач. В рамках инструментальной системы создан специализированный модуль для решения задачи построения вычислителей для обработки данных от фазированных антенных решеток. Подробное описание задачи и параметры исходных данных приведены в приложении Г. В данной главе приводится описание функционирования данного модуля, и даются примеры результатов работы ИС на конкретных задачах.

В заключении сформулированы основные результаты диссертационной работы.

В Приложении А описаны различные схемы оценки надежности вычислительных систем.

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

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

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

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

Полученные автором результаты изложены в следующих работах:

1. Zorin D. A., Kostenko V. A. Job Shop Scheduling and Co-design of Real-Time Systems with Simulated Annealing // Proceedings of the 3rd International Conference on Operations Research and Enterprise Systems. Angers, France:

Зорин Д. А. Оценка сходимости алгоритма имитации отжига для задачи построения многопроцессорных расписаний // Вестник МГУ. Вычислительная математика и кибернетика. – 2014. – № 2. – С. 53–59.

3. Zorin D. A., Kostenko V. A. Co-design of Real-time Embedded Systems under Reliability Constraints // IFAC Proceedings Volumes (IFAC-PapersOnline) Зорин Д. А., Костенко В. А. Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности // Известия РАН. Теория и системы управления. – 2012. – № 2. – С. 76–83.

Зорин Д. А. Инструментальная система структурного синтеза вычислительных систем реального времени и построения расписаний // Программные системы и инструменты. Тематический сборник № 13. М.: Издво факультета ВМиК МГУ. – 2012. – С. 117-124.

Волканов Д.Ю., Зорин Д. А. Исследование применимости моделей оценки надежности для разработки программного обеспечения с открытым исходным кодом // Прикладная информатика. – 2011. – №2. – С. 26-32.

Зорин Д. А. Способ представления и преобразования расписаний в итерационных алгоритмах структурного синтеза вычислительных систем реального времени // Программные системы и инструменты. Тематический сборник № 12. М.: Изд-во факультета ВМиК МГУ. – 2011. – С. 163-171.

Волканов Д. Ю., Зорин Д. А. Исследование применимости моделей оценки надежности для разработки программного обеспечения с открытым исходным кодом // Программные системы и инструменты. Тематический сборник № 10. М.: Изд-во факультета ВМиК МГУ. – 2009. – С. 125-134.

9. Zorin D. A. Convergence and Accuracy Measurement of Scheduling on Multiprocessors with Simulated Annealing // VII Moscow International Conference on Operations Research (ORM2013): Proceedings, Vol. 1. Moscow: MAKS Press. – 2013. – P. 94-97.

10. Zorin D. A. Scheduling Signal Processing Tasks for Antenna Arrays with Simulated Annealing // Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). Kazan, Russia:

Kazan National Research Technical University. – 2013. – P. 122-127.

Зорин Д. А. Преобразование расписаний в итерационных алгоритмах 11.

структурного синтеза вычислительных систем // XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2013. – С. 24-25.

Зорин Д. А. Сравнение различных стратегий применения операций в алгоритме имитации отжига для задачи построения расписаний для многопроцессорных систем // Параллельные вычисления и задачи управления PACO'2012. Шестая международная конференция, Москва, 24-26 окт.

2012 г., Труды: в 3 т. М.: ИПУ РАН. – 2012. – Том 1. – С. 278-291.

13. Zorin D. A., Kostenko V. A. Co-design of Real-time Embedded Systems under Reliability Constraints // Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS). Brno, Czech Republic: Brno University of Technology. – 2012. – P. 392-396.

Зорин Д. А. Метод синтеза архитектуры вычислительной системы реального времени при ограничениях на надежность // Сборник тезисов лучших дипломных работ 2011 года. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2011. – С. 99-100.

Зорин Д. А. Метод синтеза архитектуры вычислительной системы реального времени при ограничениях на надежность // XVIII Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2011. – С. 141Зорин Д. А. Исследование применимости моделей оценки надежности для 16.

разработки программного обеспечения с открытым исходным кодом // XVII Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»:

Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2010. – С. 121-122.





Похожие работы:

«Мирошкин Владимир Львович МАТЕМАТИЧЕСКОЕ И КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ДВИЖЕНИЯ КОСМИЧЕСКИХ АППАРАТОВ С ВНУТРЕННЕЙ ДИНАМИКОЙ Специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва, 2009 Работа выполнена на кафедре Теории вероятностей Московского авиационного института (государственного технического университета). Научный руководитель : доктор...»

«Бутаков Анатолий Владимирович ИССЛЕДОВАНИЕ МОЛЕКУЛЯРНОЙ ДИНАМИКИ И СТРУКТУРЫ ЭЛАСТОМЕРОВ МЕТОДОМ ЯДЕРНОЙ МАГНИТНОЙ РЕЛАКСАЦИИ Специальность 01.04.07. – физика конденсированного состояния АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Челябинск – 2011 www.sp-department.ru Работа выполнена на кафедре радиофизики и электроники ГОУ ВПО Челябинский государственный университет Научный руководитель : доктор физико-математических наук,...»

«УДК 517.917 БЫКОВА ТАТЬЯНА СЕРГЕЕВНА ЛЯПУНОВСКАЯ ПРИВОДИМОСТЬ ЛИНЕЙНОЙ СИСТЕМЫ С ПОСЛЕДЕЙСТВИЕМ 01.01.02 дифференциальные уравнения АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Ижевск – 2005 Работа выполнена в ГОУ ВПО Ижевский государственный технический университет. Научный руководитель : доктор физико-математических наук, профессор Тонков Евгений Леонидович Официальные оппоненты : доктор физико-математических наук, профессор...»

«ГАВРИЛОВ Алексей Андреевич ИССЛЕДОВАНИЕ ЛИНЕЙНЫХ И СЕТЧАТЫХ СЛУЧАЙНЫХ ПОЛИМЕРНЫХ СИСТЕМ МЕТОДАМИ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ Специальности 02.00.06 высокомолекулярные соединения, 01.04.07 – физика конденсированного состояния Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Москва – 2013 Работа выполнена на кафедре физики полимеров и кристаллов физического факультета Московского Государственного Университета имени М. В. Ломоносова....»

«УДК 514.765 Воронцов Александр Сергеевич Инварианты и геометрические свойства орбит коприсоединенного действия групп Ли Специальность 01.01.04 — геометрия и топология АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва — 2010 Работа выполнена на кафедре дифференциальной геометрии и приложений Механико-математического факультета Московского...»

«Дмитриев Валерий Федорович РАЗВИТИЕ ТЕОРИИ И МЕТОДОВ РАСЧЕТА УСТРОЙСТВ НА ПОВЕРХНОСТНЫХ АКУСТИЧЕСКИХ ВОЛНАХ ДЛЯ ОБРАБОТКИ РАДИОСИГНАЛОВ Специальность 05.12.04 Радиотехника, в том числе системы и устройства радионавигации, радиолокации и телевидения АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора технических наук Санкт-Петербург – 2004 Работа выполнена в акционерном обществе открытого типа научноисследовательский институт “Системотехники” Научный консультант -...»

«ГЕРАСИМОВ Владимир Константинович ТЕРМОДИНАМИЧЕСКИЙ АНАЛИЗ АМОРФНОГО РАССЛОЕНИЯ ПОЛИМЕР-ПОЛИМЕРНЫХ СИСТЕМ Автореферат диссертации на соискание ученой степени доктора химических наук Научный консультант доктор химических наук, профессор А.Е. Чалых специальность 02.00.04 – физическая химия Москва 2012 www.sp-department.ru Работа выполнена в Институте физической химии и электрохимии им. А.Н. Фрумкина РАН. Официальные оппоненты : Член-коррреспондент РАН, доктор химических наук,...»

«УДК 534.2 Карабутов Александр Александрович АКУСТИЧЕСКИЕ ИМПУЛЬСЫ В СЛОИСТЫХ СРЕДАХ: СТРУКТУРНЫЕ ОСОБЕННОСТИ РАСПРОСТРАНЕНИЯ И ПРИМЕНЕНИЕ В ДИАГНОСТИКЕ МАТЕРИАЛОВ Специальность: 01.04.06 – акустика АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва - 2013 Работа выполнена на кафедре акустики физического факультета Московского государственного...»

«Сидоров Евгений Николаевич ОСОБЕННОСТИ ОПТИЧЕСКИХ СВОЙСТВ СИЛЬНО ЛЕГИРОВАННОГО GaAs:Te В УСЛОВИЯХ КОРРЕЛИРОВАННОГО РАСПРЕДЕЛЕНИЯ ПРИМЕСИ Специальность 01.04.10 – физика полупроводников АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико–математических наук Томск – 2010 Работа выполнена в Омском филиале Института физики полупроводников им. А.В. Ржанова СО РАН Научный руководитель : кандидат физико–математических наук Давлеткильдеев Надим Анварович Официальные...»

«. УДК 517.95 Амбарцумян Ваграм Эдвардович Спектральные вопросы задачи Франкля для уравнения смешанного типа и разрешимость аналога этой задачи для уравнения Гельмгольца Специальность 01.01.02 - дифференциальные уравнения, динамические системы и оптимальное управление АВТОРЕФЕРАТ диссертация на соискание ученой степени кандидата физико-математических наук Москва –...»

«МУТИНА Альбина Ришатовна ВН УТРЕННИ Е ГРАДИ ЕН ТЫ МАГНИ ТНОГО ПОЛЯ В ПОРИС ТЫ Х СРЕДАХ: Э КСПЕРИМ ЕН ТАЛЬНО Е ИССЛ ЕДОВАНИ Е Специальность 01.04.07 – физика конденсированного состояния Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Казань 2007 Работа выполнена на кафедре молекулярной физики...»

«ЛУКАШОВ Олег Юрьевич ИССЛЕДОВАНИЕ ВОЛНОВЫХ ЭФФЕКТОВ, ВОЗНИКАЮЩИХ ПРИ РАСПРОСТРАНЕНИИ УДАРНЫХ ВОЛН ПО РАЗВЕТВЛЕННОЙ СЕТИ ГОРНЫХ ВЫРАБОТОК 01.02.05 – Механика жидкости, газа и плазмы Автореферат диссертации на соискание учёной степени кандидата физико-математических наук Томск - 2003 2 Работа выполнена в Томском государственном университете. Научный руководитель : доктор технических наук, ст. н. с. Палеев Дмитрий Юрьевич Официальные оппоненты : доктор физико-математических наук...»

«Пономарев Иван Викторович СТРУКТУРЫ ДЛЯ ДЕТЕКТОРОВ ИОНИЗИРУЮЩИХ ИЗЛУЧЕНИЙ НА ОСНОВЕ ЭПИТАКСИАЛЬНОГО АРСЕНИДА ГАЛЛИЯ специальность 01.04.10 – физика полупроводников АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Томск – 2011 Работа выполнена на кафедре полупроводниковой электроники ГОУ ВПО Национальный исследовательский Томский государственный университет и в лаборатории физики полупроводников ОСП Сибирский физикотехнический институт...»

«МИТРОХИН Владимир Павлович Микро- и наноструктуры для нелинейно-оптических преобразований сверхкоротких лазерных импульсов и спектроскопии когерентного антистоксова рассеяния света Специальность 01.04.21 — лазерная физика АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва — 2010 Работа выполнена на кафедре общей физики и волновых процессов физического факультета Московского государственного университета имени М.В.Ломоносова Научный...»

«МУРАВЬЕВ Федор Александрович ЛИТОЛОГО-МИНЕРАЛОГИЧЕСКАЯ ХАРАКТЕРИСТИКА ПЕРМСКИХ МАРКИРУЮЩИХ КАРБОНАТНЫХ ГОРИЗОНТОВ РТ 25.00.06 – Литология АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата геолого-минералогических наук КАЗАНЬ – 2007 Работа выполнена на кафедре общей геологии и гидрогеологии, кафедре минералогии и петрографии геологического факультета, в научноисследовательской лаборатории физики минералов и их аналогов (ФМА) Казанского государственного университета...»

«КАРЯКИН Иван Юрьевич МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОГНОЗИРОВАНИЕ СТРУКТУРЫ СТАЛИ ПОСЛЕ ТЕРМИЧЕСКОЙ ОБРАБОТКИ Специальность 05.13.18 – математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Тюмень – 2011 Работа выполнена на кафедре информационных систем Института математики, естественных наук и информационных технологий ФГБОУ ВПО Тюменский государственный университет. Научный...»

«Алентьев Александр Юрьевич ПРОГНОЗИРОВАНИЕ ТРАНСПОРТНЫХ СВОЙСТВ СТЕКЛООБРАЗНЫХ ПОЛИМЕРОВ: РОЛЪ ХИМИЧЕСКОЙ СfРУКТУРЫ И СВОБОДНОГО ОБЪЕМА 05.17.18 -Мембраны и мембранная технолоmя. Автореферат диссертации на соискание ученой степени доктора хнмичесхих наук Москва- 2003 www.sp-department.ru Работа выполнена в Ордена Трудового Красного Знамени Институте нефтехимического синтеза им. А.В. Топчиева Российской академии наук Официальные оппоненты: академик РАН, доктор физико­...»

«УДК 515.126.4 Фоменко Татьяна Николаевна ТОПОЛОГИЧЕСКИЕ МЕТОДЫ В ТЕОРИИ НЕПОДВИЖНЫХ ТОЧЕК И СОВПАДЕНИЙ 01.01.04 - геометрия и топология АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук Москва 2010 Работа выполнена на кафедре общей математики факультета Вычислительной Математики и Кибернетики Московского государственного университета имени...»

«Куприянов Владислав Геннадьевич Квантование нелагранжевых теорий Специальность 01.04.02 – теоретическая физика Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Томск 2007 г. Работа выполнена на кафедре квантовой теории поля физического факультета Томского государственного университета. Научные руководители: доктор физико-математических наук, профессор кафедры квантовой теории поля...»

«НИКИТИН АНДРЕЙ ГЕННАДЬЕВИЧ АСИМПТОТИЧЕСКОЕ ИССЛЕДОВАНИЕ НЕЛИНЕЙНЫХ НЕЛОКАЛЬНЫХ МОДЕЛЕЙ ТИПА РЕАКЦИЯ-ДИФФУЗИЯАДВЕКЦИЯ С ПОГРАНИЧНЫМИ И ВНУТРЕННИМИ СЛОЯМИ 01.01.03 – математическая физика Автореферат диссертации на соискание ученой степени доктора физико-математических наук Москва 2008 Работа выполнена на кафедре математики физического факультета Московского государственного университета имени М.В.Ломоносова Научный консультант доктор физико-математических наук профессор...»






 
© 2013 www.diss.seluk.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Методички, учебные программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.