От Павел Чайлик
К Михайлов А.
Дата 20.01.2009 16:29:37
Рубрики Экономика & финансы; Управление & методология;

Alex~1-у и Михайлову просьба хотя бы прочесть.


>>Тогда разделение труда обеспечит господство человека над машиной и само по себе право собственности на машину не позволит господствовать через нее над людьми.

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

Отличное замечание.
Если его спроецировать на современную ситуацию, то наиболее актуальным, наверное, станет борьба за всеобщее бесплатное образование и за, как минимум, ограничения в сфере т.н. интеллектуальной собственности, а лучше отмету таковой. То есть уже не за «фабрики и заводы» актуально биться, и тем более не за банки с «циферками долгов в компьютерах», а за нечто, как говорит Шушарин, еще не выраженное в доксических понятиях.



>Да линейная форма в общем то преодолевает и узкую специализацию и господстве вещи над человеком, а капиталиста и вовсе уничтожает как класс. А что касается универсальных средств производства, то сейчас видимо вообще речь идет о том, чтобы распространить прорыв в производстве программного обеспечения на отрасли материального производства. Может быть создать наноассемблер. А в сфере производства ПО придумать самоотлаживающиеся программы:) Тогда путь к технобионтам открыт.

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

Интересно обсудить перспективы развития вычислительной техники с позиции текущего состояния дел в процессорной технике. Как мы знаем началом были теоретические работы в области математики и т.н. машина Тюринга и ее более приземленный вариант (это конечно примитивизированное мной утверждение) – машина фон Неймана. ( http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D1%84%D0%BE%D0%BD_%D0%9D%D0%B5%D0%B9%D0%BC%D0%B0%D0%BD%D0%B0)

На технологическом (полупроводниковом) уровне это планарная технология (теперь уже, кажется, в ультрафиолет уехавшая в процессе уже и не совсем литографическом с целью уменьшения размеров), микроэлектронные схемы, то есть много транзисторов, реализующих теперь уже множество конвейеров, параллельно выполняющих вычисления согласно программе-алгоритму. Здесь вопросы языков высокого уровня без разницы, - сконцентрируемся именно на идеях архитектуры аппаратной части. Итак, процессор (вопрос много-ядерности в одном кристалле тоже пока без разницы) – фиксированный набор аппаратно реализованных средств (алгоритмов) выполнения последовательностей команд. В такой идейной реализации уже виден кризис постоянного перепроектирования этих устройств, впрочем, отложенный в свое время в связи с заделом в области роста тактовой частоты (т.е. скорости выполнения отдельных элементарных операций) уже себя исчерпавшей в текущем кремниевом технологическом процессе. Очевидно, что уже на этапе завершения проектирования огромные вложения средств в его разработку и разработку технологического цикла его производства кажутся «напрасными», так как все надо начинать «заново» в связи с накопленным опытом и новыми идеями. Но этот момент свойственен всему проектированию, проблемы тут нет. Проблема в том, что все выпускаемые устройства «идут с мусор» уже через совсем небольшой промежуток времени, безнадежно отставая от программных средств.
Теперь немного переключимся на так называемые ASIC схемы ( http://ru.wikipedia.org/wiki/ASIC). Основная идея – для решения узкоспециальной задачи бывает экономически оправдано разработать интегральную схему для решения этой задачи с наилучшими временными и пр. показателями. Очевидно, что масштабы использования этих устройств определят себестоимость производства одной единицы.
Теперь вопрос. Не нашел такой его постановки, наверное по причине «недостаточно усердных» поисков (может кто знающий подскажет).
Возможна ли такая (конечно на данный момент нет таких технологий) организация электронного микро- или нано-устройства, в котором базовые элементы, посредством какого-то «внешнего» («над», «само») управления способны образовывать структуры, эквивалентные некоторым ASIC-схемам. Конечно же эта постановка вопроса узка в научном смысле, но я ее сформулировал в таком виде для указания «откуда ноги растут» или точнее «откуда ноги могут расти».
В более общем виде речь идет о «матрице» элементов (пока можно абстрагироваться от их внутренней, кстати, совсем не простой организации), способных выполнять целый набор функций (в отличии от триггеров, способных находиться в ряде состояний), переключаться между режимами-состояниями внешними «командами», образовывать различные конфигурации, топологии по форме и характеру связи с другими элементами. Такая матрица, превращается в реагирующий на сигналы по возможности максимально многоканально «мозг». Нейронная сеть, например, – это лишь одна из возможных организаций (и топологий) внутри такой матрицы.
При этом вопрос разработки более производительных процессоров и программ уже переходит в другую плоскость. Это уже другие 2 вопроса: а) производство более объемных матриц или организация возможности «сцепления» большого количества таких матриц в одну распределенную вычислительную систему; б) разработка схем, оптимально распараллеливающих процедуру обработки «сигналов» (запросов, и прочих средств заставить работать программу) и средств компиляции алгоритмов высокого уровня в такие структурные, топологические, логические схемы.
Второй вопрос – разработка алгоритмов компиляции программ на языках высокого уровня в схемы может быть отдельной теоретической и творческой областью не связанной жестко даже с внутренней организацией матрицы и тем более с технологией ее производства. И еще, вторую задачу как научную и технологическую можно формулировать и разрабатывать даже в отсутствии элементной базы, с «положительной обратной связью» стимулирующей и корректирующей разработки таковой в качестве «квалифицированного постановщика задачи». Такое вот разделение задачи с «вывертом наоборот» формулирования технологических требований мне кажется интересным и перспективным подходом.
От Михайлов А.
К Павел Чайлик (20.01.2009 16:29:37)
Дата 23.01.2009 09:01:38

Re: Alex~1-у и...

>>>Тогда разделение труда обеспечит господство человека над машиной и само по себе право собственности на машину не позволит господствовать через нее над людьми.
>
>>В том то и дело, что не машина господствует над человеком, а капитал. Луддитам надо было не машины ломать, а отнимать их у капиталистов.
>
>Отличное замечание.
>Если его спроецировать на современную ситуацию, то наиболее актуальным, наверное, станет борьба за всеобщее бесплатное образование и за, как минимум, ограничения в сфере т.н. интеллектуальной собственности, а лучше отмету таковой. То есть уже не за «фабрики и заводы» актуально биться, и тем более не за банки с «циферками долгов в компьютерах», а за нечто, как говорит Шушарин, еще не выраженное в доксических понятиях.

В общем да, как я писал в заметках о переходной программе - http://vif2ne.org/vstrecha/forum/5/archive/10/10770.htm - компоненты когнитивного социализма, борьба за общедоступное качественное образование и отмену технологической тайны могут быть представлены как общедемократическая программа. Хотя в дальнейшем она неизбежно перерастет в программу социалистическую — реальное обобществление средств производства и выход на обобществление технологий.

>Теперь вопрос. Не нашел такой его постановки, наверное по причине «недостаточно усердных» поисков (может кто знающий подскажет).
>Возможна ли такая (конечно на данный момент нет таких технологий) организация электронного микро- или нано-устройства, в котором базовые элементы, посредством какого-то «внешнего» («над», «само») управления способны образовывать структуры, эквивалентные некоторым ASIC-схемам. Конечно же эта постановка вопроса узка в научном смысле, но я ее сформулировал в таком виде для указания «откуда ноги растут» или точнее «откуда ноги могут расти».

Вот это очень правильный вопрос о возможности самоконструирующихся схем. В весенней статье о системном анализе и диалектике я писал о связи логики и причинности. Современные логические устройства основаны на классической механической причинности. Квантовомеханическая причинность дает совсем другую логику и другие алгоритмы, как бы сразу эффективно «распараллеливание». Причинность нелинейных хаотических систем в чем то сродни квантовой (то же операторный формализм необходим, но другой) и реализация устройств с таким типом причинности как раз была бы эквивалентна переконструированию схемы. Нелинейность в том и выражается что правило преобразования входа в выход зависит от состояния других устройств, и эту зависимость нельзя устранить никаким количеством конечных связей. Вот и получается что одна и та же схема реализует вычисление по множеству параллельных схем. Так что изучение нелинейных и хаотических алгоритмов направление не менее перспективное, чем более популярные квантовые вычисления. И это здорово поможет в разрешении загадки происхождения жизни и создания искусственной
От Павел Чайлик
К Михайлов А. (23.01.2009 09:01:38)
Дата 26.01.2009 13:46:01

Продолжу.

>>>>Тогда разделение труда обеспечит господство человека над машиной и само по себе право собственности на машину не позволит господствовать через нее над людьми.
>>
>>>В том то и дело, что не машина господствует над человеком, а капитал. Луддитам надо было не машины ломать, а отнимать их у капиталистов.
>>
>>Отличное замечание.
>>Если его спроецировать на современную ситуацию, то наиболее актуальным, наверное, станет борьба за всеобщее бесплатное образование и за, как минимум, ограничения в сфере т.н. интеллектуальной собственности, а лучше отмету таковой. То есть уже не за «фабрики и заводы» актуально биться, и тем более не за банки с «циферками долгов в компьютерах», а за нечто, как говорит Шушарин, еще не выраженное в доксических понятиях.
>
>В общем да, как я писал в заметках о переходной программе - http://vif2ne.org/vstrecha/forum/5/archive/10/10770.htm - компоненты когнитивного социализма, борьба за общедоступное качественное образование и отмену технологической тайны могут быть представлены как общедемократическая программа. Хотя в дальнейшем она неизбежно перерастет в программу социалистическую — реальное обобществление средств производства и выход на обобществление технологий.

То что я хочу обсудить и получить отзывы намного мельче, конкретнее, но с "выходами", так сказать.


>>Теперь вопрос. Не нашел такой его постановки, наверное по причине «недостаточно усердных» поисков (может кто знающий подскажет).
>>Возможна ли такая (конечно на данный момент нет таких технологий) организация электронного микро- или нано-устройства, в котором базовые элементы, посредством какого-то «внешнего» («над», «само») управления способны образовывать структуры, эквивалентные некоторым ASIC-схемам. Конечно же эта постановка вопроса узка в научном смысле, но я ее сформулировал в таком виде для указания «откуда ноги растут» или точнее «откуда ноги могут расти».
>
>Вот это очень правильный вопрос о возможности самоконструирующихся схем. В весенней статье о системном анализе и диалектике я писал о связи логики и причинности. Современные логические устройства основаны на классической механической причинности. Квантовомеханическая причинность дает совсем другую логику и другие алгоритмы, как бы сразу эффективно «распараллеливание». Причинность нелинейных хаотических систем в чем то сродни квантовой (то же операторный формализм необходим, но другой) и реализация устройств с таким типом причинности как раз была бы эквивалентна переконструированию схемы. Нелинейность в том и выражается что правило преобразования входа в выход зависит от состояния других устройств, и эту зависимость нельзя устранить никаким количеством конечных связей. Вот и получается что одна и та же схема реализует вычисление по множеству параллельных схем. Так что изучение нелинейных и хаотических алгоритмов направление не менее перспективное, чем более популярные квантовые вычисления. И это здорово поможет в разрешении загадки происхождения жизни и создания искусственной

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

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

Так вот, даже не имея конкретных технологических решений для построения такой матрицы уже уместно формулировать принципы программирования таких устройств и более того, они очевидно вберут в себя обобщая и переводя на новый уровень текущие ветви развития многопроцессорных, кластерных и прочих распределенных вычислений.
Для этого понадобяться новые абстракции, вполне возможно реализуемые либо в материальной основе этой высилительной матрицы, либо динамически формируемые в ней.
Примером таких абстракций-структур, могут служить каналы связи устройств, ведь сама такая матрица в своем интерфейсе уже не будет обыкновенным процессором, хотя конечно же будет иметь конечное кол-во контактов, оптронных пар или чего там еще.
То есть программа, в такой постановке вопроса есть динамически развернувшаяся в матрице схема или целый набор взаимодействующих схем.
Принципиальное отличие одной схемы от набора схем в ассинхронности (параллельности) их функционирования. Причем, взаимодействия (передача данных, управляющих сигналов и пр.) может происходить между блоками-схемами как в рамках одной матрицы, так и последством некоторых присоедененных сетевых (например, оптоволоконных) каналов между различными матрицами.
Далее, матрицы могут "одалживать" друг у друга на время пространство (оно же вычислительный ресурс) для выплнения функций-вычислений.
Это просто примеры того, что задача-то в рамках большего проекта (подобно ядерному) принимает совсем другой окрас. Постановки частных задач становятся при таком подходе самосогласованными и взаимообогощающими.
То есть, квантово-механические эффекты в кристалле (или ином материальном носителе), вполне в будущем могут расширить (но никак не отменить) базовую логику строимых в матрице схем как на элементарном уровне (созданием новых материальных носителей матрицы), так и на логическом-архитектурном уровне, созданием соответствующих схем-алгоритмов. Таким образом, и новые и старые версии "матриц" вполне смогут совместно работать, превращаясь в большой высилительный ресурс.
От Михайлов А.
К Павел Чайлик (26.01.2009 13:46:01)
Дата 27.01.2009 02:02:47

Re: Продолжу.

>Поэтому начну сначала. Попробую теперь немного пофантазировать, что бы не быть так жестко связанным с наличествующими технологиями. Но излагать все же буду в образах имеющихся технологий.
>Представим себе устройство (материальная основа неопределенна, но можно для начала предположить нечто полупроводниковое), в котором те же самые "p" и "n" области, "метализация", "диэлектрик" созданы не в результате используемого сегодня технологического процесса, а могут создаваться (возникать) каким-то образом в материале динамически, подобно тому как сами триггеры оперативной памяти динамически выставляются в 0 или 1.
>Пока не идет речь о том, что бы это устройство делало это само по себе без внешнего управления. Никакого искуственного интеллекта на этом уровне постановки задачи не надо. Точнее он не является неотемлемой частью задачи.

Если немного пофантазировать и представить себе эскиз такого устройства, то это должна быть некая система, открытая система, система существенно нелинейная,которая обладала бы спектром диссипативных структур, т.е. почти периодических квазистационарных решений (ну скажем ищется концентрация тех же дырок и электронов), и тогда каждая такая структура это схема. А малые колебания около этой конфигурации реализуют её работу. Если всё это существенно квантовое, то тогда схемы могут работать фактически параллельно. Но пока и логика работы таких схем непонятна, да и физическая реализация большой вопрос — решетка+электроны и вакансии не всяким гамильтонианом описывается. И найдется ли система такого рода с нужными свойствами не очевидно.
От Alex~1
К Павел Чайлик (20.01.2009 16:29:37)
Дата 20.01.2009 17:14:49

Re: Alex~1-у и...

>Если его спроецировать на современную ситуацию, то наиболее актуальным, наверное, станет борьба за всеобщее бесплатное образование...

Честно говоря, главное, что оно было не бесплатным, а по-настоящему массовым, но при этом обязательно качественным. Бесплатные ЦПШ - не выход. :)


> и за, как минимум, ограничения в сфере т.н. интеллектуальной собственности, а лучше отмету таковой.

Больших ограничений в смысле интеллектуальной собственности в развитых странах, в общем, нет. Научные результаты недоступны не в силу ограничений, а в силу непонятности. В общем IMHO, барьер сейчас не в организационно-финансовых ограничениях, против которых можно бороться под лозунгом "отмены интеллетуальной собственности", а в более глубоких
вещах.

>То есть уже не за «фабрики и заводы» актуально биться, и тем более не за банки с «циферками долгов в компьютерах», а за нечто, как говорит Шушарин, еще не выраженное в доксических понятиях.

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

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

Это не так просто. :) В силу разной природы "материальных вещей" и информации. В принципе, это возможно, причем на основе информации - но для этого нужен совершенно иной уровень "производительных сил".

>Может быть создать наноассемблер.

К Чубайсу, к чубайсу. На распил бюджета. :)
Ассемблер - простая разновидность транслятора. Зачем он в нано-виде-то? Чтобы его никто не мог обнаружить "невооруженным глазом"? :) (C)


>А в сфере производства ПО придумать самоотлаживающиеся программы:)

Это возможно. Но будут ли самоотлаживающиеся программы производить саморазмножающиеся (по требованию потребителей) "вещи"? :)

>Тогда путь к технобионтам открыт.

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

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

Да, интересно.

>Интересно обсудить перспективы развития вычислительной техники с позиции текущего состояния дел в процессорной технике.

Да, интересно. Но пока ситуация довольно тупиковая.

>Как мы знаем началом были теоретические работы в области математики и т.н. машина Тюринга и ее более приземленный вариант (это конечно примитивизированное мной утверждение) – машина фон Неймана. ( http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D1%84%D0%BE%D0%BD_%D0%9D%D0%B5%D0%B9%D0%BC%D0%B0%D0%BD%D0%B0)

Все-таки "архитектура фон Неймана". Машина Тьюринга (а также эквивалентные математические конструкты Черча и Маркова) - это немного другое. Это, скорее, математическое определение того, что такое "алгоритм" в современном понимании.


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

Зачем? Но попробуем.

>Итак, процессор (вопрос много-ядерности в одном кристалле тоже пока без разницы) – фиксированный набор аппаратно реализованных средств (алгоритмов) выполнения последовательностей команд.

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

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

Скорее, кризис формализапции задач к виду, пригодному для "решения" с использованием такого рода устройств.

>Проблема в том, что все выпускаемые устройства «идут с мусор» уже через совсем небольшой промежуток времени, безнадежно отставая от программных средств.

Ну и хорошо, что отстают.
Человек вообще мыслит "медленно" в "аппартаном смысле". Не в этом дело.


>Теперь немного переключимся на так называемые ASIC схемы ( http://ru.wikipedia.org/wiki/ASIC). Основная идея – для решения узкоспециальной задачи бывает экономически оправдано разработать интегральную схему для решения этой задачи с наилучшими временными и пр. показателями. Очевидно, что масштабы использования этих устройств определят себестоимость производства одной единицы.

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


>Теперь вопрос. Не нашел такой его постановки, наверное по причине «недостаточно усердных» поисков (может кто знающий подскажет).
>Возможна ли такая (конечно на данный момент нет таких технологий) организация электронного микро- или нано-устройства, в котором базовые элементы, посредством какого-то «внешнего» («над», «само») управления способны образовывать структуры, эквивалентные некоторым ASIC-схемам.

Безусловно, возможна. Хотя бы потому, что в такой постановке задаче нет НИКАКИХ принципиальных технических ограничений.

>Конечно же эта постановка вопроса узка в научном смысле, но я ее сформулировал в таком виде для указания «откуда ноги растут» или точнее «откуда ноги могут расти».

Ага, ага, "элементы искусственного интеллекта"? :)

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

И?

>При этом вопрос разработки более производительных процессоров и программ уже переходит в другую плоскость. Это уже другие 2 вопроса: а) производство более объемных матриц или организация возможности «сцепления» большого количества таких матриц в одну распределенную вычислительную систему; б) разработка схем, оптимально распараллеливающих процедуру обработки «сигналов» (запросов, и прочих средств заставить работать программу) и средств компиляции алгоритмов высокого уровня в такие структурные, топологические, логические схемы.
>Второй вопрос – разработка алгоритмов компиляции программ на языках высокого уровня в схемы может быть отдельной теоретической и творческой областью не связанной жестко даже с внутренней организацией матрицы и тем более с технологией ее производства. И еще, вторую задачу как научную и технологическую можно формулировать и разрабатывать даже в отсутствии элементной базы, с «положительной обратной связью» стимулирующей и корректирующей разработки таковой в качестве «квалифицированного постановщика задачи». Такое вот разделение задачи с «вывертом наоборот» формулирования технологических требований мне кажется интересным и перспективным подходом.

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

От Михайлов А.
К Alex~1 (20.01.2009 17:14:49)
Дата 23.01.2009 09:04:16

Re: Alex~1-у и...

>>Может быть создать наноассемблер.
>
>К Чубайсу, к чубайсу. На распил бюджета. :)
>Ассемблер - простая разновидность транслятора. Зачем он в нано-виде-то? Чтобы его никто не мог обнаружить "невооруженным глазом"? :) ©

Вообще то нано-ассеблером называют систему наносборшиков, которые могли бы самовоспроизводиться. Так сказать нанотехнологии в собственном смысле слова. Фактически искусственная клетка, только на другом материале, с другими принципами работы и способная существовать при существенно более высоких плотностях энергии, а не коагулировать при 42С Сама то идея создать нано-проект по аналогии с атомным проектом не так уж и плоха.Только нужно не пилить баки, называя нанотехнлогиями производство какого-нибудь мелко дисперсного порошка, а четко сконцентрироваться на двух больших задачах:
1.Нано-ассемблер
2.Конструирование материалов с управляемыми свойствами.


>>А в сфере производства ПО придумать самоотлаживающиеся программы:)
>
>Это возможно. Но будут ли самоотлаживающиеся программы производить саморазмножающиеся (по требованию потребителей) "вещи"? :)

Даже и без этого это большой прорыв — можно будет убрать утомительные рутинные процедуры отладки — хорошо бы придумать такую среду чтобы положил в неё концепт, а она тебе готовую программу:)
Только нужно математическую формализацию концептов придумать:)
От Alex~1
К Михайлов А. (23.01.2009 09:04:16)
Дата 23.01.2009 09:45:49

Re: Alex~1-у и...

>Вообще то нано-ассеблером называют систему наносборшиков, которые могли бы самовоспроизводиться. Так сказать нанотехнологии в собственном смысле слова. Фактически искусственная клетка, только на другом материале, с другими принципами работы и способная существовать при существенно более высоких плотностях энергии, а не коагулировать при 42С Сама то идея создать нано-проект по аналогии с атомным проектом не так уж и плоха.Только нужно не пилить баки, называя нанотехнлогиями производство какого-нибудь мелко дисперсного порошка, а четко сконцентрироваться на двух больших задачах:
>1.Нано-ассемблер
>2.Конструирование материалов с управляемыми свойствами.

А-а-а, дошло. Просто у меня несколько консервативная специфика воспритяия терминов. :)
Но в такой постановке до решения этой задачи еще очень далеко. IMHO.

>>Это возможно. Но будут ли самоотлаживающиеся программы производить саморазмножающиеся (по требованию потребителей) "вещи"? :)
>
>Даже и без этого это большой прорыв — можно будет убрать утомительные рутинные процедуры отладки — хорошо бы придумать такую среду чтобы положил в неё концепт, а она тебе готовую программу:)
> Только нужно математическую формализацию концептов придумать:)

А не получится, что ты ей (программе) - свой концепт, а она тебе - свой? :)
От Михайлов А.
К Alex~1 (23.01.2009 09:45:49)
Дата 24.01.2009 17:49:23

Новые технологии требуют нового типа общества.

>>Вообще то нано-ассеблером называют систему наносборшиков, которые могли бы самовоспроизводиться. Так сказать нанотехнологии в собственном смысле слова. Фактически искусственная клетка, только на другом материале, с другими принципами работы и способная существовать при существенно более высоких плотностях энергии, а не коагулировать при 42С Сама то идея создать нано-проект по аналогии с атомным проектом не так уж и плоха.Только нужно не пилить бабки, называя нанотехнлогиями производство какого-нибудь мелко дисперсного порошка, а четко сконцентрироваться на двух больших задачах:
>>1.Нано-ассемблер
>>2.Конструирование материалов с управляемыми свойствами.
>
>А-а-а, дошло. Просто у меня несколько консервативная специфика воспритяия терминов. :)
>Но в такой постановке до решения этой задачи еще очень далеко. IMHO.

Вторая часть задачи как раз вполне реализуема сейчас — то нанотехнологии, которыми в курчатнике занимаются это оно и есть. Только управлять процессом разработки и внедрения новых материалов нужно не посредством корпорации, т.е. организации, нацеленной на извлечение максимальной прибыли (она её и извлечет... путем попила бюджета), а на основе технологической планомерности. А вот первая, самая интересная задача требует более высокого принципа регуляции. Ведь действительно, самый важный вопрос — когда? Прорыв произойдет буквально вот-вот - появиться новый принцип будут созданы основные элементы и далее начнется экспоненциальное раздувание новой сферы как то было в производстве программного обеспечения или в электронике, или же нано-проект постигнет судьба управляемого термоядерного синтеза — идея возникла чуть позже самого атомного проекта, а реализации нет до сих пор. Как вообще оценить динамику технологии? Динамику техники и капитала сняла в себе линейная форма — рост эффективности производства перестал быть уделом мистифицированной «предпринимательской активности», а стал планомерным внедрением нового технологического принципа. Но источник этих принципов — знание, а научное творчество для линейной формы пока загадка. Нужен когнитивный расчет чтобы уверенно предсказывать
появление новых физических принципов технологий.

>>>Это возможно. Но будут ли самоотлаживающиеся программы производить саморазмножающиеся (по требованию потребителей) "вещи"? :)
>>
>>Даже и без этого это большой прорыв — можно будет убрать утомительные рутинные процедуры отладки — хорошо бы придумать такую среду чтобы положил в неё концепт, а она тебе готовую программу:)
>> Только нужно математическую формализацию концептов придумать:)
>
>А не получится, что ты ей (программе) - свой концепт, а она тебе - свой? :)

Такой девайс уже сможет тест Тьюринга пройти — это уже не искусственная жизнь, а искусственный интеллект:)
От Павел Чайлик
К Alex~1 (20.01.2009 17:14:49)
Дата 20.01.2009 17:48:59

Re: Alex~1-у и...


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

>>Интересно обсудить перспективы развития вычислительной техники с позиции текущего состояния дел в процессорной технике.
>
>Да, интересно. Но пока ситуация довольно тупиковая.

>>Как мы знаем началом были теоретические работы в области математики и т.н. машина Тюринга и ее более приземленный вариант (это конечно примитивизированное мной утверждение) – машина фон Неймана. ( http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D1%84%D0%BE%D0%BD_%D0%9D%D0%B5%D0%B9%D0%BC%D0%B0%D0%BD%D0%B0)
>
>Все-таки "архитектура фон Неймана". Машина Тьюринга (а также эквивалентные математические конструкты Черча и Маркова) - это немного другое. Это, скорее, математическое определение того, что такое "алгоритм" в современном понимании.

Да. Все именно так.


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

>>Итак, процессор (вопрос много-ядерности в одном кристалле тоже пока без разницы) – фиксированный набор аппаратно реализованных средств (алгоритмов) выполнения последовательностей команд.
>
>Да, конечно. Но при этом не надо забывать, что это алгоритмы очень, очень высокой степени универсальности (хотя очень простые), и рассматриваются не как "конечный алгоритм", а как элемент можного, очень мощного конструктора, реализуемого не на аппаратном уровне.

Универсальность тут обратно пропорциональна производительности. Задача - снять такую зависимость. (м1)

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

см. (м1) - это отдельная, другая, параллельная задача.

>>Проблема в том, что все выпускаемые устройства «идут с мусор» уже через совсем небольшой промежуток времени, безнадежно отставая от программных средств.
>
>Ну и хорошо, что отстают.
>Человек вообще мыслит "медленно" в "аппартаном смысле". Не в этом дело.

Да. Дело не в этом. Но и этот вопрос, вроде по идее частично решаем.

>>Теперь немного переключимся на так называемые ASIC схемы ( http://ru.wikipedia.org/wiki/ASIC). Основная идея – для решения узкоспециальной задачи бывает экономически оправдано разработать интегральную схему для решения этой задачи с наилучшими временными и пр. показателями. Очевидно, что масштабы использования этих устройств определят себестоимость производства одной единицы.
>
>Это, скорее, чисто экономическая задача. Иногда такой подход используется для повышения надежности.

Я привел ASIC схема в качестве рабочего примера и элемента на который можно стать в построении образа проекта.

>>Теперь вопрос. Не нашел такой его постановки, наверное по причине «недостаточно усердных» поисков (может кто знающий подскажет).
>>Возможна ли такая (конечно на данный момент нет таких технологий) организация электронного микро- или нано-устройства, в котором базовые элементы, посредством какого-то «внешнего» («над», «само») управления способны образовывать структуры, эквивалентные некоторым ASIC-схемам.
>
>Безусловно, возможна. Хотя бы потому, что в такой постановке задаче нет НИКАКИХ принципиальных технических ограничений.

Зато полно технологических.
Я пока себе даже представить ничего конкретного не могу.

>>Конечно же эта постановка вопроса узка в научном смысле, но я ее сформулировал в таком виде для указания «откуда ноги растут» или точнее «откуда ноги могут расти».
>
>Ага, ага, "элементы искусственного интеллекта"? :)

Если юмор относится к подражанию "кибер-шибер", то я как раз свою идею строю как эволюционную от текущих процессорных решений. Есть же еще и всякие био-вычисления на ДНК вроде Адельмана. :))

>>В более общем виде речь идет о «матрице» элементов (пока можно абстрагироваться от их внутренней, кстати, совсем не простой организации), способных выполнять целый набор функций (в отличии от триггеров, способных находиться в ряде состояний), переключаться между режимами-состояниями внешними «командами», образовывать различные конфигурации, топологии по форме и характеру связи с другими элементами. Такая матрица, превращается в реагирующий на сигналы по возможности максимально многоканально «мозг». Нейронная сеть, например, – это лишь одна из возможных организаций (и топологий) внутри такой матрицы.
>
>И?

>>При этом вопрос разработки более производительных процессоров и программ уже переходит в другую плоскость. Это уже другие 2 вопроса: а) производство более объемных матриц или организация возможности «сцепления» большого количества таких матриц в одну распределенную вычислительную систему; б) разработка схем, оптимально распараллеливающих процедуру обработки «сигналов» (запросов, и прочих средств заставить работать программу) и средств компиляции алгоритмов высокого уровня в такие структурные, топологические, логические схемы.
>>Второй вопрос – разработка алгоритмов компиляции программ на языках высокого уровня в схемы может быть отдельной теоретической и творческой областью не связанной жестко даже с внутренней организацией матрицы и тем более с технологией ее производства. И еще, вторую задачу как научную и технологическую можно формулировать и разрабатывать даже в отсутствии элементной базы, с «положительной обратной связью» стимулирующей и корректирующей разработки таковой в качестве «квалифицированного постановщика задачи». Такое вот разделение задачи с «вывертом наоборот» формулирования технологических требований мне кажется интересным и перспективным подходом.
>
>Я, возможно, не понял постановки задачи. Какой смысл связывать это с хитрой "технологической" структурой? Почему бы не пойти гораздо более естественным (для начала) путем - работать на уровне организации супер-взаимодействия программных конструктов?
>Такая тенденция, кстати, просматривается довольно отчетливо.

То что вы говорите о параллелизме и кластерных решениях (или вы об ARM-процессорах) оно тоже как-то побоку самой идее такой вот предложенной мной архитектуре. Одно другому не помеха. Просто в такой постановке задачи большую часть вычислительных проблем возможно будет решать именно что написанием новых алгоритмов без столь частой замены элементной базы.

Вот тут поподробнее. Вся эвлюция (ой замахнулся...) реально работающих вычислительных средст (а я тут пока именно о средствах а не о программах и не аппаратно-программных) являет собой (почему бы не посмотреть на это и так) сначала движение к упрощению базовых элементов лежащих в основе технологического изделия и наращивания их количества (то есть усложнение архитектуры), потом упор в технологические барьеры, и тут дорога "раздвояивается" :))
Либо идет возврат к перепроектированию лежащих в основе элементов (основ тут тоже несколько пластов), например усложнение конвейеров в CPU, либо по пути изменения технологий с целью повышения тактовой частоты (это уже не архитекрурные решения). А вот в архитектурных прослеживается что-то вроде унификации самих методов пронизыващих все более высокие пласты проектирования.
Пример, сначала пихали много конвейеров в процессор, теперь уже много ядер (процессоров) в кристалл. Вон у Sun аж 8 ядер по 8 конвейеров. Следующим этапом, думаю, всю эту накопившуюся сложность начнут унифицировать (сначала рефлексируя методики потом перестраивая архитектуру). Стержнем всей этой ветви развития вычислительной техники является универсальность, но неперестраиваемость внутренней архитектуры.

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

То есть центральная мысль именно (м1).
От Лом
К Павел Чайлик (20.01.2009 17:48:59)
Дата 23.01.2009 15:33:23

Где-то я уже такое видел... :)


>Пример, сначала пихали много конвейеров в процессор, теперь уже много ядер (процессоров) в кристалл. Вон у Sun аж 8 ядер по 8 конвейеров. Следующим этапом, думаю, всю эту накопившуюся сложность начнут унифицировать (сначала рефлексируя методики потом перестраивая архитектуру). Стержнем всей этой ветви развития вычислительной техники является универсальность, но неперестраиваемость внутренней архитектуры.

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

Дальнейшая миниатюризация и замена "неуменьшаемых" компонентов нанотехнологиями уже тянет всех в этом направлении. Вон грядет очередная революция в RAM за счет исключения контроллера шины памяти в современном виде. А направление большая универсальность-малая производительность мне кажется уже не остановить. В ближайшей перспективе мне кажется, будет некая двухуровневая схема. Много процессоров (слабых и универсальных) собранных в блок и работающих в пределах локального устройства с микрозадачами и алгоритмами способными "на лету" задействовать другой процессорный блок (в пределах того же локального устройства) Не путать с современными блэйдами. И второй уровень алгоритсов и вычислений - сетевой распределенный, где универсальные алгоритмы выделяют более крупные порции вычислений и раскидывают их по скоростным каналам между такими локальными устройствами(эти технологии уже есть, но только на зачаточном уровне универсализации и стандартизации). Очень интересно также сращивание этих технологий с технологиями виртуализации (кто балуется). Там можно сделать так, чтобы "virtualization layer" подбирал себе необходимые ресурсы, как по количеству процессоров, так и по их удаленности.

А вот пара ссылочек:

http://www.nvidia.com/object/tesla_8_series.html

http://www.nvidia.com/object/cuda_what_is.html

http://www.nvidia.com/object/tesla_computing_solutions.html

В верхней части экрана попытался переключить на русский... А там - "Быстрые и свирепые". Видеокарточки.. :)
От Павел Чайлик
К Лом (23.01.2009 15:33:23)
Дата 26.01.2009 13:07:26

Буду "гнуть" свое. :))

>А вот пара ссылочек:

> http://www.nvidia.com/object/tesla_8_series.html

> http://www.nvidia.com/object/cuda_what_is.html

> http://www.nvidia.com/object/tesla_computing_solutions.html

>В верхней части экрана попытался переключить на русский... А там - "Быстрые и свирепые". Видеокарточки.. :)

но выше в ветке, что бы не распыляться.