Методология структурно-параметрического синтеза системы поддержки принятия решений при проектировании и эксплуатации тепло- и массообменного оборудования тема диссертации и автореферата по ВАК РФ 05.13.01, доктор наук Алексеев Сергей Юрьевич

• Алексеев Сергей Юрьевич
• доктор наук
• 2019

Оглавление диссертации доктор наук Алексеев Сергей Юрьевич

Введение

1 Современные методы построения программного обеспечения

расчета режимов функционирования технических систем

1.1 Методы решения задач математического моделирования

1.2 Программное обеспечение для моделирования технических систем

1.3 Обзор существующих методов разработки

1.4 Основные задачи архитектурного проектирования

1.5 Общие методы архитектурного проектирования

1.6 Постановка задачи исследования

2. Структурно-параметрический синтез системы поддержки

принятия решений

2.1 Постановка задачи структурно-параметрического синтеза системы поддержки принятия решений

2.2 Принципы методологии

2.3 Признаки соответствия системы поддержки принятия решений технической системе

2.4 Алгоритм структурно-параметрического синтеза системы поддержки принятия решений

2.5 Структура методологии

2.6 Свойства процесса синтеза системы поддержки принятия решений

2.7 Свойства вычислений в системе поддержки принятия решений

2.8 Уровни представления программных абстракций

Выводы к разделу

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

3.1 Задача теплопроводности для одномерных многослойных тел канонической формы

3.2 Решение задачи теплопроводности для полого ограниченного цилиндра с функционально меняющейся температурой

окружающей среды со стороны боковых поверхностей

3.3 Нестационарное температурное поле параллелепипеда

3.4 Дифференциальное уравнение переноса тепла жидкостью,

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

переноса тепла теплопроводностью

Выводы к разделу

4 Представление структуры технической системы

4.1 Выбор метода представления структуры технической системы

4.2 Связность программных абстракций технической системы

4.3 Зацепление программных абстракций технической системы

4.4 Взаимное влияние связности и зацепления программных абстракций

4.5 Методы конструирования типов данных для описания программных абстракций

4.6 Использование методов проблемно-ориентированного программирования

4.7 Исследование влияния структуры программных абстракций на

сложность сценариев их взаимодействия

Выводы к разделу

5 Программное представление динамики технической системы

5.1 Организация алгоритмов обработки информации на основе децентрализованных вычислительных архитектур

5.2 Анализ возможности использования децентрализованных архитектур в рамках одного потока вычисления

5.3 Недостатки существующих методов объектно-ориентированного программирования при представлении динамики техниче ских систем

5.4 Анализ методов организации параллельных вычислений, близких по структуре к объектам

5.5 Представление программных абстракций на основе активных объектов

5.6 Моделирование функционирования активных объектов

5.7 Методы обеспечения совпадения состояний технической системы и системы поддержки принятия решений во времени

5.8 Использование потоков и процессов

5.9 Управление вычислительной нагрузкой при использовании аналитических решений систем дифференциальных уравнений

5.10 Показатели производительности вычислений в системе поддержки принятия решений

5.11 Представление взаимосвязей элементов в технической системе

5.12 Связывание программных абстракций с помощью сообщений

5.13 Представление взаимодействия с помощью сообщений

5.14 Виды сообщений

5.15 Обмен информацией между элементами внутри абстракции

5.16 Распределенные вычисления в системе поддержки принятия решений

5.17 Моделирование работы абстракций на основе вычислительной

сети реального времени

Выводы к разделу

6. Иллюстрация аспектов методологии в прикладных работах

6.1 Библиотека программных элементов для моделирования нестационарных теплообменных процессов

6.2 Структурно-параметрический синтез моделей изолирующих дыхательных аппаратов дополненной реальности

6.3 Компьютерная модель нестационарного процесса теплообмена

6.4 Методология разработки изолирующих дыхательных аппаратов

на основе компьютерного моделирования

6.5 Краткое описание выполненных работ получивших внедрение

в производство

Выводы к разделу

Заключение

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

Приложение А (справочное) Программная реализация алгоритма

расчета состава газовой смеси, движущейся в цилиндрической

обечайке с расположенным внутри змеевиком

Приложение Б (справочное) Программная реализация модели

взаимосвязанной работы активных объектов

Приложение В (справочное) Программная реализация модели функционирования активных объектов на основе распределенной

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

Приложение Г (справочное) Программная реализация модели функционирования активных объектов на основе вычислительной

сети реального времени

Приложение Д (справочное) Программная реализация алгоритма расчета нестационарного температурного поля в одноходовом

кожухотрубчатом теплообменнике

Приложение Е (справочное) Справки об использовании результатов

докторской диссертационной работы

Приложение Ж (справочное) Копии патентов на изобретение, полезную модель и свидетельств о регистрации программ для ЭВМ

Введение диссертации (часть автореферата) на тему «Методология структурно-параметрического синтеза системы поддержки принятия решений при проектировании и эксплуатации тепло- и массообменного оборудования»

ВВЕДЕНИЕ

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

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

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

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

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

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

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

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

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

Большой вклад в развитие теории системного анализа и систем поддержки принятия решений внесли Д.А. Новиков, Г.С. Поспелов, В.А. Острейковский.

Большой вклад в развитие методов архитектурного проектирования систем обработки информации и инженерии программных систем внесли такие учёные, как Edward Nash Yourdon, Timothy A. Budd, Christopher Wolfgang Alexander, Alan Curtis Kay, Ian F. Sommerville, Erich Gamma, Peter Coad, Grady Booch.

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

Объект исследования - тепло- и массообменное оборудование, в котором поля температур и концентраций определяют основные показатели эффективности его проектирования и эксплуатации.

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

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

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

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

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

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

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

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

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

1) Принцип декомпозиции технической системы, отличающийся учётом специфики аналитических решений уравнений математических моделей, обеспечивающий получение элементов, множество состояний которых

представляется аналитическими решениями уравнений математических моделей тепло- и массообменного оборудования (п. 7).

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

3) Определенную для проблемно-ориентированной системы поддержки принятия решений совокупность признаков качественного и количественного соответствия протекающих в ней процессов обработки информации, процессам, протекающих в тепло- и массообменном оборудовании; параметрическую модель описания множества состояний, единую для системы поддержки принятия решений и тепло- и массообменного оборудования (п. 3).

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

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

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

выполняющей расчёт характеристик режимов работы тепло- и массобменного оборудования на основе аналитических решений уравнений математической физики в частных производных, а именно:

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

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

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

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

Практическая значимость заключается в предложенных алгоритмах и методах:

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

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

— обеспечивающих сокращение времени вычислений;

— использованных для выполнения ряда прикладных работ, в том числе:

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

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

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

Работа соответствует п.п. 3, 4, 5, 7, 9 паспорта специальности 05.13.01 «Системный анализ, управление и обработка информации (по отраслям)».

Работа выполнена в рамках государственного задания образовательным организациям высшего образования, подведомственным Министерству науки и высшего образования Российской Федерации, в сфере научной деятельности на период 2017-2019 годы, проект № 8.2906.2017/ПЧ «Разработка мобильных адаптивных тренажерных комплексов для эргатических систем профессионального назначения, реализующих методы дополненной реальности, предупреждения и ликвидации чрезвычайных ситуаций техногенного характера, возникающих по вине человеческого фактора».

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

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

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

— принципы структурно-параметрического синтеза проблемно-ориентированной системы поддержки принятия решений;

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

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

— трёхуровневую форму описания программных абстракций элементов технологического оборудования.

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

Основные положения диссертационной работы обсуждались на следующих конференциях и семинарах: межрегиональная н.конф. «Фундаментальная наука центральной России», Тамбов, 2007; российской н.конф «Новое поколение систем жизнеобеспечения и защиты человека в чрезвычайных ситуациях техногенного и

природного характера» (к 145-летию со дня рождения академика Н.Д. Зелинского, изобретателя угольного противогаза), Тамбов, 2006; промежуточный научный семинар стипендиатов DAAD программы «Михаил Ломоносов», Bonn, 2007, итоговой научный семинар стипендиатов DAAD программы «Михаил Ломоносов», Москва, 2008; международная научно-практическая конференция «Системы и технологии жизнеобеспечения, индикации, химической разведки и защиты человека от негативных факторов химической природы», Тамбов 2013; международная научно-практической конференция «Виртуальное моделирование, прототипирование и промышленный дизайн», Тамбов, 2015; международная научно-практическая конференция «В.И. Вернадский: устойчивое развитие регионов», 2016; научно-практическая конференция (с международным участием) «Технологии жизнеобеспечения и техносферной безопасности человека», 2018; XVII, XVIII, XIX International Multidisciplinary Scientific GeoConference SGEM 2017, 2018, 2019.

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

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

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

системы с этапами выбора метода решений уравнений математической модели.

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

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

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

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

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

производства нанопродуктов» и «Компьютерно-интегрированные системы в машиностроении».

Автор выражает глубокую благодарность научному консультанту д.т.н., профессору Евгению Николаевичу Туголукову.

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

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

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

1 СОВРЕМЕННЫЕ МЕТОДЫ ПОСТРОЕНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАСЧЕТА РЕЖИМОВ ФУНКЦИОНИРОВАНИЯ

ТЕХНИЧЕСКИХ СИСТЕМ

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

— определение размеров партий продуктов для периодических производств;

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

— определение режимов функционирования основного и вспомогательного производственного оборудования;

— нахождение вариантов размещения оборудования и трассировки коммуникаций;

— разработка систем контроля и управления производством.

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

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

Для решения перечисленных выше задач может требоваться решение дополнительных задач:

- получение первичной информации о ходе технологического процесса и ее обработка, включая проверку достоверности;

- выработка комплексной оценки текущего состояния процесса;

- определение качества продукта по его теплофизическим характеристикам на основе решения обратной задачи теплопроводности;

- распознавание ситуации, требующей прогнозирования;

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

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

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

общей задачи при проектировании или эксплуатации технологического оборудования.

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

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

Список литературы диссертационного исследования доктор наук Алексеев Сергей Юрьевич, 2019 год

СПИСОК ЛИТЕРАТУРЫ

1 Туголуков, Е.Н. Математическое моделирование технологического оборудования многоассортиментных химических производств: монография / Е.Н. Туголуков. - М.: «Издательство Машиностроение-1», 2004, - 100 с.

2 Новиков, А.М. Методология: словарь системы основных понятий/

A.М. Новиков, Д.А. Новиков - М.: Либроком, 2013. - 208 с.

3 Поспелов, Д. А. Прикладная семиотика и искусственный интеллект / Д. А. Поспелов // Программные системы и продукты. - 1996. - № 3. - С. 14—28.

4 Острейковский, В.А. Теоретико-множественое и динамическое описание систем: Конспект лекций по курсу «Основы теории систем»: [В 2 ч.] /

B.А. Острейковский. - Обнинск: Обнинский институт атомной энергетики, 1987. -102 с.

5 Поспелов, Д. А Нечеткие множества в моделях управления и искусственного интеллекта / Д.А. Поспелов (ред) - М.: Наука. Гл. ред физ.-мат. лит., 1986.-312 с.

6 Abar, S. Agent based modelling and simulation tools: a review of the state-of-art software /S.Abar [et al] //Computer Science Review. - 2017. - Т. 24. - С. 13-33.

7 Bandini, S. Agent based modeling and simulation: an informatics perspective / S. Bandini, S. Manzoni , G.Vizzari //Journal of Artificial Societies and Social Simulation. - 2009. - Т. 12. - №. 4. - С. 4.

8 Батунер, Л. М. Математические методы в химической технике / Л.М. Батунер, М.Е. Позин. - 6-е изд., испр.- Л.: Химия, 1971. - 824 с.

9 Михайлов, Ю.А. Вариационные методы в теории нелинейного тепло- и массопереноса / Ю.А. Михайлов, Ю.Т. Глазунов. - Рига: Зинатне, 1985. - 190 с.

10 Дильман, В.В. Методы модельных уравнений и аналогий / В. В. Дильман,

A. Д. Полянин. - М.: Химия, 1988. - 304 с.

11 Коздоба, Л.А. Решения нелинейных задач теплопроводности / Л.А. Коздоба. - Киев: Наукова Думка, 1976. - 136 с.

12 Зайцев, В.Ф. Справочник по нелинейным дифференциальным уравнениям /

B.Ф. Зайцев, А. Д. Полянин. - М.: Наука, 1993. - 464 с.

13 Козлов, В. П. Двумерные осесимметричные нестационарные задачи теплопроводности / В. П. Козлов. - Минск: Наука и техника, 1986. - 392 с.

14 Иванов, В.В. Процессы прогрева многослойных тел лучисто-конвективным теплом / В. В. Иванов, Ю. В. Видин, В. А. Колесник. - Ростов-на-Дону: Изд-во Ростовского университета, 1990. - 160 с.

15 Малыгин, Е.Н. Автоматизированный расчет оборудования гибких технологических производств / Е.Н. Малыгин, С.В. Карпушкин // Химическая промышленность. - 1985. - № 2. - С. 118 - 123.

16 Коновалов, В. И. О возможностях использования точных, интервальных и приближенных аналитических методов в задачах тепло- и массопереноса в твердых телах / В. И. Коновалов, Е. Н. Туголуков, Н. Ц. Гатапова. // Вестник ТГТУ.

- 1995. - Т. 1 - 2. - С. 75 - 90.

17 Самарский, А.А. Численные методы / А.А. Самарский, А.В. Гулин. - М.: Наука, 1989. - 432 с.

18 Калиткин, Н.Н. Численные методы / Н.Н. Калиткин. - М.: Наука, 1978. -512 с.

19 Оран, Э. Численное моделирование реагирующих потоков / Э. Оран, Дж. Борис. - М.: Мир, 1990. - 660 с.

20 Левич, В.Г. Физико-химическая гидродинамика / В. Г. Левич. - 2-е изд., перераб. и доп. - М.: Физматиздат, 1959. - 700 с.

21 Франк-Каменецкий, Д. А. Диффузия и теплопередача в химической кинетике / Д. А. Франк-Каменецкий. - 3-е изд., испр. и доп. - М.: Наука, 1987. -492 с.

22 Лыков, А. В. Тепломассообмен: Справочник / А.В. Лыков. - 2-е изд., перераб. и доп. - М.: Энергия, 1978. - 480 с.

23 Лыков, А. В. Теория теплопроводности / А. В. Лыков. - М.: Высшая школа, 1967. - 600 с.

24 Карлсроу, Г. Теплопроводность твердых тел / Г. Карлсроу, Д. Егер. - М.: Наука, 1964. - 488 с.

25 Беляев, Н. М. Методы теории теплопроводности / Н. М. Беляев, А.А. Рядно.

- М.: Высшая школа, 1982. - Ч. 1. - 327 с., Ч. 2. - 304 с.

26 Карташов, Э. М. Аналитические методы в теории теплопроводности твердых тел / Э. М. Карташов. - 2-е изд. - М.: Высшая школа, 1985. - 480 с.

27 Бэррер, Р. Диффузия в твердых телах / Р. Бэррер. - М.: Издатинлит, 1948. -504 с.

28 Crank, J. The Mathematics of Diffusion / J. Crank. - Oxford: Clarendon, 1975. -

- 414 c.

29 Кошляков, Н. С. Уравнения в частных производных математической физики / Н.С. Кошляков, Э. Б. Глинер, М. М. Смирнов. - М.: Высш. школа, 1970. - 712 с.

30 Нигматулин, Р. И. Динамика многофазных сред / Р. И. Нигматулин. - М.: Наука, 1987. - Ч. 1. - 464 с., Ч. 2. - 360 с.

31 Кафаров, В.В. Системный анализ процессов химической технологии. Энтропийный и вариационный методы неравновесной термодинамики /

B. В. Кафаров, И. Н. Дорохов, Э. М. Кольцова. - М.: Наука, 1980. - 367 с.

32 Merchan, V. A. Computer-Aided Process and Plant Development. A Review of Common Software Tools and Methods and Comparison against an Integrated Collaborative Approach /V. A Merchan [et al] //Chemie Ingenieur Technik. - 2016. -Т. 88. - № 1-2. - С. 50-69.

33 Braunschweig, B. Software architectures and tools for computer aided process engineering /B. Braunschweig , R. Gani (ed.). - Elsevier, 2002. - Т. 11. - 712 с.

34 Marquardt, W. Towards a Process Modeling Methodolgy/W.Marquardt //Methods of Model Based Process Control. - Dordrecht: Springer, 1995. - С. 3-40.

35 Cameron, I. T. Process modelling and model analysis/I. T Cameron., K. Hangos.

- Elsevier, 2001. - Т. 4. - 543 с.

36 Preisig, H. A. Constructing and maintaining proper process models/ H. A. Preisig //Computers & chemical engineering. - 2010. - Т. 34. - № 9. -

C.1543-1555.

37 Esche, E. Systematic approaches for model derivation for optimization purposes/ E. Esche [et al] //Chemical Engineering Science. - 2014. - Т. 115. - С. 215-224.

38 Fritzson, P. Principles of object-oriented modeling and simulation with Modelica/ P. Fritzson 2.1. - John Wiley & Sons, 2010. - 940 с.

39 Bussieck, M. R. General algebraic modeling system (GAMS) / M. R.Bussieck, A. Meeraus //Modeling languages in mathematical optimization. - Boston: Springer, MA, 2004. - С. 137-157.

40 Fourer, R. W. AMPL: a modeling language for mathematical programming, 2nd edn./R. Fourer , D. M.Gay , B. W.Kernighan. - Boston: Cengage Learning. - 2002.540 с.

41 Stolarski, T. Engineering analysis with ANSYS software/Т. Stolarski, Y. Nakasone., S. Yoshimoto. - Butterworth-Heinemann, 2018. - 562 с.

42 Shih, R. Introduction to finite element analysis using solidworks simulation/R.Shih . - SDC publications, 2014. - 503 с.

43 Tickoo, S. Autodesk Simulation Mechanical 2016 for Designers, 3rd Edition CADCIM Technologies /S. Tickoo. - Schererville, 2015. — 430 с.

44 Gielzecki, J. The simulation of temperature distribution in a ground heat exchanger—GHE using the autodesk CFD simulation program/J. Gielzecki , T. Jakubowski //Renewable Energy Sources: Engineering, Technology, Innovation. -Cham: Springer. - 2018. - С. 333-343.

45 Crisfild, M. A. Finite element analysis of solids and strukturer/M. A. Crisfild/ -Wiley, 1996. - 362 c.

46 Systèmes D. ABAQUS unified FEA: Complete solutions for realistic simulation [Электронный ресурсу/Dassault Systemes. - 2014. - Режим доступа: https://www.3ds. com/productsservices/simulia/products/abaqus.

47 Tonks, M. R. An object-oriented finite element framework for multiphysics phase field simulations /M. R.Tonks [et al] //Computational Materials Science. - 2012.

Т. 51. - № 1. - C. 20-29.

48 AspenTech, Aspen Custom Modeler, v.8.0 [электронный ресурс] // Documentation, 2015. - Режим доступа:

https://www.aspentech.com/products/pages/aspen-custom-modeler

49 Next generation modeling tools accross the process lifecycle [Электронный ресурс]. - Режим доступа: https://www.psenterprise.com/products/gproms

50 Cho, W. Optimal design and operation of a natural gas tri-reforming reactor for DME synthesis /W. Cho [et al]//Catalysis Today. - 2009. - T. 139. - № 4. -

C. 261-267.

51 Preisig, H. A. Constructing and maintaining proper process models / H. A. Preisig //Computers & chemical engineering. - 2010. - T. 34. - № 9. - C. 1543-1555.

52 Kraus, R. Improving Model and Data Integration Using MOSAIC as Central Data Management Platform /Kraus, R., Fillinger, S., Tolksdorf, G., Minh,

D. H., Merchan-Restrepo, V. A., & Wozny. G //Chemie Ingenieur Technik. - 2014. -T. 86. - № 7. - C. 1130-1136.

53 Heitzig, M. A computer-aided framework for development, identification and management of physiologically-based pharmacokinetic models / M. Heitzig [et al] //Computers & Chemical Engineering. - 2014. - T. 71. - C. 677-698.

54 Mangold, M. Development and nonlinear analysis of dynamic plant models in ProMoT/diana / M. Mangold [et al] //Chemie Ingenieur Technik. - 2014. - T. 86. -№ 7. - C. 1107-1116.

55 Kraus, R. Improving Model and Data Integration Using MOSAIC as Central Data Management Platform / R. Kraus [et al] //Chemie Ingenieur Technik. - 2014. - T. 86. - № 7. - C. 1130-1136.

56 Duff, I. S. On permutations to block triangular form/I. S.Duff //IMA Journal of Applied Mathematics. - 1977. - T. 19. - № 3. - C. 339-342.

57 Pantelides, C. C. The mathematical modelling of transient systems using differential-algebraic equations [et al] /C. C Pantelides//Computers & chemical engineering. - 1988. - T. 12. - № 5. - C. 449-454.

58 Brenan, K. E. Numerical solution of initial-value problems in differential-algebraic equations/K. E. Brenan ,S. L. Campbell , L. R. Petzold . - Siam, 1996. - T. 14. - 256 c.

59 Pantelides, C. C. The consistent initialization of differential-algebraic systems //SIAM Journal on Scientific and Statistical Computing/C. C. Pantelides //Computers & chemical engineering . - 1988. - T. 9. - № 2. - C. 213-231.

60 Vieira, R. C. Direct methods for consistent initialization of DAE systems/ R. C.Vieira , Jr. E. C. Biscaia //Computers & Chemical Engineering. - 2001. - T. 25. -№ 9-10. - C. 1299-1311.

61 Soares, R. P. Structural analysis for static and dynamic models/R. P. Soares , A. R.Secchi //Mathematical and Computer Modelling. - 2012. - T. 55. - № 3-4. -C.1051-1067.

62 Madenci, E. The finite element method and applications in engineering using ANSYS®/E. Madenci , I. Guven. - New York: Springer, 2015. - 696 c.

63 Walther, A. Combinatorial Scientific Computing /Walther A., Griewank A.//Chapter Getting Started with ADOL-C. - 2012. - C. 181-202

64 Bischof, C. H. Combining source transformation and operator overloading techniques to compute derivatives for MATLAB programs /Bischof, C. H., Bucker, H. M., Lang, B., Rasch, A., Vehreschild, A.//Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation. - IEEE, 2002. - C. 65-72.

65 Dubbeldam, D. RASPA: molecular simulation software for adsorption and diffusion in flexible nanoporous materials /D. Dubbeldam [et al].//Molecular Simulation. - 2016. - T. 42. - № 2. - C. 81-101.

66 Borgenstam, A. DICTRA, a tool for simulation of diffusional transformations in alloys /Borgenstam, A., Hoglund, L., Agren, J., Engstrom, A.// Journal of phase equilibria. - 2000. - T. 21. - № 3. - 269 c.

67 Sinha, S. Review of software tools for hybrid renewable energy systems /Sinha S., Chandel S. S.//Renewable and Sustainable Energy Reviews. - 2014. - T. 32. -C. 192-205.

68 Choudhari, C. M. Casting design and simulation of cover plate using AutoCAST-X software for defect minimization with experimental validation / C. M. Choudhari , B. E.Narkhede , S. K. Mahajan //Procedia materials science. - 2014. - T. 6. - C. 786-797.

69 Rabold, F. Automated finite element simulation of fatigue crack growth in three-dimensional structures with the software system ProCrack / F.Rabold, M. Kuna //Procedia materials science. - 2014. - T. 3. - C. 1099-1104.

70 Agapito, G. PASSATA: object oriented numerical simulation software for adaptive optics /G. Agapito., А. Puglisi , S. Esposito //Adaptive Optics Systems V. -International Society for Optics and Photonics, 2016. - Т. 9909. - С. 99097.

71 Pal, P. A Visual Basic simulation software tool for performance analysis of a membrane-based advanced water treatment plant /Р. Pal [et al] //Environmental Science and Pollution Research. - 2014. - Т. 21. - № 3. - С. 1833-1849.

72 Haitao, L. Multi-Agent Technology Applied to Mobile Communication / L. Haitao , С. Xiaomin //Green Communications and Networks. - Dordrecht: Springer, 2012. - С. 1591-1596.

73 AgentBuilder User Manuals[Элекгронный ресурс]. - Режим доступа: http://www.agentbuilder.com

74 Malani, B. A. J. An Introductory of a Content Provider Agent in Higher Learning Institutions/B. A. J. Malani, Sultan A. B. M. //International Journal of Computer Science Issues (IJCSI). - 2011. - Т. 8. - № 4. - С. 48.

75 Zeid, A. A UML profile for agent-based development /А. Zeid//International Symposium on Metainformatics. - Berlin, Heidelberg: Springer, 2002. - С. 161-170.

76 Moon, Y. B. Simulation modelling for sustainability: a review of the literature/ Y. B.Moon //International Journal of Sustainable Engineering. - 2017. - Т. 10. - № 1. -

C. 2-19.

77 Allan, R. J. Survey of agent based modelling and simulation tools/R. J. Allan// Science & Technology Facilities Council. - 2010. - С. 1362-0207.

78 Macal, C. M. Everything you need to know about agent-based modelling and simulation/С.М. Macal //Journal of Simulation. - 2016. - Т. 10. - № 2. - С. 144-156.

79 Marvuglia, A. A return on experience from the application of agent-based simulations coupled with life cycle assessment to model agricultural processes / А. Marvuglia [et al] //Journal of cleaner production. - 2017. - Т. 142. - С. 1539-1551.

80 Robertson, D. Agent-Based Modeling Toolkits NetLogo, RePast, and Swarm. /

D. Robertson// Academy of Management Learning and Education. - T. 4. - С.524-527.

81 North, M. J., Managing business complexity: discovering strategic solutions with agent-based modeling and simulation/M. J.North , С.М. Macal. - Oxford University Press, 2007. - 328 с.

82 Whitaker, E. T. Agent-based simulation //Modeling and Simulation in the Systems Engineering Life Cycle/E.T.Whitaker E. - London: Springer, 2015. - С. 139155.

83 Macal, C. M. Agent-based modeling and simulation: ABMS examples / С.М. Macal, M. J. North //Winter Simulation Conference. - IEEE, 2008. - С. 101-112.

84 Macal, C. M. Tutorial on agent-based modeling and simulation/C. M. Macal , M. J. North. //Proceedings of the Winter Simulation Conference. - IEEE, 2005. -С. 14- 15.

85 Shiflet, A. B. An introduction to agent-based modeling for undergraduates / А.В. Shiflet, G. W. Shiflet //Procedia Computer Science. - 2014. - Т. 29. -С. 1392-1402.

86 Sun, Z. Simple or complicated agent-based models? A complicated issue/ Z.Sun [et al] //Environmental Modelling & Software. - 2016. - Т. 86. - С. 56-67.

87 Sommerville , I. Software engineering, tenth, global ed. /Sommerville I.Harlow: Pearson Education Limited, 2016. - 816 с.

88 Alshamrani, A. A comparison between three SDLC models waterfall model, spiral model, and Incremental/Iterative model /А. Alshamrani, А. Bahattab //International Journal of Computer Science Issues (IJCSI). - 2015. - Т. 12. - № 1. - С. 106.

89 Larman, C. Iterative and incremental developments a brief history/С. Larman, V. R. Basili //Computer. - 2003. - Т. 36. - № 6. - С. 47-56.

90 Soni, J. An Analytic Method to Study the Comparative Efficiency of Different Software Model / J. Soni , S. Agal //American Journal of Software Engineering. -2017. - Т. 5. - № 1. - С. 16-19.

91. Munassar, N. M. A. A comparison between five models of software engineering /N. M. A. Munassar , А. Govardhan //International Journal of Computer Science Issues (IJCSI). - 2010. - Т. 7. - № 5. - С. 94.

92 Mujumdar, A. Analysis of various software process models /A. Mujumdar, G. Masiwal , P. M. Chawan //International Journal of Engineering Research and Applications. - 2012. - T. 2. - № 3. - C. 2015-2021.

93 Hurst, J. Comparing Software Development Life Cycles /J. Hurst //SANNS Software Security, 2014. - 370 c.

94 Natarajan, H. A Comparison Between Present and Future Models Of Software Engineering/ H. Natarajan, R. K. Somasundaram , K. Lakshmi //International Journal of Computer Science Issues (IJCSI). - 2013. - T. 10. - № 2. - C. 47.

95 Balaji, S. Waterfall vs. V-Model vs. Agile: A comparative study on SDLC/ S. Balaji , M. S.Murugaiyan //International Journal of Information Technology and Business Management. - 2012. - T. 2. - C. 26-30.

96 Boehm, B. Balancing agility and discipline: A guide for the perplexed, portable documents/B. Boehm, R.Turner. - Addison-Wesley Professional, 2003. - 304 c.

97 Arlow, J. UML 2 and the unified process: practical object-oriented analysis and design/J.Arlow, I.Neustadt. - Pearson Education, 2005. - 624 c.

98 Boehm, B. W. A spiral model of software development and enhancement/ B. W. A. Boehm //Computer. - 1988. - № 5. - C. 61-72.

99 Budgen, D. Software design./D. Budgen.- Pearson Education, 2003. - 382 c.

100 Kruchten, P. The rational unified process: an introduction/P. Kruchten. -Addison-Wesley Professional, 2004. - 336 c.

101 Massol, V. J Unit in action./V. Massol., T. J. Husted - Manning Publications Co., 2003. - 504 c.

102 Rettig, M. Prototyping for tiny fingers /M. Rettig //Communications of the ACM. - 1994. - T. 37. - № 4. - C. 21-27.

103 Royce, W. W. Managing the development of large software systems: concepts and techniques/W. W. Royce //Proceedings of the 9th international conference on Software Engineering. - IEEE Computer Society Press, 1987. - C. 328-338.

104 Jacobson, I. The Unified Software Development Process./I. Jacobson , G.Booch, J.Rumbaugh. - Reading, Mass.: Addison-Wesley, 1999 - 512 c.

105 Schmidt, D. C. Model-driven engineering / D. C. Schmidt //COMPUTER-IEEE COMPUTER SOCIETY. - 2006. - T. 39. - № 2. - C. 25.

106 Schneider, S. The B-method: An introduction /S. Schneider - Palgrave, 2001. -370 c.

107 Wordsworth, J. B. Software engineering with B / J. B. Wordsworth. - Addison-Wesley Longman Publishing Co., Inc., 1996. - 331c.

108 Petersen, K. The waterfall model in large-scale development/K. Petersen,

C. Wohlin, D. Baca //International Conference on Product-Focused Software Process Improvement. - Berlin, Heidelberg: Springer, 2009. - C. 386-400.

109 Yin, R. K. Case study research design and methods third edition / R. K.Yin //Applied social research methods series. - 2003. - T. 5. - C. 240.

110 Pfleeger, S. L. Software engineering: theory and practice / S. L. Pfleeger, J. M.Atlee. -Prentice Hall , 2006. - 756 c.

111 Anderson, D. J. Agile management for software engineering: Applying the theory of constraints for business results / D. J. Anderson. - Prentice Hall Professional, 2003. - 352 c.

112 Karlstrom, D. Combining agile methods with stage-gate project management /

D. Karlstrom. P. Runeson //IEEE software. - 2005. - T. 22. - № 3. - C. 43-49.

113 Kuhrmann, M. Hybrid software and system development in practice: waterfall, scrum, and beyond / M. Kuhrmann [et al] //Proceedings of the 2017 International Conference on Software and System Process. - ACM, 2017. - C. 30-39.

114 Bourque, P. Guide to the software engineering body of knowledge (SWEBOK (R)): Version 3.0 / P. Bourque [et al]. - IEEE Computer Society Press, 2014. - 346 c.

115 Clarke, P. The situational factors that affect the software development process: Towards a comprehensive reference framework/ P. Clarke, R. V. O'Connor //Information and Software Technology. - 2012. - T. 54. - № 5. - C. 433-447.

116 Melo, C. O. The evolution of agile software development in Brazil / C.O. Melo [et al] /Journal of the Brazilian Computer Society. - 2013. - T. 19. - № 4. -C. 523.

117 Larman, C. Iterative and incremental developments. a brief history /С. Larman, V. R.Basili //Computer. - 2003. - Т. 36. - № 6. - С. 47-56.

118 Basile, F. An incremental model repair approach to timed discrete event systems/ F. Basile , Р. Chiacchio , J. Coppola //IFAC-PapersOnLine. - 2017. - Т. 50. -№ 1. - С. 13636-13641.

119 Zhou, J. AMR parsing with an incremental joint model / J. Zhou [et al]//Proceedings of the 2016 conference on empirical methods in natural language processing. - 2016. - С. 680-689.

120 Beck, K. Embracing change with extreme programming /К. Beck //Computer. -1999. - № 10. - С. 70-77.

121 Beck, K. Extreme programming explained: embrace change / К. Beck , Е. Gamma . - Addison-wesley professional, 2000. - 224 с.

122 Cohn, M. Succeeding with agile: software development using Scrum / М. Cohn - Pearson Education, 2010. - 512 с.

123 Schwaber, K. Agile project management with Scrum / К. Schwaber. - Microsoft press, 2004. - 192 с.

124 Schwaber, K. B., Sutherland B. M. Agile software development with Scrum / К. В. Schwaber , В. М. Sutherland //New York. - 2001. - 192 с.

125 Cockburn, A. Agile Software Development/ A. Cockburn. - Reading, Mass.: Addison-Wesley, 2001. - 504 с.

126 Cockburn, A. Crystal clear: a human-powered methodology for small teams / A. Cockburn . - Pearson Education, 2004. - 312 с.

127 Highsmith, J. Adaptive software development: a collaborative approach to managing complex systems / J. Highsmith. - Addison-Wesley, 2013. - 392 с.

128 Stapleton, J. DSDM, dynamic systems development method: the method in practice / J. Stapleton - Cambridge University Press, 1997. - 192 с.

129 Stapleton, J. DSDM: Business focused development / J. Stapleton. - Pearson Education, 2003. - 272 с.

130 Felsing, J. M. A practical guide to feature-driven development / J. M.Felsing , S. R. Palmer //IEEE software. - 2002. - Т. 7. - С. 67-72.

131 Ambler, S. Agile modeling: effective practices for extreme programming and the unified process / S. Ambler . - John Wiley & Sons, 2002. - 404 c.

132 Larman, C. Applying UML and Patterns: An Introduction to Object-oriented Analysis and Design and the Unified Process / C. Larman . - Prentice Hall, 2002. -736 c.

133 Cohn-Gordon, R. An Incremental Iterated Response Model of Pragmatics / R. Cohn-Gordon , N. D. Goodman , C. Potts //arXiv preprint arXiv:1810.00367. - 2018.

134 Lochau, M. Incremental model checking of delta-oriented software product lines / M. Lochau [et al] //Journal of Logical and Algebraic Methods in Programming. -2016. - T. 85. - № 1. - C. 245-267.

135 Zhou, Y. Incremental model based heuristic dynamic programming for nonlinear adaptive flight control / Y. Zhou, E. van Kampen, Q. P Chu //Proceedings of the International Micro Air Vehicles Conference and Competition, Beijing, China. - 2016. -C. 1 -7.

136 Wang, F. Y. Adaptive dynamic programming: An introduction /F. Y.Wang [et al] //IEEE Comput.Intell.Mag.- 2009. - T.4. - № 2. - C. 39 47.

137 Khan, S. G. l. Reinforcement learning and optimal adaptive control: An overview and implementation examples / S. G. Khan [et al]//Annual Reviews in Control. - 2012. - T. 36. - № 1. - C. 42-59.

138 Sieberling, S. Robust flight control using incremental nonlinear dynamic inversion and angular acceleration prediction / S. Sieberling, Q. P. Chu , J. A. Mulder // Journal of guidance, control and dynamics. - 2010. - T. 33. - № 6. - C. 1732-1742.

139 Acquatella, P. Incremental backstepping for robust nonlinear flight control / P. Acquatella, E. van Kampen, Q. P. Chu //Proceedings of the EuroGNC 2013, 2nd CEAS Specialist Conference on Guidance, Navigation and Control. - 2013. -C. 1444-1463.

140 Zhou, Y. Incremental model based online dual heuristic programming for nonlinear adaptive control /Y. Zhou , van E. J. Kampen , Q. P. Chu //Control Engineering Practice. - 2018. - T. 73. - C. 13-25.

141 Zhou, Y. Nonlinear adaptive flight control using incremental approximate dynamic programming and output feedback / Y. Zhou ,E. J. Kampen , Q. P. Chu //Journal of Guidance, Control and Dynamics. - 2016. - T. 40. - № 2. - C. 493-496.

142 Lochau, M. Incremental model checking of delta-oriented software product lines / M. Lochau [et al] //Journal of Logical and Algebraic Methods in Programming. -2016. - T. 85. - № 1. - C. 245-267.

143 Dyba, T. Empirical studies of agile software development: A systematic review / T. Dyba , T. Dingsoyr //Information and software technology. - 2008. - T. 50. - № 9-10. - C. 833-859.

144 Stephens, M. Extreme Programming Refactored: The Case Against XP APress / M. Stephens, D. Rosenberg //Apress Berkeley . - 2003. - C. 432.

145 Poole, C. Using extreme programming in a maintenance environment / C. Poole , J. W. Huisman //IEEE Software. - 2001. - T. 18. - № 6. - C. 42-50.

146 De Marco, T. The agile methods fray / T. de Marco, B. Boehm //Computer. -2002. - T. 35. - № 6. - C. 90-92.

147 Haber, A. MontiArc-Architectural Modeling and Simulation of Interactive Distributed Systems/ A. Haber . - Gmb.: Shaker Verlag , 2016. - 400 c.

148 Tauxe, L. PmagPy: Software package for paleomagnetic data analysis and a bridge to the Magnetics Information Consortium (MagIC) Database /L.Tauxe [et al]// Geochemistry, Geophysics, Geosystems. - 2016. - T. 17. - № 6. - C. 2450-2463.

149 Jorges, S. Construction and evolution of code generators: A model-driven and service-oriented approach / S. Jorges . - Springer, 2013. - 747 c.

150 Krahn, H. MontiCore: a framework for compositional development of domain specific languages / H, Krahn, B. Rumpe, S. Volkel // International journal on software tools for technology transfer. - 2010. - T. 12. - № 5. - C. 353-372.

151 Look, M. Black-box integration of heterogeneous modeling languages for cyber-physical sy1stems / M. Look [et al]//arXiv preprint arXiv:1409.2388. - 2014.

152 Niemueller, T. Design principles of the component-based robot software framework fawkes / T. Niemueller [et al] //International Conference on Simulation,

Modeling and Programming for Autonomous Robots. - Berlin, Heidelberg: Springer, 2010. - C. 300-311.

153 Ringert, J. O. A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata / J. O. Ringert, B. Rumpe , A. Wortmann // arXiv preprint arXiv:1408.5692. - 2014.

154 Ringert, J. O. From software architecture structure and behavior modeling to implementations of cyber-physical systems / J. O. Ringert, B. Rumpe, A. Wortmann // arXiv preprint arXiv:1408.5690. - 2014.

155 Ringert, J.O. MontiArcAutomaton : Modeling Architecture and Behavior of Robotic Systems /J. O. Ringert, B. Rumpe, A. Wortmann // Workshops and Tutorials Proceedings of the International Conference on Robotics and Automation (ICRA). -Karlsruhe. - 2013. - C. 10-12.

156 Kaindl, H. Software Reuse and Reusability based on Requirements: Product Lines, Cases and Feature-Similarity Models /H. Kaindl, M. Mannion //2018 IEEE 26th International Requirements Engineering Conference (RE). - IEEE, 2018. - C. 510-511.

157 Dhanajayan, R. C. G. SLMBC: spiral life cycle model-based Bayesian classification technique for efficient software fault prediction and classification / R. C. G. Dhanajayan , S. A. Pillai //Soft Computing. - 2017. - T. 21. - № 2. -C. 403-415.

158 Rastogi, V. Software Development Life Cycle Models-Comparison, Consequences / V. Rastogi //International Journal of Computer Science and Information Technologies. - 2015. - T. 6. - № 1. - C. 168-172.

159. Singh, B. Hybrid Spiral Model to Improve Software Quality Using Knowledge Management /B. Singh, S. Gautam //International Journal of Performability Engineering. - 2016. - T. 12. - № 4. - C. 341-352.

160 Singh, B. A review on software quality models /Singh B., S. P. Kannojia // International Conference on Communication Systems and Network Technologies. -IEEE. - 2013. - C. 801-806.

161 Adolph, S. Reconciling perspectives: A grounded theory of how people manage the process of software development /S. Adolph , P. Kruchten, W. Hall //Journal of Systems and Software. - 2012. - T. 85. - № 6. - C. 1269-1286.

162 Gupta, D. Software usability datasets / D. Gupta , A. Khanna //Int. J. Pure Appl. Math. - 2017. - T. 117. - № 15. - C. 1001-1014.

163 Anwer, F. Agile Software Development Models TDD, FDD, DSDM, and Crystal Methods: A Survey / F. Anwer[et al] //International journal of multidisciplinary sciences and engineering. - 2017. - T. 8. - № 2. - C. 1-10.

164 Isaias, P. Information system development life cycle models /P. Isaias, T.Issa // High Level Models and Methodologies for Information Systems. - New York: Springer. - 2015. - C. 21-40.

165 Janicijevic, I. Software quality improvement: a model based on managing factors impacting software quality/ I. Janicijevic [et al] //Software Quality Journal. -2016. - T. 24. - № 2. - C. 247-270.

166 Boehm, B. W. Software engineering: Barry W. Boehm's lifetime contributions to software development, management, and research /B. W. Boehm . - John Wiley & Sons. - 2007. - 832 c.

167 Pew, R. W. Human-system integration in the system development process/ R. W. Pew , A. Mayor. - A new look: National Academies Press. Section on Models and Simulations available, 2007. - 240 c.

168 Maranzano, J. F. Architecture reviews: Practice and experience / J. F.Maranzano [et al] //IEEE Software. - 2005. - T. 22. - № 2. - C. 34-43.

169 Hesse, W. RUP: A process model for working with UML /W. Hesse//Unified modeling language: Systems analysis, design and development issues. - IGI Global, 2001. - C. 61-74.

170 Priya, R. L. Rational unified treatment for web application vulnerability assessment / R. L. Priya [et al] // International Conference on Circuits, Systems, Communication and Information Technology Applications (CSCITA). - IEEE. - 2014. -C. 336-340.

171 Mohd, H. A secured e-tendering model based on rational unified process (RUP) approach: Inception and elaboration phases / H. Mohd [et al] //International Journal of Supply Chain Management. - 2016. - T. 5. - № 4. - C. 114-120.

172 Wysocki, W. Model of RUP processes maturity assessment in IT organizations / W. Wysocki [et al] //Software Engineering: Challenges and Solutions. - 2017. -C. 187-199.

173 Tung, Y. H. Test as a Service: A framework for Web security TaaS service in cloud environment /Y. H.Tung , C. C. Lin, H. Shan //2014 IEEE 8th International Symposium on Service Oriented System Engineering. - IEEE, 2014. - C. 212-217.

174 Tung, Y. H. A cost-effective approach to evaluating security vulnerability scanner /Y. H. Tung [et al] //2013 15th Asia-Pacific Network Operations and Management Symposium (APNOMS). - IEEE. - 2013. - C. 1-3.

175 Chaudhari, G. R. A survey on security and vulnerabilities of web application / G. R.Chaudhari , M. V Vaidya M. V//International Journal of Computer Science and Information Technologies. - 2014. - T. 5. - № 2. - C. 1856-1860.

176 Boehm, B. W. Software engineering: Barry W. Boehm's lifetime contributions to software development, management, and research /B. W. Boehm . - John Wiley & Sons. - 2007. - T. 69. - 832 c.

177 Alexander, C. A The origins of pattern language: towns, buildings, construction /C.A. Alexander. - Oxford: Oxford university press, 1977. - 1171c.

178 Alexander, C. The origins of pattern theory: The future of the theory, and the generation of a living world /C. Alexander //IEEE software. - 1999. - T. 16. - № 5. -C. 71-82.

179 Tahir, M. Framework for Better Reusability in Component Based Software Engineering /M. Tahir [et al] //The Journal of Applied Environmental and Biological Sciences (JAEBS). - 2016. - T. 6. - C. 77-81.

180 Hofmeister, C. Applied software architecture /C. Hofmeister, R. Nord , D. Soni. - Addison-Wesley Professional, 2000. - 432 c.

181 Booch, G. Object oriented analysis & design with application /G. Booch . -Pearson Education India, 2006. - 608 c.

182 Mall, R. Fundamentals of software engineering, PHI Learning Pvt /R. Mall . -2014. - 544 с.

183 Khomh, F. Design patterns impact on software quality: Where are the theories? / F. Khomh ,Y. G. Gueheneuc //2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER). - IEEE, 2018. - С. 15-25.

184 Hollnagel, E. The ETTO principle: efficiency-thoroughness trade-off: why things that go right sometimes go wrong /Е. Hollnagel . - CRC Press, 2017. - 162 с.

185 Thompson, E. Using the principles of variation to create code writing problem sets [Электронный ресурс] /Е. Thompson //Proc of the 11th Annual Conference of the Subject Centre for Information and Computer Sciences, Durham, 2010 — Режим доступа: http://www. ics. heacademy. ac. uk.

186 Tsui, F. F. Essentials of software engineering /F. F.Tsui , О. Karam, В. Bernal. -

- Jones & Bartlett Learning, 2016. - 334 с.

187 Elnaffar, S. Using software metrics to predict the difficulty of code writing questions /S. Elnaffar //2016 IEEE Global Engineering Education Conference (EDUCON). - IEEE, 2016. - С. 513-518.

188 Knodel, J. How to Evaluate Software Architectures: Tutorial on Practical Insights on Architecture Evaluation Projects with Industrial Customers /J. Knodel, М. Naab //2017 IEEE International Conference on Software Architecture Workshops (ICSAW). - IEEE, 2017. - С. 183-184.

189 Whalley, J. How difficult are novice code writing tasks?: A software metrics approach /J. Whalley, N. Kasto//Proceedings of the Sixteenth Australasian Computing Education Conference-Volume 148. - Australian Computer Society, Inc. - 2014. -С. 105-112.

190 Nakagawa, T. On measuring the difficulty of program comprehension based on cerebral blood flow /Т. Nakagawa [et al] //Computer Software. - 2014. - Т. 31. - № 3.

- С. 270-276.

191 Misra, S. Analysis of Existing Software Cognitive Complexity Measures /S. Misra[et al] //International Journal of Secure Software Engineering (IJSSE). - 2017. -Т. 8. - № 4. - С. 51-71.

192 Kasto, N. Measuring the difficulty of code comprehension tasks using software metrics /N. Kasto , J. Whalley //Proceedings of the Fifteenth Australasian Computing Education Conference-Volume 136. - Australian Computer Society, Inc., 2013. -C. 59-65.

193 Fritz, T. Using psycho-physiological measures to assess task difficulty in software development /T. Fritz [et al] //Proceedings of the 36th international conference on software engineering. - ACM, 2014. - C. 402-413.

194 Tsunoda, T. Evaluating the work of experienced and inexperienced developers considering work difficulty in sotware development /T. Tsunoda [et al] //2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD). - IEEE, 2017. - C. 161-166.

195 Whalley, J. Salient elements in novice solutions to code writing problems /J. Whalley [et al] //Proceedings of the Thirteenth Australasian Computing Education Conference-Volume 114. - Australian Computer Society, Inc., 2011. - C. 37- 46.

196 Kumar,. N. A study of the influence of code-tracing problems on code-writing skills /A. N. Kumar //Proceedings of the 18th ACM conference on Innovation and technology in computer science education. - ACM, 2013. - C. 183-188.

197 Bass, L. Software architecture in practice /L.Bass , P. Clements, R. Kazman -Addison-Wesley Professional, 2003. - 620 c.

198 Dobrica, L. A survey on software architecture analysis methods /L. Dobrica, E. Niemela // IEEE Transactions on software Engineering. - 2002. - T. 28. - № 7. -C. 638-653.

199 Fayad, M. Stable Design Patterns for Software and Systems/M. Fayad. -Auerbach Publications, 2017. - 608 c.

200 Bosch, J. Design and use of software architectures: adopting and evolving a product-line approach / J. Bosch. - Pearson Education, 2000. - 354 c.

201 Capilla, R. 10 years of software architecture knowledge management: Practice and future /R. Capilla [et al] //Journal of Systems and Software. - 2016. - T. 116. -C. 191-205.

202 Lau, K. K. Software component models /K.K. Lau, Z. Wang //IEEE Transactions on software engineering. - 2007. - T. 33. - № 10. - C. 709-724.

203 Crnkovic, I. A classification framework for software component models / I. Crnkovic [et al] // IEEE Transactions on Software Engineering. - 2010. - T. 37. - № 5.

- C. 593-615.

204 Fielding, R. T. Reflections on the REST architectural style and principled design of the modern web architecture (impact paper award) /R. T. Fielding [et al]//Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. - ACM, 2017. - C. 4-14.

205 Fielding, R. T. Reflections on the REST architectural style and principled design of the modern web architecture (impact paper award) /R.T. Fielding [et al] //Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.

- ACM, 2017. - C. 4-14.

206 Devadiga, N. M. Tailoring architecture centric design method with rapid prototyping /N. M. Devadiga //2017 2nd International Conference on Communication and Electronics Systems (ICCES). - IEEE, 2017. - C. 924-930.

207 Bagheri, H. Software architectural principles in contemporary mobile software: from conception to practice /H. Bagheri [et al] //Journal of Systems and Software. -2016. - T. 119. - C. 31-44.

208 Sill, A. The design and architecture of microservices /A. Sill //IEEE Cloud Computing. - 2016. - T. 3. - № 5. - C. 76-80.

209 Zimmermann, O. Architectural refactoring: A task-centric view on software evolution /0. Zimmermann //IEEE Software. - 2015. - T. 32. - № 2. - C. 26-29.

210 Kruchten, P. B. The 4+ 1 view model of architecture /P. B. Kruchten //IEEE software. - 1995. - T. 12. - № 6. - C. 42-50.

211 Garlan, D. An introduction to software architecture /D. Garlan, M Shaw //Advances in software engineering and knowledge engineering. - 1993. - C. 1-39.

212 Gamma, E. Design patterns: elements of reusable object-oriented software / E . Gamma. - Pearson Education India, 1995. - 416 c.

213 Coplien, J. O. Organizational patterns of agile software development/ J. О. Coplien, N. Harrison. - Upper Saddle River : Pearson Prentice Hall, 2005. -171 с..

214 Bass, L. Linking usability to software architecture patterns through general scenarios /L. Bass , В.Е. John //Journal of Systems and Software. - 2003. - Т. 66. -№ 3. - С. 187-197.

215 Martin, D. Patterns of cooperative interaction: Linking ethnomethodology and design /D. Martin, I. Sommerville //ACM Transactions on Computer-Human Interaction (TOCHI). - 2004. - Т. 11. - № 1. - С. 59-89.

216 Berczuk, S. P. Software configuration management patterns: effective teamwork, practical integration /S. P. Berczuk , В. Appleton. - Addison-Wesley Longman Publishing Co., Inc., 2002. - 272 с.

217 Shaw, M. Software architecture/М. Shaw [et al]. - Englewood Cliffs: prentice Hall, 1996. - Т. 101. - 242 с.

218 Buschmann, F. Pattern Oriented Software Architectur A System of Patterns Volume-1/F. Buschmann , R. Meunier , H. Rohnert, P. Sommerlad. - Ashish Raut, 1996. - Т. 1. - 467 с.

219 Buschmann, F. Pattern-oriented Software Architecture: on patterns and pattern language/F. Buschmann , К. Henney, D. Schimdt . - John wiley & sons, 2007. - Т. 5. -490 с.

220 Schmidt, D. C. Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects/ Schmidt D. C [ et al]. - John Wiley & Sons, 2013. - Т. 2. -666 c.

221 Kircher, M. Pattern-oriented software architecture, patterns for resource management /М. Kircher, Р. Jain . - John Wiley & Sons, 2013. - Т. 3. - 310 с.

222 Schmidt, D. Pattern-oriented software architecture volume 2-Networked and concurrent objects /D. Schmidt , М. Stal, H.Rohnert, F. Buschmann . - John Wiley & Sons. - 2000. - 633 с.

223 Budgen, D. Software Design (2nd Edition) /D. Budgen. - Pearson Education, 2003. - 382 с.

224 Coad, P. Object-oriented analysis /P. Coad , E. Yourdon. - NJ: Englewood Cliffs, Yourdon press, 1991. - Т. 2. - 233 с.

225 Warmer, J. B. The object constraint language: getting your models ready for MDA /J. B. Warmer , A. G. Kleppe . - Addison-Wesley Professional, 2003. - 240 с.

226 Meyer, B. Design by Contract/B. Meyer // IEEE Computer. - 1992. - Т. 25 (10). - С. 40-51.

227 Meyer, B. The Grand Challenge of Trusted Components/ В. Meyer // ICSE 25: Int. Conf. on Software Eng. - 2003 Portland, Oregon: IEEE Press - 8 с.

228 White, S. A. (2004a). An Introduction to BPMN [Электронный ресурс] / S. A White. - Режим доступа: http://www.bpmn.org/Documents/Introduction

229 White, S. A. BPMN Modeling and Reference Guide: Understanding and Using BPMN / S. A. White , D. Miers .- Future Strategies Inc. , 2008. - 226 с.

230 White, S. A. Process Modelling Notations and Workflow Patterns / S. A. White .- Future Strategies Inc., 2004. - С. 265-294.

231 Clements, P. Documenting Software Architectures: Views and Beyond /Р. Clements , F. Bachmann , L. Bass , D. Garlan, J. Ivers, , R. Little , R. Nord, J. Stafford. - . Boston: Addison-Wesley, 2002. - 592 с

232 Lange, C. F. J. UML software description and architecture description / C. F. J. Lange , M. R. V. Chaudron, J. Muskens // IEEE Software 23 (2). 2006. -С. - 40-46.

233 Lea, D. An introduction for object-oriented designers /D. Lea, А. Christopher // ACM SIGSOFT Software Engineering Notes. - 1994. - Т. 19. - № 1. - С. 39-46.

234 Szvetit, M. Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime /М. Szvetits, U. Zdun //Software & Systems Modeling. - 2016. - Т. 15. - № 1. - С. 31-69.

235 Yarushkina, N. G. Soft computing in intelligent CAD systems /N.G.Yarushkina [et al] //Nechetkie Sistemy i Myagkie Vychisleniya. - 2017. - Т. 12. - № 1. - С. 19-44.

236 Nii, H. P. Blackboard systems, parts 1 and 2 / H. P. Nii //AI Magazine, 7 (3 and 4). - 1986. - С. 38 -53.

237 Kim, N. S. Network-driven, packet context-aware power management for client-server architecture /N. S. Kim, М. Alian. - заяв. пат. 16024290 США. - 2019.

238 Burbeck, S. Applications programming in smalltalk-80: how to use model-viewcontroller (MVC) / S. Burbeck. // Smalltalk - 80 is trademarkt ofparc place Systems, Inc., 1992. - С.1 11.

239 Veit, M. Model-view-controller and object teams: A perfect match of paradigms /M. Veit , S. Herrmann //Proceedings of the 2nd international conference on Aspect-oriented software development. - ACM, 2003. - С. 140-149.

240 Gamma, E. Design patterns: Abstraction and reuse of object-oriented design /Gamma E. [et al] //Pioneers and Their Contributions to Software Engineering. -Springer, Berlin, Heidelberg, 2001. - С. 361-388.

241 А. Kay, History of Programming Languages-II / A. C.Kay , T. J Bergin., R. G. Gibson // ACM, New York, NY, USA, chapter The Early History of Smalltalk. - 1996. - С. 511 - 598.

242 Goldberg, A. Smalltalk-80: The Language Addison Wesley / А. Goldberg, D. Robson. - California: Menlo Park, 1989. - 669 с.

243 Vale, T. Twenty-eight years of component-based software engineering /Т. Vale [et al] //Journal of Systems and Software. - 2016. - Т. 111. - C. 128 - 148.

244 Richards, M. Software architecture patterns / М. Richards. - O'Reilly Media, Incorporated, 2015. - 55 с.

245 Oh, M. H. Method and architecture for virtual desktop service /M. H. Oh [et al]: пат. 9086897. - США. - 2015.

246 Wulf, C. Parallel and Generic Pipe-and-Filter Architectures with TeeTime / C. Wulf, W. Hasselbring , J. Ohlemacher // 2017 IEEE International Conference on Software Architecture Workshops (ICSAW). - IEEE, 2017. - С. 290 - 293.

247 De Sanctis, M. A model-driven approach to catch performance antipatterns in ADL specifications /M. de Sanctis [et al]// Information and Software Technology. -2017. - Т. 83. - С. 35 - 54.

248 McLaughlin, P. F. Apparatus and method for using a distributed systems architecture (dsa) in an internet of things (iot) edge appliance/P. F McLaughlin, D. B.Granatelli : заяв. пат. 14962722. - США. - 2017.

249 Oram, A. Peer-to-Peer: Harnessing the Benefits of a Disruptive Technology / A. Oram . -O' Reilly Media, 2001. - 450 с.

250 Pitakrat, T. Architecture-Aware Online Failure Prediction for Distributed Software Systems /Т. Pitakrat [ et al]// Software Engineering und Software Manageme.

- 2018. - С. 121 - 122.

251 Wason, J. System and method for implementing augmented object members for remote procedure call /J. Wason: заяв. Пат. 15918388. - США. - 2018.

252 Elrod, T. M. Remote procedure call supporting multiple versions / Т. М. Elrod , R. Sigal : заяв. Пат. 10120733. - США. - 2018.

253 Wieder, U. Methods and systems to sample event messages /U. Wieder [ et al]: заяв. Пат. 15286366. - США. - 2018.

254 Wu, J. Distributed system design / J.Wu . - CRC press, 2017. - 49 с.

255 Lovelock, C. Service marketing: A European perspective / C. Lovelock, S.Vandermerwe , B. Lewis. - Prenice Hall, 1996. - 436 с.

256 Turner, M. Turning software into a service / M.Turner , D.Budgen , P. Brereton // Computer. - 2003. - Т. 36. - № 10. - С. 38 - 44.

257 Erl, T. Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services, The Prentice Hall Professional Technical Reference (PTR) Service-Oriented Computing Series from Thomas Erl /Т. Erl. - Pearson Education, Inc., 2004. -541 с.

258 Erl, T. Service-Oriented Architecture: Concepts, Technology, and Design /Т. Erl.

- NJ: Prentice Hall, 2005. - 792 с.

259 Richardson, L. Restful Web Services / L. Richardson , S. Ruby. - Sebastapol, CA: O'Reilly Media, 2007. - 454 с.

260 Pautasso, C. Restful web services vs. big'web services: making the right architectural decision /C. Pautasso , O. Zimmermann , F. Leymann // Proceedings of the 17th international conference on World Wide Web. - 2008. - С. 805 - 814.

261 Carr, N. The big switch: Rewiring the world, from Edison to Google / N. Carr. -WW Norton & Company, 2009. - 304 с.

262 Newcomer, E. Understanding SOA with Web services / E. Newcomer, G. Lomow. - Addison-Wesley, 2005. - 431с.

263 Erl, T. Service-oriented architecture: analysis and design for services and microservices. 2 nd edition / T. Erl . - Prentice Hall, 2016. - 416 с.

264 Erl, T. SOA Principles of Service Design (paperback) / T. Erl . - Prentice Hall Press, 2016 - 616 с.

265 Vale, T. Twenty-eight years of component-based software engineering/ Т. Vale [ et al] // Journal of Systems and Software. - 2016. - Т. 111. - С. 128 - 148.

266 Alshara, Z. Materializing architecture recovered from object-oriented source code in component-based languages / Z. Alshara [et al] // European Conference on Software Architecture. - Springer, Cham, 2016. - С. 309-325.

267 Pope, A. L. M. The CORBA reference guide: understanding the common object request broker architecture / A. L. M. Pope . - Addison-Wesley Longman Publishing Co., Inc., 1997. - 376 с.

268 Lau, K. K. Software component models / K. K. Lau , Z. Wang // IEEE Transactions on software engineering. - 2007. - Т. 33. - № 10. - С. 709 - 724.

269 Councill, B. Definition of a software component and its elements / B. Councill., G. T. Heineman // Component-based software engineering: putting the pieces together. - 2001. - С. 5 - 19.

270 Szyperski, C. Component software: beyond object-oriented programming / C. Szyperski , D. Gruntz , S. Murer. - Pearson Education, 2002. - 571 с.

271 Weinreich, R. Component models and component services: Concepts and principles / R.Weinreich , J. Sametinger // Component-Based Software Engineering: Putting Pieces Together. - 2001. - С. 22 - 64.

272 Kotonya, G. Requirements engineering with viewpoints /G. Kotonya, I. Sommerville // Software Engineering Journal. - 1996. - Т. 11. - № 1. - С. 5 - 18.

273 Mili, H. Enterprise frameworks: issues and research directions/H. Mili [et al] // Software: Practice and Experience. - 2002. - Т. 32. - № 8. - С. 801 - 831.

274 Jacobson, I. Software reuse: architecture process and organization for business success / I. Jacobson , M. Griss , P. Jonsson. - New York : acm Press, 1997. - Т. 285. -286 c.

275 Aravantinos, V. AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems /V. Aravantinos [et al] // ACES-MB&WUCOR@

models. - 2015. - c. 19 - 26.

276 Lavagno, L. Electronic Design Automation for IC Implementayion, Circuit Design and Process Technology / L. Lavagno , I. L. Markov, G. Martin, L. K. Scheffer // CRC Press, 2016. - 808 c.

277 Bhat, A. Recovery time considerations in real-time systems employing software fault tolerance / A. Bhat , S. Samii , R. R. Rajkumar // 30th Euromicro Conference on Real-Time Systems 2018. - C. 22 -23.

278 Berry, G. Real time programming: Special purpose or general purpose languages / G. Berry // International Colloqium on Automata, languages and programming. - 1989. - C. 72 — 89.

279 Lee, E.A. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. / E.A. Lee , S.A. Seshia. - Second Edition: MIT Press, 2017. - 564 с.

280 Suzuki, R. Poster: Interactive and Collaborative Source Code Annotation / R. Suzuki // ACM 37th IEEE International Conference on Software Engineering. -IEEE, 2015. - Т. 2. - С. 799 - 800.

281 Marwedel, P. Embedded system design P. Marwedel . - New York : Springer, 2006. - Т. 1. - 400 c.

282 Douglass, B. P. Real-time design patterns: robust scalable architecture for realtime systems /B. P. Douglass . - Addison-Wesley Professional, 2003. - 528 с.

283 Dijkstra, E. W. Go to statement considered harmful /E. W. Dijkstra // Communications of the ACM. - 1968. - Т. 11. - № 3. - С. 147-148.

284 Hoare, C.A.R. Monitors: An Operating System Structuring Concept / C.A.R. Hoare // Hansen P.B. (eds) The Origin of Concurrent Programming. - NY: Springer, 1974. - С. 272 - 294.

285 Hansen, P. B. Operating system principles / P. B. Hansen . - Prentice-Hall, Inc. , 1973. - 496 с.

286 Silberschatz, A. Operating System Concepts, 8th edition / A. Silberschatz , P. B.Galvin, G. Gagne . - New York: John Wiley & Sons, 2008. - 944 с.

287 Tanenbaum, A. S. Modern Operating Systems, 3rd edition /A. S. Tanenbaum . -NJ : Prentice Hall, 2007. - 1136 с.

288 Cooling, J. E. Software engineering for real-time systems / J. E. Cooling . -Pearson Education, 2003. - 791 с.

289 Burns, A. Real-time systems and programming languages: Ada 95, real-time Java, and real-time POSIX / А. Burns , A. J. Wellings. - Pearson Education, 2001. -624 с.

290 Au, T. C. Multirobot systems / T. C. Au [et al] // IEEE Intelligent Systems. -2017. - № 6. - С. 3-5.

291 Gomaa, H. Software design methods for concurrent and real-time systems / H. Gomaa . - Boston: Addison-Wesley Longman Publishing Co., Inc., 1993. - 464 с.

292 Hare, D. Statecharts: A visual formalism for complex systems /D. Harel // Science of computer programming. - 1987. - Т. 8. - № 3. - С. 231 - 274.

293 Harel, D. On visual formalisms /D. Harel // Commun. ACM. - 1988. - Т. 31. -№ 5. - С. 514-530.

294 Douglass, B. P. Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edition /B. P Douglass. - Boston: Addison-Wesley, Programming, 8 (3), 1999. - 328 с.

295 Месарович, М. Общая теория систем: математические основы / М. Месарович , Я.Такахара. - М.: Мир, 1978. - 889 с.

296 Balzert, H. Die Entwicklung von Software-Systemen. Prinzipien, Methoden, Sprachen, Werkzeuge /H. Balzert . - Mannheim: Bibliographisches Institut, 1982. -648 с.

297 Kimm, R. Einführung in Software Engineering /R. Kimm [ et al]. - Walter de Gruyter GmbH & Co KG, 2019. - 624 c.

298 Timothy, B. Introduction to object-oriented programming / B. Timothy . -Pearson Education India, 2008. - 648 с.

299 Kirsten, W. Object-oriented application development using the caché postrelational database / W. Kirsten [ et al]. - Springer Science & Business Media, 2003. - 362 c.

300 Balzert, H. Lehrbuch der softwaretechnik: Basiskonzepte und requirements engineering /H. Balzert . - Springer-Verlag, 2010. - 619 c.

301 Vernon, V. Implementing domain-driven design /V.Vernon . - Addison-Wesley, 2013. - 589 c.

302 Evans, E. Domain-driven design: tackling complexity in the heart of software / E. Evans . - Addison-Wesley Professional, 2004. - 560 с.

303 Kamke, E. Handbook of ordinary differential equations /E. Kamke . - 6th ed., Sr. - SPb.: Lan publishing house, 2003. - 576 с.

304 Booch, G. Object-Oriented Analysis and Design with Applications / G. Booch , R. Maksimchuk , M. Engel , B. Young, J. Conallen , K. Houston. - Addison-Wesley, 2007. - 717 с.

305 Sommerville, I. Software Engineering. International computer science series / I. Sommerville . - Addison Wesley, 2004. - 790 с.

306 Kuznetsov, M. A. Analysis of complexity metrics of a software code for obfuscating transformations of an executable code [Электронный ресурс] /M. A. Kuznetsov , V. O. Surkov // IOP Conference Series: Materials Science and Engineering. - 2016. - Т. 155. - № 1. - Режим доступа: https://doi.org/10.1088/1757-899X/155/1/012008

307 Shudrak, M. O. Improving fuzzing using software complexity metrics / M. O. Shudrak , V. V Zolotarev. // ICISC - Springer. - 2015. - С. 246 - 261.

308 Srinivasan, S. Kilim: Isolation-typed actors for java / S. Srinivasan , A. Mycroft //European Conference on Object-Oriented Programming. - Springer, Berlin, Heidelberg, 2008. - С. 104 - 128.

309 Dedecker, J. Ambient-oriented Programming in AmbientTalk. In «Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP), Dave

Thomas (Ed.) / J. Dedecker ,T. V. Cutsem , S. Mostinckx ,T. D'Hondt , W. De Meuter // Lecture Notes in Computer Science. -2006 - T. 4067, - C. 230 - 254.

310 Agha, G. A. Actors: A model of concurrent computation in distributed systems /

G. A.Agha . - MIT Press, 1985. - 164 c.

311 Dedecker, J. Ambient-oriented programming in ambienttalk / J. Dedecker [et al] // European Conference on Object-Oriented Programming. - Springer, Berlin, Heidelberg, 2006. - C. 230 - 254.

312 O'Sullivan, D. Agent-based models and individualism: is the world agent-based? / D. O'Sullivan , M. Haklay // Environment and Planning A. - 2000. - T. 32. -№ 8. - C. 1409 - 1425.

313 Sallach, D. The simulation of social agents: an introduction / D. Sallach C. Macal // Social Science Computer Review. - 2001. - T. 19. - № 3. - C. 245 - 248.

314 Shoham, Y. Multiagent systems: Algorithmic, game-theoretic, and logical foundations. / Y. Shoham , K. Leyton-Brown. - Cambridge University Press, 2008. -483 c.

315 Grignard, A. GAMA 1.6: Advancing the art of complex agent-based modeling and simulation / A. Grignard [et al]. // International Conference on Principles and Practice of Multi-Agent Systems. - Springer, Berlin, Heidelberg, 2013. - C. 117 - 131.

316 Michel, F. Multi-Agent Systems and Simulation: A Survey from the Agent Commu-nity's Perspective / F. Michel , J. Ferber , A. Drogoul //Multi-Agent Systems. - CRC Press, 2018. - C. 17-66.

317 Wille, M. Carring's medium access methods in comparison to FDDI / M.Wille ,

H. Richter // IEEE Proceedings. Intelligent Vehicles Symposium. - IEEE, 2005. -C. 531 - 538.

318 Richter, H. A high-performance local area network for cars / H. Richter, M. Wille //Communications, Internet, and Information Technology. - 2004. -C. 303 - 310.

319 Wille, M. CARRING II: A Reliable Realtime Network / M. Wille , H. Richter , C. Asam // Proc. 4th IASTED Conf. on Communications, Internet, and Information Technology. - 2005. - C. 39 - 46.

320 Плотникова, С.В. Кинетика и моделирование процессов массо- и теплопереноса в изолирующих дыхательных аппаратах / С.В. Плотникова. -Тамбов: диссертация на соискание ученой степени кандидата технических наук, 1994. - 139 с.

321 Майстренко, А. В. Моделирование изолирующих дыхательных аппаратов на химически связанном кислороде / А. В. Майстренко , Н. В. Майстренко , О. И. Ерохин // Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика. - 2014. - Т. 29. - № 1-1. - С. 172.

322 Orgerie, A. C. A survey on techniques for improving the energy efficiency of large-scale distributed systems / A. C. Orgerie , M. D. Assuncao , L. Lefevre //ACM Computing Surveys (CSUR). - 2014. - Т. 46. - № 4. - С. 47.

323 Lefevre, L. Towards energy aware reservation infrastructure for large-scale experimental distributed systems / L. Lefevre , A. C. Orgerie // Parallel Processing Letters. - 2009. - Т. 19. - № 3. - С. 419 - 433.

324 Havenga, M. Knowledge, skills and strategies for successful object-oriented programming: a proposed learning repertoire / M. Havenga , E. Mentz , R . Villiers // South African Computer Journal. - 2008. - Т. 12. - № 12. - С. 1 - 8.

325 Louzaoui, K. Conformity testing by optimal constraints for object oriented programs / K. Louzaoui , K. Benlhachmi , J. A. Chentoufi // 2016 4th IEEE International Colloquium on Information Science and Technology (CiSt). - IEEE, 2016. - С. 188 - 193.

326 Sangeeta, S. VLSI implementation of parallel CRC using pipelining, unfolding and retiming / S. Sangeeta, S. Sujana, I. Babu, K. Latha // IOSR Journal of VLSI and Signal Processing (IOSR-JVSP). - 2013. - Т. 2. - № 5. - С. 66 - 72.

327 Kannengiesser, U. Towards agent-based smart factories: A subject-oriented modeling approach /U. Kannengiesser , H. Müller // Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)-Volume 03. - IEEE Computer Society. - 2013. -С. 83 - 86.

328 Путин, С.Б. Экспериментальные исследования процесса регенерации воздуха в регенеративном патроне изолирующего дыхательного аппарата. / С.Б. Путин, С.В. Гудков, Е.Н. Туголуков, С.Ю. Алексеев, Н.П. Козлова, А.Ю. Хромов // Тамбов, Вестник ТГТУ. - 2008 - Том 4. - №1. - С. 90 - 96.

329 Костеренко, В.Н. Методика определения времени защитного действия самоспасателей в условиях шахт / В.Н. Костеренко, С.В. Гудков, А.Н. Тимченко, С.Ю. Алексеев, А.Ю. Хромов, Ю.В. Болтнев // Санкт-Петербург: Горный информационно-аналитический бюллетень (научно-технический журнал). -Специальный выпуск 5-1. - 2017. - Т.1. - С. 391 - 400.

ПРИЛОЖЕНИЕ А

(справочное)

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

Object subclass: #Air

instanceVariableNames: 'concValue' classVariableNames: '' poolDictionaries: '' category: '_Turbulent-Cylinder'!

!Air methodsFor: 'accessing' stamp: 'SA 3/3/2010 12:18'! get

A concValue! !

!Air methodsFor: 'accessing' stamp: 'SA 3/3/2010 12:19'! set: aConcValue

concValue := aConcValue! !

!Air methodsFor: 'as yet unclassified' stamp: 'SA 3/3/2010 23:04'! density

A 1.63! !

!Air methodsFor: 'as yet unclassified' stamp: 'SA 3/3/2010 23:04'! viscosity

A 1.82e-5! !

Object subclass: #Cylinder

instanceVariableNames: 'diameter length flow pipe' classVariableNames: '' poolDictionaries: '' category: '_Turbulent-Cylinder'!

!Cylinder methodsFor: 'dynamic' stamp: 'SA 3/5/2010 17:27'!

calcRe: aAgent rate: aRate | re |

1

to: pipe size do: [:i |

re := (pipe at: i)

re: (self reData: aAgent rate: aRate). Transcript cr; show: 'Re('; show: i; show: ')->'; show: re; cr]! !

!Cylinder methodsFor: 'dynamic' stamp: 'SA 3/2/2010 14:53'! recalc

| item tmpLst paramVector |

to: pipe size do: [:i |

item := pipe at: i.

paramVector _ OrderedCollection new.

paramVector add: (flow copyFrom: (item start) to: (item end)); add: diameter; add: length. tmpLst _ item rule: paramVector. flow

copyReplaceFrom: item start to: item end with: tmpLst]! !

!Cylinder methodsFor: 'dynamic' stamp: 'SA 3/5/2010 17:23'! recalc: aAgent rate: aRate | item tmpLst re | 1

to: pipe size do: [:i |

item := pipe at: i. re := item

re: (self reData: aAgent rate: aRate).

tmpLst := item

rule: (aAgent copyFrom: item start to: item end) data: (self ruleData). aAgent

copyReplaceFrom: item start to: item end with: tmpLst]! !

ICylinder methodsFor: 'dynamic' stamp: 'Sergej Alexejew 2/23/2010 16:04'! setFlow: start

flow := OrderedCollection new.

to: length do: [:i | flow

addLast: (GasCell new set: start)]I I

ICylinder methodsFor: 'dynamic' stamp: 'SA 3/1/2010 12:57'! step: aNewGasCell | out |

out _ flow removeFirst. flow addLast:aNewGasCell. A out get.! !