51

Re: Конструктор Николай Петрович Брусенцов

Я совсем не сказал про не популярные имприкации - еще 3 штуки. Итого 7. Так что увидимся в в конце этого 2017 года по поводу ваших знаний о пользе импликаций и нелинейной логики. После того как изучите вопрос разнообразия формальных логик и более определенную из всех - Брусенцова.

52

Re: Конструктор Николай Петрович Брусенцов

Автор: *

"Практика - критерий истины". Не прижились ЭВМ с троичной логикой. На кремниевых "переключателях" не только легче, но и дешевле оказалось. Брусенцов же держится за оригинальность подхода,- иначе бы кто он был. Что он для практического применения ИТ создал? Так же и ЭВМ в остаточных классах ушли вместе с Акушским и Юдицким.

Брусенцов нас покинул в 2014 году, счастье ему в мире для верующих.

По мимо самих 2 компьютеров "Сетунь" и "Сетунь-70" с большим количеством программ для этих компьютеров созданных разработчиками со всех уголков СССР, Брусенцов создал программу Наставник, для обучения студнетов МГУ. Так же существует симулятор этой прогрммы, каждый может собрать и использовать на своем компьютере.

https://github.com/ingeniarius/DSSP-32/ … ommand-set

Кроме того до самых последних дней он вынашивал планы по троичной элементной базе.
Не вся информация публикуется в интернете, но дело троичных компьютеров живет. Вот, например, Alexander A. Shabarshin.

http://www.nedopc.org/forum/viewforum.php?f=79
http://www.nedopc.org/forum/viewtopic.p … ;start=120

Обратите внимание, как у человека появляется реальная необходимость сделать полузаказную микросхему, сразу начинают использовать наш софт VLSI Electric (в группу разработки и тестирования которого мы с моими бывшими студентами входим с 2005 года.)
Потому что альтернатива - заплатить 50 000 евро за 1 рабочее CAD место Евреям из Кеденса. Большинство предпочитает не платить, но использовать наш софт.

Малашевичи созлали троичные элемнты на КМОП логике. Есть вероятность присутствия троичного компьютера в очень важных системах, которые работают в России.

53

Re: Конструктор Николай Петрович Брусенцов

http://computer-museum.ru/books/setun/b … zov_01.pdf
Вот список софта на 1968 год с пакетом символических вычислений.

http://gotai.net/forum/default.aspx?pag … adid=68160

Вы не понимаете, у них все схвачено было. Если кто то талантливее -> начал получать больше денег, есть множество методов подковерной борьбы.

Вот сейчас человек в Нью Йорке за свой счет сделал микросхемы, зато ребята в Москве уже как с 1968 все не как разобраться в троичной логике не могут 49! лет (я не говорю про спец. проекты - я говорю только об образовательных университетах, где преподают ребята с реальных НИИ иногда).

54

Re: Конструктор Николай Петрович Брусенцов

Автор: ignat99
Вот список софта на 1968 год с пакетом символических вычислений.

1.2. ВЦ МГУ. Жоголев В.А. Интерпретирующая система ИП/2.
Плавающая запятая, 8 десятичных знаков, диапазон чисел от 10 –19
до 10 +19 .
Эффективная скорость вычислений в системе ИП/2 – не менее 50 макро/
операций в секунду.

-- это калькуляторный процессор, ещё не ЭВМ

3.39. ИПИ. Сосинская С.С. Распознавание образов с предварительным обучением.
...Время счёта II/ой части (распознавание одного объекта без вывода данных) –
45 сек.
Программа проверена на распознавании следующих объектов: печатных
букв А а Б; случайных объектов ( коррелированных и некоррелированных ),
образцов геологических пород. Надежность распознавания составляет
90–95%%.

-- 45 секунд на букву не удивительно при 50 flops

4.12. УАИ. Патрушев Г.А. Моделирование движения деталей на
групповых прерывно/поточных линиях.
Время счёта ада матрица 2525 – не более 5 мин.

-- что это за "ад матрицы"?

55

Re: Конструктор Николай Петрович Брусенцов

Автор: NO.


что это за "ад матрицы"?

Есть такой язык АДА (Типа Модулы, синтаксис которого был заимствован Паскалем) в честь первой программистки назвали. Кстати родственницы известного писателя (Байрона, что ли, точно не помню).

Брусенцов в противовес свой язык назвал РАЯ (не знаю в честь кого, вроде жену у него не Рая звали ... ;-)

56

Re: Конструктор Николай Петрович Брусенцов

Так на всякий случай, вдруг кто то еще не видел симулятор Сетуни образца 1958 года.

http://trinary.ru/projects/setunws/

Можно книгу скачать отсканированную по этому компьютеру. За два года ссылка битая, но думаю найдется.

Вот к вопросу о том как работала машина "Сетунь" и чем управлялась.

http://www.nedopc.org/forum/viewtopic.php?f=79&t=26

Если посмотреть схемы, то импульс тока на выходной обмотке одного ферритового кольца подавался на вход следующего. А магнитное поле, понятно, возникало в районе области ферритового кольца и было замкнуто.

57

Re: Конструктор Николай Петрович Брусенцов

Еще раз об импликации. Если взять функцию z=x*y. То мы получим некую поверхность, которую можно использовать, не хуже других для нечеткой логики и да же привязать к отдельным областям лингвистические переменные (слова).

https://en.wikipedia.org/wiki/T-norm#Residuum

Теперь что такое материальная импликация в Нечеткой логике. Так как мы оглядываемся на материальную импликацию, где 0 получается только когда x больше y, то именно эту полуплосткость экстраполируем какой нибудь гладкой функцией, которую можно будет проинтегрировать позже.

Вот возьмем первую производную по x от правой части - получим y. Возьмем пару производных (от той же функции z=y*x) получим y/x,

Можно построить оператор Residuum и для функции импликации Бруенцова. В области где y больше x функция будет равана -1. На диагоналии, где x=y функция бдует равна 1. В области где х больше y плавно будет переходить от 1 до 0 (то есть снова вниз).

То есть это просто ландшафт выдавленный вот из этих функций.

Если нам захочется уточнить функцию Residuum для тернарных функций, то плоскость x  и y будет разбита не на 4 области, а на 9, в каждой из которой надо задать монотонные функции имеющие одни и те же значения на границах, что и соседние области.

Но центральный крест упускается

Вот так не зайтейливо, обычные бинарные функции превращаются в статистичекие. А каждой области, которая имеет одно и то же значение z можно приписать лингвистический термин. И да же определить операции Or, And, и другие (включая импликацию).

Всего бинарных троичных функций с унарным выходом с симметричным кодированием 19 683.
Их все можно задать с помощью одного АЛУ.

Все импликации содержатся в этом наборе. Так например:

Троичная функция следования Брусенцова - F5833
Импликация материальная - F6088
Импликация Гейтинга - F6142
Импликация Лукасевича - F6169
и другие ...

Каждому набору лингвистических функций можно сопоставить набор операций наподобие импликаций и построить автоматические рассуждения в той или иной логике (которая больше подходит для описываемого явления).

58

Re: Конструктор Николай Петрович Брусенцов

Абсолютно все считают что не было других компьютера троичного кроме 2 Сетуней. У меня то же нет таких документов что такие системы были.

Однако сортировку бинарных деревьев можно сделать в 2 команды на троичной архитектуре.
А на двоичной это будет 4 или больше. Вряд ли такую возможность могли упустить наши военные (хотя докладывать нам не кто об этом не будет). Возможно они вообще 1 командой это делают. IMHO. Думаю что должны быть специалисты, кто провел анализ и точно знает выгоды. По мне, так уж считать в основаниях логарифма сразу, но и троичное АЛУ то же иметь можно.

59

Re: Конструктор Николай Петрович Брусенцов

Да это я читал.
Так же есть в политехниеском музее (кажется опять в Америке) копия какого то старого троичного блока (работающего).
Есть одна девушка с Аляски - строит свой троичный компьютер.
Есть наш коллега, живущий в Нью Йорке, спроектировавший и заказавший за счет своего стартапа (6000 долларов кстати) шатлы реальных заказных микросхем (но на обычной компонентной базе - поэтому выгоды да же по площади кристалла нет).
Есть 3 и даже больше симулятора троичного компьютера.

Я то про действительно ответственное применение. Бортовая ЭВМ например или наподобие.

60

Re: Конструктор Николай Петрович Брусенцов

http://www.nedopc.org/forum/viewtopic.p … ;start=120

Вот отчет с картинками. Говорит насажал паразитных емкостей на подложку, работает на 20 МГц. Если бы использовал наш VLSI Электрик, то думаю, ошибок бы не было таких.

61

Re: Конструктор Николай Петрович Брусенцов

Автор: *

Двоичная система исчисления оптимальна в смысле отношения  вычислительных возможностей к аппаратным затратам. В двоичной системе на десяти пальцах легко можно досчитать до 1023-х, а в десятичной при аналогичной помехоустойчивости, только до 10-ти.

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

А при передаче (связь) там вообще ортогональные функции (кстати так же по 2 бита или больше) и помехоустойчивое кодирование с вычислениями полиномов. Так как там строятся деревья (бинарные), то могу предположить что на круговых сдвигах в троичной логике кодирование окажется оптимальным.

Понятно что с БиКМОП нет альтернативы двоичным вычислениям, а вот с элементами базиса компонентов с 3 состояниями, получиться экономия почти в 2 раз по площади.

Осталось дождаться.

62

Re: Конструктор Николай Петрович Брусенцов

Автор: гость 31.211.0.*

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

А как же работы Заде? А для кого я все ссылки выше публиковал и книгу с картинками?
Вы про булеву логику говорите?

Тернарная алгебра это не булева алгебра. Там минимум 2 этажа в рассуждениях всегда.
Там да же оператор дополнения не является эквивалентом NOT.

Это то же самое как сказать, что в Линейной алгебре только, одномерные только нульмерные пространства (и ведь не поспоришь, действительно все можно к множеству математических точек свести)....

63

Re: Конструктор Николай Петрович Брусенцов

Автор: *



Давайте, все-таки не перегибать палку, нечеткая логика вполне себе существует в рамках двоичной алгебры и не требует никаких экзотических исчислений.

А давайте внимательно и вдумчиво читать то что я написал в постах выше.

В булевой алгебре только 2 импликации материальная и обратная.

Не существует среди двоичных функций тех импликаций, которых нужно (список среди троичных функций импликации длинный около 7 различных).

Не существует специфичных сдвиговых операций. Только в троичной логике вращение на 2 шага вправо (RotF, RotU) равно вращению на 1 шаг влево (RotB, RotD). Для балансировка бинарного дерева).

В тернарной логике 3 обмена различных вместо одного отрицания в булевой логике.

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

=========================================================

Причем вы мне сейчас доказываете что умножение в 25 тактов это нормально.
А я вам говорю что надо делать за 1 такт, а не тратить электричество и гонять сдвиговые регистры безбожно вхолостую.

Понятно что для ваших статей машина Поста в самый раз. А я же про реальную жизнь пишу. А вот тем кто Биткоины майнит или взламывает криптографию  - тем не все равно. У них от этого заработок зависит.

64

Re: Конструктор Николай Петрович Брусенцов

Про тернарный силлогизм в том учебнике на 66 странице (и импликация Mamdani для нечеткой логики там же есть).

http://www.cs.princeton.edu/courses/archive/fall07/cos436/HIDDEN/Knapp/gfuzzy/fuzzy008.gif

http://www.cs.princeton.edu/courses/arc … .htm#E7E50

65

Re: Конструктор Николай Петрович Брусенцов

Автор: гость

у каждого нуля есть характеристика (чего именно отсутствие оно подразумевает). если этой характеристики не приводится, это не значит, что ее нет....

То же самое для нулевой размерности физических величин. То есть для безразмероной величины. Это может быть: угол, телесный угол, температура, кол-во молекул, кол-во электронов, кол-во спектральных линий в серии, заполняемость электронных уровней. По сути это шкалы приборов (стрелка отклоняется на определённый угол).

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

Про операцию с нулём в Троичной логике

66

Re: Конструктор Николай Петрович Брусенцов

Пришлось один раз разговаривать с Брусенцовым по телефону - одним из создателей "Сетуни" о Мемристоре. В тексте я упомянул импликацию Брусенцова и иерархию дешифратора, как у Шуклина.

67

Re: Конструктор Николай Петрович Брусенцов

Автор: *

Это не я говорю, а википедия. Мы точно об одной и той же логике говорим? smile Ну да, она не совершенна, но все же это наука и наука о мышлении. Даже классификация, о которой тут иногда вспоминают и то является операцией деления объема из логики. Возможно Вы представляете логику, как набор операций типа AND, OR, XOR. Я же вижу ее как науку о рассуждении, построении суждений.

Ну посмотрите "Блуждание в трёх соснах" Брусенцова.

Вам же говорят о таких возможностях - как непрерывная логика произвольного профиля :-) (не только ступенька - функция Хевисайда )

Почти 200 лет назад Оливер Хевисайд :

выписал уравнения в векторной форме (так называемые Максвелла, на
самом деле Хевисайда, Ампера и Фарадея) то есть в современном виде,
создал векторный анализа,
открыл телеграфное уравнение, чем решил проблемы Лорда Кельвина,
сделал работу по излучению очень быстрой частицы (так называемое
Излучение Вавилова-Черенкова + нобелевская премия),
создал операционное исчисление (так называемая теория преобразований Лапласа),
в 1890 году, за пятнадцать лет до Эйнштейна, Хевисайд получил
знаменитую формулу E=mc^2,
предсказал наличие особого слоя озона у атмосферы (ионосферы - слой Хевисайда),
благодаря этому возможна сверхдальняя радиосвязь,
ввел в физику единичную степ функцию(Функция Хевисайда является
первообразной функцией для дельта-функции Дирака),
на тридцать лет раньше Дирака обосновал магнитный монополь.

Теперь внимание:

Он умер в нищете от голода и холода. Его книга Физикал Пейпер была
скуплена одним дельцом. Весь тираж, прямо из типографии. Ни каких
авторских гонораров Хевисайду не досталось! Кто занимался такими
вещами в Лондоне, при желании, легко выяснить. Книги были переплетены
и проданы, только после его смерти. Весь гонорар достался дельцу -
убийце. Эти деньги очень были нужны Хевисайду, чтобы заплатить за газ
и еду. А от подачек, грамот, дипломов, медалей из королевского
общества под предводительством Лорда Кельвина, он отказывался как от
чумы

68

Re: Конструктор Николай Петрович Брусенцов

http://drakon-editor.sourceforge.net/

И ешё на ЭВМ "Сетунь" стоял форт-подобный язык с комментариями между каждой командой.
Форт - это наше прошлое и будущее. Все самые передовые криптосистемы (смарт-контракты, блокчейн) современные на форте держаться.

Так же ЛабВЬЮ но оно вроде за деньги

69

Re: Конструктор Николай Петрович Брусенцов

Вот тут про первые машины (особенно в комментариях)
http://geektimes.ru/company/ua-hosting/blog/266838/

А вот тут про то как машина Сетунь 70 "думает":
https://github.com/trinarium/DSSP-C/blo … /dssp-book

Если вы подскажете как помочь колхозу вычислительными машинами (что им там делать?), то этим практически на 50% решите проблемы тех кто эти машины создаёт. Можно будет обменивать машины на еду.

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

70

Re: Конструктор Николай Петрович Брусенцов

Автор: *

О троичной логике

В 50-е и 60-е годы, когда компьютерные технологии ещё не устаканились, разум электронщиков рождал разных чудовищ smile

Самый извесный монстр трёхзначной логики - ЭВМ "Сетунь", разработанная в начале 1960-х Брусенцовым в МГУ. Тристабильные триггера, трёхуровневые логические элементы (+,0,-), длина слова 9 троичных цифр. Выпущено 50 экземпляров. Дальнейшее развитие - "Сетунь-70", выпушена в 1 экземпляре в 1970 г., и на этом линия оборвалась.

Самый засекреченный монстр трёхзначной логики - Т-340, встраиваемый компьютер для РЛС (примерно 1963 г.), разработан Лукиным в каком-то секретном НИИ. Его дальнейшее развитие - "Алмаз", компьютер для радара системы ПРО (ок. 1967 г.), был самым быстродействующим компьютером того времени в мире (30-40 млн. оп/c).

Круть, короче

Язык РАЯ - Сетун - магнитное поле в качестве рабочего тела

https://cont.ws/post/173441

http://www.gotai.net/forum/Default.aspx?postid=56429

http://www.gotai.net/forum/Default.aspx?postid=136006

http://gotai.net/forum/default.aspx?pos … 026#134026

http://gotai.net/forum/default.aspx?pos … 986#130986

http://gotai.net/forum/default.aspx?pos … 105#134105