|
Crow indian
Регистрация: 21.02.2009
Возраст: 40
Сообщений: 29,839
Поблагодарил: 398 раз(а)
Поблагодарили 5983 раз(а)
Репутация: 126089
|
Тема: Синтез самодвойственных дискретных систем (Сапожников В.В., Сапожников Вл.В., Валиев Р.Ш.)
Сапожников В.В., Сапожников Вл.В., Валиев Р.Ш.
Синтез самодвойственных дискретных систем
Скачать
Цитата:
Сапожников В.В., Сапожников Вл.В., Валиев Р.Ш.
Синтез самодвойственных дискретных систем. Монография. — СПб.: «Элмор», 2006. — 224 с.
ИСБН 5-7399-0130-8
В книге рассмотрены проблемы построения самодвойственных дискретных систем. Самодвойственные системы обладают свойством самоконтроля исправности при наличии временных ресурсов для выполнения контрольных вычислений.
Основное внимание уделено синтезу триггерных схем в самодвойственной логике и построению на их основе самодвойственных устройств. Осуществлен синтез полного набора функциональных элементов самодвойственных структур. Рассмотрены принципы организации контроля самодвойственных схем.
Книга предназначена для инженерно-технических и научных работников, занимающихся теорией построения и разработкой дискретных управляющих устройств и микропроцессорных систем.
ИСБН 5-7399-0130-8 ББК 32.972
|
Цитата:
Предисловие
С развитием микроэлектронной техники ведущие компании мира начали выпускать большие интегральные схемы (БИС), имеющие десятки тысяч транзисторов и других дискретных компонентов. БИС обладают высокой надежностью и быстродействием, а также низкой стоимостью.
Использование БИС на практике связано с проблемами тестирования сверхбольших логических схем, поиском неисправных блоков и компонентов. По мере развития схемотехники эти проблемы усложняются, поэтому современное направление развития микроэлектронной техники предусматривает создание легкотестируемых, отказоустойчивых и контролепригодных устройств.
В предлагаемой книге приведены результаты исследований контролепригодных самодвойственных схем. Контроль достигается за счет использования свойств самодвойственных функций. Само-двойственность является полезным свойством, которое при наличии ресурса времени для периодического контроля позволяет непрерывно фиксировать исправность цифрового устройства.
Материалы данной книги дополняют результаты исследований, опубликованных в монографии «Самодвойственные дискретные устройства» , в которой рассмотрены основные принципы построения самодвойственных схем и исследованы их свойства по обнаружению неисправностей в комбинационных и многотактных схемах.
Большинство изложенных в книге результатов получены в процессе исследований, проведенных научными группами Петербургского государственного университета путей сообщения.
|
Цитата:
Оглавление
Предисловие ............................ 3
Глава 1. Методы построения дискретных устройств .... 5
1.1. Способы задания и синтеза дискретных устройств .... —
1.2. Обнаружение отказов в дискретных устройствах.....22
Глава 2. Схемы с парафазным представлением сигнала. . 31
2.1. Пространственное и временное парафазное кодирование. —
2.2. Парафазные самопроверяемые схемы............35
2.3. Самодвойственные функции и комбинационные схемы. . 47
2.4. Самодвойственные многотактные схемы...........60
2.5. Анализ надежности самопроверяемых структур относительно сбоев..............................62
Глава 3. Принципы реализации самодвойственных много-
тактных схем по временным диаграммам..........73
3.1. Построение таблиц переходов для
самодвойственных схем...................—
3.2. Синтез самодвойственного Г-триггера...........91
3.3. Построение выходного преобразователя самодвойственных
устройств с памятью....................106
Глава 4. Триггерные схемы в самодвойственной логике. 111
4.1. Синтез самодвойственных самопроверяемых триггеров
с использованием самодвойственных элементов памяти . —
4.2. Асинхронный Д-триггер..................116
4.3. Триггерные устройства с двумя входами.........119
4.3.1. Л^-триггер.......................—
4.3.2. ^-триггер.......................125
4.3.3.7?-триггер.......................134
4.3.4. б’-триггер........................143
4.3.5. Ж-триггер.......................151
4.4. Анализ реализаций самодвойственных
триггерных схем.......................162
Глава 5. Функциональные элементы самодвойственных структур.............................171
5.1. Преобразователь самодвойственного сигнала
в пространственный парафазный..............—
5.2. Контроль самодвойственных сигналов............175
5.3. Повторитель самодвойственного сигнала.........182
5.4. Схема сравнения самодвойственных сигналов.......187
5.5. Переключатель самодвойственных сигналов.......193
Глава 6. Построение и контроль самодвойственных систем..............................199
6.1. Синтез самодвойственных схем на самодвойственных
триггерах...........................—
6.2. Организация контроля избыточных самопроверяемых
самодвойственных систем.................202
6.3. Устройства включения исполнительных реле......206
Заключение............................211
Список использованной литературы..............213
|
Цитата:
Список использованной литературы
Список литературы к главе 1
1.1. Глушков В.М. Синтез цифровых автоматов. — М.: Физмат-гиз, 1962.
1.2. Колосов В.Г., Мелехин В.Ф. Проектирование узлов и систем автоматики и вычислительной техники. — JL: Энергоатомиздат, 1983.
1.3. Лазарев В.Г., Маркин Н.П. Проектирование дискретных устройств автоматики. — М.: Радио и связь, 1985.
1.4. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов.
— М.: Энергия, 1978.
1.5. Поспелов Д.А. Логические методы анализа и синтеза схем.
— М.: Энергия, 1974.
1.6. Рогинский В.Н. Основы дискретной автоматики. — М.: Связь, 1975.
1.7. Сапожников В.В., Кравцов Ю.А., Сапожников Вл.В. Дискретные устройства железнодорожной автоматики, телемеханики и связи. — М.: УМК МПС РФ, 2001.
1.8. Доманицкий С.М. Построение надежных логических устройств. —М.: Энергия, 1974.
1.9. Сапожников В.В., Сапожников Вл.В. Методы синтеза надежных автоматов. — Л.: Энергия, Ленингр. отд-е, 1980.
1.10. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. — М.: Радио и связь, 1989.
1.11. Сапожников В.В., Сапожников Вл.В. Дискретные автоматы с обнаружением отказов. — Л.: Энергоатомиздат, 1984.
1.12. Сапожников В.В., Сапожников Вл.В. Самопроверяемые дискретные устройства. — СПб.: Энергоатомиздат, 1992.
1.13. Сапожников В.В., Сапожников Вл.В., Гесселъ М. Самодвойственные дискретные устройства. — СПб.: Энергоатомиздат, Санкт-Петербургское отд-е, 2001.
1.14. Сагалович Ю.Л. Сокращение памяти автомата, устойчивого к повреждениям и состязаниям его внутренних элементов. // Проблемы передачи информации. 1967. Т. 3. №2. С. 73 - 85.
1.15. Сапожников В.В., Сапожников Вл.В. Упрощение структуры логического преобразователя конечного автомата при кодировании его состояний по столбцам таблиц переходов. // Проблемы передачи информации. 1975. Том 11. №.4. С. 77 - 85.
1.16. Liu С. N. A state variable assignment method for Asynchronous Sequential switching circuits. // Journal of the Associations for Com*Иванов**Иванов**Иванов**Иванов**Иванов*g Machinery. — V. C. 10. 1963. №2. P. 209 - 216.
1.17. Щербаков H.C., Подкопаев Б.П. Структурная теория аппаратного контроля цифровых автоматов. — М.: Машиностроение, 1982.
1.18. Щербаков Н.С. Самокорректирующиеся дискретные устройства. — М.: Машиностроение. 1975.
1.19. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики. — М.: Энергоатомиздат, 1981.
1.20. Piestrak S.J. Design of Fast Self-Testing Checkers for a Unidirectional Error Detecting Codes. — Technical University of Wroclaw,
1995.
1.21. Berger J.M. A Note on Error Detecting Codes for Asymmetric Channels // Information and Control. — V. 4. 1961. №3. P. 68-73.
1.22. Bose B., Lin D.J. Systematic Unidirectional Error Detecting Codes // IEEE Trans. Computer Aided Design. 1987. №11. P. 1024 -1032.
1.23. Согомонян Е.С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств. // Автоматика и телемеханика. 1974. №2. С. 121 - 133.
1.24. Аксенова Г.П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2. // Автоматика и телемеханика. 1979. №9. С. 126 - 135.
1.25. Гесселъ М., Согомонян Е.С. Построение самотестируемых и самопроверяемых комбинационных устройств со слабонезависимыми выходами. // Автоматика и телемеханика. 1992. №8. С. 150 -160.
1.26. Гесселъ М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Построение комбинационных самопроверяемых устройств с монотонно независимыми выходами. // Автоматика и телемеханика. 1994. №7. С. 148- 160.
1.27. Das D., Touba N.A. Synthesis of Circuits with Low — Cost Concurrent Error Detection Based on Bose-Lin Codes // Proc. 16th IEEE VLSI Test Symposium, Monterey, California. 1998. P. 309 - 315.
1.28. Saposhnikov V.V., Saposhnikov VI.V., Morosov A., GoesselM. Design of Self — Checking Unidirectional Combinational Circuits with Low Area Overhead // 2nd IEEE Int. On-line Testing Workshop, France, Biarritz. P. 56 - 67.
1.29. Saposhnikov V.V., Morosov A., Saposhnikov VI. V, GoesselM. New Design Method for Self - Checking Unidirectional Combinational Circuits // Journal of Electronic Testing. 1998. №12. P. 41 - 53.
1.30. Jha N.K., Wang S.J. Design and Synthesis of Self-Checking VLSI Circuits // IEEE Trans. Computer Aided — Design. 1993. №6. P. 878-887.
Список литературы к главе 2
2.1. Morosov A., Saposhnikov V.V., Saposhnikov VI. V, GoesselM. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs // VLSI Design. 1998. V.5. №4. P. 333 - 345.
2.2. Saposhnikov V.V., Saposhnikov VI. V, Goessel М., Morosov A. Method of Construction of Combinational Self-Checking Units with Detection of All Single Faults // Engineering Simulation. 1999. V.16. P. 745 -756.
2.3. Гессель М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Исследование комбинационных самопроверяемых устройств с независимыми и монотонно независимыми выходами. // Автоматика и телемеханика. 1997. №2. С. 180 - 193.
2.4. Авт.свид-во 921048 (СССР). Парафазное триггерное устройство со счетным входом / Сапожников В.В., Сапожников Вл.В. Бюлл. изобретений № 14. 1982.
2.5. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. — М.: Наука, 1966.
2.6. Reynolds D.A., Metze G. Fault detection capabilities of alternating logic. // IEEE Trans. Comput. 1978. Vol. C. 27. №12. P. 1093 -1098.
2.7. Гессель М., Мошанин В.И., Сапожников В.В., Сапожников Вл.В. Обнаружение неисправностей в самопроверяемых комбинационных схемах с использованием свойств самодвойственных функций. // Автоматика и телемеханика. 1997. № 12. С. 193 - 200.
2.8. Гессель М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Построение самопроверяемых комбинационных схем на осно-
ве свойств самодвойственных функций. // Автоматика и телемеханика. 2000. №2. С. 151 - 163.
2.9. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах. // Автоматика и телемеханика. 1999. № 11. С. 162- 174.
2.10. Сапожников В.В., Сапожников Вл.В., Гессель М., Дмитриев А.В. Обнаружение неисправностей в комбинационных схемах с помощью самодвойственного контроля. // Автоматика и телемеханика. 2000. №7. С. 140 - 149.
2.11. Dmitriev A., Saposhnikov V. V, Saposhnikov VI. V, Goessel М., Moshanin V., Morosov A. New self-dual circuits for error detection and testing. // VLSI Design. 2000. Vol. 11. P. 1 - 21.
2.12. Mercer M.R. Digital Design for Testability and Concurrent Fault Detection in LDI and VLSI Devices: Dissertation for the Degree of Doctor of Philosophy. / University of Texas of Austin. 1980. 94 p.
2.13. Moshanin V, Saposhnikov VI. V, Saposhnikov V.V., Goessel M. Synthesis of self-dual multi-output combinational circuits for on-line testing. // In 2nd IEEE Int. On-line testing Workshop. Biarritz, France,
1996. P. 107-111.
2.14. Saposhnikov VI. V, Moshanin V, Saposhnikov V.V., Goessel M. Self-dual multi-output combinational circuits with output data compaction. // IEEE European Test Workshop, Italy, Gagliari, 1997.
2.15. Saposhnikov VI.V, Moshanin V, Saposhnikov V.V., Goessel M. Experimental results for self-dual multi-output combinational circuits // Journal of Electronic Testing: Theory and Applications. 1999. № 14. P. 295-300.
2.16. Saposhnikov VI. V, Dmitriev A., Saposhnikov V.V., Goessel M. Self-dual parity checking — a new method for on-line testing. // Proc. 14th IEEE VLSI Test Symp., Princeton, New Jersey. 1996. P. 162 - 168.
2.17. Dmitriev A., Saposhnikov VI. V, Goessel М., Saposhnikov V.V. On-line testing by self-dual parity. // Proc. 8 Worcshop GI/IIG/GME «Testmethoden und Zukverlassigkeit von Schaltungen und Systemen»: Universitat Freiburg Report 77. 1996. P. 56 - 61.
2.18. Dmitriev A., Saposhnikov VI. V, Saposhnikov V.V, Goessel M. Self-dual duplication — a new method for on-line testing. // In 3rd IEEE Int. On-line Testing Workshop. Crete, Greece. 1997. P. 213 -217.
2.19. Dmitriev A., Saposhnikov VI. V, Goessel М., Saposhnikov V.V. On-line testing by self-dual duplication. // Proc. 9. ITG/GI/GMM — Workshop «Testmethoden und Zukverlassigkeit von Schaltungen und Systemen», Bremen. 1997. P. 43 -47.
2.20. Saposhnikov VI. V., Dmitriev A., Saposhnikov V.V., Goessel M. Self-dual Duplication for Error Detection and Testing. / Universitat Potsdam. Institut fur informatik. Preprint 002/1997. 16 p.
2.21. Saposhnikov VI. V, Saposhnikov V.V., Dmitriev A., Goessel M. Self-dual duplication for Error Detection. // Proc. Seventh Asian Test Symposium, Singapore. 1998. P. 296-300.
2.22. Dmitriev A., Saposhnikov V.V., Saposhnikov VI. V, Goessel M. Concurrent Checking of Sequential Circuits by Alternating Inputs. // Proc. 11 Workshop «Testmethoden und Zuverlassigkeit von Schaltungen und Systemen», Cottbus, Universitat Potsdam. 1999. P. 8 - 11.
2.23. Гесселъ М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Исследование свойств самодвойственных самопроверяемых многотактных схем. // Автоматика и телемеханика. 2001. № 4. С. 148- 159.
2.24. Сапожников В.В., Сапожников Вл.В., Валиев Р.Ш. О синтезе самодвойственных логических схем с памятью. // Электронное моделирование. 2004. Т.26. №2. С. 39 - 56.
Список литературы к главе 3
3.1. Сагалович Ю.Л. Помехоустойчивое кодирование состояний асинхронного конечного автомата. // Проблемы передачи информации. 1966. Т. 2. №.2. С. 54 - 59.
3.2. Сапожников В.В., Сапожников Вл.В. Синтез полностью са-моконтролирующихся асинхронных автоматов. // Автоматика и телемеханика. 1979. № 1. С. 154- 166.
3.3. Сапожников В.В., Сапожников Вл.В. Получение функций включения элементов памяти конечного автомата при кодировании состояний по столбцам таблицы переходов. // Проблемы передачи информации. 1973. Том 9. №.4. С. 90 - 91.
Список литературы к главе 5
5.1. Сапожников В.В., Сапожников Вл.В. Самопроверяемый фиксатор ошибок для парафазных сигналов. // Автоматика и телемеханика. 1992. № 2. С. 197 - 200.
5.2. Gaitanis N.A. Totally Self-Checking Error Indicator. // IEEE Trans. Computer. 1984. Vol. 34. № 8. P. 758-761.
5.3. Nanya Т., Kawamura T. On Error Indication for Totally Self-Checking System. // IEEE Trans. Computer. 1987. Vol. 36. № 11. P. 1389- 1392.
5.4. Сапожников B.B., Сапожников Вл.В., Талалаев В.И. и др. Сертификация и доказательство безопасности систем железнодорожной автоматики. — М.: Транспорт. 1997.
5.5. Сапожников В.В., Сапожников Вл.В., Христов X.А., Гавзов Д.В. Методы построения безопасных микроэлектронных схем железнодорожной автоматики. — М.: Транспорт, 1995.
Список литературы к главе 6
6.1. Авт. свид-во 1017570 (СССР). МКИ B61L 23/16. Устройство для включения исполнительного реле железнодорожной автоматики./ Дрейман O.K., Гавзов Д.В., Бодров А.А.
|
|
Почта
29.03.2014, 19:48
Похожие темы
