Трійковий комп'ютер

Трійковий комп'ютер (Шаблон:Lang-en або Шаблон:Lang-en) — комп'ютер, який використовує для проведення обчислень тризначну логіку замість більш поширеної бінарної логіки.

Історія

Леонардо Пізанській (Фібоначчі)

• 1203р., Фібоначчі (Леонардо Пізанській) (Піза, Італія) сформулював «задачу про гирі» («задача Баше-Менделєєва»), довів, що, при дозволі класти гирі тільки на одну шальку терезів, найбільш економною є двійкова система числення, а при дозволі класти гирі на обидві шальки терезів, найбільш економною є трійкова симетрична система числення, і опублікував її в «Книзі абака» (Liber abaci).
• 1840р., Шаблон:Не перекладено (Торрингтон, графство Девон, Англія, Велика Британія) побудував механічну трійкову обчислювальну машину (помножувач з 55-тритним регістром результату), одну з найбільш ранніх механічних обчислювальних машин.
• 1947р., в роботі, виконаній під керівництвом Джона фон Неймана (США), згадується, але не обговорюється, трійкова система числення.
• 1958р., М. П. Брусєнцов побудував у МДУ першу дослідну електронну трійкову ЕОМ (комп'ютер) «Сетунь» на комірках з феритдіодних магнітних підсилювачів змінного струму, що працювали в двобітовому трійковому коді, четвертий стан двох бітів не використовувався. Для передавання даних використовувалася однопровідна система.
• 1959р., під керівництвом М. П. Брусєнцова (ОЦ МДУ) розроблена перша серійна трійкова ЕОМ «Сетунь». З 1962 по 1964рр. Казанським заводом математичних машин було вироблено 46 ЕОМ «Сетунь».
• 1970р., М. П. Брусєнцов побудував в МДУ другу електронну трійкову ЕОМ «Сетунь-70», провідним системним програмістом якої був Шаблон:Нп.
• 1973р., G. Frieder, A. Fong і CY Chao (SUNY, Баффало, США), створили Шаблон:Нп — експериментальний трійковий емулятор на двійковій ЕОМ, з арифметикою над 24-тритними цілими і 48-тритними дійсними числами.

Трирівнева 3-трітна цифрова комп'ютерна система TCA2

• 2008р., (14 березня — 24 травня), Jeff Connelly, Chirag Patel і Antonio Chavez (Advised by Professor Phillip Nico) (California Polytechnic State University of San Luis Obispo, Сан-Луїс-Обіспо, Каліфорнія, США) побудували тритритну цифрову комп'ютерну систему TCA2, версія v2.0, в трирівневій (3-Level CodedTernary, 3L CT, «однопровідній») системі трійкових логічних елементів на 1484-х інтегральних транзисторах.

Знімок моделі трійкового контролера 2BT3BTCA0211 в логічному симуляторі Atanua

• 2011р., (серпень), А. С. Куликов (Москва, Росія) побудував 12288-трітну модель трійкового контролера з двобітовими і трибітовими трійковими шинами 2BT3BTCA021 у дворівневих двобітових (2-Level 2-Bit BinaryCodedTernary, 2L 2B BCT, «двопровідних») і трибітових (2-Level 3-Bit BinaryCodedTernary, 2L 3B BCT, «трипровідних») системах трійкових логічних елементів у логічному симуляторі Atanua.

Переваги трійкових комп'ютерів

Трійкові ЕОМ мають ряд переваг в порівнянні з двійковими ЕОМ.

При додаванні тритів у трійкових півсуматорах і в трійкових суматорах кількість додавань приблизно в 1,5 разу менша, ніж при додаванні бітів у бінарних півсуматорах і в бінарних суматорах, і, отже, швидкодія при додаванні приблизно в 1,5 разу більша.

При застосуванні симетричної трійкової системи числення і додавання, і віднімання проводиться в одних і тих самих двохаргументних (двохоперандних) півсуматорах-піввіднімачах або повних трьохаргументних (трьохоперандних) суматорах-віднімачах без перетворення від'ємних чисел у додаткові коди, тобто ще трохи швидше, ніж у бінарних півсуматорах і в бінарних повних суматорах з перетворенням від'ємних чисел в додаткові коди.

Питоме натурально логарифмічне число кодів (чисел) (щільність запису інформації) описується рівнянням $y=\frac{\ln x}{x}$, де $x$ — основа системи числення. З рівняння випливає, що найбільшою щільністю запису інформації володіє система числення з основою рівною основі натуральних логарифмів, тобто числу Ейлера (е=2,71…). Це завдання вирішували ще в часи Непера при виборі основи для логарифмічних таблиць.

Трійкова логіка цілком включає в себе двійкову логіку, як центральну підмножину, тому трійкові ЕОМ можуть робити майже все, що роблять двійкові ЕОМ, плюс можливості трійкової логіки.

Елементи трійкових комп'ютерів

Відомі трійкові елементи таких видів:

Імпульсні

• Ферритодіодні трійкові елементи М. П. Брусєнцова, аналогічні двійковим елементам Лем-1 Л. І. Гутенмахера (магнітні підсилювачі)

.

Потенційні

Трирівневі

• Трирівневі потенційні логічні елементи (3-Level CodedTernary, 3L CT, «однопровідні»), в яких трьом стійким станам відповідають три рівні напруги (додатна, нульова, від'ємна), (висока, середня, низька). Обсяг переданих даних збільшується в 1,5 рази на один трійковий розряд, але, через меншу швидкодію самої трирівневої фізичної системи, підсумкова швидкодія виходить менша, ніж швидкодія звичайної двійкової системи. Амплітуда сигналу перешкоди відносно напруги живлення до Uж/4 (до 25% від Uж).

Дворівневі

• Дворівневі, потенційні (2-Level BinaryCodedTernary, 2L BCT), в яких логічні елементи (інвертори) мають два стійких стани з двома рівнями напруги (висока, низька), а трійковість роботи досягається системою зворотних зв'язків. Амплітуда сигналу перешкоди до Uж/2 (до 50% від Uж).
  • Двобітові

    Дворівневі двобітові (2-Level 2-Bit BinaryCodedTernary, 2L 2B BCT, «двопровідні»). За швидкістю дорівнюють потрійним дворівневим трибітовим тригерам. У порівнянні зі звичайними двійковими тригерами в 1,5 рази збільшують прямі апаратні витрати.

  • Трибітові

    Дворівневі трибітові (2-Level 3-Bit BinaryCodedTernary, 2L 3B BCT, «трипровідні». За швидкістю дорівнюють потрійним дворівневим двобітовим тригерам. У порівнянні зі звичайними двійковими RS-тригерами збільшують обсяг збережених і переданих даних в 1,5 рази на один розряд. Найбільш економічні з точки зору апаратних витрат (зменшують прямі апаратні витрати приблизно на 5,7% в порівнянні з апаратними витратами на звичайних двійкових тригерах). Швидкодія вища, ніж у звичайній двійковій системі, але нижча, ніж у четвірковій чотирибітовій системі.

Змішані

• Змішані, в яких вхід даних трирівневий по одній лінії і землі, а вихід даних дворівневий по трьох лініях і землі.

Вузли трійкових ЕОМ

• Трійкові суматори

Повний трійковий тернарний (трьохоперандний) однорозрядний суматор є неповною трійковою логічною тернарною (трьохоперандною) функцією.

• Трійкові тригери
• Трійкові регістри

Майбутнє

Дональд Кнут відзначав, що через масове виробництво двійкових компонентів для комп'ютерів, трійкові комп'ютери займають дуже мале місце в історії обчислювальної техніки. Однак трійкова логіка елегантніша і ефективніша від двійкової і в майбутньому, можливо, слід знову повернутися до її розробки.

У спільній роботі Цзінь, Хе і Лю (Jin, He, Lü) (2005) можливим шляхом вважають комбінацію оптичного комп'ютера з трійковою логічною системою. На думку авторів роботи, трійковий комп'ютер, що використовує волоконну оптику, повинен використовувати три величини: 0 або ВИМКНУТО, 1 або НИЗЬКИЙ, 2 або ВИСОКИЙ.

Оптична трійкова дворівнева трирозрядна (трибітова) одноодинична (однонулева, однозначна) система через передавання за один такт одного трита збільшує швидкість передачі даних по одному розряду в 1,5 рази на один розряд, по n трійковим розрядам — ще більше, при цьому зменшуються питомі апаратні витрати.

Майбутній потенціал трійкової обчислювальної техніки був також відзначений компанією Hypres, яка активно бере участь у розробці трійкової обчислювальної техніки. IBM у своїх публікаціях також повідомляє про трійкову обчислювальну техніку, але не бере активної участі в розробці.

Див. також

• Трійкова система числення
• Трійковий розряд
• Трійкова логіка
• Трійковий тригер
• Трійковий процесор
• Трійкова комірка пам'яті
• Сетунь (комп'ютер)
• Ternac

Посилання

• Сайт матеріалів з трійкової інформатики (МДУ) Шаблон:Webarchive
• Дмитро Румянцев. Льюїс Керролл і трійкова машина Шаблон:Недоступне посилання
• Http://www.trinitas.ru/rus/doc/0226/002a/02260054.htm Шаблон:Webarchive Академія тринітаризму. Дмитро Румянцев. Геть біти! (Інтерв'ю з конструктором трійкової ЕОМ. Також в UPgrade 27 лютого 2009)
• «Сетунь-ВС». Програма-модель трійкової ЕОМ «Сетунь» Брусєнцова Шаблон:Webarchive
• Віктор Лофгрен. Thunguska the ternary computer emulator.
• Віктор Лофгрен. Проект «Тунгуска» (емулятор 6-розрядної трійкової ЕОМ). Шаблон:Webarchive
• * / trinary.cc Стів Грабб. Проект елементів і вузлів трійкового трирівневого комп'ютера.
• Брусєнцов М. П. Неадекватність двійкової інформатики. Шаблон:Webarchive
• Мікросхема нового підсилювача струму працює в трійковій системі. Шаблон:Webarchive
• Стахов А. П. Трійковий принцип Брусєнцова, система числення Бергмана і «золота» трійкова дзеркально-симетрична арифметика Шаблон:Webarchive
• https://web.archive.org/web/20060514100747/http://www.inria.fr/rapportsactivite/RA2004/r2d22004/uid51.html Team: r2d2. Multiple-Valued Logic architectures and circuits. Participants: Daniel Chillet, Ekue Kinvi-Boh, Olivier Sentieys. — Команда, яка в 2004 р., в Catholic University of Louvain-La-Neuve (UCL) (Франція), випустила перші повністю трійкові мікросхеми (64-term SRAM і 4 -term суматор).
• https://web.archive.org/web/20060112181303/http://www.inria.fr/rapportsactivite/RA2004/r2d22004/r2d2.pdf INRIA. Team R2D2. Reconfigurable and Retargetable Digital Devices. Renne. Activiti Report. 2004
• Майбутнє квантових комп'ютерів — у трійкових обчисленняхШаблон:Недоступне посилання
• Трійкова цифрові системи і трійкова логіка Шаблон:Webarchive
• Творець трійкового комп'ютераШаблон:Недоступне посилання
• Сергій Матющенко. Перші «малогабаритні» комп'ютери
• Творець трійкової ЕОМ Шаблон:Webarchive
• Історія комп'ютера. Трійковий комп'ютер. Шаблон:Webarchive
• Наукова конференція, присвячена п'ятдесятиріччю ЕОМ «Сетунь» Шаблон:Webarchive
• Http://www.dialog-21.ru/news/digest.asp?id=123186Шаблон:Недоступне посилання «Трійковий Комп'ютер???»
• Http://www.flickr.com/photos/theyoungthousands/sets/72157605274828930/ Шаблон:Webarchive Фотографії конструкції і осцилограми трирівневої 3-х трітної трійкової цифрової комп'ютерної системи.
• Http://xyzzy.freeshell.org/trinary/CPE%20Report%20-%20Ternary%20Computing%20Testbed%20-%20RC6a.pdf Шаблон:Webarchive Ternary Computing Testbed 3-Trit Computer Architecture. Jeff Connelly, Computer Engineering Department, August 29th, 2008, with contributions from Chirag Patel and Antonio Chavez. Advised by Professor Phillip Nico. California Polytechnic State University of San Luis Obispo. Архітектура 3-х трітного трійкового комп'ютера.
• Http://www.arsvest.ru/archive/issue680/posidelki/view8787.html Шаблон:Webarchive «двійкову логіку у відставку!»
• http://www.trinitas.ru/rus/doc/0226/002a/02260075.htm Академія тринітаризму. Румянцев Д. Льюїс Керролл і трійкова машинаШаблон:Недоступне посилання