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

ВВЕДЕНИЕ.

ГЛАВА I. ИССЛЕДОВАНИЕ МЕТОДОВ.СИНТЕЗА.ТЕСТОВ.ДЛЯ. . ЦИФРОВЫХ СХЕМ.

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

1.2. Критический обзор существующих,методов.синтеза.тестов.13 Выводы.

ГЛАВА 2. ПРЕДСТАВЛЕНИЕ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ.

АЛЬТЕРНАТИВНЫМИ ГРАФАМИ.

2.1. Понятие альтернативного графа.

2.2. Синтез функциональных.АГ методом разложения.булевых . функций

2.3. Структурный подход к синтезу АГ

2.4. Основные свойства модели АГ.

2.4.1. Структурные свойства АГ.

2.4.2. Эквивалентные преобразования АГ.

2.4.3. Инвертирование АГ.

2.5. Переход от модели САГ к модели ФАГ

2.6. Модель АГ для последовательностных схем.

2.6.1. Представление временного параметра в АГ.

2.6.2. Модель ЦУ с элементами памяти

2.6.3. Модель.ЦУ с обратными связями

Выводы.

ГЛАВА 3. СИНТЕЗ ТЕСТОВ ЦУ НА МОДЕЛИ АЛЬТЕРНАТИВНЫХ. ГРАФОВ.

3.1. Основы синтеза тестов на модели САГ

3.2. Активизация на ЦУ путей с различной мерностью

3.3. Синтез тестов на системе САГ.

3.4. Анализ компенсации неисправностей на АГ.

3.5. Синтез тестов для последовательностных схем

3.6. Выявление, состязаний, на. АГ,

Выводы

ГЛАВА 4. СИНТЕЗ ТЕСТОВ МОДУЛЬНЫМ ПОДХОДОМ.

4.1. Вопросы синтеза тестов модульным подходом

4.2. Трансляция.выходных.реакций.многовыходного модуля. на ТЗДГ.

4.3. Синтез.локальных.тестов модуля при переходе от.САГ к ФАГ.

4.4. Групповая активизация.множества функционально зависимых выходов

Выводы.

ГЛАВА 5. РЕАЛИЗАЦИЯ И ЭКСПЕРИМЕНТАЛЬНЫЕ ДАННЫЕ.ДЗ

5.1. Машинное представление и обработка модели АГ.JI

5.2. Внедрение,и.экспериментальные данные .JI

Выводы .J

ЗАКЛШЕНИЕ.

Актуальность, .темы. В настоящее время необходимым условием развития туки и ускорения технического прогресса является широкое внедрение вычислительной техники и других цифровых устройств (ЦУ) самого разнообразного назначения во все сферы народного хозяйства. Наряду с разработкой новых высокоэффективных ЦУ в этих условиях все большую актуальность цриобре- , тают задачи их контроля и диагностирования, чтобы обеспечить высокий коэффициент их эксплуатационной готовности. Одним из путей решения этой важнейшей для эффективного использования дискретной техники задачи является разработка и применение автоматизированных систем тестового контроля и диагностирования, в которых по заданному формальному описанию устройства автоматически строятся наборы тестовых воздействий, а после подачи их на входы цроверяе-мого устройства и снятия ответов определяется его техническое состояние и, в частности, место появления неисправности. Центральной и более трудоемкой задачей при разработке таких систем является решение задачи синтеза тестовых воздействий. Сложность этой задачи связана в основном с необходимостью обработки большого количества информации, объем которой постепенно возрастает в связи.с усложнением и повышением степени интеграции элементной базы ЦУ. В связи с этим большое значение имеет разработка новых методов, позволяющих строить тесты для современных ЦУ широкого класса с приемлемыми затратами ручного труда и машинных рессурсов. Целью работы является разработка и исследование методов синтеза тестов ЦУ на основе модели альтернативных графов. Достижение поставленной цели требует решения следующих задач: - критическая оценка существующих методов синтеза тестов и определение перспективности синтеза тестов на основе модели альтернативных графов (АГ);

- разработка способов представления ЦУ в виде структурных и функциональных АГ (САГ и §АГ) и определение области их применения ;в. задачах синтеха тестов;

- разработка методики синтеза тестов для проверки структуры ЦУ на „основе модели САГ;

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

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

Новые научные результаты: I. Разработаны методы формального синтеза структурных и функциональных АГ на основе принципиальных схем ЦУ. Определены основные свойства структурной модели и предложен способ перехода от структурного альтернативного графа к функциональному.

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

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

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

6. Апробировано применение разработанной в ОКБ вычислительной техники Института кибернетики АН ЭССР системы синтеза тестов на основе предложенных методов. Установлено быстродействие синтеза тестов на основе модели АГ.

Практическая ценность работы состоит в разработке методики и алгоритмов синтеза тестов для цроверки структуры ЦУ на основе модели САГ, а также в решении задач синтеза тестов модульным подходом на модели АГ. Характерными при синтезе тестов на модели альтернативных графов являются большая компактность модели и дашиноориентированность ее обработки, что создают основу для разработки быстродействующих алгоритмов синтеза тестов. Апробация комплекса программ, разработанного в СКВ ВТ ИК АН ЭССР на основании созданной в рамках настоящей работы методики, подтвердила эффективность и быстродействие синтеза тестов на основе модели АГ*

Реализация результатов. Диссертационная работа выполнена в рамках направлении НИР Таллинского политехнического института по координационным планам ресцубликанс-кого комплекса научно- технического прогресса ЭР.05 "Микропроцессорные системы автоматизации и вычислительные средства" и Минвуза СССР иО совместных НИР в области вычислительной техники" (постановление АН СССР и MB СССР 1473/146 от 29.12.80/31.12.80).

Научные результаты диссертационной работы использованы цри разработке автоматизированной системы контроля цифровых схем в СКВ вычислительной техники Института кибернетики АН ЭССР в рамках выполнения договорных НИР Х0-403 "Разработка системы диагностических тестов для малой ЦВМ" от I976-I980 и XO-IOI "Исследование и разработка методов технического диагностирования ЦУ, построенных на малых и средних ИС" от I98I-I983, заключенных между ОКБ ВТ ЙК АН ЭССР и Таллинским политехническим институтом. Общий экономический эффект от внедрения методики синтеза тестов в рамках названных НИР в 1976-1983 гг. составляет 233 тыс, рублей. Результаты диссертационной работы внедрены в Таллинском тучно-учебном центре СНПО "Алгоритм11 (установленный годовой экономический эффект составляет 37,4 тыс, рублей в год), а также используются в Таллинском политехническом институте в составе автоматизированной системы контроля цифровых схем в учебном процессе при проведении лабораторных работ. Соответствующие акты внедрения научных результатов приложены к диссертации.

Апробация работы. Основные положения диссертационной работы докладывались автором на: . - Седьмом и восьмом.Всесоюзных совещаниях по проблемам управления (Минск, 1977 г., Таллин, 1980 г,);

- 24-ой Международной научной конференции Высшего технического училища г. Ильменау (ГДР, 1979 г.)?

- Республиканской научно- технической конференции ЭРСП НТОРЭС им, Попова (Таллин, 1980 г.);

- Постоянно действующем семинаре "Теория проектирования дискретных устройств" в ТПИ (Таллин, X977-I984 гг.).

Публикации .По теме диссертации опубликовано 8 печатных работ.

Структура и объем работы. Диссертационная работа изложена на 138 страницах машинописного текста, иллюстрируется рисунками и таблицами на 20 страницах и состоит из введения, пяти глав, заключения, списка литературы из 85 наименований и приложения на 3 страницах.

ЗАКЛЮЧЕНИЕ

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

1. Показана перспективность разработки системы синтеза тестов для современных ЦУ га основе модели АГ.

2. Разработаны методы формального синтеза структурных и функциональных АГ на основе описаний принципиальных схем ЦУ. Определены основные свойства структурной модели и предложен способ перехода от структурного АГ к функциональному.

3. Впервые поставлена и решена задача синтеза тестов для проверки структуры ЦУ на основе модели САГ.

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

5. Разработаны методы решения задач обеспечения, синтеза локальных тестов и транспортировки, возникающих при модульном подходе, которые вместе с способом перехода от структурного АГ к функциональному создают условия построения тестов для сложных ЦУ путем комбинирования структурного и функционального подходов.

6. Предложена структура данных для машинного представления системы АГ в ЭВМ и организация ее обработки для реализации алгоритмов синтеза тестов.

7. Апробировано применение разработанной в ОКБ ВТ ИК АН ЭССР системы синтеза тестов на основе предложенных методов. Установлено быстродействие синтеза тестов на основе модели АГ.

1. Основы технической диагностики/ В.В Карибский, П.П. Пархоменко, E.G. Согомонян, В.Ф. Халчев. - М.: Энергия, 1976. - 464 с.

2. Апериодические автоматы/ Под ред. В.И Варшавского. М.: Наука, 1976. - 424 с.

3. Eichelberger Е.В. Hazard detection in combinational and sequential switching circuits.- IBM Journal of Research and Development, 1965, v.9, Nr. 2, p. 90-99.

4. Биргер А.Г., Бояршинов A.B., Винокур М.Ю., Кузнецов С.С., Рыжков Е.С. КОНДИЦИЯ автоматизированная система контроля и диагностирования цифровых ячеек. - Электронное моделирование, 1980, К 4, с. 58-63.

5. Биргер А.Г. Метод моделирования дискретных устройств. Автоматика и телемех., 1981, № I, с. 138-144.

6. Турчина Е.Д., Коробова И.Л. Моделирование схем с импульсными макроэлементами. В межвузовском сб.: Автоматизация конструкторского проектирования в радиоэлектронике и вычислительной технике/ Каунасский политехи, инст. - Вильнюс, 1983,т. 3, с. 158-165.

7. Голыничев В.Н., Звягин В.Ф., Немолочнов О.Ф. Регулярный метод синтеза тестовых последовательностей : Установочная последовательность. Автоматика и телемех., 1981, № 9, с. 162-172.

8. Голыничев В.Н., Звягин З.ф., Немолочнов О.Ф. Регулярный метод синтеза тестовых последовательностей : Корректность проверяющей последовательности. Автоматика и телемех., 1984, Ш I, с. 125-134.

9. ГОСТ 20911-75. Техническая диагностика. Основные термины и определения. Введ. 01.07.76. - 14 с.

10. Eldred R.D. Test routines based on symbolic logic statements. Journal of ACM, 1959, v.6, Nr. 1, p. 33-36.

11. Friedrich M., Davis W.A. Minimal fault testa for combinational networks. IEEE Тгапз. on Computers, 1974, C-23, p. 850-859.

12. Reddy S.M. Comments on "Minimal Fault Tests for Combinational Networks", IEEE Trans, on Computers, 1977, C-26, p. 318-319.

13. Agrawal V,D. When to use random testing. IEEE Trans, on Computers, 1978, C-27, Nr. 11, p. 1054-1055.

14. Breuer M.A, A random and an algorithmic technique for fault detection test generation for sequential circuits. IEEE Trans, on Computers, 1971, C-20, Nr. 11, p. 1364-1370.

15. Балашов B.B., Муллина Н.Ш. и др. Автоматизированная система построения тестов функционального и диагностического контроля логических схем. М.: ИТМ и ВТ АН СССР, 1976. - 28 с.

16. Armstrong D#B, On finding a nearly minimal set of fault detection tests for combinational logic nets. IEEE Trans, on Electr. Computers, 1966, -EC-15, Nr. 2, p. 66-73.

17. Schneider P.R. On the necessity to examine D- chains in diagnostic test generation an example. - IBM Journal, 1967,v. 11, Nr. 1, p. 114.

18. Чкен Г., Мэннинг E., Метц Г. Диагностика отказов цифровых вычислительных систем, М.: Мир, 1972. - 232 с.

19. Roth J,P. Diagnosis of automata failures; a calculus and a method.-IBM Journal, 1966, v, 10, Nr. 4, p. 278-291.

20. Roth J.P., Bouricius W.G., Schneider P.R. Programmed algorithms to compute tests to detect and distinguish between failures in logic circuits. IEEE Trans, on Electron. Computers, 1967, v. KC-16, Nr. 5, p. 567-580,

21. Баранов с.И., Майоров С.А., Сахаров Ю.П., Селютин В.А. Автоматизация проектирования цифровых устройств. Л.: Судостроение, 1979. - 261 с.

22. Putzolu O.R., Roth J.P. A heuristic algorithm for testing of asynchronous circuits. IEEE Trans, on Computers, 1971, v. C-20, Nr. 6, p. 639-647.

23. Bouricius W.G., Haieh E.P., Putzolu G.R., Roth J.P., Schneider P.R,,l4an C.J. Algorithms for detection of faults in logic circuits. IEEE Trans, on Computers, 1971, v. C-20, Nr. 11, p. 1258-1264.

24. Muth P. A nine valued circuit model for test generation. -IEEE Trans, on Computers, 1976, v. C-25, Nr. 6, p. 630-636.

25. Thomas J.J. Automated diagnostic test programs for digital networks. Computer Design, 1971, Nr. 8, p. 63-67.

26. Breuer M.A., Friedman A.D. Functional level primitives in test generation. IEEE Trans, on Computers, 1980, v. C-29, Nr. 3, p. 223-235.

27. Sellers F.F., Hsiao M.Y., Bearnsan L.W. Analyzing errors with the Boolean differences. IEEE Trans, on Computers, 1968,v. C-17, Nr. 7, p. 676-683.

28. Thayse A., Davis M. Boolean differential calculus and its application to switching theory. IEEE Trans, on Computers, 1973, v. C-22, Nr. 4, p. 409-420.

29. Bochmann D. Einfilhrung in die strukturelle Automatentheorie. Berllni VEB Verlag Technik, 1975. - 234 s.

30. Yau S.S., Tang Y. An efficient algorithm for generating complete test sets for combinational logic circuits. IEEE Trans, on Computers, 1971, v. C-20, Nr. 11, p. 1245-1251.

31. Chiang A.O., weed I.S., Banes A.V. Path sensitization, partial Boolean difference, and automated fault diagnosis. IEEE

32. Trans, on Computers, 1972, v. C-21, Nr. 2, p. 189-195.

33. Белоусов В.В., Киселев В.В., Кон Е.Л. Об одном методе диагностики кратных неисправностей. В кн.: Вопросы технической диагностики : Межвузовский сборник, Выпуск 17. - Ростов-на-Дону, 1977, с. I56-161.

34. Carroll B.D., Shan H.G., Jones D.M. An examination of algebraic test generation methods for multiple faults. IEEE Тгапз. on Computers, 1974, v. C-23, Nr. 7, p. 743-745.

35. Das S.R., Srimani P.K., Datta C.R. On multiple fault analysis in combinational circuits by means of Boolean difference. -Proc. IEEE, 1976, v. 64, Nr. 9, p. 1447-1449.

36. Копнин Ю.И. Построение проверяющей последовательности для дискретных устройств с памятью. Автоматика и телемех., 1975, № 2, с. 132-142.

37. Poage J.P. Derivation of optimum tests to detect faults in combinational circuits. Proceedings 1962 Symposium of mathematical theory of Automata. Brooklyn, Ney Work, 1962,p. 483-528.

38. Казначеев В.И. Диагностика неисправностей цифровых автоматов. М.: Сов. Радио, 1975. - 256 с.

39. Гольдман Р.С., Чипулис В.П. Техническая диагностика цифровых устройств. М.: Энергия, 1976. - 224 с.

40. Чипулис В.П. О построении тестов для контроля комбинационных схем. Автоматика и телемех., 1971, й 3, с. II4-II9.

41. Мотеюнас К.Л., Шейнаускас Р.И. Построение контролирующего теста для одиночных коротких замыканий. В кн.: Вычислительная техника. : Материалы Всесоюзной конф. Вильнюс, 1979,с. 166-169.

42. Мотеюнас К.Л., Шейнаускас Р.И. Влияние коротких замыканий на ЭНФ и ОЭНФ. В сб.: Вычислительная техника: Материалы конф. Каунас, 1978, с. 29-32.

43. Абрайтис Л.Б., Шейнаускас Р.И., Таргамадзе А.Э. Построение полных контролирующих тестов комбинационных устройств методом максимального покрытия эквивалентных форм. Автоматика и вычисл. техника, 1979, № 4, с. 33-38.

44. Абрайтис Л.Б., Шейнаускас Р.И., Таргамадзе А.Э. Уменьшение избыточности полных контролирующих тестов. В сб.: Вычислительная техника: Материалы Всесоюзной конф. - Вильнюс, 1979, с. I47-151.

45. Бессонов А.А., Стешкович Н.Т., Турчина Е.Д. Автоматизация построения контролирующих тестов. Л.: Энергия, 1976. -224 с.

46. Данилов В.В., Филимонов Б.И. Идентифицирующий тест для ненаправленного графа. Автоматика и телемех., 1973, № 7, с. I57-161.

47. Филимонов В.И. Построение проверяющих тестов для комбинационных схем. Автоматика и телемех., 1977, № 2, с. 120-125.

48. Колесов Н.В. Построение идентифицирующего теста для комбинационной схемы. Автоматика и телемех., 1977, № 12, с. 119-126.

49. Карибский В.В. Построение входной последовательности, обнаруживающей заданную неисправность дискретного устройства. -Автоматика и телемех., 1972, № 5, с. 153-162.

50. Халчев В.Ф. Построение полного проверяющего теста для последовательного соединения одиночных контуров. Автоматика и телемех., 1975, lb 4, с. III-I2I.

51. Томфельд Ю.Л., Халчев В.Ф. Обнаружение кратных неисправностей в одиночных контурах. Автоматика и телемех., 1975, № 3, с. 123-133.

52. Халчев В.Ф. Обнаружение кратных неисправностей в древовидной логической сети с памятью, Автоматика и телемех., 1975, № 8, с. 143-149.

53. Шнейдер Б.Н. О реализации булевых функций альтернативнымиграфами. В тез. докл. II Всесоюзн. совещания по теории релейных устройств и конечных автоматов, Рига, 1971, с. 71.

54. Гуляев В.А. Использование метода подсхем при построении тестов для блоков вычислительных машин. Электроника и моделирование, Вып. 10, 1975, с. 91-99.

55. Скляревич А.Н. Основы логических методов проверки автоматов.- Рига: Зинатне, 1979. 191 с.

56. Скляревич А.Н. Тест проверки последовательного соединения независимых подавтоматов. Автоматика и вычисл. техника, 1979, № 4, с. 39-46.

57. Куликаускас А.Л. Особенности модульного подхода построениятестов. В сб.: Вычислительная техника: Материалы Всесоюзн. конф. - Вильнюс, 1979, с. 155-158.

58. Шейнаускас Р.И., Варейша Э.В. Интерактивное построение проверяющих тестов дискретных устройств. В межвузовском сб.: Автоматизация конструкторского проектирования в радиоэлектронике и вычислительной технике. Вильнюс, 1983, т. 3,с. III-I20.

59. Чегис И.А., Яблонский С.В, Логические способы контроля электрических схем. Тр. математического института им. В.А. Стеклова, т. 50, АН СССР, 1958, с. 270-360.

60. Kautz W.H. Fault testing and diagnosis in combinational digital circuits. IEEE Trans, on Computers, 1968, v. C-17,1. Nr. 4, p. 352-366.

61. Akers 3.B. Binary decision diagrams. IEEE Trans, on Gompu-. ters, 1978, v. C-27, Nr. 6, p. 509-516.

62. Lee O.Y. Representation of switching circuits by binary decision programs. Bell Syst. Techn. Journal, 1959, v. 38, Nr. 7, p. 985-999.

63. Cerny E., Mange Dm, Sanches E. Synthesis of minimal binary decision trees. IEEE Trans, on Computers, 1978, v. C-28, Nr. 7, p. 472-482.

64. Abadir M.S., Reghbati H.K. LSI testing techniques. IEEE Micro, 1983, Nr. 2, p. 34-51.

65. Abadir M.S., Reghbati H.K. Test generation for LSI* A new approach." Tech. Report 81-7, Dept. of Computational Science, University of Saskatchewan, Saskatoon, 1981.

66. Китсник П.А., Убар P.P., Эвартсон Т.А. Модель для генерирования тестов микропроцессорных БИС. -В сб.: Машинные методы технического проектирования электронно- вычислительной аппаратуры: Тез. докл. республ. научно- техн. конф. Каунас, 1983, с. 60.

67. Китсник П.А. Анализ полноты тестов для цифровых схем на модели альтернативных графов. Тр. Таллинского политехи, института, № 530, 1982, с. 39-51.

68. Плакк М.П., Убар P.P. Применение модели альтернативных графов при синтезе тестов для комбинационных схем. Тр. Таллинского политехи, института, № 432, 1977, с. 3-13.

69. Plakk М., Ubar R. Aufstellung von Testfolgen fUr logische Schaltungen. 24. Intern Wiss Koll. TH Ilmenau, 1979, Heft 2, з. 93-96.

70. Плакк М.П., Убар P.P. Синтез парных тестов комбинационных схем. Тр. Таллинского политехи, института, К 474, 1980, с. 45-68.

71. Плакк М.П., Убар P.P. Построение тестов цифровых схем при помощи модели альтернативных графов. Автоматика и телемех., 1980, № 5, с. 152-163.

72. Кристофидес П. Теория графов. М.: Мир, 1978. - 432 с.

73. Кузнецов О.П. О программной реализации логических функцийи автоматов. Автоматика и телемех., 1977, № 7, с. 163-174. 74с Кузнецов О.П., Адельсон- Вельский Г.М. Дискретная математика для инженера. - М.: Энергия, 1980. - 344 с.

74. Киви, Э. Синтез модели альтернативных графов для цифровых схем и систем с целью генерирования диагностических тестов.- Дипломная работа. Таллин, 1980. - 131 с, (На эст. языке).

75. Биргер А.Г. О проверке исправности многовыходного комбинационного устройства. Автоматика и телемех., 1977, № 5,с. 140-146.

76. Карибский В.В., Пархоменко П.П., Сейтова Г.Е. О построении проверяющих последовательностей для дискретных устройств с памятью. Автоматика и телемех., 1979, № 5, с. 167-177.

77. Smith J.E. On nessesary and sufficient conditions for multiple fault undetectability. IEEE Trans, on Computers, 1979, v. C-28, Nr 10, p. 801-802.

78. Коган И.В. О построении проверяющих и диагностирующих тестов для комбинационных устройств. Автоматика и вычисл. техника, 1974, № I, с 37-42.

79. Коган И.В. Проверка отсутствия константных неисправностейв точке комбинационного устройства. Автом. и вычисл. техника, 1976, № 2, с. 31-37.

80. Ведешенков В.А. Об одном подходе к организации тестовой диагностики неисправностей дискретных устройств с точностьюдо блока.,- Автоматика и телемех., 1975, № 8, с. I22-I3I.

81. Плакк М.П. Трансляция выходных реакций многовыходного модуля. Труды Таллинского политехи, института, № 519, 1981, с. 63-72.

82. Шоу А. Логическое проектирование операционных систем. М.: Мир, 1981. - 360 с.

83. Саарма Г. Синтез диагностических тестов для комбинационных схем. Дипломная работа. - Таллин, 1977. - 91 с. (На зет. языке).

84. Голыничев В.Н. Машинно- ориентированный метод синтеза тестовых последовательностей, свободных от критических состязаний при произвольном.распределении задержек. Автореф. дис. . канд. техн. наук. - Л., 1982. - 16 с.