Логика на основе шума
Логика на основе шума — это класс детерминированных схем многозначной логики, разработанных в XXI веке, в которых логические значения и биты представлены различными реализациями стохастического процесса. Концепция логики на основе шума и само название были предложены Ласло Б. Кишем. В основополагающей работе отмечается, что идея была вдохновлена стохастичностью сигналов мозга и неортодоксальными схемами связи на основе шума, такими как шифр Киша.[1]
Пространство и гиперпространство логики на основе шума
Логические значения представлены многомерными «векторами» (ортогональные функции) и их суперпозициями, где ортогональные базисные векторы являются независимыми шумами. С помощью правильной комбинации (произведения или множества-произведения) базисных шумов, которые называются «шум-бит», можно построить логический гиперпространство с числом измерений D(N) = 2N, где N — количество шум-битов. Соответственно, N шум-битов в одном проводе соответствует системе из 2N классических битов, которые могут выражать 22N различных логических значений. Независимые реализации стохастических процессов с нулевым средним имеют нулевую взаимную корреляцию друг с другом и с другими стохастическими процессами с нулевым средним. Поэтому базисные шумовые векторы ортогональны не только между собой, но и все состояния логики на основе шума (суперпозиции) также ортогональны по отношению к любым фоновым шумам аппаратной среды. Таким образом, концепция логики на основе шума устойчива к фоновому шуму, что может обеспечить высокую энергоэффективность.
Типы сигналов, используемых в логике на основе шума
В той работе, где впервые была введена логика на основе шума, были предложены общие стохастические процессы с нулевым средним, а также система ортогональных синусоидальных сигналов как детерминированный вариант такой логики. Математический анализ статистических ошибок и энергоёмкости сигнала был ограничен случаями гауссовских шумов и их суперпозиций как логических сигналов в базовом логическом пространстве, а также произведениями и суперпозициями этих произведений в логическом гиперпространстве. В последующей схеме логики мозга логические сигналы представлялись (аналогично нейронным) однополярными пачками импульсов, генерируемых пуассоновским процессом, а также наборно-теоретическими объединениями (суперпозициями) и пересечениями (произведениями) различных импульсных последовательностей. Позже, в схемах мгновенной логики на основе шума и вычислениях использовались случайные телеграфные волны (периодические по времени, биполярные, с фиксированным по модулю амплитудным значением) как одни из простейших стохастических процессов для NBL. При выборе амплитуды равной единице и симметричных вероятностей результирующая случайная телеграфная волна с вероятностью 0,5 находится либо в состоянии +1, либо в −1 в течение всего клок-периода.
Логические элементы на основе шума
Логические элементы на основе шума можно классифицировать по способу, с помощью которого вход определяет логическое значение. В первых схемах анализировалась статистическая корреляция между входным сигналом и опорными шумами. Их достоинство — высокая устойчивость к фоновому шуму, а недостаток — низкая скорость и высокая аппаратная сложность. Мгновенные логические элементы работают быстро, имеют низкую сложность, но не отличаются устойчивостью к фоновому шуму. Как для нейронных импульсов, так и для биполярных случайных телеграфных волн с амплитудой по модулю, равной единице, случайность только в знаке амплитуды обеспечивает очень простую мгновенную реализацию логических элементов; при этом линейные и аналоговые устройства не нужны, и схема может работать в цифровой области. Однако при необходимости интерфейса между мгновенной логикой и классическими логическими схемами требуется применять корреляторные логические элементы для безошибочной передачи сигнала.
Универсальность логики на основе шума
Все перечисленные схемы логики на основе шума доказано универсальны. В публикациях обычно представляют элементы НЕ и И для обоснования универсальности, поскольку их совокупности достаточно для универсальности булевой логики.
Вычисления с помощью логики на основе шума
Работа по верификации строк. через медленный канал связи демонстрирует мощное применение для вычислений, изначально основанное на применении хеш-функции. Эта схема базируется на случайных телеграфных волнах, и, как отмечено в работе, авторы интуитивно приходят к выводу, что «интеллект» мозга реализует сходные операции для принятия достаточно хороших решений на ограниченном объёме информации. Суперпозиция первых D(N) = 2N целых чисел может быть построена всего за 2N операций, что авторы называют в статье «операцией ахиллесовой лодыжки».
Реализация логики на основе шума в микросхемах
Появились предварительные схемы применения логики на основе шума в практических вычислительных устройствах. Однако из этих публикаций очевидно, что перед областью ещё долгий путь до повсеместного применения в реальных устройствах.
Примечания
Литература
- Ласло Б. Киш (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.


