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

• Муравьев, Сергей Васильевич
• кандидат технических наук
• 1983

Оглавление диссертации кандидат технических наук Муравьев, Сергей Васильевич

Введение.

Глава I. Формализуемые задачи проектирования структур автоматизированных поверочных комплексов и методы их решения.

1.1. Основные понятия.

1.2. Анализ множества альтернатив.

1.3. Анализ множества требований.

1.4. Анализ целей.

1.5. Рациональная декомпозиция структуры.

1.6. Построение рациональной структуры.

1.7. Выбор рационального набора модулей.

1.8. Проектирование метрологического обеспечения АПК.

Выводы.

Глава 2. Двудольные графы и задачи проектирования структуры АПК.

2.1. Двудольные графы как язык описания задач проектирования структур.

2.1.1. Бинарные отношения.

2.1.2. Интерпретации двудольных графов.

2.1.3. Двудольные графы в качестве модели для выбора структур.

2.2. Постановки задач проектирования структур в терминах покрывающих и независимых множеств.

2.2.1. Покрывающие, доминирующие и независимые множества в графе.

2.2.2. Взаимосвязь и сводимость задач о покрывающих и независимых множествах.

2.2.3. Постановки задач проектирования структур АПК.

2.3. Общий алгоритм построения структуры АПК.

Выводы.

Глава 3. Алгоритм решения задачи о наименьшем покрытии множествами (ЗПМ).

3.1. Краткая историческая справка.

3.2. Алгоритм решения ЗПМ с единичными весами PR0BEST

3.3. Алгоритм решения ЗПМ с единичными весами C0STAR

3.4. Алгоритм точного решения ЗПМ с произвольными весами

SELEX.

3.5. Реализация предложенных алгоритмов решения ЗПМ на ЭВМ и результаты численного эксперимента.

Выводы.

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

4.1. Архитектурные характеристики АПК.

4.2. Обоснование необходимости децентрализации управления в АПК.

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

4.4. Реализация промежуточного интерфейса и блока программирования в АПК "КВДР-1".

Выводы.

Глава 5. Организация измерительного процесса в АПК.

5.1. Автоматизированная поверка средств измерений.

5.2. Алгоритмы прецизионных измерений напряжения.

5.3. Программная реализация алгоритмов точных измерений напряжения.

Выводы.

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

Благодаря необходимости внедрения в сферу народного хозяйства, связанную с разработкой, производством и эксплуатацией промышленных изделий, интенсивных форм организации труда, все большую актуальность приобретает проблема автоматизации различных технологических и исследовательских процессов и, е частности, - метрологических исследований. Наиболее эффективно решить эту проблему позволяют а^томатизировалные поверочные комплексы (АПК), построенные на базе современных мини- и микро-ЭВМ, При этом повышаются производительность, точность, количество, качество и единообразие таких видов метрологических исследований, как аттестация, поверка, прецизионные измерения физических величин и т.д. Но наибольшую пользу автоматизация метрологических исследований может принести, если её начинать с процесса проектирования (синтеза) самих АПК.

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

Решение вопросов синтеза и анализа структур сложных систем нажло отражение в работах кал отечественных: В.А.Горбатов, С.В.Жак, В.И.Нечипоренко, А.И.Половинкин, А.Д.Цвиркун, Д.Б.Юдин и да., - так и зарубежных ученых: Л.Берталанфи, Дж.Касти, М.Месарович, М.Пешель, Я.Такахара, Ф.Харари, Р.Г.Эткин и да. Проблемы синтеза информационных измерительных систем (ИИС) и измерительно-вычислительных комплексов (ИВК) изучались советскими исследователями: Г.И.КавалероЕым, С.М.Мандельштамом, Г.С.Певзнером, Э.И.Цветковым и да. Однако решение указанной задачи ещё далеко от завершения.

Постановки задач проектирования структур, предлагаемые различными авторами, в основном, кал правило, могут быть сформулированы в виде задач целочисленного программирования [ 1,6,30,48,60,85,91] . Но получившая развитие в последнее десятилетие теория NP - полноты [22] оставляет слишком мало надежд на принципиальную возможность существования алгоритмов решения этих задач за приемлемое (полиномиальное) Еремя при достаточно большой их размерности (число переменных больше 10). Поэтому в [91] указывается на актуальность классификации конкретных задач проектирования и разработки частных методов решения специальных классов дискретных задач, специфика которых позволяет получить приемлемые по трудоемкости точные или приближенные алгоритмы.

Следствием сложности проблемы Еыбора структуры является не только признание достаточности приближенных результатов решения, но и большое разнообразие подходов к ней. Подход, предлагаемый е настоящей работе, базируется на опыте, накопленном в области теории выбора структур, и наиболее близок к работам В.А.Горбатова [16] , С.В.ЗгСака [30] и Дж.Касти [38] .

Актуальность проблемы подтверждается тем, что она включена в тематику рабочей группы "Математические методы САПР" секции по общесистемным вопросам "Программы САПР" Минвуза РСФСР, а работы по созданию автоматизированного поверочного комплекса выполнены в соответствии с планом государственной стандартизации Госстандарта на 1980-1985 гг. по проблеме "Создание государственных и рабочих эталонов" (код задания 8.3.2.08.12).

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

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

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

2. Разработка и анализ математической модели задачи выбора структуры АПК, постановка частных задач выбора структуры е терминах: разработанной модели, анализ существующих алгоритмов решения этих задач, разработка и исследование новых алгоритмов.

3. Реализация на ЭВМ и экспериментальные исследования разработанных алгоритмов решения частных задач Еыбора структуры.

4. Выбор архитектуры АПК на базе предложенной модели и разработанных алгоритмов, реализация и проверка выбранной архитектуры в условиях эксплуатации АПК.

5. Повышение эффективности применения микро-ЭВМ в АПК путем разработки алгоритмов прецизионных измерений физических величин.

В результате решения перечисленных задач получены следующие новые результаты;

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

2. На основе предложенной модели сформулировано 15 частных формализуемых задач, входящих в последовательность синтеза структуры АПК, и указаны пути их решения.

3. Предложен общий алгоритм выбора структуры и архитектуры АПК.

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

5. Теоретически обоснован, разработан, реализован на ЭВМ и проанализирован точный алгоритм решения задачи о покрытии множествами с произвольными весами. Алгоритм основан на приндипе лексикографического упорядочения и позволяет находить кал точное, так и приближенное (за более короткое время) решение задачи.

6. На основании предложенных модели и алгоритмов выбора структуры решены вопросы выбора архитектуры АПК: обоснована необходимость децентрализации управления в АПК и сформулированы рекомендации по выбору спецификации интерфейса измерительного подкомплекса.

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

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

Диссертационная работа состоит из пяти глав.

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

Во второй глазе для решения частных задач выбора структуры АПК предложена математическая модель в виде двудольного графа , где X и Y - конечные множества элементов, являющихся исходными .для частной задачи, Е - множество ребер, отображающее бинарное отношение ДсХхУ Сформирован список из девяти задач о покрывающих, доминирующих и независимых множествах в двудольном графе, в который вошли следующие задачи: I. Минимальное покрытие множествами; 2. Минимальное вершинное покрытие; 3. Минимальное реберное покрытие; 4, Максимальное независимое множество вершин;

5. Максимальное независимое множество ребер (паросочетание);

6. Минимальное доминирующее множество вершин; 7. Минимальное доминирующее множество ребер; 8. Минимальное независимое доминирующее множество вершин; 9. Минимальное независимое доминирующее множество ребер. По признаку существования для указанных задач полиномиальных алгоритмов решения каждая задача отнесена к одной из двух груш. В I группу вышли задачи 2-5, для которых существуют полиномиальные алгоритмы (если гра$ двудольный), ео П группу включены задачи I, 6-9, которые таких алгоритмов не имеют, и, По-Евдимому, иметь не могут (в соответствии с теорией NP - полноты).

Рассмотрены взаимосвязи между задачами в каждой группе и между двумя группами. Указало, что для решения задач I группы универсальным является метод паросочетаний [22,43] , а .для П группы и задач всего списка общим методом является метод решения задачи о покрытии множествами (ЗИМ). Далее в этой главе формируются 15 частных задач структурного синтеза АПК в терминах покрывающих, доминирующих и независимых множеств и предлагается общий алгоритм проектирования структуры АПК, Еключающий в себя решение этих задач.

В третьей главе в связи с тем, что для П группы задач возможность существования полиномиального алгоритма весьма призрачна, предлагаются алгоритмы приближенного решения ЗПМ. Эта задача состоит в нахождении покрытия Есех элементов из множества X двудольного графа G(X,Y) или наименьшим числом элементов из множества Y , если веса элементов из Y равны I; или элементами из Y с наименьшим суммарным весом, если их веса - произвольные.

ПерЕые два алгоритма -PR0BEST и C0STAR- предназначены для приближенного решения ЗПМ с единичными весами. Для обоснования алгоритма PR0BEST используются вероятностные оценки Еершин из Y - кандидатов в наименьшее покрытие. Оценка его трудоемкости - 0(m2 + mn) , где tn = IYI .n-IXI . Доказательство правомерности алгоритма COSTAR основано на выявленных свойствах орграфа, полученного из исходного

1Z двудольного графа по предложенному рекуррентному правилу.

Трудоемкость этого алгоритма ограничена величиной гдеУ^сУ множество кандидатов в наименьшее покрытие.

Третий алгоритм - SELEX - предназначен для точного решения ЗПМ с произвольными весами и позволяет сократить перебор с помощью порождения частных решений, в лексикографическом порядке. Доказаны корректность и конечность алгоритма. Оценка его трудоемкости не приводится, так как он относится к классу алгоритмов с неявным перебором. Указывается на возможность сокращения времени решения путем введения априорной погрешности £ в текущее решение,

В конце главы рассматривается программная реализация предложенных алгоритмов на языке АЛГ0Л-60 (ЭВМ М-222) и анализируются результаты численного эксперимента.

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

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

Заключение диссертации по теме «Теория систем, теория автоматического регулирования и управления, системный анализ», Муравьев, Сергей Васильевич

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

1. На. осноЕе анализа существующих методов решения задачи выбора структур сложных систем выявлены поддающиеся полной или частичной формализации частные задачи Еыбора. структуры АПК.

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

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

4. Теоретически обосновали, разработаны, реализованы на ЭВМ и проанализированы два экономных эвристических алгоритма решения задачи о покрытии множествами (ЗПМ) с единичными весами. Один из них основан на. Еероятностных оценках элементов -кандидатов в наименьшее покрытие и тлеет квадратичную оценку трудоемкости решения. Другой - использует выявленные свойства орграфа, построенного из исходного двудольного графа по предложенному рекуррентному правилу. Оценка трудоемкости этого алгоритма е среднем меньше, чем квадратичная.

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

6. На. основании предложенных модели и алгоритмов выбора структуры обоснованы преимущества децентрализованной архитектуры АПК, реализованной с помощью блока программирования; сформулированы рекомендации по выбору спецификации интерфейса измерительного подкомплекса.

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

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

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

ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат технических наук Муравьев, Сергей Васильевич, 1983 год

1. Автоматическая аппаратура контроля радиоэлектронного оборудования (вопросы проектирования) под ред. Н.Н.Пономарева. - М.: Советское радио, 1975, 328 с.

2. Айгнер М. Комбинаторная теория. М.: Мир, 1982, 558 с.

3. Арайс Е.А., Дмитриев В.М. Моделирование неоднородных цепей и систем на ЭВМ. М.: Радио и связь, 1982, 160 с.

4. Ашманов С.А. Линейное программирование. М.: Наука, 1981, 340 с.

5. Беляевский А.И., Иванов В.Н., Марголин A.M. и др. Интерфейсы и математическое обеспечение измерительно-вычислительных средств. Обзорная информация. М.: ЦНИИТЭИ приборостроения, 1982, ТС-5, вып.6, 41 с.

6. Береснев В.Л., Гимади Э.Х., Дементьев В.Т. Экстремальные задачи стандартизации. Новосибирск: Наука, 1978, 335 с.

7. Богородицкий А.А. и др. Децентрализация программного управления контрольно-измерительного оборудования. ИКА, 1979, №2, с.32.

8. Борисов С.Я., Кавалеров Г.й., Родов А.Б. и др. Государственная система промышленных приборов и средств автоматизации (методическое пособие для инженерно-технических работников). М.: ЦНЙИТЗИ приборостроения, 1981, 392 с.

9. Боэм Б., Браун Д., Каспар X. и др. Характеристики качества программного обеспечения. М.: Мир, 1981, 208 с.

10. Бромберг Э.М., Куликовский К.Л. Тестовые методы повышения точности измерений. М.: Энергия, 1978, 176 с.

11. Брукс Ф.П. мл. Как проектируются и создаются программные комп-. лексы. М.: Наука, 1979, 152 с.

12. Вентцель Е.С. Исследование операций: задачи, принципы, методология. М.: Наука, 1980, 208 с.

13. Вентцель Е.С., Овчаров JI.A. Прикладные задачи теории вероятностей. М.: Радио и связь, 1983, 416 с.

14. Вермишев Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем. М.: Радио и связь, 1982, 152 с.

15. Волкова В.Н., Воронков В.А., Денисов А.А. и др. Теория систем и методы системного анализа в управлении и связи. М.: Радио и связь, 1983, 248 с.

16. Горбатов В.А. Теория частично упорядоченных систем. М.: Советское радио, 1976, 336 с.

17. Горбатов В.А., Демьянов В.Ф., Кулиев Г.Б. и др. Автоматизация проектирования сложных логических структур. М.: Энергия, 1978, 352 с.

18. ГОСТ 8.437-81. Системы информационно-измерительные. Метрологическое обеспечение. Основные положения.

19. ГОСТ 8.438-81. Системы информационно-измерительные. Поверка. Общие положения.

20. Гречко В.О., Темперанский В.А., Токарева Г.В. Диалоговая проблемно-ориентированная система анализа сложных объектов. --УСиМ, 1982, №6.

21. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981, 368 с.

22. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982, 416 с.

23. Дитрих Я. Проектирование и конструирование: системный подход. М.: Мир, 1981, 456 с.

24. Долгов В.А., Касаткин А.С., Сретенский В.Н. Радиоэлектронные автоматические системы контроля (системный анализ и методы реализации). М.: Советское радио, 1978, 384 с.

25. Дружинин В.В., Комолов Д.С. Проблемы системологии. М.: Советское радио, 1976.

26. Е Р.Т., Зейв П. Определение требований к программному обеспечению ТИИЭР, 1980, т.68, №9, 46 с.

27. Евланов Л.Г. Контроль динамических систем. М.: Наука, 1979, 432 с.

28. Емеличев В.А., Ковалев М.М., Кравцов М.К. Многогранники, графы, оптимизация (комбинаторная теория многогранников). М.: Наука, 1981, 344 с.

29. Ермолов Р.С., Чеблоков И.В. Основы построения контроллеров для измерительных информационных систем. Труды ВНИИЭП "Проблемы создания ИВК и ИИС". - Л.: ВНИИЭП, 1981, с. 87-96.

30. Жак С.В. Оптимизация проектных решений в машиностроении. Методология, модели, программы. Ростов н/Д: изд. РГУ, 1982,167 с.

31. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. М.: Мир, 1976, 165 с.

32. Изаков Е.Т. Адаптивный метод автоматической коррекции погрешностей измерительных каналов ИВК. Труды ВНИИЭП "Вопросы щюектирования средств электроизмерительной техники". - Л.: ВНИИЭП, 1980, с. 80-91.

33. Кавалеров Г.И. и Мандельштам С.М. Введение в информационную теорию измерений. М.: Энергия, 1974, 376 с.

34. Каверкин И.Я., Цветков Э.И. Анализ и синтез измерительных систем. Л.: Энергия, 1974, 156 с.

35. Капиев Р.Э., Мерзляк В.А., Мушкин А.И. Организация управлениямагистралью приборного интерфейса с помощью программируемого прибора контроллера. - Труды ВНИИЭП "Проблемы создания ЙИС и ИВК". - Л.: ВНИИЭП, 1981, с. 23-30.

36. Капустин В.М., Махотенко Ю.А. Конструктору о конструировании атомной техники (системно-морфологический подход в конструировании). М.: Атомиздат, 1981, 190 с.

37. Касти Дж. Большие системы. Связность, сложность и катастрофы.- М.: Мир, 1982, 216 с.

38. Кини Р.Л., Райфа X. Принятие решений при многих критериях: предпочтения и замещения. М.: Радио и связь, 1981, 560 с.

39. Колпаков И.Ф. Организация программно-модульных систем на основе стандартных интерфейсов. ПТЭ, 1979, №2, с. 7-33.

40. Коренецкий Г.Б., Деканосидзе З.П. Автоматизация средств метрологии. Образцовые и высокоточные средства измерений. Обзорная информация. - М.: ВНИИКИ, 1981, вып.З, 48 с.

41. Краус М., Вошни Э. Измерительные информационные системы.- М.: Мир, 1975, 310 с.

42. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978, 432 с.

43. Кузьмин В.Б. Построение групповых решений в пространствах четких и нечетких бинарных отношений. М.: Наука, 1982, 168 с.

44. Леман М.М. Программы, жизненные циклы и законы эволюции программного обеспечения. ТИИЭР, 1980, т.68, №9, с.26.

45. Липьят А. Архитектура малых вычислительных систем. М.: Мир, 1981, 186 с.

46. Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Автоматизация проектирования АСУ. М.: Энергия, 1981, 328 с.

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

48. Моисеев B.C. Системное проектирование преобразователей информации. Л.: Машиностроение, 1982, 255 с.

49. Муравьев С.В., Рузаев Е.Н. Алгоритм нахождения наименьшего покрытия двудольного графа. Известия вузов - Радиоэлектроника, 1982, т.25, №6, с. 81-83.

50. Муравьев С.В. Выбор структур метрологических комплексов и доминирующие множества графа. Томск, 1983. - 15 с, - Рукопись представлена ТЛИ. Деп« в ВИНИТИ 21 сентября 1983 г., №5238 - 83 Деп.

51. Муравьев С.В., Рузаев Е.Н. Двудольные графы и оптимизация звеньев системы метрологического обеспечения. Современные проблемы метрологии, вып. Z • - М.: ВШИ, 1983, с.

52. Нечипоренко В.И. Структурный анализ систем (эффективность и надежность). М.: Советское радио, 1977, 216 с.

53. Нильсон Н.Дж. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973, 270 с.

54. Новицкий П.В. Основы информационной теории измерительных устройств. Л.: Энергия, 1968, 248 с.

55. Оре 0. Теория графов. 2-е изд. - М.: Наука, 1980, 336 с.

56. Орнатский П.П. Теоретические основы информационно-измерительной техники. Киев; Вища школа, 1976, 432 с.

57. Певзнер Г.С., Цодиков М.Б. Стандартные интерфейсы в электронной измерительной технике за рубежом: Обзор. М.: ЦНИИТЭИ приборостроения, 1976, 63 с.

58. Певзнер Г.С., Цветков Э.И., Цодиков М.Б. и др. Принципы построения параметрических рядов агрегатных средств. ИКА, 1981, №1, с. 3.

59. Певзнер Г.С., Цветков Э.И., Цодиков М.Б. Агрегатирование в электроприборостроении. М.: Энергия, 1981, 176 с.

60. Персии С.М. Основы теории и проектирования автоматических измерительных систем. Л.: Гидрометеоиздат, 1975, 320 с.

61. Пешель М. Моделирование сигналов и систем. М.: Мир, 1981, 300 с.

62. Подольский Л.И. Система QUASI С для программирования на мини-ЭВМ Материалы по математическому обеспечению ЭВМ. Вып. 4. -Пущино, НИЩ, 1980.

63. Половинкин А.И. и др. Автоматизация поискового конструироаания (искусственный интеллект в машинном проектировании). М.: Радио и связь, 1981, 344 с.

64. Потемкин И.С. Автоматизация синтеза функциональных схем. М.: Энергоиздат, 1981, 88 с.

65. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980, 476 с.

66. Розен В.В. Цель оптимальность - решение (математические модели принятия оптимальных решений). М.: Радио и связь, 1982, 168 с.

67. Розин B.C., Акмен А.П. Проблемы создания и использования современной технологии программирования и системного проектирования. Обзорная информация. М.: ЦНИИТЭИ приборостроения, 1980, ТС-3, вып. 4, с. 48.

68. Ройтман М.С., Цимбалист Э.И., Рузаев Е.Н., Канунов А.И., Муравьев С.В. Построение оптимальных структур систем метрологического обеспечения. ИКА, 1981, №5(39), с.13.

69. Ройтман М.С. Калибраторы напряжения переменного тока. М.: Изд-во стандартов, 1982, 48 с.

70. Рузаев Е.Н., Канунов А.И., Муравьев С.В. Алгоритм нахождения минимального покрытия булевой матрицы. Известия вузов -Радиоэлектроника, 1981, т.24, №8, с. 92-94.

71. А.с.789782 (СССР). Способ измерения постоянного и переменного налряжения/Е.Н.Рузаев, С.В.Муравьев. Опубл. в Б.И., 1980,47.

72. А.с.911346 (СССР). Устройство для измерения напряжения/Е.Н.Рузаев, С.В.Муравьев. Опубл. в Б.И., 1982, №9.

73. Сапоженко А.А., Асратян А.С., Кузюрин Н.Н. Обзор некоторых результатов по задачам о покрытии. В сб.: Методы дискретного анализа в решении комбинаторных задач. - Новосибирск: ИМ СО АН СССР, 1977, вып. 30, с. 46-75.

74. Трушин С.Н. Нахождение наибольших внутренне устойчивых множеств графа методом последовательного анализа вариантов. -Кибернетика, 1980, №б, с. 33-41.

75. Флейшман Б.С. Основы системологии. М.: Радио и связь, 1982, 368 с.

76. Харари Ф. Теория графов. М.: Мир, 1973, 300 с.

77. Холл А.Д. Опыт методологии для системотехники. М.: Советское

78. Хрущев С.Н., Парцевский С.С., Покудов В.Н. и др. Измерительно-вычислительные комплексы для научных исследований. М.: ЦНИИТЭИ приборостроения, 1980, с. 44.

79. Ху Т. Целочисленное программирование и потоки в сетях. М.: Мир, 1974, 520 с.

80. Цапенко М.П., Алиев Т.М., Клисторин И.С. и др. Современное состояние и перспективы развития измерительных информационных систем. ИКА, 1981, №6(39), с. 66.

81. Цвиркун А.Д. Основы синтеза структуры сложных систем. М.: Наука, 1982, 200 с.

82. Шнейдер А.А. Экспериментальное исследование алгоритмов раскраски вершин графа. В кн.: Вычислительная техника в машиностроении. - Минск: ИТК АН БССР, 1980, №2, с. 86-94.

83. Щрейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь, 1982, 152 с.

84. Эпштейн В.Л., Сеничкин В.И. Языковые средства архитектора АСУ.- М.: Энергоиздат, 1982, 200 с.

85. Эрдеш П., Спенсер Дж. Вероятностные методы в комбинаторике.- М.: Мир, 1976, 132 с.

86. Ю^ин Д.Б., Горяшко А.П., Немировский А.С. Математические методы оптимизации устройств и алгоритмов АСУ. М.: Радио и связь, 1982, 288 с.

87. Bohme L. Feingeraie uriter dem Einflufi der Mtkroetek"tronik

88. Feingeratetechnik, Ш8, v.27, м®5, p. 194-199.9d. BlirenG., Schiitz W. Der IEC-Bus- MogUchkeiten und Grenzen Seiner Anwendung Regelungstechnische Praxis, 1978 , v.20, №12., p.341-34?.

89. Gupta J.N.D. A search algorithm for the Traveling Salesman Problem.- Computers and Operations Research, 197*, v.5. №4, p. 243-350.

90. Mitchell S.L. Linear Algorithms to Recognize Outerpfanar and Maximal Outerp/anar Graphs. Information processing tetters, 1979, v.9, Kl°5, p.229-232.

91. Mc Gowan M.J. From the 5-100 to САМЛС : The Diversity of Digital Buses.-Control Engineering, f9?9,v.26, лГ4, p.31-37.

92. Wtafos S.C., Hakimi S.L On path Cover Problems in Digraphs and Applications to Program Testing.- IEEE Transactions, 19?9, v. SE-5 , M°5-, p. 520-529.

93. Padberg M.W. Covering, Packing and Knapsack Problems.-Annals of Discrete Mathematics, №4, p.265-28?.

94. Rudkin R.J. at all. Structured Decompozition Diagram: anew Technique for System Analysis.- Datamation, Ш9, v.25, M°10, p. 153,156,140,144,146.

95. Savage C. Maximum Matching and Trees.- Information processing letters, 1980, v.10, /^4,5, р.2ог-го«г.

96. Smith R.Q. Software engineering techniques in design automation. A -tutorial. — Design Automation Coaforence . New Or/ean, 4077, Proceedings, V.14, p.49S-50?.

97. Trzesntovvski J. 0g6(ne zasady dobory aparatury do budowg systemdw pomiarowych.- Pomiary, Automatyka, Konirola, 19?8, t. 24, M°12, S.345-380.

98. Valiant L.Q. The Complexity of Combinatorial Computations: An Introduction. Irvformatik Fachberichte , 19?8 % v.16, p. 526 - 53?.