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

  • Матюхов, Владимир Васильевич
  • кандидат технических науккандидат технических наук
  • 1985, Москва
  • Специальность ВАК РФ05.13.12
  • Количество страниц 175
Матюхов, Владимир Васильевич. Автоматизация логического проектирования программного обеспечения микропроцессорных систем управления технологическими процессами черной металлургии: дис. кандидат технических наук: 05.13.12 - Системы автоматизации проектирования (по отраслям). Москва. 1985. 175 с.

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

ВВЕДЕНИЕ.Ч

Глава I. ОСОБЕННОСТИ ПРОЕКТИРОВАНИЯ СИСТМ УПРАВЛЕНИЯ

ТЕШОЛОП1ЧЕСКИШ ПРОЦЕССАМИ ЧЕРНОЙ МКГАЛЛУРГИИ

1.1. Особенности объектов и систем управления технологическими процессами черной металлургии

1.2. Обзор и анализ современного состояния автоматизации проектирования АСУТП.£

1.3. Анализ структуры программного обеспечения

МСУТП черной металлургии.

1.4. Задачи автоматизированного проектирования систем управления технологическими процессами черной металлургии, решаемые в диссертации . . к

Выводы по первой главе.S

Глава 2. ШНГВИСТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МСУТП ЧЕРНОЙ МЕТАЛЛУРГИИ.

2.1. Послойное описание алгоритмов управления металлургическими процессами

2.2. Проблемно-ориентированный язык высокого уровня УСЛОВИЕ

2.3. Язык логического управления и анализа ситуаций (язык ЛУАС) . 8Ъ

Выводы по второй главе.

Глава 3. ВЫЯВЛЕНИЕ И УСТРАНЕНИЕ НВДОПУСТИМЫХ ВРЕМЕННЫХ ' ЗАДЕРЖЕК В МИКРОПРОЦЕССОРНЫХ СИСТЕМАХ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ

3.1. Описание Т-модели и постановка задачи определения недопустимых временных задержек

3.2. Операции преобразования Т-модели в т'-модель.

3.3. Алгоритм AI построения т'-модели по Т-модели . . 10к

3.4. Использование Т-модели для Еыбора приоритетов параллельных алгоритмов.

Выводы по третьей главе.

Глава 4. ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ ШКРОПРОЦЕССОРНЫХ СИСТЕМ УПРАВЛЕНИЯ МЕТАЛЛУРБШСШ'ЛИ ПРОЦЕССАМИ

С ИСПОЛЬЗОВАНИЕМ САПР.

4.1. Этапы технологии автоматизированного проектирования МСУТП.1&

4.2. Программное обеспечение САПР ПО МСУТП.1&

4.3. Автоматизированное проектирование МСУТП канала дозирования доменной шихты.

Выводы по четвертой главе.

Рекомендованный список диссертаций по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

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

В принятых XX7I съездом КПСС "Основных направлениях экономического и социального развития СССР на I98I-I985 годы и на период до 1990 года" важное место занимают задачи увеличения объема и качества выпускаемой промышленной продукции за счет повышения уровня автоматизации технологических процессов, широкого применения средств автоматики и вычислительной техники, и особенно, средств контроля и управления на базе микропроцессорной техники.

Распределенные системы управления с использованием микропроцессоров и программируемых микроконтроллеров обеспечивают значительное снижение стоимости, повышение надежности, улучшение временных характеристик систем управления. Так в черной металлургии применение микропроцессорных систем для локального контроля и регулирования дает возможность снизить стоимость системы управления на 10 %, повысить производительность металлургических агрегатов на 2 % /58/.

Наиболее трудоемким этапом создания АСУТП металлургических объектов является проектирование программного обеспечения АСУТП. Для микропроцессорных систем объемы программирования значительно возрастают как в связи с многократным увеличением числа единиц программируемых средств, так и из-за высокой удельной трудоемкости их программирования.

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

Для микропроцессорных систем управления технологическими процессами черной металлургии значительную долю (до 30 - 40%) составляют алгоритмы логического управления и анализа ситуаций. Данные алгоритмы соответствуют верхним слоям описания системы и включают вызовы модулей, реализующих вычислительные, логические и другие процедуры обработки информации. Разработку таких алгоритмов и программ называют логическим проектированием программного обеспечения АСУТП.

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

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

Во второй главе приводится описание языка высокого уровня УСЛОВИЕ-82 и языка макрокоманд ЛУАС, разработанных для проектирования алгоритмов и программ логического управления и анализа ситуаций. Приводится технология послойного проектирования математического и программного обеспечений систем управления металлургическими процессами на основе использования языков УСЛОВИЕ-82 и ЛУАС.

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

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

Основные результаты работы докладывались на 6-м и 7-м международных семинарах "Алгоритмы управления металлургическим и машиностроительным производством" (г.Карловы Бары, 1980, 1984), Всесоюзном совещании "Применение комплекса технических средств для локальных информационно-управляющих систем (КТС ЛИУС-2) в АСУТП" (г.Харьков, 1982), IX Всесоюзном совещании по проблемам управления (г.Ереван, 1983), Всесоюзном совещании "Автоматизация проектирования микроэлектронной аппаратуры" (г.Владимир, 1983), Всесоюзной конференции "Программное обеспечение АСУ" (г. Калинин, 1983), общемосковском семинаре НТО Приборпром "САПР промышленных систем управления" (1983).

Результаты работы отражены в четырех статьях /41, 7, 27, 49/ и в двух руководящих технических материалах / 60, 61 /. В /41/ рассмотрены принципы построения, состав и структура САПР АСУТП. В /7/ описана разработанная для микропроцессорных систем управления на базе КТС ЛИУС-2 операционная система реального времени. В /27/ приведено описание языка УСЛОВИЕ-82. В /49/ предложен метод и алгоритмы определения максимальных задержек параллельных алгоритмов управления. Разработанные пакет прикладных программ логического управления и анализа ситуаций (ЛПП луас-i) и программа определения максимальных задержек {GRAF) включены в специализированный межотраслевой фонд алгоритмов и программ (СМОФАП) при Киевском ПКБ АСУ.

Результаты диссертационной работы внедрены во ВНИПИ систем автоматизации и управления (г.Москва), Киевском институте автоматики игл. ХХУ съезда КПСС, Институте электросварки АН УССР им. Е.О.Патона (г.Киев), институте "Стальпроект" (г.Москва). Суммарный расчетный экономический эффект от внедрения результатов диссертационной работы, подтвержденный актами о внедрении, составляет 108 тыс,руб.

На защиту выносятся:

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

- язык высокого уровня УСЛОВИЕ-82, ориентированный на описание алгоритмов логического управления и анализа ситуаций и обладающий возможностью описания параллелизма алгоритмов, временных последовательностей событий, прерываний, диагностики и восстановления событий и реакций системы, и язык макрокоманд ЛУАС, отражающий семантику языка УСЛОВИЕ-82;

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

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

Похожие диссертационные работы по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

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

Выводы по четвертой главе

1. Разработана и внедрена технология многовариантного логического проектирования ПО МСУТП черной металлургии, базирующаяся на разработанных в диссертации методике послойного описания алгоритмов логического управления и анализа ситуаций, языках УСЛОВИЕ-82 и ЛУАС, методе выявления и устранения недопустимых задержек МСУТП.

2. Разработаны структура и компоненты САПР ПО МСУТП, реализующей технологию многовариантного проектирования и включающей языки УСЛОВИЕ-82 и ЛУАС, программу GRfiF определения и устранения недопустимых задержек, пакет прикладных программ ЛУАС-1 в составе макробиблиотек языка ЛУАС, диспетчеров реального времени и баз данных систем управления, построенных на микропроцес сорных средствах КТС ЖУС-2.

3. Приведен пример использования САПР для проектирования ПО МСУТП канала дозирования доменной шихты, включающий все основные этапы разработанной технологии многовариантного автоматизированного проектирования. т

Ф.ЛЕЕЕДКИН 1984г.

АКТ о внедрении результатов диссертационной работы МАТЮХОВА В.В. "Автоматизация логического проектирования программного обеспечения микропроцессорных систем управления технологическими процессами черной металлургии"

Комиссия в составе зав.отделом 61 к.т.н. Шермана B.C., зав.лаб. отдела 21 к.т.н. Рожавского Л.И., зав.лаб.отдела 31 к.т.н. Шефтеля В.М., зав.лаб.отдела II к.э.н. Сосовой Т.Н. составили настоящий акт в том, что во ВНИПИ СИ разработаны и внедрены в практику создания АСУТП средства автоматизированного проектирования программного обеспечения, включающие:

1) язык высокого уровня УСЛОВИЕ-82, предназначенный для проектирования алгоритмов логического управления и анализа ситуаций;

2) язык макрокоманд ЛУАС, предназначенный для кодирования программ логического управления и анализа ситуаций;

3) пакет прикладных программ ЛУАС-I, включающий библиотеку макроопределений языка ЛУАС, интерпретатор маршрута обработки и инициатор;

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

Перечисленные средства автоматизированного проектирования разработаны специалистами ВНИПИ CAT" В.В.Матюховым, В.С.Коцем, А.В.Ермоловым и ИПУ В.В.Девятковым, А.Б.Чичковским в соответствии с тематическим планом ВНИПИ CAT" и договором о научно-техническом сотрудничестве ВНИПИ СА7 и ИПУ. Работа выполнялась по теме "Разработка языков описания задания на проектирование АСУТП" (задание 03.03.04 целевой программы О.Ц. 026 ГКНТ, № гос.регистр. 01.82.2018923)и теме "Создание и внедрение системы автоматизированной технологии программирования микропроцессорных систем

- /56- 2

-управления технологическими процессами" ( $ гос.регистрации 01.83.0040395).

Разработанные лингвистические и программные средства использованы при проектировании программного обеспечения АСУТП машин непрерывного литья заготовок № 3 и Н, микропроцессорных систем управления АСУТП доменной печи IF? 5 Череповецкого меткомбината, ППП ЛУАС-1 и программа определения недопустимых задеркек сданы в специализированный межотраслевой фонд алгоритмов и программ (СМОФАП) при Киевском ПКБ АСУ.

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

Личный творческий вклад В.В.Матюхова состоит в разработке:

1) методики послойного использования языка УСЛОВИЕ-82 для проектирования алгоритмов логического управления и анализа ситуаций;

2) ряда выразительных средств языка УСЛОВИЕ-82, включая средства последовательного запуска процессов, инициализации задач, синхронизации параллельных процессов, диагностики и восстановления событий; 3) состава макрокоманд языка ЛУАС; 4) структуры и алгоритмов функционирования ППП ЛУАС-1; 5) метода и алгоритмов определения и устранения недопустимых задержек; 6) технологии многовариантного автоматизированного проектирования, базирующейся на разработанных методах, языках и программных средствах. Перечисленное составляет 60% общего вклада.

Зав.отд. 61, к.т.н.

Зав.лаб.отд.21, к.т.н. J^fpu^Л.И.Р0ЖАВСКИЙ Зав.лаб.отд.31, к.т.нВ.М.ШЕФТЕЛЬ Зав.лаб.отд.П, к.э.н. T.H.C0C0BA и 'У

0 1984 г.

§амё^йтш1ь главного инженера i: ЛёШВО BfeHKo го меткомбината. ••• Iе j]. . j Li

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

1. Материалы ХХУ1 съезда КПСС. - М.: Политиздат, 1981, - 223 с.

2. Автоматизированные системы управления производством. М.: Мир, 1970, т.58, № I, - 244 с.

3. Амбарцумян А.А., Искра С.А., Кривандина М.Ю. и др. Проблемногориентированный язык описания поведения систем логического управления ФОРУМ-М. В кн.: Проектирование устройств логического управления. - М.: Наука, 1984, с.4-26.

4. Амбарцумян А.А., Запольских Е.Н. Алгоритмическая структура системы внешнего математического обеспечения для программируемых контроллеров. В кн.: Тез. докл. УШ Всесоюзного совещания по проблемам управления. Таллин, 1980, кн.З, с.769-771.

5. Айзенберг Я.Е., Кокарев Б.Н., Стогний А.А. Автоматизированная система производства программ СИНТЕШ. Управляющие системы и машины, 1980, № I, с.16-21.

6. Архипова Г.Н., Бутаков П.Д., Матюхов В.В. и др. Принципы разработки операционной систеш реального времени для КТС ЛИУС-2.- В кн.: Операционные системы реального времени для микро-ЭЕМ.-М., 1984, с.92-108. (МНИИПУ).

7. Архипова Г.Н., Матюхов В.В., Тырнов И.Ф. и др. Операционная система реального времени КТС ЛИУС-2. Общая характеристика.- В кн.: Применение комплекса технических средств для локальных информационно-управляющих систем (КТС ЛИУС-2) в АСУТП:- 16У

8. Тез. докл. Всесоюзя. совещ. (Харьков, 1982). М., 1982, вып.6, с.36-37. (ЦНИИТЭИприборостроения. Информ. сб. TC-I2).

9. Балова Т.Г. Об одном подходе к моделированию программного обеспечения микро-ЭВМ. В кн.: Моделирование дискретных управляющих и вычислительных систем. Тез. докл. 1У Всесоюзн. семинара. Свердловск, 1984, с.91-92.

10. Березин Б.А., Цывинский В.Г. Подход к программированию систем реального времени на базе микро-ЭВМ. Управляющие системы и машины, 1981, й 5, с.76-81.

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

12. Брудно В.А., Эпштейн В.Л. Машинные методы типового проектирования автоматизированных систем управления (обзор). Автоматика и телемеханика, 1974, JS 5, с.61-74.

13. Вельбицкий КВ., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. М.: Статистика, 1980, - 263 с.

14. Гаврилов М.А., Девятков В.В., Цупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977, 352 с.

15. Гаврилов М.А., Девятков В.В., Чичковский А.Б. Язык операторных схем параллельных алгоритмов с памятью (язык ОСПАП).- В кн.: Абстрактная и структурная теория релейных устройств.- М.: Наука, 1975, с.53-67.

16. Гельфанд A.M., Фикс М.О., Шелоумова Т.М. Язык описания алгоритмов контроля и расчета показателей. Вопросы промышленной кибернетики: Труды ЦНИИКА, 1975, вып.45, с.21-29.

17. Глинков Г.М., Маковский В.А. АСУ технологическими процессами в агломерационных и сталеплавильных цехах. М.: Металлургия, 1981, - 360 с.

18. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983,- 272 с.

19. Горбатов В.А., Кафаров В.В., Павлов П.Г. Логическое управление технологическими процессами. М.: Энергия, 1978,- 272 с.

20. Давиденко К.Я., Лёвин А.А., Шенброт И.М. Тенденции развития автоматизированных систем управления технологическими процессами. Измерения, контроль, автоматизация, 1978, № 3,с.55-65.

21. Давиденко К.Я. Математическая модель АСУТП. Вопросы промышленной кибернетики: Труды ЦНИИКА, 1978, вып.55, с.39-43.

22. Давиденко К.Я. Системы программирования для контроля и уп-»равления технологическими процессами с использованием УВК М-6000 и М-7000. Измерения, контроль, автоматизация, 1978, й 3, с.48-54.

23. Давиденко К.Я. Язык программирования для задач управления производственно-технологическими процессами. В кн.: Автоматизация проектирования систем управления. - М.: Статистика, 1978, с.125-145.

24. Девятков В.В., Коц B.C., Матюхов В.В. и др. Средства формального описания систем программно-логического управления.- В кн.: Автоматизация проектирования микроэлектронной аппаратуры: Тез. докл. Всесоюзн. совещ. (Владимир, 1983). М., 1983, ч.1, с.5-6.

25. Девятков В.В., Матюхов В.В., Чичковский А.Б. УСЛОВИЕ-82- язык автоматизированного проектирования АСУТП. Приборы и системы управления, 1984, № 8, с.14.

26. Девятков В.В. Программная реализация управляющих алгоритмов.- В кн.: Автоматизированное проектирование дискретных управляющих устройств. -М.: Наука, 1980, с.30-62.

27. Девятков В.В., Чичковский А.Б.,УСЛОВИЕ язык для описания условий работы дискретных управляющих устройств. - В кн.: Абстрактная и структурная теория релейных устройств. - М.: Наука, 1975, с.40-53.

28. Зайцев В.Г., Егизарьян В.Т. Способ автоматизированного проектирования программного обеспечения АСУТП. Управляющие системы и машины, 1979, $ 6, с.35-40.

29. Зелновиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. ГЛ.: Мир, 1982, - 368 с.

30. Иванов Г.И. О применении метода резидентных интерпретаторов для микропроцессорной реализации логических алгоритмов управления. Управляющие системы и машины, 1983, & 2, с.18-21.

31. Иванов Н.И., Парсункин Б.П., Рябков В.М. /втоматизация производственных процессов в черной металлургии. М.: Металлургия, 1980, - 303 с.

32. Ицкоеич ЭЛ., Трахтенгерц Э.А. Алгоритмы централизованного контроля и управления производством. М.: Сов. радио, 1967, - 352 с.

33. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979, - 415 с.

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

35. Коневцов В.А. Математическое обеспечение систем управления технологическими процессами. Измерения, контроль, автоматизация, 1982, JS I, с.56-60.

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

37. Кузнецов О.П., Макаревский А.Я., Марковский А.В. и др. ЯРУС язык описания работы сложных автоматов. - Автоматика и телемеханика, 1972, $ 6, с.80-89, № 7, с.150-159.

38. Лебёдкин В.Ф., Шерман B.C., Матюхов В.В., Плавит В.П. Принципы построения системы автоматизированной разработки про-ектно-сметной документации АСУТП. Приборы и системы управления, 1981, J6 10, с.7-9.

39. Липаев В.В., Каганов Ф.А. Система автоматизации технологии разработки комплексов управляющих программ для микропроцессоров и микро-ЭШ (ТЕЛП). Управляющие системы и машины, 1980, I, с.32-36.

40. Лившиц А.Л., Мальц Э.А. Статистическое моделирование систем массового обслуживания. М.: Сов.радио, 1978, - 248 с.

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

42. Матюхов В.В. Вопросы проектирования микропроцессорных систем логического управления. В кн.: Программное обеспечение

43. АСУ: Тез. докл. Всесоюзн. конф. Калинин, 1983, ч.1, с.148-149. (НПО "Центрпрограммсистем").

44. Матюхов В.В. Об определении максимальных задержек в микропроцессорных системах управления технологическими процессами. Приборы и системы управления, 1984, J& 9, с.14.

45. Матюхов В.В. Особенности проектирования микропроцессорных систем программно-логического управления в черной металлургии. В кн.: Тез. докл. IX Всесоюзн. совещ. по проблемам управления. (Ереван, 1983). М., 1983, с.306.

46. Матюхов В.В., ПотапоЕ Г.Г., Якобсон Г.Р. Минимизация числа ячеек связи при страничной организации памяти УВМ. Вопросы промышленной кибернетики: Труды ЦНИИКА, 1978, вып.54,с.25-26.

47. Мессих И.Г., Собкин С.С., Штрих А.А. Методы автоматизированного анализа характеристик комплексов программ и распределение ресурсов производительности вычислительных средств.- Управляющие системы и машины, 1980, $ I, с.28-32.

48. Общеотраслевые руководящие методические материалы по созданию АСУТП /Государственный комитет СССР по науке и технике.- М.: Финансы и статистика, 1982, 128 с.

49. Оре А. Теория графов. М.: Мир, 1980, - 240 с.

50. Отладка систем управляющих алгоритмов ЦВМ реального времени. /Под ред. В.В.Липаева. М.: Сов.радио, 1974, 328 с.

51. Погребной В.К. Построение и исследование графовых моделей алгоритмов управления в АСУ. В кн.: Автоматизация проектирования систем управления. -М.: Статистика, 1978, с.68-99.

52. Поспелов Д.А. Введение в теорию вычислительных систем. М.: Сов.радио, 1972, - 282 с.

53. Прангишвили И.в. Применение микропроцессоров в приборостроении. Приборы и системы управления, 1981, 2, с.48-50.

54. Прангишвили И.В., Стецюра Г.Г. Микропроцессорные системы.- М.: Наука, 1980, 326 с.

55. Система автоматизированного проектирования АСУТП (САПР АСУТП). Общие технические требования. РТМ 25 341-79 /Лебёдкин В.Ф., Шерман B.C., Матюхов В.В. и др. М.: Минприбор, 1979, - 7 с.

56. Система автоматизированного проектирования АСУТП (САПР АСУТП). Основные положения. PIM 25 342-79 /Лебёдкин В.Ф., Шерман B.C., Матюхов В.В. и др. ГЛ.: Минприбор, 1979, - 25 с.

57. Технология проектирования комплексов программ АСУ /Под ред. Ю.В.Асафьева, В.В.Липаева, М.: Радио и связь, 1983, - 264 с.

58. Тодорашко Г.Т., Шавловский С.Н. Современное состояние и проблемы разработки САПР математического и программного обеспечений АСУТП. М., 1983, вып.6, - 34 с. (ЩШТЭИприборострое-ния. Обзорная информация. ТС-3).

59. Трапезников В.А. Некоторые задачи науки в развитии управляющих систем. Приборы и системы управления, 1981, Л 2, с.6-8.

60. Трахтенгерц Э.А. Программное обеспечение автоматизированных систем управления. М.: Статистика, 1974, - 288 с.

61. Фуксман А.Л. Технологические аспекты создания программных систем. -М.: Статистика, 1979, 184 с.

62. Хыоз Дж., Мичтом Дж. Структурный подход к программированию.- М.: Мир, 1980, 278 с.

63. Черемисинов Д.И. Инструментальный комплекс для разработки программного обеспечения микропроцессоров. Управляющие системы и машины, 1981, J£ 5, с.68-71.

64. Шкабардня М.С. Приборостроение ХХУ1 съезду КПСС. Приборы и системы управления, 1981, }£ 2, с.2-5.

65. Элементы параллельного программирования /Под ред. В.Е.Котова.- М.: Радио и связь, 1983, 240 с.

66. Эпштейн В.JI., Сеничкин В.И. Языковые средства архитектора АСУ. М.: Энергия, 1982, - 117 с.72. 10щщкий С.А., Бунько Е.Б. Микропроцессорное управление дискретными процессами /Деп. в ЦШИТЭИприборостроения II 2141/64. -М.: 1981, 22 с.

67. О'Дпде6о Р. State -taSCe-dziven code simplifiessojtvrate deveCopment. -„EJOtf* /983, B8f а/BO, /89-№, /96. РебАеВ I. GiumSacfi R. ЛШW- ecn Pzogtammsys tem zt/t Matm и net StorungsanaCyse mit dem Pto%eJ>%ecfinett -- PDV- Beticfiie, W?t л/93, 38s.

68. Ни бег К. Jheotohatos M Ptogtammieten mit 51 MAT 5 Sei o/et Ptujstandsautomcrtisievung. Siemens - Zeitscfaijt, /9М, л/9, s*98-m.filtscStetg. G. Ziefsetzung and dnurendvng tfes Ptag-tammsystems ШРММ. Siemens - Zeitscfiujt, f9?/t л/ /О, $ 493

69. Ramsey //.Я., Jtwod , Van JOoren У.Я. Ftob/cficnt$ versus ptogiamm design fangnoges\ on experimental compatison.-Commun. MM, W3, a/£, с W-W.

70. Jonson M.S. JOlspe?, a tan-time deiSuglng fangvage,-- Computet lang,vo?e$, 6, У 2, p.

71. Bwnstitein 7.1, Its&oricfi 1,1., TtaMtengevts and other. Monitoring und contzot ptogta/nming system.- JFJ)C Congtess, Bostont 19У5.

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