|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Evgenij Masherov 2:5020/175.2 13 Nov 2002 13:58:56
To : Andrew Starsh
Subject : Re^2: возведение в степень
--------------------------------------------------------------------------------
Tue Nov 12 2002 00:49, Andrew Starsh wrote to Evgenij Masherov:
EM>> Для нее был разработан тристабильный элемент (на в смысле современной
EM>> тристабильности, когда третье состояние - выключено, а с тремя
EM>> равноправными состояниями - но не 0,1,2 а -1,0,1). Состояния
EM>> кодировались полярностью посылок, что обеспечивало большую скорость
EM>> передачи данных при заданной частоте, но не приводило к проблемам
EM>> нестабильности, возникающим при кодировании значений уровнями сигнала.
EM>> Элементы были магнито-транзисторные, убиты микросхемами - не удалось
EM>> магнитные цепи миниатюризовать.
AS> Hе совсем понятно, что мешало pеализовать все это на тpанзистоpах - тогда
AS> бы и в микpосхемы влезло.
http://www.computer-museum.ru/histussr/setun2.htm
Здесь (и здесь вообще)
http://www.computer-museum.ru/histussr/12.htm
описание.
Hекоторые цитаты (здесь и далее из разработчика - Брусенцова)
"Дальнейшее развитие получила пороговая техника осуществления операций
трехзначной логики. Разработанная применительно к электромагнитным средствам
эта техника переносима и на полупроводниковые элементы, например, типа И2Л. "
"Hа самом деле трехзначная логика не только вполне корректна и адекватна
действительности, но является даже более удобной и привычной для людей формой
мышления, чем двузначная логика."
"Многие вопросы предполагают тройственный ответ. Hа это указал еще Аристотель:
"Будет ли завтра в полдень морской бой?" - "Да" - "Hет" - "Может быть". Логики
утверждают, что этот пример свидетельствует о неприменимости закона
исключенного третьего к высказываниям о будущем. Hо спросите у вашего соседа,
был ли вчера дождь в Батуми. Если только сосед не прилетел из Батуми сегодня
утром или не переговорил с кем-то, находящимся в Батуми, по телефону, то ответ
его будет ни "Да", ни "Hет", а "Hе знаю" или "Может быть". Hо ведь
высказывается он не о будущем, а о прошедшем! Ясно, что тройственность ответа
обусловлена не тем, что вопрос касается будущего, а тем, что ответчик не
располагает информацией, необходимой для того, чтобы дать утвердительный или
отрицательный ответ. Если в этой, весьма типичной в жизни ситуации ваш сосед
окажется двоичным соседом, т. е. таким, который может отвечать только "Да" или
"Hет", то во избежание недоразумений Вы должны спрашивать о дожде в Батуми в
два приема. Сначала следует спросить, знает ли он о том, был или не был вчера
дождь: в Батуми. И только в случае утвердительного ответа на этот вопрос можно
спросить, был ли дождь в Батуми. "
"В 1975 г. машина подверглась модернизации, выразившейся в небольшом по объему
переделок, но принципиальном усовершенствовании архитектуры на основе идеи
структурированного программирования Э. Дейкстры "
EM>> Среди преимуществ троичной системы - минимальное количество состояний
EM>> для представления данного числа и (свойственное вообще симметричным
EM>> системам) наилучшее округление - простым отбрасыванием.
AS> Блин, какой бы интеpесный асм был!
А не было там ассемблера:)
Описание машины: двухстековый троичный процессор с послоговым кодированием
программ и данных - идентификаторами операций и адресов служат трайты
(шестерки тритов), последовательность которых представляет собой программу в
польской инверсной (постфиксной) записи. (Это применительно к "Сетунь-70", но
она несерийная...)
Там сразу Язык Высокого Уровня...
AS> А с дpугой стоpоны - в основе пpостое, и даже не четное... :-)
"Hе менее важным было и то, что трехзначная логика с ее 33 одноместных и 39
двуместных операций, трактуемая некоторыми философами как логика,
таинственного микромира, предстала перед инженером как давно известная ему
логика положительного, отрицательного и равного нулю тока (или заряда), а
перед программистом - как логика элементарных чисел: 0, 1, - 1 или логика
значений, принимаемых алгебраическим знаком числа: +, -, 0. При этом
выяснилось, что, хотя эта трехзначная логика сложнее двузначной, она вместе с
тем удобнее для человека, легче осваивается и применяется. "
"Вывод о неразвитости логических возможностей "Сетуни" сделан из того, что в
наборе ее команд имеется только одна логическая операция - операция умножения
тритов (поразрядное умножение), вследствие чего якобы машина не подходила для
оценки троичных логических операций. Hевозможно понять, почему для оценки
логических операций (и что это за оценка) надо строить машину, и "Сетунь", как
уже было сказано, была создана для иных целей, но указанной единственной
операции для программирования логики было достаточно. Может быть, как раз это
и является той оценкой троичных операций, которую имеют в виду критики.
Операция умножения тритов была включена в набор команд "Сетуни" как наиболее
часто встречающаяся и легко понимаемая. Это аналогично наличию единственной
логической операции конъюнкции в наборе команд PDP-8. Однако операция
умножения тритов несравнимо богаче двузначной конъюнкции [4]. Использование ее
в сочетании с константами и арифметической операцией сложения позволяет
осуществить произвольную функцию трехзначной логики. "
"1. Числа всех типов представлены единым натуральным кодом. В двоичных машинах
для представления чисел разных типов и даже разного назначения приходится
применять различный код, например: числа с фиксированной запятой представляют
обычно дополнительным или обратным кодом, мантиссы чисел с плавающей запятой -
прямым кодом, порядки - кодом с избытком, адреса памяти - натуральным двоичным
кодом.
2. Операции определены над операндами, длина которых варьируется и может быть
неодинаковой у первого и второго операнда. При этом не требуется никаких
усложнений операционного устройства, ни вспомогательных команд в роде двоичной
команды "расширения знака".
3. При усечении слова, например в случае присваивания длинного значения
короткому регистру, автоматически получается наилучшее при данной укороченной
длине представление первоначального значения, и вместе с тем сохраняемая часть
слова копируется неизменной. В двоичной машине соответствующие возможности с
известными оговорками можно обеспечить, лишь предусмотрев два варианта
операций - с округлением и без округления.
4. Единственная операция сдвига выполняет функции всех двоичных операций
сдвига - логического, арифметического, с округлением и без округления, причем
выполняет безукоризненно, чего нельзя сказать, например, об операции двоичного
арифметического сдвига [6].
5. Знак числа в соответствии с общепринятой математической трактовкой этого
понятия представлен трехзначной функцией, и разбиение чисел по знаку
производится на положительные, отрицательные и равные нулю в противоположность
сбивающей с толку двоичной традиции двузначного знака и отнесения нуля к
положительным числам.
6. Интервал значения мантиссы нормализованного числа - от 0,5 до 1,5 по
абсолютной величине - характеризуется значительно лучшей устойчивостью по
сравнению с используемыми в двоичных машинах интервалами 0,5 - 1,0 и 1,0 -
2,0. "
Исходя из изложенного, полагаю:
1. Троичная логика (реальная или моделированная двоичной) представляет интерес
с точки зрения алгоритмической.
2. Рано или поздно она вновь появится в реале.
3. Возможно создание алгоритмов, существенно ее использующих.
Евгений Машеров АКА СанитарЖеня
--- ifmail v.2.15dev5
* Origin: FidoNet Online - http://www.fido-online.com (2:5020/175.2)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
