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

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

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

Введение

1. Проблемы разработки математического и программного обеспечения

создания комплексов распределенного управления потоками данных

территориальных информационных систем

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

1.2. Проблематика метрики пути в задачах управления взаимодействием компонент распределенных информационных систем

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

1.4. Технологии и особенности импорта и экспорта объектов территориально распределенных баз данных

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

2. Подход к созданию технологии синтеза программных систем с

элементами параллелизма и моделью разделяемой памяти

2.1. Модель согласованного/параллельного вычисления

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

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

2.4. Модель для статических программ

2.5. Выводы

3. Управление вероятностными потоками в беспроводных ячеистых сетях

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

3.1. Описание БРР метрики для лавинной рассылки

3.2. иКР модель переадресации пакетов

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

3.4. Выводы

4. Формализация программной модели управления территориальной

системой с использованием нечетких множеств

4.1. Иерархическая модель оценки результативности функционирования

4.2. Функциональная и процессная модели

4.3. Результаты интеграции специального математического и программного обеспечения в метрологическую практику

4.4. Выводы

5. Информационное и программное обеспечение импорта и экспорта

объектов территориально распределенных баз данных

5.1. Архитектура программных компонент

5.2. Элементы информационного обеспечения

5.3. Особенности функционирования компонент экспорта-импорта

5.4. Выводы

Заключение

Список использованных источников

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

ВВЕДЕНИЕ

Актуальность темы. Взрывной рост потребностей общества в обслуживающем программном обеспечении породил множество методов его синтеза. Большой вклад в развитие методов синтеза внесли Кулямин В.В., Храмцов П.Б., Attie P.C., Clarke E.M., Emerson E.A. В теоретическом плане ряд методов синтеза относится к некоторой форме поиска в пространстве, и потому синтез параллельных программ, состоящих из K последовательных процессов, каждый из которых имеет локальное состояние O(N), требует создания глобальной диаграммы изменения

состояний размерности O(NK ). Большинство методов проверки состояния

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

Несмотря на негарантирующую доставку данных природу беспроводных каналов, приложения, которые нуждаются в надежных средствах передачи, переходят на беспроводные сети. Это привело к попыткам создания WSN-стандартов коммуникаций, адаптированных к промышленной автоматизации. В данной области ведущие исследователи Жожикашвили В.А., Олифер В.Г., Johansson M., Nixon M. развили множество походов. Ключевыми показателями корректности метрик для всех этих стандартов взаимодействия являются надежность и вероятность того, что пакет будет успешно доставлен к месту назначения. Введения простых механизмов для увеличения надежности недостаточно, необходимы еще и методы для оценки этой надежности, соответственно, для оптимизации сети и обеспечения некой гарантии для приложений. В частности, необходима метрика надежности сети для: 1) быстрой оценки и сравнения различных топологий маршрутизации, чтобы разработать стратегии размещения беспроводных узлов; 2) восприятия ее как интерфейса беспроводной сети к системам, построенным на этих сетях (например, сетевые системы управления); и 3) помощи в создании надежной топологии маршрутизации.

Функционирование распределенной системы обеспечения единства измерений как целостного образования предполагает наличие определенной структуры, объединяющей отдельные составляющие системы. Белобрагин В.Я., Емельянов С.В., Задорожный В.Н., Мальцева

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

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

Тематика диссертационной работы соответствует научному направлению ФГБОУ ВО «Воронежский государственный технический университет» «Вычислительные комплексы и проблемно-ориентированные системы управления».

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

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

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

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

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

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

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

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

7. Разработать элементы информационного и программного обеспечения импорта и экспорта объектов территориально распределенных баз данных, обеспечивающего создание БрЬ-сценариев для экспорта/импорта нескольких таблиц.

Объект исследования: территориальные информационные системы.

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

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

Тематика работы соответствует следующим пунктам паспорта специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»: п.1 «Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования»; п.8 «Модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования» и п. 10 «Оценка качества, стандартизация и сопровождение программных систем».

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

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

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

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

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

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

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

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

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

Положения, выносимые на защиту

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

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

данных.

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

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

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

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на следующих конференциях: International Scientific School "Paradigma" Summer-2016 (Varna, Bulgaria, 2016); XXII-th International Open Science Conference «Modern informatization problems in the technological and telecommunication systems analysis and synthesis» (Yelm, WA, USA, 2017); XXIV-th International Open Science Conference «Modern informatization problems in simulation and social technologies (MIP-2019'SCT)» (Yelm, WA, USA, 2019), а также на научных семинарах кафедры Автоматизированных и вычислительных систем (2016-2019 гг.).

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

Публикации. По результатам диссертационного исследования опубликовано 19 научных работ, в том числе 9 - в изданиях, рекомендованных ВАК РФ (из них 1 - в издании WoS и одно свидетельство о регистрации программы). В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично автором получены следующие результаты: [2, 4, 16, 17] - модель программных систем, состоящих из крупных и динамически изменяющихся последовательных процессов; [5, 10] - метрика для измерения качества доставки в беспроводных коммуникационных подсистемах распределенных информационных систем, обеспечивающая непрерывное измерение вероятности доставки данных; [7, 19] - алгоритм построения топологии системы управления потоками данных в ячеистых сетях,

гарантирующий отсутствие петель в маршрутах; [9, 15] - структура программного комплекса и реализация его отдельных компонент; [3, 13] -формализация программной модели управления территориальной системой, позволяющая повысить эффективность управления системой обеспечения единства измерений; [1] - структура нечетко-множественной модели оценки результативности программного управления распределенными территориальными системами на основе иерархической оценки промежуточных показателей; [8, 12, 14] результаты интеграции специального математического и программного обеспечения в метрологическую практику.

Структура и объем работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы из 165 наименований. Работа изложена на 131 странице.

1. ПРОБЛЕМЫ РАЗРАБОТКИ МАТЕМАТИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СОЗДАНИЯ КОМПЛЕКСОВ РАСПРЕДЕЛЕННОГО УПРАВЛЕНИЯ ПОТОКАМИ ДАННЫХ

ТЕРРИТОРИАЛЬНЫХ ИНФОРМАЦИОННЫХ СИСТЕМ

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

Исследуем технологии синтеза согласованных программ, состоящих из крупных и динамически изменяющихся последовательных процессов, которые выполняются параллельно [62, 63, 86, 106, 107]. Программы работают в совместно используемой памяти, которая обычно является доступной для примитивных аппаратных средств, таких как чтение и написание операций на атомный реестр, сравнение с обменом, а также связанные/хранящиеся загрузки [117]. Даже при условии, что способ синтеза во многом является механическим, необходимо лишь то, чтобы каждый процесс имел конечное число действий. Базовые данные, которые используются в процессах, и е влияют а защиту, могут быть бесконечными [121]. Кроме того, так как число процессов может увеличиваться бесконеч о, си тезируемая программа в целом е имеет конечного состояния. В вычислительном отношении метод является эффективным, он явно не создает теоретического продукта из большого количества процессов, и поэтому не восприимчив к проблеме вспышки, т.е. экспоненциальному росту числа глобальных состоя ий п и увеличении числа процессов, что является ос ов ым препятствием к широкомасштабному приложению мехмшческих методов проверки.

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

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

Каждой партой машине соответствует парная программа, синтаксическая реализация парной машины, которая генерирует ее, как глобальную диаграмму изменения состояний. И наконец, синтаксически составляем все эти парные программы. Эта композиция имеет конъюнктивную природу: процесс р может совершить переход, разрешенный всеми парными программами, в которых содержится р. Позволяем таким "парным программам" добавляться во время выполнения работы. Эти программы составляются при помощи действующих парных программ, это необходимо для повторного синтеза программы. Таким образом, имеем право добавлять новые составляющие, которые п иводят к новым свойствам во время выполнения работы. Использование попарного сопоставления значитель о упрощает описа ный выше п оцесс, так как добавление новой парной программы не нарушает свойств, соответствующих существующим парным программам. Создаем теорему "большой модели", которая показывает, что синтезируемая программа наследует свойства соответствия, взятые из парных программ [122, 123, 124].

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

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

Одним из условий существования метода является тот факт, что парные программы удовлетворяют оп еделенным техническим требованиям, таким образом, этот метод е является абсолютно общим

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

Основной аспект метода - достоверность, какие свойства соответствия могут быть установлены для наших си тезируемых программ. Создаем теорему "большой модели", которая показывает, что синтезируемая программа аследует все свойства соответствия парных программ, т.е. парные свойства. Выражаем парные свойства за промежуточное время ЛСТЬ, исключая оператора. В частности, логические, а также некоторые временные переменные приводят к возникновению свойств некоторой пары программ. Временные переменные приводят к возникновению свойства, которое имеет следующую форму: если выполняется условие 1, то в ко ечном итоге будет выполняться и условие 2. ЛСТЬ выражает временную переменную, которая приводит к пропорцио альности условия 1. К оме того, можем использовать подходящую дедуктивную систему, чтобы объединить парные свойства, тем самым, получить свойства соответствия к упной программы, которую невозможно вывести явным попарным способом.

Предыдущие методы синтеза относятся к екоторой форме поиска в пространстве [129, 140, 143], и поэтому они страдают от проблемы «взрывания» (один из методов извлечения архивировмшых файлов): синтез параллельных программ, состоящих из К последовательных процессов, каждый из которых имеет локальное состояние 0(Ю, требующее создания глобальной диаграммы изменения состояний. Данная диаграмма имеет размер 0(ЫК). Также установлено, что существует определенное количество методов, предлагающих проверку свойств соответствия конкретных процессов. Все о и имеют дело с бесконеч ыми параллельными программами [7], где каждая программа состоит из возможно большого, но фиксированного набора п оцессов. До астоящего времени ни один метод не может проверить или синтезировать уникальную параллельную программу, в кото ой п оцессы будут динамично созданы во время ее выполнения. Более того, в данный момент все методы имеют дело с крупными согласованными программами [11, 12, 13, 16, 53], в отличие от прототипа, где создается "параметрическая

система" [110, 113, 120]: процессы могут быть разделены на небольшое количество "классов эквивалентности", в каждом из которых все процессы изоморфны. Следовательно, при устранении этих двух значительных ограничений, метод является более усовершенствованной версией, и он переместит автоматизированные методы синтеза ближе к области практических распределенных алгоритмов. Иллюстрируем сформулированный выше тезис с помощью метода, чтобы синтезировать данные на основе алгоритмов. Алгоритм является более гибким, так как он разрешает динамическое добавле ие большего количества копий за время выполнения работы. Некоторые метода синтеза, описанные в литературе, синтезируют открытые системы" или "реактивные модули", которые взаимодействуют со средой и требуют удовлетво е ия спецификаций независимо от поведения среды. Основной аргумент для синтеза открытых систем состоит в том, что открытые системы аботают с некоторыми входными данными, которые присутствуют в среде. Можно добиться этого эффекта при помощи модуля "exists nexttime" (EX) временной логики CTL. Проиллюстрируем это в примере данных, где указываем, что клиент может предоставлять операции в любое время.

Таким образом, необходимо:

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

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

1.2. Проблематика метрики пути в задачах управления взаимодействием компонент распределенных информационных систем

Возникают определе ные классы приложений, работающие п и помощи беспроводных сетей, которые нуждаются в создании новых математических моделей и инструме тов для обеспечения сетевой надежности [10, 24, 50, 100]. Требуется обоснование и создание метрики для измерения надежности топологий бесп овод ых сетей с лавинной рассылкой. Метрика необходима для непрерывного измерения вероятности доставки пакета, где каждый узел пе едает пакет после того, как он получил сообщения от всех соседей о его доставке.

Несмотря на негарантирующую доставку данных природу беспроводных каналов, приложения, которые нуждаются в надешшх средствах передачи, переходят на беспроводные сети (WSNs) [108, 115]. Это привело к попыткам создания WSN-стандартов коммуникаций, адаптированных к промышленной автоматизации (например, WirelessHART, ISA-SP100 [130-133]).

Ключевыми сетевыми показателями корректности метрик для всех этих стандартов взаимодействия являются надешюсть и вероятность того, что пакет будет успешно доставлен к месту назначения [109, 112, 134]. Упомянутые стандарты используют несколько мехшшзмов для повышения надежности посредством передачи, включающего в себя повторную передачу (время разнесения), передачу на разных частотах (частота разнесения), а также многолучевую маршрутизацию (разнообразие маршрутов) [137, 139, 142, 148]. Но введения простых мехмшзмов для увеличения надеж ости недостаточ о, необходимы еще и методы для оценки этой надежности, соответстве но, для оптимизации сети и обеспечения некой гарантии для приложений. В частности, необходима метрика надежности сети для: 1) быстрой оценки и сравнения различных топологий маршрутизации, чтобы аз аботать стратегии размещения беспроводных узлов; 2) восприятия ее как интерфейса беспроводной сети к системам, построенным на этих сетях (наприме , сетевые системы управления); и 3) помощи в создании адеж ой топологии маршрутизации.

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

В маршрутизации одного общего тракта, метрика пути часто определяется как сумма метрик ссылок на этот путь. Примеры метрик ссылок включают в себя отрицательный логарифм вероятности (для вероятности пути), ETX (ожидаемый граф передачи), ЕТТ (ожидаемое время передачи), и RTT (время передачи) [147, 148, 149]. Большинство протоколов маршрутизации од ого пути аходят минимальную стоимость

пути, где стоимость является метрикой ма шрута, используя алго итм поиска кратчайшего пути [154, 155].

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

Предлагаемая метрика FPP - это обобще ие надежности вычисле ия, для протокола M-MPR и для протокола GRAdient Broadcast [154, 155, 165]. В отличие от них, разрабатываемый алго итм для вычисле ия FPP метрик не предполагает того, что все пути имеют одинаковую длину.

На основе TSMP разработа а модель цепи Ма кова [2, 3], для того чтобы получить вероят ость доставки пакета в течение оп еделенного времени из сетчатой топологии маршрутизации рафика TDMA. Обратная задача состоит в том, чтобы попытаться совместно построить топологию сетчатой маршрутизации и расписания TDMA, для обеспечения строгой надежности и задержки ограничений [5, 9, 15]. Это задача гораздо сложнее. Подход, использованный в этой работе, заключается в разделении проблемы планирования из маршрутизации, и сосредоточении на этом. Возникает оптимальное расписание и переадресация пакетов для задержки ограничения надежности.

Многие алгоритмы для построе ия м оголучевой топологии маршрутизации стараются свести к минимуму показатели одного пути. Например, расширяется алгоритм Дейкстры поиска рав ой ми ималь ой стоимости пути, или находится несколько непересекающихся узлов, а также минимальная стоимость пути этих непересекающихся узлов. RPL -это протокол маршрутизации, который строит топологию маршрутизации DAG путем создания минимального дерева маршрутизации (ссылки из дочерних узлов к "предпочтительным родительским" узлам), а затем добавляет резервные соединения, которые не приводят к появлению петель маршрутизации [19, 23, 32-36].

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

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Борачук В.В., Рудычев А.А., Подвальный Е.С. Моделирование и формализация управления взаимодействием с поставщиком услуг // Системы управления и информационные технологии. 2013. Т.53. №3. С.76-80.

2. Вентцель Е. С. Теория вероятностей - 7-е изд. стер. М: Высшая школа, 2001. - 575 С.

3. Вентцель Е.С., Овчаров Л.А. Теория случайных процессов и ее инженерные приложения. - М.: Наука. Гл. ред. физ.-мат. лит. - 1991.

4. Волков Д. Как оценить рабочую станцию // Открытые системы, №2, 1994, С. 44-48.

5. Волков Д., Французов Д., Новое поколение тестов SPEC. / Открытые системы, №4, 1996, С. 73-74.

6. Гамильтон С. Управление цепочками поставок с Microsoft Axapta. -М.: Альпина Бизнес Букс, 2005, 352 с.

7. Гешвинде Э., Шенинг Г.Ю. Разработка WEB-приложений на PHP и PostgreSQL. М.: ДиаСофт, 2003.- 608 C.

8. Ги К. Введение в локально-вычислительные сети. - М.: Радио и связь, 2000. - 190 с.

9. Гнеденко Б.В., Коваленко И.Н. Введение в теорию массового обслуживания, 2-е изд., М.:Наука, 1987. - 336 C.

10. Говорский А.Э., Кравец О.Я. Особенности взаимодействия подсистем при решении задач интегрального обслуживания неоднородного трафика // Системы управления и информационные технологии. 2008. Т. 31. № 1.1. С. 141-146.

11. ГОСТ 28195-89 Оценка качества программных средств. Общие положения. Введен 01.07.90. - 39 С.

12. ГОСТ 28806-90 Качество программных средств. Термины и определения. Введен 01.01.92. - 12 С.

13. ГОСТ Р ИСО/МЭК 9126-93 Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. Введен 01.07.94. - 19 С.

14. Гриневич А.И., Кулямин В.В., Марковцев Д.А., Петренко А.К., Рубанов В.В., Хорошилов А.В. Использование формальных методов для обеспечения соблюдения программных стандартов. - Тр. института системного программирования РАН. - 2006. - Т.10, с. 51-68.

15. Грязнов Н.Г., Димитриев Ю.К., Мелентьев В.А. Оптимизация отказоустойчивого вложения диагностического графа в тороидальные структуры живучих вычислительных систем// Автоматика и телемеханика. 2003. № 4. С. 133-152.

16. Дастин Э., Рэшка Д., Джон П. Автоматизированное тестирование программного обеспечения. Внедрение, управление и эксплуатация. - М.: Лори, 2003.

17. Дейт К. Введение в системы баз данных - 6-е изд. - Киев: Диалектика, 1998. - 784 C.

18. Дейтел Х., Дейтел П., Нието Т. Как программировать для Internet & WWW М.: Бином, 2002, - 1184 C.

19. Денисов А.А., Колесников Д.Н. Теория больших систем управления. Л.: Энергоиздат, 1982. - 288 C.

20. Харт Д.М. Системное программирование в среде Win32 - 2-е издание. М.: Вильямс, 2001. 464 C.

21. Диго С.М. Проектирование и использование баз данных. М.: Финансы и статистика, 1995. -208 C.

22. Дрожжинов В.И. От теста не уйдешь// Мир ПК, N 2, 1993.

23. Жожикашвили В.А., Вишневский В.М. Сети массового обслуживания. Теория и применение к сетям ЭВМ. М.: Радио и связь, 1988. - 192 C.

24. Журков А.П., Аминев Д.А., Гусева П.А., Мирошниченко С.С., Петросян П.А. Анализ возможностей применения подходов самодиагностирования к распределенной радиотехнической системе наблюдения// Системы управления, связи и безопасности. 2015. № 4. С. 114122.

25. Задорожный В.Н. Модели и системы. Анализ научного мышления. -Омск, ОМГТУ, 1999. - 100 с.

26. Задорожный В.Н. Статистическое моделирование. - Омск: Изд-во ОмГТУ, 1996. - 92с.

27. Иванов П. Управление информационными системами: базовые концепции и тенденции развития // Открытые системы, №4, 1999, C. 37-43.

28. Камер Д. Компьютерные сети и Internet М.: Вильямс, 2002.- 640 С.

29. Кастаньетто Д. и др. Профессиональное PHP программирование. М.: Символ - Плюс, 2001. - 912 C.

30. Кениг Д., Штоян Д. Методы теории массового обслуживания.- М.: Радио и связь, 1981. - 127 с.

31. Киллелиа П. Тюнинг WEB-сервера. СПб.: Питер, 2003. - 528 C.

32. Клейнен Дж. Статистические методы в имитационном моделировании. - М.: Статистика, 1978. - Вып. 1. - 221 с.; Вып. 2 - 335 с.

33. Клейнрок Л. Вычислительные системы с очередями: Пер. с англ. М.: Мир, 1979 - 600 C.

34. Клейнрок Л. Теория массового обслуживания: Пер. с англ. М.: Машиностроение, 1979 - 432 C.

35. Когаловский М.Р. Энциклопедия технологий баз данных. М.: Финстат, 2002. - 800 C.

36. Кокс Д. Р., Смит У. Л. Теория очередей: Пер. с англ. М.: Мир, 1966 -218 C.

37. Колесов Ю.Б., Сениченков Ю.Б., Визуальное моделирование, СПб.: Мир и Семья, 2000. - 256 С.

38. Конвей Р., Максвелл В., Миллер Л. Теория расписаний: Пер с англ. / Под ред. Г.П. Башарина. - М.: Наука, 1975 - 159 с.

39. Кравец О.Я., Барабанова И.А., Соляник С.А. Программа нечёткого к-поиска близких объектов. - Свидетельство о государственной регистрации программы для ЭВМ №2018666616 от 19.12.2018. М.: ФИПС, 2018.

40. Кравец О.Я., Соляник С.А. Алгоритмизация построения топологии системы управления потоками данных в ячеистых сетях// Системы управления и информационные технологии, №3(73), 2018. С. 66-69.

41. Кравец О.Я., Соляник С.А. Разработка процессной модели управления инновационной деятельностью при разработке наукоемких прикладных IT-решений в условиях импортозамещения в сфере информационных технологий// Информационные технологии моделирования и управления, №2(104), 2017. -С. 115-132.

42. Кравец О.Я., Соляник С.А. Резултат от интегрирането на специален математически и софтуер в практиката на метрологията// Парадигма. Електронно научно списание. Брой 2/2016. - С. 59-74. http://niiparadigma.ru/?page_id=1783.

43. Кравец О.Я., Соляник С.А. Управление вероятностными потоками в беспроводных ячеистых сетях на основе использования ориентированного ациклического графа// Системы управления и информационные технологии, №4(70), 2017. - С. 40-44.

44. Ланг К., Чоу Д. Публикация баз данных в Интернете. - СПб.: Символ-Плюс, 2004.

45. Ларионов А.М., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы и сети. Л.: Энергоатомиздат, 1987. - 256 C.

46. Лебедев А.Н., Чернявский Е.А. Вероятностные методы в вычислительной технике. М.: Высшая школа, 1986. - 312 C.

47. Левенчук А. Интранет предлагает решения для корпорации// Рынок ценных бумаг, №16, 1996.

48. Липский Н. Комбинаторика для программистов. М.: Мир, 1985. - 374

C.

49. Мазуркевич А., Еловой Д. PHP: настольная книга программиста. М.: Новое знание 2003. -480 C.

50. Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980.

51. Мальцева С.В. Информационное моделирование WEB-ресурсов Интернет. М.: Глобус, 2003. - 216 C.

52. Матвеев В.Ф., Ушаков В.Г. Системы массового обслуживания. М.: Изд-во МГУ, 1984. - 240 C.

53. Мельтцер К., Михальски Б. Разработка CGI-приложений на Perl. М.: Вильямс, 2001. - 400 C.

54. Мещеряков Е.В., Хомоненко А.Д. Публикация баз данных в Интернете Спб.: BHV-Санкт-Петербург, 2001. - 560 C.

55. Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. 2-изд. СПб: Питер-пресс, 2002. - 864 C.

56. Павловский Ю. Н. Имитационные модели и системы. М.: ФАЗИС, 2000. - 144 C.

57. Перегудов Ф.П., Тарасенко Ф.П. Введение в системный анализ. М: Высшая школа, 1989. - 367 C.

58. Петренко А., Бритвина Е., Грошев С., Монахов А., Петренко О. Тестирование сетевой инфраструктуры// Открытые системы, 09/2003.

59. Подвальный Е.С., Маслобойщиков Е.В. Особенности использования нейросетевого прогнозирования финансовых временных рядов // Вестник Воронежского государственного технического университета. 2011. Т.7. №10. С.25-29.

60. Подвальный Е.С., Тюрин С.В., Соляник А.А. Оперативное управление автоматизированными технологическими комплексами на основе графического моделирования и визуализации задач диагностики и моделирования нагрузки // Системы управления и информационные технологии. 2011. Т.46. №4-1. С.171-175.

61. Подвальный С.Л., Леденева Т.М., Поваляев А.Д., Подвальный Е.С. Проблемы разработки интеллектуальных систем многоальтернативного моделирования // Системы управления и информационные технологии. 2013. Т.9. №3-1. С.19-23.

62. Профессиональные стандарты в области информационных технологий. - М.: АП КИТ, 2008. - 616 c.

63. Ройс У. Управление проектами по созданию программного обеспечения. - М.: Лори, 2002.

64. Свами М., Тхуласираман К. Графы, сети и алгоритмы: Пер. с англ. М.: Мир, 1984. - 455 C.

65. Седова Н.А. Формирование лингвистических переменных для задач судовождения// Эксплуатация морского транспорта. - 2013. - №2(72). - С. 1923.

66. Седова Н.А., Перечёсов В.С., Седов В.А. Удержание судна на курсе на базе нечеткой логики с учетом скорости судна// Автоматизация процессов управления. - 2013. - № 2. - С.74-79.

67. Советов Б.Я., Яковлев С.А. Моделирование систем //3-е изд., M:Высшая школа, 2001. - 344 C.

68. Создание Intranet. Официальное руководство Microsoft. - СПб.: BHV, 1998.

69. Соляник А.А., Авсеева О.В., Кравец О.Я. Особенности управления процессами конкурентного проектирования программного обеспечения // Системы управления и информационные технологии. 2010. Т. 39. № 1.2. С. 308-312.

70. Соляник А.И., Кравец О.Я. Об аналитическом подходе к метамоделированию механизмов управления региональной социально-экономической системой // Системы управления и информационные технологии. №1.3(31), 2008. - С. 380-384.

71. Соляник А.И., Кравец О.Я. Пути и средства повышения эффективности управления качеством социально-экономической системы // Системы управления и информационные технологии. №2.2(32), 2008. - С. 304308.

72. Соляник А.И., Кравец О.Я. Системно-структурное моделирование объекта управления на основе проектного подхода // Системы управления и информационные технологии, №4(46), 2011. - С. 43-45.

73. Соляник А.И., Соляник С.А. Формализация программной модели управления территориальной системой с использованием нечетких множеств// Системы управления и информационные технологии, №3(65), 2016. - С. 87-92.

74. Соляник С.А. Графовые инструменты управления пакетами без предварительного оповещения// Информационные технологии моделирования и управления, №3(111), 2018. - С. 234-239.

75. Соляник С.А. Способ определения диагностических способностей системы с полиномиальной оценкой трудоемкости по времени// Информационные технологии моделирования и управления, №6(102), 2016. -С. 437-445.

76. Соляник С.А. Управление потоками данных в беспроводных ячеистых сетях с однократной рассылкой по топологии графа// Системы управления и информационные технологии, №1(71), 2018. - С. 85-88.

77. Соляник С.А., Кравец О.Я. Исследование устойчивости процесса синтеза статических программных систем с блокировками// Экономика и менеджмент систем управления, №3.1(25), 2017. - С. 166-179.

78. Соляник С.А., Кравец О.Я. Модели и алгоритмы оперативного управления вероятностными процессами в многоуровневой специализированной системе// Информационные технологии моделирования и управления, №4(100), 2016. - С. 70-80.

79. Соляник С.А., Кравец О.Я. Размита моделиращи дейности лаборатории за калибриране като структурна предмет на териториално система, гарантираща единство на измеренията // Парадигма. Електронно научно списание. Брой 2/2016. - С. 145-158. Шр://ппрагаё1§та.ги/?ра§е_1ё=1783.

80. Соляник С.А., Кравец О.Я. Разработка процессной модели создания прикладных 1Т-решений для задач управления// Экономика и менеджмент систем управления, №3(25), 2017. - С. 79-86.

81. Соляник С.А., Кравец О.Я. Элементы синтеза статических программных систем с компонентами параллелизма// Информационные технологии моделирования и управления, №4(106), 2017. - С. 274-284.

82. Соляник С.А., Соляник А.И. Рационализация плановой диагностики дискретно-событийных систем в «холодном» режиме// Системы управления и информационные технологии, №4.1(66), 2016. - С. 184-188.

83. Стрелкова Е. Интеграция данных предприятия / Открытые системы, №4, 2003, C. 58-60.

84. Технология системного моделирования/ Е.Ф. Аврамчук, А.А. Вавилов, С.В. Емельянов и др. / Под ред. С.В. Емельянова. - М.: Машиностроение, 1988. - 320 с.

85. Томашевский В.Н., Жданова Е.Г. Имитационное моделирование в среде GPSS. Серия "Факультет". М.: Бестселлер, 2003. 400 C.

86. Томсетт Р. Радикальное управление ИТ проектами. М.: Лори, 2005.

87. Увайсов С.У., Иванов И.А., Кошелев Н.А. Методика обеспечения диагностируемости электронных средств космических аппаратов по ранговому критерию на ранних этапах проектирования// Качество. Инновации. Образование. 2012. № 1 (80). С. 60-63.

88. Уемов А.И. Системный подход и общая теория систем. М.: Мысль, 1978.- 272 C.

89. Управление качеством продукции. Введение в системы менеджмента качества / С. Пономарев, С. Мищенко, В.Я. Белобрагин. М.: Стандарты и качество, 2005.

90. Феллер В. Введение в теорию вероятностей и её приложения: в 2-х т. -М.: Мир,1967. - т. 1, 498 с.

91. Феррари Д. Оценка производительности вычислительных систем. М.: Мир, 1981. - 576 C.

92. Французов Д. Оценка производительности вычислительных систем. Открытые системы, №2, 1996, С. 58-66.

93. Фролов А.В. Фролов Г.В. Локальные сети персональных компьютеров. М.: ДИАЛОГ-МИФИ, 1993. - 176 С.

94. Харари Ф. Теория графов. М.: Мир, 1973. - 300 С.

95. Харрингтон Дж. Проектирование реляционных баз данных. М: Лори-Пресс, 2000. - 230 С.

96. Хилайер С., Мизик Д. Программирование Active Server Pages. М.: Русская редакция. 2000. - 320 С.

97. Храмцов П.Б., Брик С.А. и др. Основы web-технологий. М.: ИНТУИТ.ру, 2003. - 512 С.

98. Цаленко М.Ш. Моделирование семантики в базах данных. М.: Наука, 1989. - 287 С.

99. Черняк Л. Intranet - объективная реальность, данная нам// Рынок ценных бумаг, №3, 1997.

100. Чжо З.Е., Чжо З.Л., Наинг Л.А. Разработка методики децентрализованной диагностики и диагностируемости с использованием модели тестирования// Вести высших учебных заведений Черноземья. 2015. № 3. С. 60-70.

101. Чистяков В.П. Курс теории вероятностей - 5-е изд. М.: Агар, 2000. -255 С.

102. Шагурина Н. Web-службы: новая парадигма интеграции? / Сетевой журнал №2, M., 2003 - С. 14-17.

103. Шеннон Р. Имитационное моделирование систем. М.: Мир, 1978. - 418

С.

104. Al Okbi I.S., Kravets O.Ja. Review and comments about some Iraq scientific journals // American Journal of Economics and Control Systems Management. 2013. Т. 1. № 1. С. 15-28.

105. Arons T., Pnueli A., Ruah S., Xu J., Zuck L. Parameterized verification with automatically computed inductive assertions. In CAV, 2001.

106. Attie P.C. Synthesis of large concurrent programs via pairwise composition. In CONCUR' 99: 10th International Conference on Concurrency Theory, number 1664 in LNCS, Aalborg, Denmark, Aug. 1999. Springer-Verlag.

107. Attie P.C., Emerson E.A. Synthesis of concurrent systems with many similar processes// ACM Trans. Program. Lang. Syst., 20(1): 51-115, Jan. 1998.

108. Baccour N., Kouba A., Noda C., Fotouhi H., Alves M., Youssef H., Ziga M.A., Boano C.A., R?mer K., Puccinelli D., Voigt T., Mottola L. Radio Link Quality Estimation in Low-Power Wireless Networks. Springer Science & Business Media. 2013.

109. Bavshi S., Chong E. Automated fault diagnosis of using a discrete event systems framework// Proc. 9th IEEE int. Symp. Intelligent Contr., 1994, pp. 213-218.

110. Bemporad A., Heemels M., Johansson M. Networked Control Systems. Springer, 2010.

111. Browne M.C., Clarke E.M., Grumberg O. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science, 59:115131, 1988.

112. Cai Z., Wang C., Cheng S., Wang H., Gao H. Wireless Algorithms, Systems, and Applications: 9th International Conference, WASA 2014. Springer, 2014.

113. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.

114. Chaki N., Chaki R. Intrusion Detection in Wireless Ad-Hoc Networks. CRC Press, 2014.

115. Chen D., Nixon M., Mok A. WirelessHART: Real-time Mesh Network for Industrial Automation. Springer, 2010.

116. Cieslak R. et al. Supervisory control of discrete-event processes with partial observations// IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249-260.

117. Clarke E.M., Grumberg O., Browne M.C. Reasoning about networks with many identical finite-state processes. In Proceedings of the 5th Annual ACM Symposium on Principles of Distributed Computing, pages 240 - 248, New York, 1986. ACM.

118. Darwiche A., Provan G. Exploiting system structure in modelbased diagnosis of discrete event systems// Proc. 7th Annu. Int. Workshop on the Principles of Diagnosis (DX'96), 1996, pp. 95-105.

119. David R., Alla H. Petri Nets and Grafcet: Tools for modelling discrete event systems. Englewood Cliffs, NJ: Prentice-Hall, 1992.

120. Development of a system to increase the legal metrological control of measuring instruments in Brazil / A. Soratto, O. Pohlmann Filho, M.R. de Paiva, R.B. Giordani, C. Bringhenti // International Journal of Metrology and Quality Engineering. Volume 5, Number 3, 2014. DOI: http://dx.doi.org/10.1051/ijmqe/2014013

121. Dijkstra E.W. A Discipline of Programming. Prentice-Hall Inc., Englewood Cliffs, N.J., 1976.

122. Emerson E.A. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, Formal Models and

123. Emerson E.A., Clarke E.M. Using branching time temporal logic to synthesize synchronization skeletons// Sci. Comput. Program., 2:241 - 266, 1982.

124. Emerson E.A., Lei C. Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program., 8:275-306, 1987.

125. Factors Influencing Total Service Quality / Tohid Kachwala // Advances in Management, Vol. 8, No. 4, April 2015

126. Fekete A., Gupta D., Luchango V., Lynch N., Shvartsman A. Eventually-serializable data services. Theoretical Computer Science, 220:113-156, 1999. Conference version appears in ACM Symposium on Principles of Distributed Computing, 1996.

127. Garcia E. et al. Centralized modular diagnosis and the phenomenon of coupling// Proc. 2002 IEEE Int. Workshop on Discrete Event Systems (WODES'02), Oct. 2002, pp. 161-168.

128. Grumberg O., Long D.E. Model checking and modular verification// ACM Trans. Program. Lang. Syst., 16(3):843-871, May 1994.

129. Hoare C.A.R. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 583, 1969.

130. http: //algolist.manual .ru/maths/graphs/maxflows/Ford_Fulkerson.php.

131. http://www.ietf.org/id/draft-ietf-roll-rpl- 19.txt.

132. http://www.isa.org/isa100.

133. https://thecustomizewindows.com/2014/07/time-synchronized-mesh-protocol-tsmp/.

134. Hunger R. Analysis and Transceiver Design for the MIMO Broadcast Channel. Springer Science & Business Media, 2012.

135. Implementation of Quality Management System ISO 9001 in the World and Its Strategic Necessity / J?nis Priede // Procedia - Social and Behavioral Sciences. Volume 58, 12 October 2012, Pages 1466-1475.

136. Inertial capability index based on fuzzy data / B.S. Gildeh, S. Asghari // International Journal of Metrology and Quality Engineering. 2011 Vol. 2. DOI: http://dx.doi.org/10.1051/ijmqe/2011008

137. Internet Engineering Task Force, "Routing protocol for low power and lossy networks (RPL)," http://www.ietf.org/id/draft-ietf-roll-rpl-19.txt, 2011.

138. Kramarenko M. Synthesis of optimal one-step t-diagnosable graphs for a deterministic asymmetrical system-level diagnosis model// npo6neMH TeneKOMymKa^n. 2013. № 3 (12). C. 53-60.

139. Kravets O.Ja., Oleinikova S.A. Multiagent Technology for the Application of a Distributing Function for Load Balancing in Multiserver Systems // Automation and remote control, 2014, № 5, T. 75, c. 977 - 982.

140. Kupferman O., Vardi M.Y. Synthesis with incomplete information. In 2nd International Conference on Temporal Logic, pages 91-106, Manchester, July 1997. Kluwer Academic Publishers.

141. Lin F. Diagnosability of Discrete Event Systems and Its Applications// Discrete Event Dynamic Systems, 4(197-212), 1994.

142. Lin F. et al. A Uniform Approach to Mixed-signal Circuit Test// International Journal of Circuit Theory and Applications, 25(81-93), 1997.

143. Manna Z., Wolper P. Synthesis of communicating processes from temporal logic specifications// ACM Trans. Program. Lang. Syst., 6(1):68-93, Jan. 1984.

144. Mellouk A. End-to-End Quality of Service Mechanisms in Next Generation Heterogeneous Networks. John Wiley & Sons, 2013.

145. Metrological traceability of the measured values of properties of engineering materials / G. Roebben, T. Linsinger, A. Lamberty, H. Emons // Metrologia, 2010, Volume 47, Number 2. http: //iopscience.iop .org/article/10.1088/0026-1394/47/2/S03/meta

146. Out of the Crisis / Deming, W. Edwards (1986). MIT Center for Advanced Engineering Study. ISBN 0-911379-01-0.

147. Owczarek P., Piechowiak M., Zwierzykowski P. Analysis of Routing Protocols Metrics for Wireless Mesh Networks// Information Systems Architecture and Technology: Proc. of 37th Int. Conf. on Information Systems Architecture and Technology. - ISAT 2016. - Part II. pp 177-186.

148. Pister K., Thubert P., Dwars S., Phinney T. Industrial Routing Requirements in Low-Power and Lossy Networks, RFC 5673 (Informational), Internet Engineering Task Force, Oct. 2009.

149. Plotnikov O.A., Podvalny E.S. The Multi-alternative Cargo Routing Problem: Solution by Evolutionary Methods // Automation and Remote Control. Vol. 74, No. 10, 2013.

150. Podvalny S.L., Vasiljev E.M. Evolutionary Principles for Construction of Intellectual Systems of Multi-Alternative Control // Automation and remote control, 2015, № 2, T. 76, c. 311-317.

151. Podvalny S.L., Vasiljev E.M., Barabanov V.F. Models of multi-alternative control and decision-making in complex systems // Automation and remote control, 2014, № 10, T. 75, c. 1886-1891.

152. Quality Management for the Future / Mark A. Nash // Quality Magazine, October 2, 2014. http://www.qualitymag.com/articles/92184-quality-management-for-the-future

153. Quality, Metrology, and cGMP/FDA Regulations. http://www.vaisala.com/Vaisala%20Documents/Regulatory%20Compliance%20Info rmation/10-Articles-on-Quality-Metrology-and-FDA-Regulations.pdf

154. Routing Over Low power and Lossy networks. 2017. https: //datatracker.ietf.org/wg/roll/charter/.

155. RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks. Internet Engineering Task Force (IETF). RFC 6550. 2012.

156. Solyanik S.A., Kravets O.Ja. Data export based on k-best decision making// Modern informatization problems in simulation and social technologies (MIP-2019'SCT): Proceedings of the XXIV-th International Open Science Conference. -Yelm, WA, USA: Science Book Publishing House, 2019. - P. 225-230.

157. Solyanik S.A., Kravets O.Ja. The approach to the creation of software systems synthesis technology with overlapping elements and model of shared memory// Modern informatization problems in the technological and telecommunication systems analysis and synthesis: Proceedings of the XXII-th International Open Science Conference. - Yelm, WA, USA: Science Book Publishing House, 2017. - P. 278-286

158. Solyanik S.A., Kravets O.Ja. The results of the special mathematical and software integration in metrological practice//. Selected Papers of the International Scientific School "Paradigma" Summer-2016 (Varna, Bulgaria). - Yelm, WA, USA: Science Book Publishing House, 2016. - p. 101-115.

159. Standards and Quality / Anwar El-Tawil. World Scientific Publishing Co. Pte. Ltd. 2015. 196 pp. https://www.reliance.co.uk/en/Quality-Control

160. Tatarintsev V., Solyanik S.A., Kravets O.Ya., Khrapylina L. Improvement of methodology of end-to-end integrated management of quality of metrological activities in geographically distributed systems of ensuring the uniformity of measurements// Quality - Access to Success, August 2017. Vol. 18 - No. 159. p. 8489. ISSN 1582-2559. http://www.srac.ro/calitatea/en/arhiva/2017/2017-04-Contents.pdf

161. TQM and Competitive Advantage: A Review and Research Agenda / Chong Sze Thiam, Ooi Keng Boon, Chong Alain Yee Loong, Tan Boon // International Journal of Business and Management Science, Vol. 2, No. 2, December 2009

162. Viswanadham N., Johnson T. Fault detection and diagnosis of automated manufacturing systems// Proc. 27th IEEE Conf. Decision and Control, Dec. 1988, pp. 2301-2306.

163. Wireless Industrial Networking Alliance (WINA). http://www.wina.org.

164. Zad S.H. et al. Fault diagnosis in discrete event systems: Framework and model reduction// Proc. 37th IEEE Conf. Decision and Control, Dec. 1998, pp. 37693774.

165. Zeng K., Lou W., Li M. Multihop Wireless Networks: Opportunistic Routing. 2011. John Wiley & Sons.