Читать онлайн «Теория логического проектирования»
Автор Мараховский В.Б.
Аннотация курса «Теория логического проектирования»
Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и
применение многозначной логики при проектировании аналоговых устройств управления,
заданных средствами «размытой, или нечеткой» логики. В основном излагается
оригинальный материал, ранее не представленный в программах Российских университетов. Первая часть курса содержит систематическое описание теории самосинхронных схем. Ее
целью является ознакомление студентов с основными принципами и методами
проектирования асинхронных логических и управляющих устройств, а также приобретение
студентами навыков как «ручного» проектирования так и с использованием формальных
методов, реализованных в системе автоматизации проектирования Petrify. Во второй части курса излагаются теоретические вопросы и методы построения
аналоговых управляющих устройств, заданных в виде фаззи-контроллеров, схемами из
суммирующих усилителей, реализующих многозначные логические функции. После
изучения второй части курса студенты должны овладеть методами декомпозиции
многозначных логических функций и уметь синтезировать логическую схему любого фаззи-
контроллера. Ключевые слова: асинхронный процесс; динамическая модель; сеть Петри; сигнальный граф;
самосинхронные коды; самосинхронная схема; свойство полумодулярности; схема, не
зависящая от скорости; фаззи-контроллер; фаззификатор; дефаззификатор; фаззи-вывод;
функция принадлежности; многозначная логика; суммирующий усилитель; декомпозиция. Теория
еория Логического
огичес ого
Проектирования
Проф. Мараховский Вячеслав Борисович
Часть 1:
Логическое Проектирование
Асинхронных Схем
Лекция
ц 1
1
Источники
1. Апериодические автоматы, под ред. В. И. Варшавского, М. , Наука, 1976.
2. Автоматное управление асинхронными процессами в ЭВМ и дискретных
системах, под ред. В. И. Варшавского, М. , Наука, 1986.
33. M. M Kishinevsky
Kishinevsky, A
A. Kondratyev
Kondratyev, A
A. Taubin and V. V Varshavsky,
Varshavsky Concurrent
Hardware. The theory and Practice of Self-timed Design, J. Wiley & Sons, 1993.
4. J. Cortadella,, M. Kishinevsky,
y, A. Kondratyev,
y , L. Lavagno,
g , A. Yakovlev,, Logic
g
Synthesis of Asynchronous Controllers and Interfaces, Springer-Verlag, 2002.
5. Jens Sparsø, Asynchronous Circuit Design. A Tutorial, Technical University of
Denmark, 2006.
