GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.69 (71)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
NO.
Сообщений: 7682
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:18
Цитата:
Автор: ignat99
OCALM

ocaml
[Ответ][Цитата]
ignat99
Сообщений: 3536
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:32
Изменено: 06 дек 16 6:41
Цитата:
Автор: NO.


ocaml


:-)

http://www.gotai.net/forum/default.aspx?postid=135032#135032


$ ocaml

# #load "camlp40.cma"
# #load "pa_lisp.cmo"

# (+ 1 2)
[Ответ][Цитата]
NO.
Сообщений: 7682
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:50
ML интересный язык для ИИ.
Матобученцы не понимают что общего между моделированием и выводом типов.
[Ответ][Цитата]
ignat99
Сообщений: 3536
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 18:51
Цитата:
Автор: NO.

ML интересный язык для ИИ.
Матобученцы не понимают что общего между моделированием и выводом типов.


http://progopedia.ru/typing/type-inference/

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

Вот так и симулируют модели транзисторов и вообще топологии электронных схем :-)

IMHO
[Ответ][Цитата]
NO.
Сообщений: 7682
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 21:25
Да, это самое простое, под миллионы действий в секунду. Но и задачи в основном это просто формализовать данные и применить знания.
[Ответ][Цитата]
NO.
Сообщений: 7682
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 23:17
The Circuit Realization at Faster Timescales (CRAFT) program seeks to shorten the design cycle for custom integrated circuits to months rather than years;
http://www.darpa.mil/program/circuit-realization-at-faster-timescales

где-то видел цифру, что при проектировании микросхем приходится решать SAT с миллионом переменных
[Ответ][Цитата]
ignat99
Сообщений: 3536
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 5:52
Изменено: 06 дек 16 6:37
http://www.cs.utep.edu/interval-comp/scan08.pdf

A DiÆerential Inequalities method for
VeriØed Solution of IVPs for ODEs
using Linear Programming for the
Search of Tight Bounds
Dmitry Nadezhin
VLSI Research Group
Sun Microsystems Laboratories
16 Network Circle
Menlo Park, California 94025, USA
Dmitry.Nadezhin@sun.com

На 78 странице

Сама реализация:

https://kenai.com/projects/jinterval

Диаграммы классов

https://kenai.com/svn/testproject1999053~subversion/UMLProject4/

В итоге, где то читал что просто все это войдет в новый стандарт С++ и Java (если уже не вошло).
То есть будут да же дети и колхозники не напрягаясь использовать этот тип, и в железе то же будет поддержка.

Про Scala по русски:

https://kenai.com/projects/jinterval/pages/JInterval2_ru

В итоге все свелось к тензорам. Но надо учитывать, что в МИэТ изучают со 2-3 курса способы хранения сжатых матриц. Тут на форуме я да же примеры на питоне давал.

http://www.gotai.net/forum/default.aspx?postid=134586#134586

Не кто не будет миллиарды переменных загонять тупо в матрицу 1 мил * 1 мил переменных ...
[Ответ][Цитата]
kondrat
Сообщений: 2019
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 7:20
Цитата:
Автор: ignat99

Не кто не будет миллиарды переменных загонять тупо в матрицу 1 мил * 1 мил переменных ...

А я сейчас уперся в эту проблему из-за тяги к упрощению перебора и роста рефлексирующей структуры. Полнографие (гы-гы) в этом случае растет уж очень быстро.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2747
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 8:04
Цитата:
Автор: ignat99
Вход при вызове идет в одном регистре указателя, а выход в другом.

Ну, стек-то при этом всё равно будет эмулироваться, пусть и в общей памяти.
Ведь не все аргументы функции могут быть переданы в регистрах, и/или может не хватить регистров для хранения локальных (внутренних) переменных функции. Т.е. функция при её вызове может работать с неким участком памяти, куда всё будет складываться.
А если эта функция будет рекурсивной, или из обработчика прерывания (Вы же на чём-то ОСоподобном акцент делаете) можно будет вызвать функцию заново (с другими аргументами и адресом возврата) - то стек в общей памяти и сэмулируется, организацией нужного функции блока памяти под каждый вызов функции.
Т.е. однократный и нерекуррентный/нереентерабельный вызов - ещё ладно, поизвращаться с разными способами вызова можно. А в общем случае - для незаточенных на это архитектур будет лишний геморрой.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2747
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 8:09
Цитата:
Автор: kondrat
А я сейчас уперся в эту проблему из-за тяги к упрощению перебора и роста рефлексирующей структуры. Полнографие (гы-гы) в этом случае растет уж очень быстро.

Задачку нормально опишите.
Ибо над задачами комбинаторной оптимизации (читай: перебор) большой размерности научный народ работает. Т.е. вполне могут существовать готовые рецепты.
Плюс - многоядерные процессоры, возможность распараллеливания вычислений.
[Ответ][Цитата]
ignat99
Сообщений: 3536
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 5:44
Изменено: 09 дек 16 5:54
Цитата:
Автор: Victor G. Tsaregorodtsev


Ну, стек-то при этом всё равно будет эмулироваться, пусть и в общей памяти.
Ведь не все аргументы функции могут быть переданы в регистрах, и/или может не хватить регистров для хранения локальных (внутренних) переменных функции. Т.е. функция при её вызове может работать с неким участком памяти, куда всё будет складываться.
А если эта функция будет рекурсивной, или из обработчика прерывания (Вы же на чём-то ОСоподобном акцент делаете) можно будет вызвать функцию заново (с другими аргументами и адресом возврата) - то стек в общей памяти и сэмулируется, организацией нужного функции блока памяти под каждый вызов функции.
Т.е. однократный и нерекуррентный/нереентерабельный вызов - ещё ладно, поизвращаться с разными способами вызова можно. А в общем случае - для незаточенных на это архитектур будет лишний геморрой.


Вечерком или завтра приведу ссылки на старые (2004 год) статьи по Форт и Джава процессарам. Там как раз такая архитектура была. Я поднимаю эту тему во первых потому что на дешевых ПЛМ другие ядра и не поместяться и во вторых Форт и Серпент это основные яхыки нотариальных и бухгалтерских книг на блокчейне.

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


Кибернетика 2 эт конечные автоматы. А конечные автоматы это регулярные выражения. А регулярные выражения это парсеры символьных строчек. Строчки можно распарсить с помощью различной архитектуры микропроцессора, но Форт архитектура самая экономная и по площади на кристалле и по количеству строчек кода для реализации (около 2000 всего).

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

Можно и на одном ядре, но не будет интерактивности, картинка будет слишом долго прорисовываться.
[Ответ][Цитата]
kondrat
Сообщений: 2019
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 6:39
Изменено: 09 дек 16 7:05
Цитата:
Автор: Victor G. Tsaregorodtsev
Задачку нормально опишите.
Ибо над задачами комбинаторной оптимизации (читай: перебор) большой размерности научный народ работает. Т.е. вполне могут существовать готовые рецепты.
Плюс - многоядерные процессоры, возможность распараллеливания вычислений.

Похоже, я пока не могу объяснить это по-русски (((.
Ну, в общем, в основании должна быть матрица (n+1) x (m+1) (индексация 0...n, 0...m) над ней с целью выращивания более сложных причинно следственных связей строится измерение размером n умножить на m. Над ним н квадрат умножить на м квадрат и т.п. в начале перебора использоваться будут не все элементы, но отводить под них память динамически не охота. А вот перебирать это хозяйство волшебно просто.
ЗЫ
Точнее, две таких матрицы
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2747
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 7:29
Цитата:
Автор: ignat99
на дешевых ПЛМ другие ядра и не поместяться

Ладно, не буду спорить, тем более, что и не интересуюсь архитектурами (и системами команд у них), отличными от x86-32 и i64 (т.е. интеловские для персоналок, серверов и спецвычислителей типа MIC, Xeon Phi и его потомки).
Но вспоминается (ЕМНИП), что у первого Атома площадь кристалла была 1.5мм квадратных. Потому, что не было кэша третьего уровня размером в мегабайт и более, не было переупорядочивания команд в конвейере, ещё ряд упрощений был (Атом тогда ещё не был system on a chip - аппаратные интерфейсы реализовывались в одной или двух других микросхемах чипсета).
Т.е. старая архитектура позволяет путём её урезаний получать процессор на кончике иглы. Правда, тормозным этот процессор будет - но совсем не по причине поддержки каких-то стековых вещей помимо сегментной/страничной организации памяти.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2747
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 7:45
Цитата:
Автор: kondrat
Ну, в общем, в основании должна быть матрица (n+1) x (m+1) (индексация 0...n, 0...m) над ней с целью выращивания более сложных причинно следственных связей строится измерение размером n умножить на m. Над ним н квадрат умножить на м квадрат и т.п. в начале перебора использоваться будут не все элементы, но отводить под них память динамически не охота. А вот перебирать это хозяйство волшебно просто.

Так и не отводите память - а каждый раз заново перевычисляйте нужное надлежащее значение при доступе к нему.
Если, конечно, оно вычисляется попроще, чем через что-то типа скалярного произведения строки одной матрицы на столбец другой. Т.е. какой-нибудь and двух и более элементов (в общем, что-то типа "галочки" наличия связи от ... к ..., вычисляющейся логическими операциями) хранить не нужно, его можно просто посчитать в любой момент, когда в этом значении возникнет необходимость.

Ну и Вы не сказали ничего о том, зачем/что перебирается. Может, там пригоден хороший алгоритм (типа того же Флойда-Уоршелла, который ищет кратчайшие пути в графе между любыми двумя вершинами), который, кроме этого, выражается через быстрые матем.функции (того же Флойд-Уоршелла можно выразить через операции произведения матриц - а быстрые версии библиотеки BLAS ("стандарта" для высокопроизводительной работы с векторами и матрицами) сейчас есть для всех распространённых процессоров).
Т.е. непонятна собственно "алгоритмическая нагрузка" на Ваши данные - например, её пропорция между общим числом обращений к памяти (чтений и/или записей) и общим числом вычислительных операций. При существовании готовых оптимизированных решений для кучи типовых (под)задач, которые могут быть применены и будут существенно быстрее самописного кода.
[Ответ][Цитата]
ignat99
Сообщений: 3536
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 9:17
Изменено: 09 дек 16 10:12
Цитата:
Автор: Victor G. Tsaregorodtsev


Ладно, не буду спорить, тем более, что и не интересуюсь архитектурами (и системами команд у них), отличными от x86-32 и i64 (т.е. интеловские для персоналок, серверов и спецвычислителей типа MIC, Xeon Phi и его потомки).
Но вспоминается (ЕМНИП), что у первого Атома площадь кристалла была 1.5мм квадратных. Потому, что не было кэша третьего уровня размером в мегабайт и более, не было переупорядочивания команд в конвейере, ещё ряд упрощений был (Атом тогда ещё не был system on a chip - аппаратные интерфейсы реализовывались в одной или двух других микросхемах чипсета).
Т.е. старая архитектура позволяет путём её урезаний получать процессор на кончике иглы. Правда, тормозным этот процессор будет - но совсем не по причине поддержки каких-то стековых вещей помимо сегментной/страничной организации памяти.


Компоненты и техноллогии №9 2003 с.123

Иосиф Каршенбойм (iosifk@narod.ru)

Стековые процессоры или Новое - это хорошо забытое новое

TDS9092 FORTH CHIPS Triangle Digital Services (www.triangledigital.com)

63B01Y0FP — микропроцессор с масочнозашитым Фортом и символическим ассемблером, с поддержкой многозадачного режима, часами реального времени, экранным редактором и поддержкой прерываний в Форте или ассемблере. Есть драйверы для шины I2C, алфавитно-цифровых ЖКИ, параллельных

TDS9 — вентильная матрица, обеспечивающая 16 дополнительных параллельных портов

Микропроцессор IGNITE™, Patriot Scientific Corporation (PTSC, www.ptsc.com) — это мощный 32-разрядный микропроцессор с очень высокой производительностью и плотностью упаковки команд, прекрасно исполняющий байт-коды Java, Forth и сгенерированные компиляторами языков C/C++ бинарные программы.

Для ПЛМ (FPGA)

Ядро микропроцессора 4stack (https://bernd-paysan.de/4stack.html)
Ядро микропроцессора picoJava Sun microsystems (Сейчас это Оракал)
Ядро микропроцессора LavaCORE Derivation Systems, Inc. (DSI) (http://www.design-reuse.com/news/773/xilinx-derivation-systems-java-processor-core-virtex-ii-fpgas.html)
Xilinx IP Center (www.xilinx.com/ipcenter).

Примером применения технологии picoJava-II может служить микропроцессор Fujitsu MB86799, MB92901.

Он состоит из ядра picoJava-II, внешней интерфейсной шины и интерфейса шины PCI. Он имеет кэш команд 8 КБ, кэш данных 8 КБ, кэш стека с 64 входами и сопроцессор для операций с плавающей точкой.

Упрощение архитектуры VLIW (англ. very long instruction word - «очень длинная машинная команда») приводит, с одной стороны, к сокращению количества транзисторов, а с другой — к сокращению связей внутри кристалла и уменьшению энергопотребления. Для сравнения можно сопоставить Athlon с его приблизительно с 20 миллионами транзисторов. Он потребляет 40 Вт при 1 ГГц, в то время как ядро процессора 4stack, выполненное по той же самой технологии, по предварительной оценке, будет потреблять 1 Вт при той же частоте в 1 ГГц.

Altera, Triscend, Atmel (В этих компаниях производились контроллеры со стековой архитектурой) - кажется почти все уже куплены и поставлены в одну и ту же иерархию с формальным центром в Японии за которым торчат уши США и Израиля.
Тем не менее еще в 2004 году наша группа студентов и стажеров в МИЭТ выпустила LiveCD со всем необходимым для проектирования собственного микропроцессора (включая свободное ядро Сан).

Этот DVD можно было использовать практически на любом компьюетере, так же была возможность работать этой системе в кластере и с внешними флеш и хард дисками.
Но, как обычно, местные тупые евреи из Зеленограда (бывают еще и не тупые) предпочли забашлять Синопсису и Кеденсу и получить соответсвующие откаыты и десяток
лет безбедной жизни за государственный счет. Соответсвенно сейчас технологии 10-ти летней давности выдаются за прорывные.

Хотя прорывными сейчас являются оптика и жидкие кристаллы. IMHO

Ближайшим заметным ширпотребом который преобразит внешний вид окружающей нас электроники являются элементарные электронные схемы и сенсоры на чистой пластиковой или стеклянной подложке 3Д формы. Работать будут через раз, зато жутко дешевые. И для таких систем в итоге снова потребуются микрочипы типа китайская капля клея с максимально небольшим размером и предельно низкой ценой. То есть снова форт процессоры.

Специально скоприровал статьи и презентацию по интервальным исчислениям Дмитрия Надежина и статью по процессарам со стековой архитектурой. Могу выложить, если будут желающие их почитать. По технологии сенсоров на пластике так же есть статья.

Микропроцессор Intel Itanium имеет 64-битную систему команд EPIC-процессора с явным параллелизмом, которая является одним из вариантов VLIW. Архитектура IA-64 некоторыми журнальными критиками считается неудачей, которая стоила Intel и HP многих миллиардов долларов и не смогла достичь ожидаемых продаж в изначально запланированное время.

Многопроцессорный вычислительный комплекс «Эльбрус-3» и микропроцессоры серии «Эльбрус» («Эльбрус 2000», «Эльбрус S») являются VLIW-процессорами.


[Ответ][Цитата]
 Стр.69 (71)1  ...  65  66  67  68  [69]  70  71<< < Пред. | След. > >>