Троичная логика и необычная схемотехника

[Alik]

Это всего лишь взляд на закон Мура.
Развитие технологии по экспоненте подразумевает "пологий участок",
когда придется воплощать новые/забытые идеи на современном оборудованиии.
Быстродействие большинства компьютеров сейчас позволяет не задумываться
над оптимизацией программ. Тоже самое касается количества транзисторов на
кристалле 10 тыс. шт. или миллион без особой разницы. Это и есть brute force.
Однако существует другой подход причем не обязательно сложнее

[esperanto]

Не могли бы вы сказать сказанное вами, на формальном языке.

А то такие вещи как пологий участок не ясны.

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

В добавок ваше определение брут форса, какое-то не стандартное.


В третих с точки зрения машин тьюринга и тезиса Черча, введение трехзначной логике ничего принципиального не даст. Т.е возможно полиномиальная редукция с трехзначной на двузначную логику. А потому сложностные классы такими и остануться.

[Alik]

"Закон" Мура говорит об удвоении числа транзисторов на кристалле процессора каждые полтора-два года:



Формально - есть ограничения на столь интенсивный рост этой кривой.
По крайней мере для использования CMOS технологии, которой по разным оценкам "осталось" 8-10 лет.
http://1-03.newspo.ru/news/comp/433.html
Цитирую документ по ссылке ниже
"...Технология CMOS уже давно доходила до пределов возможностей. Соединяющие цепи... уже настолько тонки, что атомы алюминия в таких условиях теряют стабильность. Кроме того, цепи располагаются настолько близко друг к другу, что... микросхема может выбиться из режима синхронной работы. Некоторые компоненты... уменьшаются до размера менее чем 20 нм. Это уже область квантовой теории, где проявляются туннельные эффекты..."
http://ec.europa.eu/research/industrial ... ure_ru.pdf
http://www.chip-news.ru/archive/chipnews/200307/4.html

Цитата:

насчет того, что не задумываются над оптимальностью программ...

Я не говорил про оптимальность алгоритма программ, - напротив про компактность кода. Согласитесь, что у программистов сейчас практически нет времени на "полировку" коммерческих программ: быстро написал - быстро продал. Если при этом занимает сотни мегабайт гига и постоянно глючит - ничего страшного, напишем заплатку.

Цитата:

ваше определение брут форса, какое-то не стандартное...

А какое стандартное? Пожалуйста приведите

Цитата:

с точки зрения машин тьюринга и тезиса Черча...

Здесь тоже хотелось бы поподробнее, а то я в основном цитирую Брусенцова.

[Alik]

Вопрос аргументации троичной логики действительно не такой простой. Особенно если учесть множество вариантов этой самой логики. Поэтому нужно определить какие-то общие критерии, показатели, "единицы измерения" если хотите. В этом смысле интересно почитать уже упоминавщийся форум
http://forums.airbase.ru/viewtopic.php?id=22443&p=1

По поводу преимуществ троичной сбалансированной системы счисления информации хватает. Однако в последнее время появились публикации о других частично/полностью "совместимых" системах счисления. Достаточно упомянуть золотое сечение и
статью Бергмана "A number system with an irrational base"
http://www.ee.bgu.ac.il/~kushnero/Bergman/tau.pdf

Есть менее "раскрученные", но не менее интересные псевдо-троичная система счисления и венгерский проект SZTAKI Desktop Grid по поиску обобщенных двоичных/троичных систем счисления. Более подробно о нем здесь
http://www.boinc.ru/Doc/SZTAKI/binsys.htm
http://www.boinc.ru/Doc/SZTAKI/Result.htm

[Alik]

Основы троичных вычислений можно найти о ссылке ниже
http://xyzzy.freeshell.org/trinary
Кстати говоря, на инглиш правильнее все-таки
Unary -> Binary -> Trinary
Primary -> Secondary -> Ternary

[Aollo]

Здравствуйте, у меня такой вопрос.
Можно ли в троичную систему вписать следующую задачу:

000000000 + 111111111 = 111111111
111111111 + 111111111 = 222222222
222222222 + 111111111 = 000000000

И если да, так как упростить задачу до двоичной системы.

[АнтоШКА]

Люди добрые только вы мне можете помочь.
У меня диплом на такую же тему.
Подкиньте пожалуйста какой-нибудь информации.
Заранее примного благодарен!

[Alik]

Вот краткое изложение основных операций для трехзначной логики,
к сожалению без схемной реализации.
http://arvi.livejournal.com/144259.html
http://arvi.livejournal.com/144849.html
Как вариант могу предложить свою схему:

[Alik]

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

[Alik]

Случайно наткнулся на использование троичной логики в стандартных микросхемах, цитирую:"...all nine trinary digits (0,1,open) as an address which allows 3^9=19683 codes."
Это кодеки MC145026, MC145027, MC145028, SC41343, SC41344, HT6010, HT6012, HT6014
http://pdf1.alldatasheet.com/datasheet- ... 41344.html
http://pdf1.alldatasheet.com/datasheet- ... T6010.html

[zlyh]

... и дальше в той же datasheet (MC145026, 3 Operating Characteristics) "The input state is determined by using a weak "output" device to try to force each input high then low." И в линию они передают двоичными импульсами.
Проблема в технологии. То третье состояние о котором любят говорить оно не устойчивое, оно уходит либо в 1 либо в 0.

[abc_qmost]

Из-за таких бредовых проектов и развалилась наша страна.

[Alik]

Продолжая тему об использовании стандартных микросхем - на этот раз и тоже случайно PIC микроконтролер и построение троичного ЦАП, стр. 3
JEREMY DEAN, Technique increases low-cost DAC’s resolution
http://www.edn.com/archives/1998/040998/08di.pdf

[zlyh]

Это уже аналоговая схемотехника.
И в обычном КМОПе всегда управляли силой выходного тока. И high impedence никуда не делся, используется по жизни. Но никто не дёргается использовать это именно для передачи информации. Проблема в том как распознать это состояние. Ставить АЦП? А почему ушли с аналоговой схемотехники в цифру? (Понятно, "цифровая" схемотехника основана на "аналоговой". Внутри они ни чем не различаются.) Ушли потому что цифровую схему гораздо легче повторить технологически. А ЦАПы АЦПы надо рассчитывать для каждой конкретной технологии.
И почему троичная логика? Почему не четверичная, восьмиричная? Чем больше алфавит тем больше за раз можно передать.
Пример - PSK. Парой ЦАПов генерируют больше сотни состояний и довольно успешно их распознают. И воткнули это в мелкосхему. Размеры только у неё больше чем несколько транзисторов.

[Alik]

Уважаемый zlyh, по поводу трех уровней и АЦП вкратце рассказывается здесь:
http://www.analog.com/library/analogDia ... cture.html

A вот реализация троичного инвертера на основе очень простой идеи: изменение порогового напряжения транзистора подачей смещения на подложку.
A. Srivastava "Back gate bias method of threshold voltage control for the design of low voltage CMOS ternary logic circuits"
http://www.sciencedirect.com/science?_o ... tImgPref=F
Такой метод, как бы помягче перевести, "служебного входа" можно испытать на той самой микросхеме CD4007