Изобретён органический переключающий элемент

[vak]

"Ученые Технического университета Эйндховена (Нидерланды) создали энергонезависимое органическое электромеханическое устройство, имитирующее поведение синапсов мозга, со всеми их достоинствами и недостатками."

Статья в Nature: "A non-volatile organic electrochemical device as a low-voltage artificial synapse for neuromorphic computing"

"Here we describe an electrochemical neuromorphic organic device (ENODe) operating with a fundamentally different mechanism from existing memristors. ENODe switches at low voltage and energy (<10 pJ for 10³ μm² devices), displays >500 distinct, non-volatile conductance states within a ~1 V range, and achieves high classification accuracy when implemented in neural network simulations. Plastic ENODes are also fabricated on flexible substrates enabling the integration of neuromorphic functionality in stretchable electronic systems. Mechanical flexibility makes ENODes compatible with three-dimensional architectures, opening a path towards extreme interconnectivity comparable to the human brain."

Фактически мы получаем технологию, на которой можно строить асинхронную логику произвольной сложности, вплоть до объёмов человеческого мозга. Об чём я и толкую последний год. Осталось только разработать средства проектировния этой самой асинхронной логики.

Comments

[juan_gandhi]

Остается разработать эту логику. Ее же нету еще пока.

[vak]

Не то чтобы её совсем нет. Имеется математически проработанная концепция от ван Беркеля, а также не особо практичная реализация в виде языка Balsa. Здесь подробнее: https://vak.dreamwidth.org/408357.html

[juan_gandhi]

Пай-калкулюс, мне кажется. Есть еще формализация TLA+.

[vak]

Не знал про TLA+ - это тот самый Laslie Lamport придумал, оказывается. В целом всё это близкие подходы, но не особо конструктивные на мой взгляд. Рассуждений недостаточно, нужен тул, который будет превращать код HDL в асинхронную схему. И входной язык лучше сразу делать максимально близким к Verilog, иначе кончится как с Бальсой.

[juan_gandhi]

Нет, не конструктивные. Только что пересмотрел свои слайды на эту тему, думал побольше материала вбросить студентам. И понял, что не могу. Там столько херни в этой книжке... Я лучше модальную логику и мю буду впаривать.

[vak]

Главная проблема асинхронной логики в том, что она находится в состоянии R&D уже лет 25 как. Понаписана куча красивой теории, сотни статей и десятки диссертаций. Но вот чтобы дать инженеру некий тул и сказать "делай так" - увы, нету. А пора бы уже наработать методологию и внятный тулчейн.