Синтез k-значных цифровых IP-модулей для роботов и датчиковых систем на основе линейных преобразований токовых логических сигналов
Ключевые слова:
булева алгебра, линейная алгебра, двузначная логика, многозначная логика, линейное пространство, логический синтез, элементная база, k-значные логические элементыАннотация
Приведены результаты исследования двузначной и многозначной элементной базы (ЭБ) для цифровых структур, в т.ч. роботов и летательных аппаратов, функционирующей на основе линейных преобразований токовых логических сигналов. Цель исследований — разработка методов синтеза и аналоговых схемотехнических решений альтернативной цифровой ЭБ с улучшенными (в сравнении с традиционной элементной базой) техническими, технологическими и эксплуатационными характеристиками.Литература
1. Воротников С.А. Информационные устройства робототехнических систем // М.: Изд-во МГТУ им. Баумана. 2005. 384 с.
2. Многозначные логики и их применения: Логики в системах искусственного интеллекта / Под ред. Финна В.К. // М.: УРСС. 2008. Т. 2. 240 с.
3. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств // М.: Энергия. 1973. 144 с.
4. Чернов Н.И., Югай В.Я. Неклассический синтез цифровых структур средствами аналоговой схемотехники // Труды IX Международного научно-практического семинара «Проблемы современной аналоговой схемотехники». 2012. с. 138–144.
5. Chernov N.I., Yugai V.Ya., Prokopenko N.N., Butyrlagin N.V. Вasic Concept of Linear Synthesis of Multi-Valued Digital Structures in Linear Spaces // Proceedings of IEEE East-Wesr Design & Test Simposium (EWDTS’2013). 2013. Pp. 146–149.
6. Прокопенко Н.Н., Чернов Н.И., Югай В.Я. Линейный логический синтез двузначных цифровых структур в линейных пространствах // Конгресс «IS&IT’13». «Интеллектуальные системы’13», «Интеллектуальные САПР-2013»: труды конференций. Т.1. Москва: Физматлит. 2013. С. 278–283.
7. Lukasiewicz J. Logika trojwartosciowa // Ruch Filozoficzny. 1920. vol. 5. no. 9. (In Polish).
8. Post E.L. Introduction to a General Theory of Elementary Propositions // Amer. Journ. of Math. 1921.vol. 43. no 3. pp. 163–185.
9. Stankovic M., Stojkovic S., Stankovic R.S. Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 142–147.
10. Nagayama S., Sasao T., Butler J.T. Analysis of Multi-state Systems with Multi-state Components Using EVMDDs // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 122–127.
11. Дворников О.В., Прокопенко Н.Н., Чернов В.И., Югай В.Я. Одноразрядный полный сумматор с многозначным внутренним представлением сигналов // Патент России № 2504074. 2014.
12. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Дворников О.В. Мажоритарный элемент с многозначным внутренним представлением сигналов // Патент России № 2506696. 2014.
13. Чернов Н.И., Прокопенко Н.Н., Югай В.Я., Дворников О.В. Логический элемент «Исключающее ИЛИ» с многозначным внутренним представлением сигналов // Патент России № 2506695. 2014.
14. Прокопенко Н.Н., Чернов Н.И., Югай В.Я. Логический элемент «И» с многозначным внутренним представлением сигналов // Патент России № 2509412. 2014.
15. Nagayama S., Sasao T., Butler J.T. Analysis of Multi-state Systems with Multi-state Components Using EVMDDs // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 122–127.
16. Прокопенко Н.Н., Чернов Н.И., Дворников О.В., Югай В.Я. Логический элемент «И» с многозначным внутренним представлением сигналов // Патент России № 2509413. 2014.
17. Прокопенко Н.Н., Чернов Н.И., Югай В.Я., Будяков П.С. RS-триггер с многозначным внутренним представлением сигналов // Патент России № 2514789. 2014.
18. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Будяков П.С. Логический элемент «2-И» с многозначным внутренним представлением сигналов // Патент России № 513717. 2014.
19. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Пахомов И.В. Логический элемент «2-И» с многозначным внутренним представлением сигналов // Патент России № 2513478. 2014.
20. Прокопенко Н.Н., Чернов Н.И., Югай В.Я., Бутырлагин Н.В. Устройство для выделения модуля разности двух входных токов // Патент России № 2520416. 2014.
2. Многозначные логики и их применения: Логики в системах искусственного интеллекта / Под ред. Финна В.К. // М.: УРСС. 2008. Т. 2. 240 с.
3. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств // М.: Энергия. 1973. 144 с.
4. Чернов Н.И., Югай В.Я. Неклассический синтез цифровых структур средствами аналоговой схемотехники // Труды IX Международного научно-практического семинара «Проблемы современной аналоговой схемотехники». 2012. с. 138–144.
5. Chernov N.I., Yugai V.Ya., Prokopenko N.N., Butyrlagin N.V. Вasic Concept of Linear Synthesis of Multi-Valued Digital Structures in Linear Spaces // Proceedings of IEEE East-Wesr Design & Test Simposium (EWDTS’2013). 2013. Pp. 146–149.
6. Прокопенко Н.Н., Чернов Н.И., Югай В.Я. Линейный логический синтез двузначных цифровых структур в линейных пространствах // Конгресс «IS&IT’13». «Интеллектуальные системы’13», «Интеллектуальные САПР-2013»: труды конференций. Т.1. Москва: Физматлит. 2013. С. 278–283.
7. Lukasiewicz J. Logika trojwartosciowa // Ruch Filozoficzny. 1920. vol. 5. no. 9. (In Polish).
8. Post E.L. Introduction to a General Theory of Elementary Propositions // Amer. Journ. of Math. 1921.vol. 43. no 3. pp. 163–185.
9. Stankovic M., Stojkovic S., Stankovic R.S. Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 142–147.
10. Nagayama S., Sasao T., Butler J.T. Analysis of Multi-state Systems with Multi-state Components Using EVMDDs // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 122–127.
11. Дворников О.В., Прокопенко Н.Н., Чернов В.И., Югай В.Я. Одноразрядный полный сумматор с многозначным внутренним представлением сигналов // Патент России № 2504074. 2014.
12. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Дворников О.В. Мажоритарный элемент с многозначным внутренним представлением сигналов // Патент России № 2506696. 2014.
13. Чернов Н.И., Прокопенко Н.Н., Югай В.Я., Дворников О.В. Логический элемент «Исключающее ИЛИ» с многозначным внутренним представлением сигналов // Патент России № 2506695. 2014.
14. Прокопенко Н.Н., Чернов Н.И., Югай В.Я. Логический элемент «И» с многозначным внутренним представлением сигналов // Патент России № 2509412. 2014.
15. Nagayama S., Sasao T., Butler J.T. Analysis of Multi-state Systems with Multi-state Components Using EVMDDs // 2012 IEEE 42nd International Symposium on Multiple-Valued Logic. 2012. pp. 122–127.
16. Прокопенко Н.Н., Чернов Н.И., Дворников О.В., Югай В.Я. Логический элемент «И» с многозначным внутренним представлением сигналов // Патент России № 2509413. 2014.
17. Прокопенко Н.Н., Чернов Н.И., Югай В.Я., Будяков П.С. RS-триггер с многозначным внутренним представлением сигналов // Патент России № 2514789. 2014.
18. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Будяков П.С. Логический элемент «2-И» с многозначным внутренним представлением сигналов // Патент России № 513717. 2014.
19. Чернов Н.И., Югай В.Я., Прокопенко Н.Н., Пахомов И.В. Логический элемент «2-И» с многозначным внутренним представлением сигналов // Патент России № 2513478. 2014.
20. Прокопенко Н.Н., Чернов Н.И., Югай В.Я., Бутырлагин Н.В. Устройство для выделения модуля разности двух входных токов // Патент России № 2520416. 2014.
Synthesis of k-valued Digital IP-Modules for Robots and Sensor Systems Based on Linear Transformations of Current Logic Signals
Abstract
The paper presents the results of studies of a double-valued and a multi-valued elements stock (ES) for digital structures, including robots and flying vehicles, that operates by using linear transformations of current logic signals. A goal of the studies is to develop methods of synthesis and analog circuits engineering solutions of the alternative digital ES with the improved (as compared to the traditional elements stock) technical, technological and operational characteristics.
Опубликован
2016-04-04
Как цитировать
Прокопенко, Н. Н., Чернов, Н. И., & Югай, В. Я. (2016). Синтез k-значных цифровых IP-модулей для роботов и датчиковых систем на основе линейных преобразований токовых логических сигналов. Труды СПИИРАН, 2(45), 172-189. https://doi.org/10.15622/sp.45.11
Раздел
Средства вычислительной техники и систем управления
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
