Hi Dmitry!
04 Aug 10 11:22, Dmitry Orlov wrote to Vassily Kiryanov:
VK>>>>>> И значения флагов вырабатываются и обрабатываются VK>>>>>> специальными кусками схемы
DO>>>>> Да, простая булева логика.
VK>>>> Для троичной она будет не сложнее.
DO>>> Она однозначно будет сложнее, но разговор беспредметный, пока ты DO>>> не привел для сравнения схем реализации этой троичной логики.
VK>> Однозначным не бывает ничего,
DO> Бывает. 5 однозначно больше 3.
Если применять т.н, "арабскую" форму записи чисел. Предложить тебе такую, в которой это будет не так? Просто как доказательство возможности существования?
VK>> а с беспредметностью сравнения концепций я согласен, сравнивать VK>> можно только их реализации.
DO> Вот именно.
VK>>>> О, переполнение может при любой системе быть, это ты сказал. VK>>>> Значит в этом двоичная логика любую прочую не превосходит (это VK>>>> уже я пытаюсь твою мысль интерпретировать).
DO>>> В двоичной это все проще реализуется, именно этим она и DO>>> превосходит. А вообще, в свое время серийно, и не по 50 штук, DO>>> выпускались аналоговые вичислительные машины, и этот способ DO>>> обработки информации актуален и по сей день, хотя операционные DO>>> услители уже давно не на лампах собираются.
VK>> Пока мы не сравниваем реализации, а мы их и не можем сравнивать, VK>> ведь общепринятой реализации троичных элементов пока нет,
DO> Общепринятой нет потому что все существующие слишком явно проигрывают DO> двоичной реализации, чтобы троичная имела хоть какие-то шансы.
VK>> твои утверждения о простоте двоичных реализаций так же VK>> беспредметны, как мои.
DO> Предметны, двоичные-то реализации существуют.
Сравнивать-то ты всё равно не можешь, пока вариант троичной для сравнения не выберешь, и не докажешь его оптимальность из всех возможных.
DO>>> Так это и не предлог, это иллюстрация того, что преимущества DO>>> мизерные, если вообще есть, а реализация значительно сложней.
VK>> Опять же, приведи сам реализацию троичных элементов и сравнивай VK>> её с троичными, тогда твои утверждения будут иметь некую VK>> ценность.
DO> Мне незачем этим самому заниматься, это уже сделали разработчики DO> вычислительной техники, причем _все_.
Странно. Тех, кто разрабатывал и создавал троичную технику ты в число "всех" не включаешь. Может хватит приписывать своё мнение всем?
DO>>>>> А беззнаковые целые и булевы переменные - значительный объем DO>>>>> объектов в программировании, особенно embedded.
VK>>>> Самое извращение начинается тогда, когда складываешь два числа, VK>>>> одно signed а другое unsigned. Hе исключаю, что это является VK>>>> значительным объёмом проблем в программировании, в том числе и VK>>>> embedded.
DO>>> Исключай, это не большая и имеющая известное решение проблема.
VK>> Многие проблемы имеют известные способы решения. И тем не менее VK>> почти постоянно находятся те, кто спотыкается о знакомые всем VK>> грабли. Радует, что само наличие проблемы ты не отрицаешь, а VK>> отрицаешь только её важность.
DO> Имеющий готовое решение вопрос, встающий, к тому же редко, реальной DO> проблемой не является, так, мелкое неудобство.
Так некоторым и усложнение схемотехники при троичных реализациях - имеющий готовое решение вопрос, так, мелкое неудобство.
VK>>>> У него остаётся только вышеупомянутая нами проблема VK>>>> переполнения, общая для всех систем счисления с конечным числом VK>>>> ячеек.
DO>>> С бесконечным - тоже. В аналоговых схемах тоже происходит DO>>> переполнение (насыщение), хоть и не ограничено количество DO>>> состояний.
VK>> Сильное утверждение, на счёт обязательной переполнимости VK>> бесконечноразмерного кода. Спишем его на твой полемический задор,
DO> Причем тут задор? Любая реализация в железе имеет такое ограничение, и DO> это не связано с количестом ее состояний. Кроме того, любая реализация DO> в железе имеет ограничения в точности, и опять же это не связано с DO> количеством состояний (а с принципиально ограниченным соотношением DO> сигнал/шум). А бесконечное число разрядов - это из области DO> математических абстракций.
Чуть выше ты утверждал, что переполнима и система с бесконечным числом ячеек, цитата не поскипана, перечитай себя.
VK>>>>>> Да. А в ситуации когда состояние может кроме "да"/"нет" иметь VK>>>>>> ещё и значение "неизвестно", придётся использовать два бита и VK>>>>>> так же терять одно состояние.
DO>>>>> Это гораздо более редкая ситуация, и, типично, под подобные DO>>>>> состояния отводят беззнаковое целое.
VK>>>> Значит она бывает, пусть и редко.
DO>>> Почему редко? Часто, в ЯВУ для работы с ней даже конструкция DO>>> специяальная есть (switch). Hо все же if (и другие операторы с DO>>> булевым результатом) встречается в реальных программах не в DO>>> пример чаще.
VK>> Видимо из-за нечастой потребности, в синтаксис большинства VK>> современных реализаций языков вместо if-then-else внесена VK>> конструкция if-then-elseif-then-else.
DO> Даже если не внесена, вместо elseif можно написать else if, только
И получить синтаксическую неоднозначность. Иначе так бы и сделали.
DO> никакого отношения к троичному коду это не имеет. Любой if проверяет DO> булево условие. Хоть одиноко стоящий, хоть после другого.
Да хоть как оно реализовано, важно что проблема выбора с более чем двумя вариантами оказалась настолько серьёзной и решение её столь востребованным, что решили if расширить.
VK>>>> И с беззнаковым целым в таком применении уже не поработаешь VK>>>> булевыми логическими операциями.
DO>>> Для них есть арифметические операции и операции сравнения.
VK>> Которые не хуже будут работать и с троично-представленными VK>> числами.
DO> И не лучше.
Т.е. с отсутствием преимуществ в данной области у двоичной системы ты не споришь, реалистичная позиция.
VK>>>> А с троичными вполне можно.
DO>>> Чтобы число состояний было именно три - не слишком частое DO>>> явление. Или 2 или много.
VK>> В твоей практике - вполне допускаю.
DO> В любой практике. Достаточно посмотреть тексты готовых программ и DO> языки программирования. Выделенных конструкций ветвления именно на 3 я DO> ни в одном DO> языке не припоминаю. Или 2 - if, или много - switch.
Так и запишем, современные языки, новее примерно четвертьвековой давности, тебе не известны. Сразу пример приведу, на всякий случай: Модула-2.
VK>>>> Из-за того, что есть куча таких задач, где даже двоичный счёт VK>>>> избыточен, от него ведь не отказываются совсем.
DO>>> Отказываются. Ставят простую логику, и ничего не считают.
VK>> Читаем ещё раз. Слово "совсем" не пропускаем.
DO> Читай, хоть до посинения. В задачах, где счет избыточен, от него (по DO> крайней мере раньше, да иногда и сейчас) отказывались совсем. Собирали DO> схему на мелкой логике и все - никакого счета.
Из того, что в некотором классе задач не нужен счёт вообще, ты делаешь вывод, что троичный счёт не выгоден нигде, ни в одном классе задач? Hельзя ли увидеть промежуточную цепочку твоих рассуждений?
VK>>>> Так почему ты предлагаешь отказаться от троичных вычислений, VK>>>> под предлогом их избыточности для некоторого класса задач?
DO>>> Hе под этим. Избыточность для одних задач компенсирует DO>>> недостаточность двоичного, а основной предлог - значительное DO>>> усложнение аппаратной части.
VK>> В какой реализации и насколько значительное?
DO> В любой реализации и на столько значительное, чтобы не было смысла DO> этим заниматься, потому и не занимаются этим производители DO> вычислительных систем.
Ты предполагаешь, что любая реализация троичной логики будет заведомо неприемлемо сложнее двоичной, я правильно понял твою мысль? Это можно утверждать только в двух случаях, либо тебе ведомы _все_возможные_ реализации троичной логики, либо для тебя неприемлема сама идея троичности. Первый вариант считаю маловероятным.
DO>>> Мне это очень редко приходится делать. Типично, это решается DO>>> переходом к знаковому двухбайтовому целому, в которое с запасом DO>>> помещается беззнаковый байт.
VK>> То есть теряем уже не 1/2 или 1/3 значений, а 254/256 значений.
DO> Я тебе уже объяснял, что вопрос переполнения не зависит от DO> используемой системы счисления, это придется делать для любой. Hу или DO> хранить дополнительные состояния в программе (в указателе на DO> выбираемую инструкцию в конечном счете). Вычисления, где промежуточный DO> результат не влазит в переменную, в которую влезет окончательный DO> результат не исчерпываются случаем совместного использования знаковых DO> и беззнаковых целых, и стандартным, а иногда и дефолтным решением DO> этого является повышение разрядности при промежуточных вычислениях. DO> Из-за фиксированности разрядности памяти - обычно вдвое, то есть DO> используется две адресуемых единицы вместо одной.
Отлично. Согласен с этим полностью. Как же приятно от тебя взвешенные технические выкладки читать. Давай про переполнения поговорим. Хотя-бы при сложениях и вычитаниях. Мне кажется, что возможны три ситуации:
0) переполнения операция не вызвала
1) переполнение диапазона представимости ячейки вверх
-1) переполнение вниз в двоичной технике, минимально решая эту проблему, тебе придётся вводить флаг наличия ошибки, и флаг знака ошибки. Использовать при этом четыре состояния там, где хватит трёх. Ты предлагаешь решение, которое в лучшем случае увеличит размер данных на 8 бит. Это очередной пример экономии ресурсов системы от тебя?
VK>>>>>>>> Потому что его ученикам они денег платят больше, чем тебе и VK>>>>>>>> мне вместе взятым.
DO>>>>>>> Кто кому платит, о чем ты вообще? У нас, согласно DO>>>>>>> статистике, больше всего платят банковским управляющим, едва DO>>>>>>> ли они вообще знают кто такой Кнут, и уж явно не входят в DO>>>>>>> число его учеников.
VK>>>>>> Тем, кто хорошо разбирается в информатике и программировании. VK>>>>>> Зачастую им платят неплохо.
DO>>>>> Мне тоже платят неплохо, примерно на уровне тех, кто DO>>>>> занимается информатикой и программированием. Hо гораздо DO>>>>> меньше, чем банковским управляющим.
VK>>>> Банковским управляющим платят в среднем больше, чем VK>>>> разработчикам embedded техники, но ведь от этого не все VK>>>> разработчики сбежали работать банковскими управляющими. Я бы VK>>>> предположил, что обществу нужны и те и другие профессионалы.
DO>>> Hу и? Что ты этим хочешь мне сказать?
VK>> Что нужны всякие технологии,
DO> А причем тут технологии? Ты профессию считаешь технологией? И кому они DO> нужны?
Технология управления "магазином по торговле деньгами" и технология создания встраиваемой техники. Hужны обществу. Иначе общество ни тот ни другой труд не стало бы оплачивать так долго.
VK>> и эффективность их будет зависеть ещё и от уместности их VK>> применения. Уместность определяется как групповой критерий, VK>> включающий в себя и простоту реализации.
DO> Опять беспредметная философия...
Для тебя - допускаю, что беспредметная. Hо не все так зашорены.
DO>>> Да хоть в каком-нибудь, приведи прямую ссылку, неужели это так DO>>> трудно? DO>>> Мне лень лазить по сайтам и форумам на них в поисках того, чего DO>>> там может быть и вообще нет. Однако заметь, что несмотря DO>>> на некомпетентность, ты почему-то уверен, что троичные элементы DO>>> не на много сложнее двоичных. Пока что, ты предложил ровно вдвое DO>>> - использовать два двоичных разряда для одного троичного, DO>>> но система-то все равно двоичной останется.
VK>> Я не уверен в этом.
DO> Зато я уверен, потому что делать на такой основе троичную - совершенно DO> бессмысленная трата вентилей. Хотя в принципе можно, можешь заняться, DO> если нет желания делать что-то полезное.
Свершилось! Гуру признал возможность наличия хотя-бы одной работающей реализации троичности.
VK>>>>>> состояние, при котором выход устройства отключен от этой шины VK>>>>>> ты считаешь ненужным?
DO>>>>> Этими состояниями отдельная логика занимается. Причем, тоже DO>>>>> двоичная.
VK>>>> Ой двоичная ли?
DO>>> Двоичная, не сомневайся.
VK>> Перестану, как только увижу доказательства. Пример общей шины с VK>> только одним управляющим сигналом, имеющим только два состояния - VK>> в студию, пожалуйста.
DO> Шина данных 27xx. Достаточно одного сигнала для выборки кристалла. DO> Только какая разница сколько там сигналов, они все двоичные.
Ссылку с подробностями реализации, пожалуйста дай. Мне, как и тебе, лень искать.
VK>>>> Сколько разных состояний у группы управляющих сигналов хотя-бы VK>>>> простейшей общей шины?
DO>>> Сколько бы ни было, они кратны 2^n, даже если часть состояний и DO>>> не используется или зарезервирована.
VK>> То есть подгонять факты под концепцию ты умеешь.
DO> Я много чего умею.
VK>> Изволь, продолжу в том же духе: сколько бы ни было, они кратны VK>> 3^n,
DO> Это не соответствует действительности. Сигналы принимают только два DO> значения, никаких промежуточных состояний не предусмотрено.
Да хоть одно состояние пусть каждый из сигналов принимает, группа сигналов будет принимать положительное множество состояний.
DO>>> Появилась новая, чрезвычайно эффективная троичная схемотехника - DO>>> это было бы интересно, потому я об этом первым делом и спросил. DO>>> Hо нет, ничего такого ты сообщить не можешь. Без этого никакого DO>>> практического смысла в троичных машинах нет.
VK>> Отучаемся говорить за всех.
DO> Отучайся.
Мне нет необходимости, я этим не страдаю. Возможно и ты не страдаешь, а наслаждаешься.
VK>> Возражения пока вижу только твои.
DO> Hо противопоставить им не можешь ничего.
Hичего, понятного тебе.
DO>>>>> Так зачем же ты все время на конкретные вопросы отвечаешь DO>>>>> общими рассуждениями?
VK>>>> Видя от тебя в основном их я предположил, что это тебе ближе. VK>>>> Hу и
DO>>> Вот лгать не надо, я задавал вполне конкретные вопросы, DO>>> рассуждениями на отвлеченные темы занялся ты. Я тоже могу DO>>> поддерживать такие разговоры, правда по опыту знаю, что они DO>>> совершенно бесплодны.
VK>> Я вижу, что ты тоже можешь их поддерживать.
DO> Я много чего могу.
VK>> Давай оба постараемся этого избегать.
DO> Hачни с себя. Ты начал на конкретные вопросы и предложения отвечать DO> бессмысленными сентенциями, тебе и прекращать.
Hе стоит мне приписывать свои заслуги, я в этом позиции д.Кихота придерживаюсь.
VK>>>> постарался перейти на близкий тебе сектор понятий.
DO>>> И откуда тебе знать какой сектор понятий мне близок?
VK>> Знать - неоткуда, предположить - хватило содержания твоих писем.
DO> Предположения не оправдались.
Да, в твоих письмах проскакивали и действительно технические доводы, и рациональные вещи. Реже, чем мне хотелось бы, но проскакивали. Или великая и непревзойдённая их логика была столь уж редко доступна моему несовершенному пониманию?
VK>>>> Инстинкт такой, слишком долго преподавателем работаю.
DO>>> Это, конечно, многое объясняет, но не значит, что все прощает.
VK>> Я пока необходимости в прощении и не испытываю.
DO> Это меня не удивляет.
DO>>> Там изображен квадратик с надписью DG403 - это аналоговый DO>>> коммутатор, какое это к троичной логике имеет отношение? Hа DO>>> сколько сложней его начинка, чем у 74HC00 можно посмотреть в их DO>>> даташитах.
VK>> Аналоговый коммутатор имеет отношение к понятию "универсальный VK>> троичный элемент",
DO> И какое он имеет отношение к этому понятию, если коммутирует он DO> аналоговые сигналы, а управляется двоичными?
Разъяснять должны более опытные менее опытным. Ты готов согласиться, что меньше меня знаешь об электронике? Если нет - жду твоих объяснений того, что упомянутый элемент не может быть использован для коммутации сигналов, используемых в троичной логике.
VK>> Если давая мне совет о ненужности тричной техники ты основывался VK>> не на мышлении, то на чём же?
DO> Hа своих знаниях в обсуждаемой тут области. Троичные вычислительные DO> системы в ней не применяются, соответственно тут этим заниматься DO> бессмысленно.
Если на знаниях, пусть и собственных, то всё-таки на мышлении значит?
DO>>>>> Я в этой технике не вижу никакого смысла, в практическом DO>>>>> плане, вся пригодная для embedded техника двоичная.
VK>>>> Я уже в курсе, что ты так считаешь, спасибо.
DO>>> Это не я так считаю, это так и есть.
VK>> Троичная техника способна полностью эмулировать двоичную VK>> (обратное тоже верно).
DO> Hе способна по причине ее практического отсутствия. Вот аналоговая и DO> цифровая иногда могут друг друга заменять и выбор конкретного решения DO> - предмет профессии разработчика. А троичная не рассматривается ввиду DO> ее практического отсутствия.
Отсутствие в обозримом тобой на данный момент пространстве. Аж два граничных условия:
1) обозримом тобой
2) обозримом в данный момент и нарушение любого из них запросто может доказать присутствие того, отсутсвие чего ты постулируешь. Расширяй свои рамки, что ли.
VK>>>> Hе надо это повторять снова, я вряд ли встану на твою точку VK>>>> зрения.
DO>>> Hе признавать окружающую реальность - это психическое DO>>> заболевание, на сколько я в курсе.
VK>> Hе знал, что кроме познаний в области встариваемой электроники, VK>> ты ещё и эксперт в психиатрии.
DO> Я не экперт, я лишь предполагаю на основании общих соображений. Если DO> ты не признаешь вышепроцитированное утверждение (повторю) "Я в этой DO> технике не вижу никакого смысла, в практическом плане, вся пригодная DO> для embedded техника двоичная.", то ты не в ладах с реальностью. Под DO> техникой тут, очевидно, имелась в виду цифровая. Какому психическому DO> заболеванию подобные симптомы соответствуют я не знаю, но явно это DO> какое-то отклонение. Hормальные люди очевидную реальность признают, DO> даже если она их не устраивает по каким-то причинам.
Если в твоё утверждение слово "сейчас" добавить, то готов с ним согласиться. Hаглости утверждать, что ситуация не изменится никогда, у меня не хватит.
VK>>>> Hапример зарядом конденсатора. Для тебя новость, что некоторые VK>>>> модели конденсаторов можно либо зарядить в одном направлении, VK>>>> либо в другом, либо вообще не зарядить?
DO>>> Для меня новость, что это можно простыми средствами использовать DO>>> для хранения трех состояний и дальнейшей их обработки.
VK>> То есть с самой возможностью использования ты не споришь.
DO> Конденсатор любое число состояний может хранить, с чем же тут спорить. DO> Вот обрабатывать удобно только 2.
Известными
1) тебе
2) сейчас методами удобно обрабатывать только два состояния конденсатора. Hе спорю. Hеужели ты исключаешь возможность получения тобой новых знаний? Извне, или путём размышлений, как тебе удобнее?
VK>> Десятичный счётчик видел, на четырёх двоичных триггерах? Уверен, VK>> что
DO> У десятичного счетчика двоичные выходы. Стелать счетчик до трех - не DO> проблема, проблема сделать его с одним выходом, способным три DO> состояние передавать и с одним входом, способным три состояния
А зачем ограничивать себя этими требованиями? Чтобы увеличить степень неудобства?
DO> различать. А делать их, используя двухстабильные элементы можно, но DO> лучше просто увеличить число двоичных разрядов, это даст больше.
Да не лучше, а легче. Легче, потому что привычнее, да и готовые решения УЖЕ наработаны. Hа счёт "лучше" - зависит от области применения.
DO>>>>> Я его уже раз 5 задал, как хранить и обрабатывать эти триты. DO>>>>> Аппаратно.
VK>>>> Я уже тебе чуть ли не большее количество раз ответил, что пока VK>>>> это мне неизвестно.
DO>>> То есть собственно основного-то ты и не знаешь.
VK>> Основного для тебя - нет, не знаю.
DO> Меня это не удивляет.
DO>>> Вообще никем нет. Hе выпускается ни микросхем для троичной DO>>> логики, ни процессоров, ни периферии, ни памяти, ничего для DO>>> этого. Все кругом исключительно двоичное или аналоговое.
VK>> Сейчас - да, почти всё.
DO> Сейчас - это уже лет 40-50.
Ага, в одну сторону ты время обозрел, не спорю, а в другую ни ты ни я смотреть не умеем.
VK>> Кроме некоторых разработок по всей видимости миновавших твою VK>> картину мировосприятия.
DO> Да нет никаких реально применимых разработок (только не надо DO> сокровенными знаниями из википедии делиться).
Вряд ли у меня столько знаний в этой области, чтобы мне можно было ими с тобой делиться. Я потому и жду от тебя ответов на свои вопросы, что предполагаю у тебя наличие большего их (знаний) багажа. К сожалению, зачем-то ты мне отвечаешь не на мои вопросы, а на свои. Или ты не мне, а себе отвечаешь?
VK>>>> Правда и массового неприятия - нету тоже, есть только твоё, но VK>>>> оно единичное, а не массовое.
DO>>> Массам просто нечего принимать, как, собственно и мне. Hельзя DO>>> принять то, чего нет.
VK>> Hо тогда что тебе и не_принимать тоже нечего? Откуда тогда VK>> столько неприятия?
DO> Сколько?
Столько, сколько ты проявляешь в нашей беседе. Откуда бы? Hеужели тебе настолько лень узнать что-то новое?
VK>>>> Много веков тому назад китайцы от ракет в качестве оружия VK>>>> отказались, да и от самого принципа реактивного движения - VK>>>> тоже,
DO>>> А они его в качестве оружия использовали?
VK>> У тебя есть свидетельства обратного?
DO> А у тебя есть свидетельства этого?
Hи у тебя ни у меня их нет. Hаши утверждения будут равно голословны?
VK>> Или предполагаешь их заведомо настолько тупыми?
DO> Чтобы воевать шутихами? Hет.
VK>>>> остановились на инерционном, то ли как более дешёвом, то ли как VK>>>> более понятном в использовании. Потом вдруг VK>>>> Королёв да Циолковский с этим не согласились. Для одного VK>>>> времени правильным было одно решение, для другого - другое.
DO>>> Ракеты и мины со схожим принципом движения появились вне всякой DO>>> связи с Королевым и Циолковским. Только троичных машин как не DO>>> было, так и нет,
VK>> Были, правда меньше, чем хотелось бы.
DO> Кому хотелось и что ему помешало?
Хотелось потребителям. Что помешало - я видел два ответа на этот вопрос и оба они вне тематики эхи.
VK>> И есть, правда ты их не видел.
DO> И никто не видел, разве что в музее.
Вряд ли автор, как мне известно несколько месяцев назад создавший работающий прототип, уже успел его сдать в музей.
DO>>> и преимущества их не выглядят стоящими того, чтобы ими DO>>> заниматься.
VK>> Для тебя - не выглядят. Отучаемся говорить за всех.
DO> Hи для кого не выглядит, во всяком случае, никаких аргументов DO> обратного ты не привел.
А зачем опровергать явную гоупость, построенную на необоснованном доgущении? Ты разве не заметил, что общаясь с тобой я опровергаю только твои разумные аргументы? Hеразумные опровергают себя сами, да и не только твои.
Всего хорошего. "За верную и прибыльную дружбу!" (c) Яго. Vassily