Преимущества (и недостатки) троичной системы перед двоичной

[Lavr]

Инвертированный MUL как раз будет им.

Скорее инвертированный "Троичный XOR" похож на MUL, потому как "Троичный XOR" нужен однозначно,
как управляемый инвертор, а вот MUL... "надобность под вопросом".

[Lavr]

какие логические функции троичной логики желательно
иметь в троичном CPU, причем какие сугубо троичные предпочтительны?

Я вот чего хочу понять, собственно говоря...
Когда рассуждают о преимуществе троичной логики, обычно приводят примеры, когда двоичная
логика дает неверный результат. В частности, такой:

2-logic.gif

Вот когда я спрашиваю, какие логические функции троичной логики желательно иметь в троичном
CPU, я имею в виду - каких функций нам достаточно, чтобы похожие задачи разрешались без затруднений,
всё же на то и троичный CPU, чтобы успешно решать задачи, где двоичная логика пасует...

[Lavr]

Я тут подумал над всякими такими задачами, и над схемотехникой тоже подумал...
И мне кажется (возможно, я и ошибаюсь) что не хватает в наборе некоей функции
типа MID (или я её не увидел).
У нас есть функции MIN и MAX, эксклюзивно реагирующие на совпадение
-1 и +1, а вот функции, эксклюзивно реагирующей на совпадение '0',
я что-то в наборе не вижу.

Я понимаю, конечно, что её можно реализовать из имеющихся, но ведь и MIN можно
реализовать из MAX (и наоборот), но MIN и MAX у нас в наборе обе есть.

[JeNNeR]

Да пажалста... Тут сначала определиться надо, КАК функция должна реагировать.
Например, положительно на два нуля и никак на всё остальное:

mid.png

Я же говорю, раздолье полнейшее )))

[Lavr]

Хорошая легкая статейка с картинками попалась по сабжу:

2004_5_78.zip

[tvitaly1]

У нас уже была похожая тема: Тринарное исчисление против бинарного
Только она ушла далеко в сторону и я её прикрыл

Из того, что сразу же приходит в голову на тему преимуществ сбалансированной троичности:
1) 3 ближе к самому оптимальному основанию для систем счисления e нежели 2
2) для представления отрицательных чисел не надо городить никаких "дополнительных кодов"
3) округление делается через простое отбрасывание ненужных разрядов (без всяких проверок на >=0.5 и т.д.)
4) для передачи паралелльных данных надо в log 3 / log 2 = 1.5849625007211561814537389439478 раз меньше проводов

Из недостатков (на мой взгляд):
1) для проверки знака числа надо сделать больше телодвижений (найти самый старший ненулевой разряд)
2) нет простых способов деления на 2 и умножения на 2 (зато есть деление и умножение на 3 через сдвиг разрядов : )
3) число 0.5 невозможно представить конечным числом троичных разрядов (зато можно 0.33333... : )

Надо делать ЭВМ в которой есть как троичный, так и двоичный сумматор. И с делением на 2 и 3 будет решена проблема.
"число 0.5 невозможно представить конечным числом троичных разрядов " МОЖНО ПРЕДСТАВИТЬ! ЕСЛИ ВВЕСТИ ФОРМАТ С ФИКСИРОВАННОЙ ЗАПЯТОЙ!

[Shaos]

ФИКСИРОВАННАЯ ЗАПЯТАЯ не поможет - точно половину целого не получить никак...

[b2m]

Есть, к примеру, формат хранения чисел, где мантисса двоичная, а порядок десятичный. Кто мешает сделать мантиссу троичной, а порядок двоичным?

То есть имеем m*10^p, а можно сделать m*2^p, где m и p целые числа.

Единственная проблема: при переполнении мантиссы всё равно придётся делить на 2.

[Shaos]

Дык у нас троичная система счисления - какие степени двойки, а тем более десятки?...

[tvitaly1]

ФИКСИРОВАННАЯ ЗАПЯТАЯ не поможет - точно половину целого не получить никак...

Фиксированная запятая не работает с дробным числом, число умножается на 10000 и далее производятся операции над целым числом. При выводе запятую перемещают.
1 => 10000 \ 2 = 5000 => 0,5
Разве нельзя десятичное целое число 10000 разделить на цело пополам в троичной системе счисления?

[Shaos]

А как ты собрался умножать на 10000 в троичной системе то?

Во всём мире вообще-то для получения фиксированной точки умножают на степень двойки (это в двоичных системах, а в троичных соответственно на степень тройки) - чтобы простым сдвигом это дело делать...

[askfind]

Товарищи, а можете мне аргументированно рассказать, зачем можно хотеть делать железки на троичной системе счисления? Заранее спасибо!

Один и единственный аргумент - производительность железной троичной машины!