Логика на основе шума

Pause

Логика на основе шума — это класс детерминированных схем многозначной логики, разработанных в XXI веке, в которых логические значения и биты представлены различными реализациями стохастического процесса. Концепция логики на основе шума и само название были предложены Ласло Б. Кишем. В основополагающей работе отмечается, что идея была вдохновлена стохастичностью сигналов мозга и неортодоксальными схемами связи на основе шума, такими как шифр Киша[1].

История создания

Основополагающие работы по концепции логики на основе шума, предложенной Ласло Б. Кишем, были опубликованы в 2008—2009 годах[2]. Первоначальные схемы требовали усреднения сигналов по времени, что снижало скорость вычислений. Для решения этой проблемы в 2010 году была разработана концепция «мгновенной логики на основе шума» (англ. Instantaneous Noise-Based Logic, INBL), позволяющая выполнять логические операции без временного усреднения[3]. Дальнейшие направления развития технологии включают моделирование логики работы мозга и создание «несжатых» логических вентилей[4].

Пространство и гиперпространство логики на основе шума

Логические значения представлены многомерными «векторами» (ортогональные функции) и их суперпозициями, где ортогональные базисные векторы являются независимыми шумами. С помощью правильной комбинации (произведения или множества-произведения) базисных шумов, которые называются «шум-бит», можно построить логический гиперпространство с числом измерений D(N) = 2N, где N — количество шум-битов. Соответственно, N шум-битов в одном проводе соответствует системе из 2N классических битов, которые могут выражать 22N различных логических значений. Независимые реализации стохастических процессов с нулевым средним имеют нулевую взаимную корреляцию друг с другом и с другими стохастическими процессами с нулевым средним. Поэтому базисные шумовые векторы ортогональны не только между собой, но и все состояния логики на основе шума (суперпозиции) также ортогональны по отношению к любым фоновым шумам аппаратной среды. Таким образом, концепция логики на основе шума устойчива к фоновому шуму, что может обеспечить высокую энергоэффективность.

Типы сигналов, используемых в логике на основе шума

В той работе, где впервые была введена логика на основе шума, были предложены общие стохастические процессы с нулевым средним, а также система ортогональных синусоидальных сигналов как детерминированный вариант такой логики. Математический анализ статистических ошибок и энергоёмкости сигнала был ограничен случаями гауссовских шумов и их суперпозиций как логических сигналов в базовом логическом пространстве, а также произведениями и суперпозициями этих произведений в логическом гиперпространстве. В последующей схеме логики мозга логические сигналы представлялись (аналогично нейронным) однополярными пачками импульсов, генерируемых пуассоновским процессом, а также наборно-теоретическими объединениями (суперпозициями) и пересечениями (произведениями) различных импульсных последовательностей. Позже, в схемах мгновенной логики на основе шума и вычислениях использовались случайные телеграфные волны (периодические по времени, биполярные, с фиксированным по модулю амплитудным значением) как одни из простейших стохастических процессов для NBL. При выборе амплитуды равной единице и симметричных вероятностей результирующая случайная телеграфная волна с вероятностью 0,5 находится либо в состоянии +1, либо в −1 в течение всего клок-периода. Современные исследования мгновенной логики на основе шума (INBL) показывают, что результирующий сигнал суперпозиции имеет сильно негауссовское (бимодальное) распределение амплитуд, даже если базовые векторы ортогональны.

Логические элементы на основе шума

Логические элементы на основе шума можно классифицировать по способу, с помощью которого вход определяет логическое значение. В первых схемах анализировалась статистическая корреляция между входным сигналом и опорными шумами. Их достоинство — высокая устойчивость к фоновому шуму, а недостаток — низкая скорость и высокая аппаратная сложность. Мгновенные логические элементы работают быстро, имеют низкую сложность, но не отличаются устойчивостью к фоновому шуму. Как для нейронных импульсов, так и для биполярных случайных телеграфных волн с амплитудой по модулю, равной единице, случайность только в знаке амплитуды обеспечивает очень простую мгновенную реализацию логических элементов; при этом линейные и аналоговые устройства не нужны, и схема может работать в цифровой области. Однако при необходимости интерфейса между мгновенной логикой и классическими логическими схемами требуется применять корреляторные логические элементы для безошибочной передачи сигнала.

Универсальность логики на основе шума

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

Вычисления с помощью логики на основе шума

Работа по верификации строк через медленный канал связи демонстрирует мощное применение для вычислений, изначально основанное на применении хеш-функции. Для установления различия между строками с вероятностью ошибки 10−25 требуется сравнить всего 83 бита хеша[5]. Эта схема базируется на случайных телеграфных волнах, и, как отмечено в работе, авторы интуитивно приходят к выводу, что «интеллект» мозга реализует сходные операции для принятия достаточно хороших решений на ограниченном объёме информации. Эта интуиция подтверждается нейробиологическими исследованиями конструктивной роли вычислительного шума и стохастического резонанса в нейронных сетях[6]. Суперпозиция первых D(N) = 2N целых чисел может быть построена всего за 2N операций, что авторы называют в статье «операцией ахиллесовой лодыжки». Теоретическое применение логики на основе шума также включает решение NP-полных задач, в частности задачи выполнимости булевых формул (SAT), где свойство суперпозиции позволяет одновременно подавать на вход схемы множество входных векторов[7].

Преимущества и недостатки

Преимущества:

  • Высокая помехоустойчивость благодаря ортогональности шумов[8].
  • Возможность создания многозначной логики и суперпозиции[8].
  • Потенциально низкое энергопотребление[8].

Недостатки:

  • Более низкая скорость работы корреляционных вентилей[9].
  • Повышенная сложность аппаратной реализации (необходимость генераторов шума и корреляторов)[9].
  • Компромисс между скоростью и надёжностью в мгновенных схемах[9].

Сравнение с квантовыми вычислениями

Логика на основе шума предлагает создание экспоненциально большого вычислительного пространства на базе классической физики. В отличие от квантовых систем, этот подход является детерминированным[10] и обладает высокой устойчивостью к шуму, поскольку не подвержен декогеренции[8]. При этом логика на основе шума ограничена в универсальности и применяется для решения специфических задач, в то время как квантовые компьютеры теоретически универсальны.

Аппаратная реализация и перспективы

По состоянию на 2026 год технология находится на стадии фундаментальных исследований (TRL 1-3), и коммерческих проектов пока не существует[11]. При этом создаются физические аппаратные прототипы на базе FPGA для энергоэффективных нейронных сетей[12]. Также ведётся разработка специализированных чипов (ASIC) и вероятностных компьютеров (p-computers), использующих магнитные туннельные переходы (sMTJ) в качестве аппаратных ускорителей[13]. Проводятся исследования по интеграции стохастических вычислений со стандартными КМОП-техпроцессами, включая создание гибридных систем[14].[13]

Примечания

  1. ↑ Noise-based logic, computing, and brain circuitry. noise.ece.tamu.edu. Дата обращения: 28 мая 2026.
  2. ↑ Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states. noise.ece.tamu.edu (15 января 2009). Дата обращения: 28 мая 2026.
  3. ↑ Instantaneous Noise-Based Logic (INBL). noise.ece.tamu.edu (2010). Дата обращения: 28 мая 2026.
  4. ↑ Instantaneous Noise-Based Logic (INBL). arXiv (17 декабря 2010). Дата обращения: 28 мая 2026.
  5. ↑ Noise-Based Logic for Data String Verification. arXiv (10 мая 2010). Дата обращения: 28 мая 2026.
  6. ↑ Noise-Based Logic: A Biological Representation. arXiv (18 августа 2014). Дата обращения: 28 мая 2026.
  7. ↑ Boolean Satisfiability using Noise Based Logic. people.engr.tamu.edu. Дата обращения: 28 мая 2026.
  8. ↑ 1 2 3 4 Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states. arXiv (31 августа 2008). Дата обращения: 28 мая 2026.
  9. ↑ 1 2 3 Логика на основе шума: как это работает. Хабр. Дата обращения: 28 мая 2026.
  10. ↑ Instantaneous Noise-Based Logic (INBL). arXiv. Дата обращения: 28 мая 2026.
  11. ↑ Petition for Inter Partes Review. USPTO. Дата обращения: 28 мая 2026.
  12. ↑ Нейроморфные системы: будущее вычислительной техники. Хабр. Дата обращения: 28 мая 2026.
  13. ↑ 1 2 Hybrid Probabilistic Computer Combining CMOS and Stochastic Nanomagnets. WPI-AIMR, Tohoku University (5 апреля 2024). Дата обращения: 28 мая 2026.
  14. ↑ A Fully CMOS Probabilistic Computing Chip with 440 p-bits. arXiv (25 апреля 2025). Дата обращения: 28 мая 2026.

Литература

  • Ласло Б. Киш (2009). “Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states”. Physics Letters A. 373 (10): 911—918. arXiv:0808.3162. Bibcode:2009PhLA..373..911K. DOI:10.1016/j.physleta.2008.12.068. S2CID 17537255.
  • Ласло Б. Киш; Сунил Хатри; Сваминатан Сетхураман (2009). “Noise-based logic hyperspace with the superposition of 2^N states in a single wire”. Physics Letters A. 373 (22): 1928—1934. arXiv:0901.3947. Bibcode:2009PhLA..373.1928K. DOI:10.1016/j.physleta.2009.03.059. S2CID 15254977.
  • Сергей М. Безруков; Ласло Б. Киш (2009). “Deterministic multivalued logic scheme for information processing and routing in the brain”. Physics Letters A. 373 (27—28): 2338—2342. arXiv:0902.2033. Bibcode:2009PhLA..373.2338B. DOI:10.1016/j.physleta.2009.04.073. S2CID 119241496.
  • Ласло Б. Киш; Сунил Хатри; Фердинанд Пепер (2010). “Instantaneous noise-based logic”. Fluctuation and Noise Letters. 09 (4): 323—330. arXiv:1004.2652. DOI:10.1142/S0219477510000253. S2CID 17034438.
  • Пепер, Фердинанд; Киш, Ласло Б. (2011). “Instantaneous, Non-Squeezed, Noise-Based Logic” (PDF). Fluctuation and Noise Letters. 10 (2): 231—237. arXiv:1012.3531. DOI:10.1142/S0219477511000521. S2CID 1610981.
  • Ласло Б. Киш; Сунил Хатри; Тамаш Хорват (2011). “Computation using Noise-based Logic: Efficient String Verification over a Slow Communication Channel”. The European Physical Journal B. 79 (1): 85—90. arXiv:1005.1560. Bibcode:2011EPJB...79...85K. DOI:10.1140/epjb/e2010-10399-x. S2CID 15608951.

Категории

Pause