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

• Мазный, Никита Геннадиевич
• кандидат физико-математических наук
• 2009

Оглавление диссертации кандидат физико-математических наук Мазный, Никита Геннадиевич

Введение.

Глава 1. Обзор методов разработки программных систем автоматизации экспериментов

1.1. Прагматический подход к разработке САЭ

1.2. Технология разработки САЭ

1.2.1.Использованне интерпретаторов

1.2.2. Системы типа SCADA

1.2.3. Специальные системы построения САЭ

1.3. Специальные методы построения драйверного слоя программ

1.4. Выбор операционной системы

1.5. Выводы

Глава 2. Разработка программ управления системой автоматизации эксперимента на основе концепции конечного автомата

2.1. Программное обеспечение САЭ

2.2. Базовое программное обеспечение САЭ

2.3.Программа управления работой САЭ

2.3.1. Структура программы

2.3.2. Алгоритм работы

2.3.3. Интерфейс пользователя управляющей программы

2.3.4. Особенности работы под управлением программы PULT

2.4. Управление состоянием

САЭ • • • • •

2.5. Подсистема обработки данных

2.6. Испытания разработанной САЭ в реальных экспериментах

2.7. Выводы . 52

Глава 3. Подсистема подготовки задания в виде списка состояний

ГА^ SS

3.1. База данных САЭ

3.2. Программа подготовки задания в виде списка состояний конечного автомата - программа PSJ

3.2.1. Режим составления задания

3.2.2. Режим редактирования задания

3.2.3. Параметры для протокола и др.

3.2.4. Фиксируемые параметры

3.3. Выводы

Глава 4. Развитие структуры САЭ и методики управления ее состоянием

4.1. Разработка структуры драйвера

4.1.1. Назначение интерфейсной части

4.1.2. Функциональный модуль

4.1.3. Свойства данной структуры драйвера

4.2. Развитие конфигурации системы автоматизации

4.2.1. Анализ результатов опытных испытаний САЭ

4.2.2. Назначение ЭВМ оператора

4.2.3. Программное обеспечение Сервера приложения

4.2.4. ЭВМ-Контроллера

4.3. Алгоритм программы SetVec - управление состоянием конечного автомата

4.4. Обеспечение надежности

4.5. Выводы

Глава 5. Средства передачи информации между процессами

5.1. Средства передачи информации на верхнем уровне.

5.1.1. Исследование используемых в САЭ механизмов IPC

5.1.2. Выбор механизма IPC верхнего уровня распределенной САЭ и разработка программ

5.2. Средства передачи данных на нижнем уровне

5.2.1. Требования, предъявляемые к ППД

5.2.2. Функциональная схема ППД

5.2.3. Логическое представление системы с использованием ППД

5.2.4. Передача данных

5.3. Выводы

Глава 6. Примеры приложений

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

6.1.1. Структура программного обеспечения

6.1.2. Программное обеспечение ЭВМ Контроллера

6.1.3. Программное обеспечение ЭВМ Сервера приложения

6.1.4. Программа Терминал

6.1.5. Конкретное приложение - акустическая система

6.1.6. Выводы

6.2. Программа диалогового управления работой САЭ

6.2.1. Построение параметрической модели установки

6.2.2. Управление программой МС

6.2.3. Выводы

6.3. Экспресс-анализ спектров

6.3.1. Алгоритм и программный модуль экспресс- анализа

6.3.2. Интерфейс пользователя программы ЕА

6.3.3. Алгоритм сглаживания

6.3.4. Использование программы

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

Информационные и производственные технологии (информационно-телекоммуникационные системы, гибкие производственные системы, системы автоматизированного управления и др.) относятся к приоритетным направлениям науки и техники [1,2], и их развитие актуально не только в нашей стране.

К настоящему времени созданы средства программирования и разработки систем автоматизированного управления (САУ) различной мощности. К ним относятся развитые системы программирования [3], средства быстрой разработки приложений RAD [4,5], системы типа SCADA [6], специальные средства построения систем управления экспериментальным и промышленным оборудованием крупных объектов (например, [7,8]). Процесс развития средств и методов разработки САУ продолжается. Один из мощных стимулов — растущие темпы развития технологии производства компонентов средств вычислительной техники (ВТ). По мере развития средств разработки САУ:

• увеличивается их сложность;

• возникает возможность автоматизировать более сложные объекты;

• улучшаются эксплуатационные характеристики разрабатываемых САУ;

• растет число разработчиков, вовлекаемых в разработку близких по назначению САУ;

• разработка САУ приобретает комплексный характер и требуется привлечение специалистов разного профиля.

В результате сроки разработки САУ оказываются не адекватными темпам развития аппаратной базы и средств программирования.

Способ разработки САУ существенно зависит от ее масштаба и области применения. Так, создание заводов, технологических линий по производству специализированной электроники, привлечение крупных коллективов программистов приемлемо для проектов национального масштаба [7,9], а также сложных или уникальных объектов автоматизации [10-17]. Соответствующее программное обеспечение таких систем обычно довольно консервативно (срок жизни >10 лет) и для него решаются вопросы компетентного сопровождения. Сроки его разработки (>1.2 лет) адекватны срокам создания объектов и являются приемлемыми.

Разработка систем автоматизации экспериментов (САЭ) в исследовательских организациях (например, [19-22]), систем мониторинга, таможенного контроля, автоматизации технологических процессов в небольших научно-производственных центрах (например, [23]) имеет свою специфику:

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

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

• рассматриваемый класс САЭ подвержен систематическому изменению способа использования (например, методики эксперимента), состава контролируемых и управляемых параметров; это приводит к неоднократному изменению состава используемого специального оборудования в течение срока жизни системы.

В этом случае роль сроков разработки, тем более - адаптации программной системы к новым условиям использования, существенно возрастает. Системы автоматизации научных исследований, мониторинга, таможенного контроля и т.п. имеют между собой много общего, однако, ввиду отсутствия общепризнанных стандартов, коллективы разработчиков зачастую дублируют работу друг друга. Объективная характеристика состояния дел с автоматизацией к 80-м годам была дана в работах [85,86]. В этих работах выполнен анализ 200 САЭ по результатам опроса 40 различных организаций АН СССР и союзных республик, представляющих практически все направления, нуждающиеся в автоматизации научных исследований. "На разработку и доведение каждой из 200 созданных систем автоматизации при наличии базовых средств затрачено в лучшем случае год, а в большинстве случаев до двух-трех лет. Для каждой системы программное обеспечение создается практически независимо" [86]. Работы, направленные на обеспечение преемственности разработанного кода и на сокращение сроков разработки САЭ, остаются актуальными и сегодня.

Одной из очевидных причин удлинения сроков разработки САЭ является комплексный характер этой работы, в частности то, что мы вынуждены использовать элементы программирования на этапе адаптации САЭ к новой методике исследования. В системах типа SCAD А появилась тенденция частичного отказа от использования традиционных языков программирования, однако при этом вводятся средства графического. программирования, также предполагающие привлечение профессионалов [91]. Логично было бы ввести:в, САЭ инструменты для адаптации ее к различным методикам исследования и (или) составу оборудования без привлечения программирования.

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

Выделим две проблемы, которые существенным образом влияют на решение задачи сокращения сроков модификации САЭ.

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

Таблица 1. Традиционные способы модификации САЭ

Цель Тип Изменение прикладной методики эксперимента Изменение состава оборудования

Интерпретирующие системы Скрипт, программирование Скрипт, программирование

Фиксированные системы Ограниченный набор предусмотренных методик Программирование и перекомпиляция системы

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

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

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

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

До последнего времени считалось, что разработка и модификация САЭ без применения программирования невозможна по причине непредсказуемости возможного развития метода выполнения эксперимента. Об этом свидетельствует, например, дискуссия на международной конференции DANEF-2002 [24]. Однако в работах [25,26] показана принципиальная возможность построить такую систему.

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

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

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

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

• обеспечивать автоматический и диалоговый режим работы;

• возможность безостановочной работы — исполнение потока заданий;

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

• использование масштабируемой распределенной конфигурации;

• масштабирование силами пользователя при наличии готовых программных компонентов;

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

• возможность отторжения программного обеспечения от разработчиков.

Инструментальная среда (группа служебных и базовых программ) для разработки САЭ должна обладать следующими основными свойствами:

• графический интерфейс разработчика;

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

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

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

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

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

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

1. Представление подсистемы управления в виде конечного автомата с повторным входом (reentrant), базирующегося на понятии "состояние" ч,

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

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

3. Представление задания в виде списка состояний САЭ

4. Использование названий в терминах предметной области

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

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

1. Представление драйвера в виде конечного автомата, базирующегося на понятии "состояние" [88,89]. В качестве входных символов приняты названия параметров и их значения. При пуске САЭ драйвер получает набор начальных значений полного списка его параметров, в дальнейшем — "усеченный". При этом обеспечивается единообразное управление всеми объектами.

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

3. Используется автоматическая регистрация драйверов в системе (подключение к исполняющим программам).

4. Используется единый способ композиции, а также единый интерфейс системы к драйверу (выполнена унификация).

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

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

Работа выполнялась в соответствии с проблемно-тематическими планами НПЦ "АСПЕКТ" и протоколами о сотрудничестве с ЛНФ ОИЯИ [87,88] в разработке программного обеспечения систем автоматизации экспериментов на реакторе ИБР-2 [10]. Результаты данной работы нашли практическое применение в системах автоматизации экспериментов на реакторе ИБР-2 [2730, 18, 81, 82, 90]. Системы контроля транспортных средств и грузов, разработанные с участием диссертанта, используются с 1997 года на таможенных станциях, в системах радиационного контроля объектов России, ближнего и дальнего зарубежья. Некоторые из разработанных автором методов и алгоритмов проверены в процессе эксплуатации этих систем. Проблемы, с которыми сталкивался автор, опыт, приобретенный при разработке и внедрении этих приложений, а также анализ результатов эксплуатации дали важную информацию для выполнения данной работы. В Приложении-1 приведены названия 9 организаций, являющихся массовыми потребителями программных продуктов, разработанных автором либо при его участии. В Приложении-2 приведены названия 10 таких разработок и дана информация об объемах их тиражирования. Приложение-3 содержит отзывы потребителей программного обеспечения. Опыт работы автора в НПЦ "АСПЕКТ" показывает, что разработка, особенно — сопровождение этих систем малым коллективом, значительно упрощается при использовании предложенных методов.

В рамках созданного ПО систем автоматизации экспериментов автором разработаны и выносятся на защиту новые методы, в том числе:

1. Представление подсистемы управления состоянием САЭ в виде конечного автомата [33]. Данная концепция позволила разработать метод параметрического управления состоянием САЭ и унифицировать способ управления САЭ и драйверами.

2. Метод параметрического управления САЭ, при котором пользователь описывает только условия работы, задавая названия и значения параметров, определяющих эти условия [33]. Данный метод, в сочетании со специальной структурой компонентов драйверного слоя программ [27], позволил создать универсальную программу подготовки задания на эксперимент, адаптирующуюся к используемой конфигурации оборудования САЭ. Основные достоинства метода:

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

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

3. Метод составления задания исполняющей системе в виде списка состояний конечного автомата и средства настройки интерфейса пользователя на заданную пользователем методику эксперимента [33]

4. Специальная структура компонентов драйверного слоя программ, обеспечивающая возможность автоматизировать включение их в состав программной системы - подключение к исполняющей подсистеме и к подсистеме составления задания [27,32,35]. Эти компоненты также представляются в виде конечных автоматов.

5. Специальная структура САЭ, включающая унифицированные базовые модули и драйверный слой программ, а также способ интеграции модулей в систему [27,33]. Достоинства принятого решения следующие:

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

• возможность масштабирования САЭ без перетрансляции;

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

6. Унифицированная подсистема передачи данных, предназначенная для использования в распределенных САЭ со смешанным составом аппаратных средств коммуникации [31]. '?s

НАУЧНАЯ НОВИЗНА работы определяется тем, что в ней при разработке программного обеспечения систем автоматизации экспериментов автором решены актуальные задачи, имеющие самостоятельное научное и практическое значение:

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

Данный метод лег в основу метода параметрического управления состоянием САЭ и позволил унифицировать способ управления САЭ и драйверами.

2. Разработан и впервые применен метод параметрического управления состоянием САЭ. Такое управление позволило создать универсальную программу подготовки задания на эксперимент в виде описания конечного автомата (списка состояний системы).

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

Основные положения, выводы и рекомендации доведены до практической реализации и выдержали проверку в эксплуатации. Разработанные при участии автора программные системы позволили получить важные научные результаты в экспериментах на реакторе ИБР-2 [18, 81, 82].

Отдельные разделы работы были представлены на Всероссийской научно-технической конференции "Методы и средства обработки информации (МСО-2005)", 5-7окт. 2005, МГУ [27]; XVIII Совещании по использованию рассеяния нейтронов в исследованиях конденсированного состояния, 12-16 октября 2004, Заречный, Россия [28]; 57 Международной конференции "Ядро 2007" "Фундаментальные проблемы ядерной, атомной энергии и ядерных технологий", 25-29 июня 2007, Воронеж [30,33]. Основные результаты работы докладывались на научных семинарах ЛНФ ОИЯИ, ЛИТ ОИЯИ, НИИПА, АСПЕКТ, ВМК МГУ, ФЭИ. Ряд работ [27-29,32,34-36] выполнен и представлен в отчетах по гранту РФФИ № 04-07-90256в.

По результатам диссертации опубликовано 10 работ [27-36,90]. В работе [36] автору принадлежит разработка алгоритмов и программного обеспечения системы. Аппаратная часть системы [36] и программы окончательной математической обработки (не описываются в диссертации) разработаны соавторами. Вопрос о возможности разработки САЭ, инвариантной относительно изменений (без изменения конфигурации) методики ее использования, впервые был поднят в работе [25]. Диссертант сформулировал концепцию системы, инвариантной относительно изменения методики эксперимента и конфигурации оборудования САЭ [27,33], разработал необходимые алгоритмы и методы, выполнил проверку реализуемости данной концепции на практике. Результаты, выносимые на защиту, получены лично автором. В работах, опубликованных в соавторстве, личный вклад автора был определяющим на всех этапах выполнения данных работ.

Диссертационная работа состоит из введения, 6 глав и заключения. Она изложена на 113 страницах машинописного текста, содержит 26 рисунков, 3 таблицы, 3 приложения. Список литературы включает 93 наименования.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Мазный, Никита Геннадиевич

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

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

2. Разработан метод параметрического управления САЭ. Такое управление позволило создать универсальную программу подготовки задания на эксперимент в виде описания конечного автомата (списка состояний системы), адаптирующуюся к используемой конфигурации оборудования САЭ.

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

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

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

При использовании описанных методов и программ получены важные научные и практические результаты [18,81,82]. Результаты работы применены при разработке ряда систем для конкретных применений, часть которых перечислена в Приложениях 1,2 к диссертации.

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

Результаты публиковались в научных журналах [32,35,90], в виде сообщений ОИЯИ [29,31,34,36], докладывались на всесоюзных конференциях и совещаниях [27,28,30,33], а также представлены в отчетах за 2005 и 2006 г. по теме гранта РФФИ № 04-07-90256в. Всего по теме диссертации опубликовано 10 работ [27-36,90].

ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат физико-математических наук Мазный, Никита Геннадиевич, 2009 год

1. http://www.fcntp.ru/page.aspx?page=232. http://www.fcntp.ru/page.aspx?page=61

2. Шеферд Дж. "Программирование на Microsoft Visual С++ .NET'7/Пер. с англ. М.: Торгово-издательский дом "Русская Редакция", 2005г., 892с.

3. А.Я. Архангельский "Программирование в Delphy 7" //М: Изд. БИНОМ, 2003г.

4. Borland Developer Studio http://bdn.borland.com/6. http://www.labview.com

5. М. Kraimer, J. Anderson, A. Johnson, E. Norum, J. Hill, R. Lange, B.Franksen. "EPICS Input/Output Controller Application Developer's Guide". Release 3.14.8, 2005. Argonne National Laboratory, http://www.aps.anl.gov/epics8. http://www.opcfoundation.org

6. ИФВЭ http://www.ihep.su/index.html

7. В.Д Ананьев, Д.И. Блохинцев, Ю.М. Булкин и др. "Импульсный реактор периодического действия для нейтронных исследований "// ПТЭ, 1977, №5, с.17.

8. A.C. Баранов, Д.И. Грибов, В.Б. Поляков и др. "Стенд математического моделирования КБО JIA" //Труды Первой Всероссийской конференции "Методы и средства обработки информации" (МСО-2003), 1-Зокт. 2003г., МГУ; М: Изд. отд. фак. ВМиК МГУ, 2003г., с.282.

9. Н.А. Винокуров, В.В. Котенков, Г .Я. Куркин, Л.Э. Медведев, Л. А. Мироненко, А.Д.Орешков, Т.В. Саликова, М.А. Щеглов. "Вакуумная система ЛСЭ" //Препринт ИЯФ 2006-27, "ИЯФ им. Г.И. Будкера СО РАН", Новосибирск, 2002 г.

10. И.В. Грибов, И.В. Шведунов, В.Р. Яйлиян. "Технология создания системы управления современными ускорителями электронов" //Препринт НИИЯФ МГУ 2002-17/701, Изд. Отд. УНЦДО, М, Обручева, 55А, 2002 г.

11. В.Н. Иванов. "Высоконадежная система диспетчерского контроля и управления участком магистрального газопровода" //Мир компьютерной автоматизации, http://w\vw.mka.ru/go/?id=42809&url^www.rtsoft.ru

12. С.А. Мурзин, Г.А. Колеватов. "Автоматизация контроля параметров на участках Ставропольской ГРЭС" //Мир компьютерной автоматизации, http://www.mka.ru/?p=43133

13. ЛНФ им. И.М. Франка http://wwwl.jinr.ru/Reports/2006/Russian/07-Lnfr.pdf

14. ИЯФ им. Г.И. Будкера http://www.inp.nsk.su

15. ПИЯФ им. Б. П. Константинова http://nrd.pnpi.spb.ru23. http://www.aspect.dubna.ru

16. DANEF-2000 open discussion. //Proc. Of the DANEF'2000, june 5-7, 2000, Dubna, Russia, E10-2001-11, ЛNR, Dubna, pp.332-334.

17. Н.В. Астахова, И.М. Саламатин, В.Н. Швецов. "Программный комплекс АС (автоматизация спектрометрии). 1.Концепция программной системы,инвариантной по отношению к изменениям методики эксперимента". // ПТЭ, 2004, No. 5, с. 56-61.

18. Н.В. Астахова, А.И. Бескровный, А.А. Богдзель и др. "Программный комплекс АС (автоматизация спектрометрии). 2. Интерфейс пользователя системы автоматизации эксперимента". // ПТЭ, 2004, No. 5, с. 62-68.

19. Н.В. Астахова, А.И. Бескровный, П.Е. Буторин, С.Е. Василовский, Н.Г. Мазный, И.М. Саламатин, В.Н. Швецов. "Комплекс АС (автоматизация спектрометрии). Интерактивное управление спектрометром"// Препринт ОИЯИ Р13-2004-204, Дубна, 2004.

20. Н. Г. Мазный. "Подсистема передачи данных между процессами в распределенной системе автоматизации" // Сообщения ОИЯИ, Р13-2007-150, Дубна, 2007.

21. Н.В. Астахова, Н.Д. Дикусар, Н.Г. Мазный, И.М. Саламатин, В.Н. Швецов. "Программный комплекс АС (автоматизация спектрометрии). Управление окружением образца"// Сообщение ОИЯИ Р13-2004-203, Дубна, 2004.

22. Н.В. Астахова, JI.Г. Бордюгов, А.В. Герасимов, Н.Д. Дикусар, Г.И. Еремин, А.И. Иванов, Ю.С. Крюков, Н.Г. Мазный и др. "Распределенная беспроводная система регистрации с синхронизацией потоков данных" //Препринт ОИЯИ Р13-2006-41, Дубна, 2006.

23. Я. Бойа, В.А. Вагов, Г.П. Жуков, Д. Рубин, А.С. Хрыкин. "Измерительный модуль для экспериментальных исследований с помощью поляризованных нейтронов и ядер'7/Сообщения ОИЯИ Р13-87-17, Дубна, 1987.

24. Г. Балука, Г.П. Жуков, Ю. Намсрай и др. "Комплекс средств для генерации прикладных систем автоматического накопления и предварительной обработки данных САНПО" // Препринт ОИЯИ Р10-12960, Дубна, 1980.

25. И. В. Вельбицкий. "Технология программирования" //Киев, "Техника", 1984; (или http://www.glushkov.kiev.ua/tehnosoftl.htm)

26. Python Language Website http://www.python.org/

27. M.N. Scipper. "The Real-Time Database Solution at IRI" //Proc. Of the DANEF'97, june 2-4, 1997, Dubna, Russia, E10-97-272, JINR, Dubna, pp.288-294.

28. The VMEbus Specifications. ANSIMEE STD1014-1997.

29. D.A. Young. "X Windows Systems: Programming and Applications with Xt" // Prentice Hall, 1989, ISBN 0-13-972176-3.v>

30. A.C. Кирилов, И. Хайиитц. "Программное обеспечение системы накопления, управления и контроля нейтронного спектрометра высокого разрешения в стандарте VME" //Сообщения ОИЯИ Д13-95-467, Дубна, 1995.

31. А.С. Кирилов, И. Хайнитц. "Интерпретация процедуры эксперимента в программном комплексе систем накопления, управления и контроля на спектрометрах НСВР и СКАТ (задача Join)" //Сообщение ОИЯИ, Р13-97-161, Дубна, 1997.

32. A.S. Kirilov. "Current State of the Sonix the IBR-2 Instrument Control Software and Plans for Future Developments" //http://lns00.psi.cli/nobugs2004/papers/

33. A.C. Кирилов, B.E. Юдин. "Реализация базы данных реального времени для управления экспериментом в среде MS Windows'V/Сообщение ОИЯИ, Р13-2003-11, Дубна, 2003.

34. М.С. Wright, R. Lenarducci and J.A. Rome. "Internet Based Collaboration at the Neutron Residual Stress Facility at HFIR" // http://lns00.psi.ch/nobugs2004/papers/

35. M. Timmerman, J-C Monfret. "Windows NT in Real-Time System, the Industry Dream?"// Report at X-th IEEE Real Time Conference, Beaune, France, 22-26 September 1997.

36. Мартин Тиммерман, Жан-Кристоф Манфрет. "Windows NT ОС реального времени?"//http://mka.ru/?p=600307/

37. Дж. Блэйк, К. Эк, М. Меркель, JI. Прегерниг. "Системы реального времени в CERN"//http:mka.ru/?p=40624/

38. Данная работа; Pentium II, 450 мггц.

39. В.А. Вагов, Г.П. Жуков, Е.П. Козлова и др. "Измерительный модуль спектрометра малоуглового рассеяния нейтронов на импульсном реакторе ИБР"//Препринт ОИЯИР10-80-826, Дубна, 1980.

40. Yu.M. Ostanevich. "Time-of-Flight Small-Angle Scattering Spectrometers on Pulsed Neutron Sources"// Macromol. CHEM; Macromol Symp., 1988, 15, pp. 91103.

41. H.B. Астахова, К. Вальтер, Н.Д. Дикусар, И.М. Саламатин, А. Фришбуттер, К. Шеффцюк. "Комплекс программ для оптимальной настройки детекторов дифрактометра EPSILON"// Сообщение ОИЯИ Р13-2002-94, Дубна, 2002.

42. А.И. Куклин, А.П. Сиротин, А.С. Кирилов и др. "Автоматизация и окружение образца модернизированной установки ЮМО'7/Препринт ОИЯИ Р13-2004-77, Дубна, 2004.

43. Джефф Просис. "Взаимодействие процессов в системе Windows. NT" //PC Magazine, June 24, 1997.75. http://www.advantech.com/76. http://www.gps.ru/77. http://www.Alvarion.com

44. Н.В. Астахова, A.C. Кирилов, C.M. Мурашкевич, И.М. Саламатин. "Визуализация многомерных спектров на PC" //Тез. докл. На XII Совещании по использованию рассеяния нейтронов в исследованиях конденсированного состояния РНИКС-2002, Гатчина, 2002, с.160.

45. И.Б. Бурданов, А.С. Косачев, В,Н. Пономаренко. "Операционные системы реального времени" . http://citforum.ru/operatingsvstems/rtos/

46. Н.Д. Дикусар, Ч. Торок. "Автоматический поиск узлов для кусочно-кубической аппроксимации" // Математическое моделирование, том. 18, №3, стр. 23-40, 2006.

47. Н.Н Биккулова, Г.Н. Асылгужина, А.Н Скоморохов, E.JL Ядровский, А.И. Бескровный, Ю.М. Степановю. " Кристаллическая структура и ионный перенос в AgCuSe" // Известия РАН, сер. Физическая, 2006,том 70, с.559.

48. S.G. Vasilovskiy, V.V. Sikolenko, A.I. Beskrovnyi, A.V. Belushkin, I.N. Flerov, A. Tressaud, A.M. Balagurov. "Neutron diffraction studies of temperature induced phase transitions in Rb2KFeF6 elpasolite" // Z. Kristallorg. Suppl. 23, pp.467-472 (2006).

49. Д.И. Ляпин, Л.В. Мицина, А.Б. Попов, И.М. Саламатин, Г.С. Самосват. "Рассеяние килоэлектронвольтных нейтронов ядрами Be, В, С" // Сообщения ОИЯИ, РЗ-89-408, Дубна 1989.

50. В.М. Вуколиков, А.Н. Выставкин, А.Я. Олейников и др. "Обеспечение входных и выходных характеристик систем автоматизации экспериментов на основе малых электронных вычислительных машин и аппаратуры КАМАК" // ПТЭ 1982, №1, стр. 7-13.

51. Е.П. Велихов, А.Н. Выставкин. "Проблемы развития работ по автоматизации научных исследований" // УСиМ, 1984, №4, стр. 3-12.

52. Протокол №3625-4-05/05 сотрудничества НПЦ "АСПЕКТ" и ЛНФ ОИЯИ; Протокол №3705-4-06/06 сотрудничества НПЦ "АСПЕКТ" и ЛНФ ОИЯИ.

53. А.А.Шалыто, Н.И.Туккель. "Программирование с явным выделением состояний" // "Мир ПК", 2001. №8, С.116-121; №9, С.132-138.

54. Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, ISBN 0-8493-8086-3.

55. H.A. Гундорин, Н.Д. Дикусар, Н.Г. Мазный, Л.Б. Пикельнер, И.М. Саламатин, М.И. Цулаиа. "Экспресс-анализ спектров в прецизионныхэкспериментах" // Известия РАН, сер. Физическая, 2009, том 73, №2, с. 261263

56. О.С. Соболев. "Прогресс в области SCADA-систем и проблемы noflb3QBaTefleM"//http://www.mka.ru/?p=4152792. http://en.wikipedia.org/wiki/Automata-basedprogramming