Записки К.Л.М.

скорость нейтрино, часть два

2012-03-31T13:39:44Z

В сентябре мы обсуждали здесь нашумевший эксперимент, по поводу нейтрино, летящих быстрее света. На этой неделе координатор проекта OPERA, Prof. Antonio Ereditato подал в отставку (с позиции координатора, не выходя из проекта). Народ на Slashdot жалеет Ereditato. Сам Ereditato написал вот такое пространное письмо: мы только попробовали, попросили других проверить, журналисты подхватили, наука состоит из ошибок...

Да, конечно. Наука состоит из ошибок. Но в данном случае (и это очевидно было сразу) эксперимент поставлен безграмотно. Если объяснять просто для программистов (а сейчас все толковые люди -- в той или иной степени программисты), ошибка там простая и очевидная, сродни сравнению двух чисел с плавающей точкой на равенство. Это как если бы Ereditato написал бы такую программу и опубликовал бы ее как потенциально ставящую под вопрос основы математики (как же, 1 не равно 3 (1/3) !). И что ? Даже если бы он приписал все эти оговорки про то, что "мы не знаем", "наука совершает ошибки", "я опубликовал программу только чтобы ученые проверили" -- это что-то меняет ?

этот красивый магнетизм...

2012-03-13T22:11:52Z

Распределение остаточной намагниченности в плоском субмикронном квадратном элементе. Видно два взаимопроникающих фрагмента стенок с перетяжками (cross-tie domain walls).

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

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

Это я закончил статическую часть своей численной микромагнитной программы (скромное рабочее название -- yaLLGs: yet another Landau-Lifshitz-Gilbert simulator), которую, конечно, тоже выложу, когда допишу. Картинки просто тестовые, статика не является целью этой программы (тем более, что она решена аналитически ;-).

update(21.03.2012): Эволюция при циклическом изменении поля, фильм 50Mb.

update(27.03.2012): Динамика при циклическом изменении поля. Второе видео помедленнее (и с музыкой ;-), первое лучше смотреть вторым, когда рассмотрены детали. Всё-таки youtube сильно режет качество, но оригинальные анимированные GIFы невероятной красоты ;-) занимают по 300 мегабайт...

Светодиоды с КПД больше 100%

2012-03-08T23:38:31Z

Thermoelectrically Pumped Light-Emitting Diodes Operating above Unity Efficiency -- статья, которую народ сейчас активно обсуждает[1,2, и т.д.].

Мне эта история напомнила другое свежее открытие о том как мальчик вставил в дерево два провода (из разных металлов) и получил напряжение. Тут исследователи из MIT нагрели p-n переход (в котором, естественно, при этом за счет диффузии носителей создалась дополнительная разность потенциалов) и увидели, что нагретый он излучает больше. И не просто больше, а в разы больше световой энергии, чем потребленная им электрическая (энергию, использованную на нагрев светодиода они, конечно, не считают). И не просто в разы. Если энергии не подавать на светодиод вообще, то он (о боже! ;-) все равно будет светиться (т.е. КПД окажется равным бесконечности), как теоретизируют авторы (рисуя при этом радужную картину стройных рядов деревьев с проводами, мальчиками и лампочками, которые еще и планету охлаждают, помогая борьбе с глобальным потеплением) ! Вот такая вот сингулярность !

Тоже мне, термопару открыли. ;-)

о науке в Украине можно забыть ?

2012-02-21T14:53:36Z

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

Это не так. Наука на Украине финансируется избыточно. Вот например, сегодня я слушал отчет директора нашего института (порядка 400 человек сотрудников, которые избрали его сегодня на следующий пятилетний срок). За пять лет опубликовано (всем институтом !) 7 статей в Phys. Rev. Lett., порядка 17 в простом Phys. Rev., порядка 7 в Appl. Phys. Lett. ну и остальное, по мелочи, вплоть до всяких вестников и т.д., которые никто не читает. И это отнюдь не самый плохой институт на Украине, наоборот, скорее из лучших. Бюджет института я точно не знаю, но примерно составляет он несколько миллионов долларов в год. Ну пусть 3. Т.е. за 5 лет имеем 15 миллионов долларов.

Результат -- два миллиона долларов на одну статью в Phys. Rev. Lett ! Это недофинансированная наука ?

Числа Рамсея (Ramsey numbers)

2012-01-10T17:43:02Z

Как большой любитель вечеринок (и, одновременно, большой нелюбитель квантовокомпьютерной ахинеи ;-) я не мог спокойно пропустить вот эту статью из последнего PRL (ее там даже назвали новостью недели). Оказывается, ученые придумали новый алгоритм для адиабатического квантового компьютера (которого не существует, в любом более-менее строгом смысле этого слова). Еще немного, и можно будет за новости физики выдавать изыскания об особенностях использования прыжковых сверхсветовых двигателей в червоточинах пространства. :-)

Но, вернемся к нашим вечеринкам (которые, к сожалению, в связи с окончанием череды праздников, подходят к некоторому промежуточному перерыву). Как мы уже здесь обсуждали, запрограммировать квантовый компьютер легко. Это можно сдедать здесь и сейчас для широчайшего класса комбинаторных задач. В том числе, конечно, и для нахождения чисел Рамсея. Вы скажете, что у размерность решаемых таким способом на обычном компьютере задач ограничена ? Да, но размерность задач, решаемых на современных квантовых компьютерах задач ограничена еще больше. Помните, как мы решали весной при помощи нашего "квантового компьютера" нонограммы, используя тысячи q-bit ? О таком масштабе современная квантовокомпьютерная наука может только мечтать, поскольку реальных идей: как реализовать такой масштабный КК -- нет. Пока они мечтают, Вы можете легко решать комбинаторные задачи здесь и сейчас. Большие/небольшие -- понятие относительное. По крайней мере, гораздо бОльшие, чем можно решить наивным перебором, при сравнимой затрате усилий на написание программы.

Представьте себе, что Вы огранизуете вечеринку. Вы, хотите, чтоб на веченинке у Вас была компания друзей (в количестве m человек), которые все друг друга знают или группа людей (из n человек), которые друг с другом не знакомы. Сколько минимально нужно пригласить людей (даже если мы о них ничего наперед не знаем), чтоб с гарантией была либо вот такая дружная компания (наперед заданного размера, m), либо скучающие по углам незнакомки (в определенном количестве, n). Вот это число и есть число Рамсея: R(m,n). Как его вычислить ?

Принцип простой. Для N человек построим полный граф из N вершин. Полный, значит все вершины соединены со всеми. Такой граф будет иметь N*(N-1)/2 ребер. Ребрам поставим в соответствие q-bitы нашего квантового компьютера. Тем самым мы как бы говорим, что ребро в графе может как бы одновременно присутствовать (люди знакомы между собой) и отсутствовать (люди не знакомы). Тоесть мы не знаем наперед -- знакомы люди или нет. Ну, как кот у Шредингера... Дальше мы задаем вопрос -- существуют ли конфигурации графа (конкретные определенные значения q-bit), такие что утверждение Рамсея нарушается (т.е. не существует как компании размера m так и клуба незнакомцев размером n). Для маленьких графов контр-примеры будут. Но, начиная с некоторого размера N, окажется, что для любых значений q-bit (т.е. конфигурации знакомств) утверждение будет выполнено. Значит, это и будет число Рамсея.

Сложность, как Вы понимаете, заключается в том, что количество всех возможных вариантов знакомств/незнакомств растет с увеличением N экспоненциально (конкретно как 2^N(N-1)/2). Для рассмотрения (без перебора, который в данном случае провести не реально) такого количества вариантов и нужен квантовый компьютер (который мы, как и в прошлый раз, с успехом заменим построением BDD).

Сделаем мы это, как и впрошлый раз, в три счета. На счет раз вычислим все возможные выборки k элементов из множества N элементов, используя классический алгоритм из Книги. На счет два, вычислем ребра, которые остаются в исходном полном N-графе после удаления k вершин, соответствующих конкретной выборке. И, наконец, на счет три, непосредственно сформулируем утверждение Рамсея и поищем (для возрастающих N) к нему контр-примеры. Все эти программы вместе с Makefile можно скачать здесь (для компиляции потребуется библиотека BuDDy, libbdd-dev в Debian).

Последняя программа работает следующим образом (параметры m и n устанавливаются в исходном тексте).

$ ./ramsey2 
Looking for Ramsey number R(3,4)=
Considering complete 4-graph, which has 6 edges.
There are 40 not satisfying graphs
The number 4 is NOT the Ramsey number R(3,4). Continuing search.
Considering complete 5-graph, which has 10 edges.
There are 322 not satisfying graphs
The number 5 is NOT the Ramsey number R(3,4). Continuing search.
Considering complete 6-graph, which has 15 edges.
There are 2812 not satisfying graphs
The number 6 is NOT the Ramsey number R(3,4). Continuing search.
Considering complete 7-graph, which has 21 edges.
There are 13842 not satisfying graphs
The number 7 is NOT the Ramsey number R(3,4). Continuing search.
Considering complete 8-graph, which has 28 edges.
There are 17640 not satisfying graphs
The number 8 is NOT the Ramsey number R(3,4). Continuing search.
Considering complete 9-graph, which has 36 edges.
There are 0 not satisfying graphs
Eureka ! R(3,4)=9

Как видите, для данного простенького примера нам потребовалось 36 q-bit. Это не много, но это потому что m и n взяты небольшими. Вы можете взять больше. ;-)

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

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

Словарь языка J (обновление)

2011-12-26T17:09:35Z

Обновил свой перевод словаря до текущей версии. Читать можно здесь, скачать здесь. Есть и (не очень качественная) pdf версия для печати, но это на крайний случай.

Пусть это будет моим подарком к наступающим праздникам !

морские косы: иерархия

2011-10-07T16:59:02Z

В Азовском море косы образуют иерархию.

Их размер плавно увеличивается с запада на восток.

Перед тем как начать наши рассуждения, вспомним несколько простых фактов из предыдущей части: 1) рост кос описывается (в некотором приближении) уравнением диффузии [1]. 2) для формирования косы из малых неровностей береговой линии нужно два типа волн: одни, распространяющиеся параллельно берегу (они делают коэффициент диффузии отрицательным и выращивают начальные неровности), и вторые, распространяющиеся примерно перпендикулярно берегу (они выращивают косы из достаточно больших, сформированных предыдущими волнами, возмущений).

Из первого пункта следует (аналогично закону Эйнштейна для движения броуновской частицы), что размер сформировавшихся неровностей берега <x> пропорционален квадратному корню из времени, за которое они формировались. Это сразу получается из соображений размерности, и. Кроме того, Эштон и Мюррей в работе [1] проверили данное соотношение численно. Тоесть, грубо говоря, чем коса больше -- тем она старше !

Из второго следует, что для понимания процесса роста кос, нужно внимательно следить за волновым климатом (аналогично розе ветров), чем мы сейчас и займемся. Волновой климат, как известно, обусловлен двумя факторами: течением и ветром. Представим себе, что ~~конь сферический и находится в вакууме~~ море имеет вид прямоугольника и что ветер (для простоты мы будем рассматривать только 4 ветра: северный, южный, западный и восточный) не имеет предпочтительного направления.

 _______________________________________
|                                       |
|                                       |
|                                       |
|                    |                  |
|                  -- --                |
|                    |                  |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

крестик в центре картинки соответствует "розе волн" (сформировавшихся под влиянием наших четырех ветров) в центре моря. Все ветры, как мы говорили, равны по силе. Потоки песка, создаваемые волнами, аддитивны, а значит в целом влияние таких ветров на берег компенсируется. Теперь посмотрим на ситуацию у берега.

 _______________________________________
|                                       |
|                    |                  |
|                  -- --                |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

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

 _______________________________________
|   |                                   |
| --                                    |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

В углу будут отсутствовать уже два вида волн. И, как видим, на некотором расстоянии от западного берега создается ситуация, благоприятствующая формированию кос. Волны, распространяющиеся параллельно берегу, будут выращивать малые возмущения, а перпендикулярные волны сформируют косу. Так у нас начнет формироваться первая коса.

 _______________________________________
|    //                                 |
|   //                                  |
| +--                                   |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

По мере формирования этой первой косы, волновой климат за ней будет меняться. Теперь уже она будет закрывать западные волны.

 _______________________________________
|    //    |                            |
|   //   --                             |
| +--                                   |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

Ситуация сложится аналогичная предыдущей и за второй косой начнет расти вторая.

 _______________________________________
|    //     //                          |
|   //    +--                           |
| +--                                   |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

Потом третья, и т.д. Таким образом формируется иерархия все более молодых (а значит все меньших по размеру) кос.

Внимательный читатель, конечно, тут-же спросит. А что происходит с восточным берегом ? Ведь ситуация там аналогична, и должна формироваться такая-же иерархия, но только в другом направлении.

 _______________________________________
|    //     //                   \\     |
|   //    +--                     --+   |
| +--                                   |
|                                       |
|                                       |
|                                       |
|                                       |
|                                       |
|                                море   |
|_______________________________________|

А так, собственно и происходит ! Только нужно учесть, что на востоке в мелкое Азовское море впадает большая река Дон. Тоесть кроме ветра, на волновой климат будет влиять и течение.

_______________________________________
|                                  |    |
|                                   -   |
|                                     <-|
|                                       |
|                                     <-| река
|                                       |
|                                     <-|
|                                       |
|                                море   |
|_______________________________________|

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

Вот такое вот объяснение "на пальцах"... Придумал я его по пути на проведенный мной несколько недель назад семинар по косам, изложил на доске и стёр. Теперь пусть это объяснение будет здесь.

[1] Ashton, A. D., and A. B. Murray (2006a), High-angle wave instability and emergent shoreline shapes: 1. Modeling of sand waves, flying spits, and capes, J. Geophys. Res., 111, F04011, doi:10.1029/2005JF000422.

очевидно в физике, невероятно в математике

2011-09-25T17:55:01Z

Вот первая функция одной переменной, определенная в виде двойного интеграла:
.
Вот вторая функция одной переменной, определенная в виде одинарного интеграла:
,
где K и E полные эллиптические интегралы первого и второго рода, соответственно.

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

скорость нейтрино

2011-09-23T17:43:05Z

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

Так и с нейтрино. Не понятно еще -- есть ли у нейтрино масса. Собственно, их скорость ради того и меряли. Если массы нет, то скорость нейтрино должна быть в точности равна скорости света. Что, как и у изобретателей нагревателей, в эксперименте получить никак невозможно -- всегда получится либо больше, либо меньше.

Так что я бы интерпретировал полученные результаты как свидетельствующие (с соответствующей точностью), что массы у нейтрино нет.

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

Россия

2011-09-11T17:49:36Z

Болел тут. Так, ерунда, но несколько дней пришлось оставаться дома. Смотрел телевизор... Интересно...

Бжезинский. Ездит, выступает. Человек, которому посчастливилось увидеть реализацию своих очень далеко идущих планов. Помните, как он писал в своей книге 1997-го (а "советовал", очевидно, гораздо раньше): "Without Ukraine, Russia ceases to be a Eurasian empire. Russia without Ukraine can still strive for imperial status, but it would then become a predominantly Asian imperial state" ?

Да, именно Украина была тем якорем,который держал в Россию в Европе. А что Азия ? Азия -- это клановость, кастовость, слоеное аристократическое общество. Да, приписанные к элитам, будут гарварды кончать и в Сколково умно морщить лбы за зарплату, приближенную (и немного, может быть даже, превосходящую) европейскую. А для остальных будет "православная церковь", передачи на полном серьезе по телевизору об "изгнании бесов" и прочее мракобесие. Элиты через парадную, холопы -- через черный ход. Элитам главную взлетную полосу, а остальных по короткой до озера. Гипер-урбанизация (вокруг элит), эксплуатация и запустение провинций. Бжезинский прав, Россия, при всем, натёртом нефтедолларами, остаточном европейском блеске, скатывается в азиатчину.

И первое, что нужно понять (и что многим, идущим радостным маршем, не очевидно) -- это не прогресс, а регресс. Азиатские страны, если присмотреться, тем успешнее, чем раньше и быстрее, они стали двигаться в направлении европейского вектора (американский -- это тоже в данном контексте европейский), переходить к демократии, строить правовое государство, перенимать способы организации экономики, науку и культуру. Россия-же, при том, что она все еще ближе них к Европе, с ускорением движется в обратном направлении, как и хотел Бжезинский. А Бжезинский всегда был врагом России. Хорошего бы он не пожелал.

откуда в море берутся косы ?

2011-08-24T15:53:04Z

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

Такая форма просто обязана описываться какими-то дифференциальными уравнениями. Интересно было поискать эти уравнения. Да и вообще, вырастить на компьютере косу, находясь на косе, забавно своей рекурсией само по себе. ;-)

Итак, начнем. Конечно, первым делом нужно обратиться к мировой литературе. Несмотря на то, что коса -- редкое явление (не редкое оно только в Азовском море), науке о косах известно довольно много. Корифеями сегодняшнего дня в этом вопросе, насколько я понял из литературы, являются Эштон и Мюррей, обзор [1] представляет собой отличное введение в моделирование береговой линии, его мы и используем в качестве отправной точки.

Ключевым упрощением при нашем рассмотрении будет допущение, что береговая линия представляет собой именно линию, эволюцию формы которой мы и попытаемся определить. Берег, будем считать, состоит из песка, который, под влиянием внешней силы (прежде всего волн), может вдоль берега двигаться. Эштон и Мюррей [1] в своем иллюстративном рассмотрении (на пути к конечноэлементной численной модели) описывают форму береговой линии в виде функции y(x), где x -- координата вдоль береговой линии, а y -- координата, перпендикулярная ей. К сожалению, такая постановка задачи заведомо исключает возможность получения кос, при формировании которых зависимость y(x) становится многозначной. Поэтому, оставаясь на уровне дифференциальных уравнений, в отличие от [1] мы зададим форму береговой линии параметрически при помощи пары функций: x(p,t) и y(p,t), где p -- параметр, пробегающий, вообще говоря, значения от минус до плюс бесконечности, а t -- время. Наша задача теперь, найти уравнения для этих функций.

Эти уравнения легко получить из закона сохранения песка.

,

где нижний индекс обозначает частную производную по соответствующей переменной, знаменатель с квадратами позволяет нам пользоваться произвольной параметризацией (не только естественной) при взятии производных, а функция Q(p) обозначает, обусловленный внешней силой, ток песка вдоль берега в точке, соответствующей некоторому значению параметра p. Эта (нелинейная) система уравнений в частных производных для функций x(p,t) и y(p,t) выражает всего-лишь закон сохранения песка. Грубо говоря, если в данную точку вошло не столько песка, сколько вышло (Q'[p]≠0), то ровно на столько береговая линия сдвинется в перпендикулярном ей направлении (по нормали). Если песка вошло больше, берег будет наступать, меньше -- отступать. Причем так, что общее количество песка сохраняется (правда мы опустили безразмерный множитель в уравнении, содержащий, в том числе, глубину моря, прилегающего к данной точке береговой линии, этот множитель просто перемасштабирует время/координату). Данная система соответствует уравнению (2) в работе [1], написанному для более простой параметризации. Зато мы можем рассматривать косы !

Вся соль тут, конечно, в том, как задать функцию Q(p). Вообще говоря, можно представить себе, множество различных внешних сил, перемещающих песок. Но главная -- это, конечно, волны. Влияние волн на песок довольно хорошо изучено, оно зависит от угла (между направлением фронта волн φ и касательной к береговой линии θ в данной точке). Из самых общих соображений, эта зависимость имеет угловой множитель вида sin(φ - θ) cos(φ - θ). Эштон и Мюррей (не только в [1], но и в целой серии работ) приписывают туда еще множитель cos^1/5(φ - θ), что, как я понимаю, и есть их основной новый вклад в эту науку. Мы тоже будем использовать этот множитель, хотя, во-первых, косы получаются и без него (хоть угловая зависимость Q и не такая гладкая, это мало что меняет), а во-вторых позавчера я лично видел волны, падающие на берег под углом порядка 45°. Таким образом, в нашем случае, поток песка имеет вид

где φ -- константа, задающая направление волн, а

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

Вначале давайте посмотрим на случай, когда косы не растут. Зададим волны, практически в лоб наступающие на плоский берег. Берег зададим начальными условиями x(p,0)=p, y(p,0)=Exp[-p^2/2]/7. Волны пустим так, что их фронт будет под углом Pi/8 к берегу. Как видим, малые неровности береговой линии волны просто сглаживают (см. фильм).

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

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

Что интересно об этой задаче ? Во-первых, в ней не бывает глобально стационарных решений (кроме тривиального, когда есть один вид волн и береговая линия -- прямая, параллельная их фронту). Береговая линия движется, стремясь достичь однородности текущего вдоль нее тока песка (показан в фильмах цветом линии в порядке спектра, от синего, когда ток отрицательный, до красного, когда он положительный). Если пересмотрите фильмы, то увидите, что цветовая гамма эволюционирует от разноцветия до некоторого однородного тона вдоль длинных сегментов линии. Конечно, уравнения "не знают" -- как лучше. Просто, если ток вдоль береговой линии меняется, Q'[p]≠0, береговая линия будет двигаться. И двигаться будет до тех пор, тавтологически, пока Q'[p]≠0. Интересно, что такое запрограммированное "бегство от" достаточно, чтобы система сама нашла некоторое расположение бероговой линии, дающее, при данной конфигурации волн, более-менее однородный ток вдоль всего берега. Конечно, если волны приходят более чем из одного направления -- найти глобально-стационарную конфигурацию невозможно. Потому береговая линия всегда в движении. Даже если это движение незначительно, вдоль берега всегда идет какой-то, могущий быть довольно значительным (это потому, что система, как правило, находит не просто конфигурацию с постоянным током песка, но конфигурацию, когда ток песка максимален для данного направления фронта волн, т.е. направления берега под углом ±45° к фронту являются предпочтительными), ток песка, необходимый для поддержания текущей квази-равновесной конфигурации.

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

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

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

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

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

[1] Ashton, A. D., and A. B. Murray (2006a), High-angle wave instability and emergent shoreline shapes: 1. Modeling of sand waves, flying spits, and capes, J. Geophys. Res., 111, F04011, doi:10.1029/2005JF000422.

финансовый Гольфстрим

2011-07-31T10:27:59Z

Мировая экономика, вообще-то, очень сложная система, со множеством разнонаправленных финансовых потоков. Но не всегда. Иногда она может сильно упроститься. Вот, например, в последний десяток лет экспоненциально рос (и уже давно доминирует) один финансовый поток, который я называю "финансовый Голфстрим", потому что он тоже слегка омывает Европу (хоть это в нем и не главное). Источником его является "печатный станок" в С.Ш.А., конечной точкой -- хранилища национального банка Китая (с небольшими ответвлениями в НБ Японии и ряда других развитых азиатских стран). С.Ш.А. печатают доллары, азиатские страны аккуратно складывают их в свои хранилища^*. Обратно идет поток товаров и услуг.

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

Такой вот финансовый гольфстрим. ;-)

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

революция неверных (infidel revolution)

2011-07-24T09:52:21Z

Андерс Брейвик убил около ста человек в Норвегии. Почему ? Свои ответы он изложил в манифесте из 1518 страниц, есть и его краткий авторский видеоконспект (заметьте, что уже несколько вариантов этого видео на YouTube были стерты, возможно скоро сотрут и это).

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

Похоже снова, во времена кризиса, Европа выберет правый популизм (антагонистичный левому). Этот ненавистный левый популизм Брейвик обозначает словами "культурный марксизм". Термин не очень понятный. Мне кажется, он имеет в виду то, что я назвал бы "совком". ЕС, действительно, в последние десятки лет все больше и больше напоминает совок образца начала его конца. Это и делает правый популизм таким заразным.

Bradley Manning

2011-07-15T15:12:00Z

Помните героя, снабдившего Джулиана Асанжа секретными материалами американской разведки ? (мы это здесь тоже обсуждали) Позавчера были опубликованы полные логи его общения с Adrian Lamo из Wired. Это стоит прочесть ! Что творилось в голове у Маннинга ? Какими соображениями он руководствовался ?

(12:52:33 PM) bradass87: Hilary Clinton, and several thousand diplomats around the world are going to have a heart attack when they wake up one morning, and finds an entire repository of classified foreign policy is available, in searchable format to the public… =L

(12:53:41 PM) bradass87: s/Hilary/Hillary

(12:54:47 PM) info@adrianlamo.com: What sort of content?

(12:56:36 PM) info@adrianlamo.com: brb cigarette

(12:56:43 PM) info@adrianlamo.com: keep typing <3

(12:59:41 PM) bradass87: uhm… crazy, almost criminal political backdealings… the non-PR-versions of world events and crises… uhm… all kinds of stuff like everything from the buildup to the Iraq War during Powell, to what the actual content of “aid packages” is: for instance, PR that the US is sending aid to pakistan includes funding for water/food/clothing… that much is true, it includes that, but the other 85% of it is for F-16 fighters and munitions to aid in the Afghanistan effort, so the US can call in Pakistanis to do aerial bombing instead of americans potentially killing civilians and creating a PR crisis

(1:00:57 PM) bradass87: theres so much… it affects everybody on earth… everywhere there’s a US post… there’s a diplomatic scandal that will be revealed… Iceland, the Vatican, Spain, Brazil, Madascar, if its a country, and its recognized by the US as a country, its got dirt on it

(1:01:27 PM) bradass87: i need one myself

(1:10:38 PM) bradass87: its open diplomacy… world-wide anarchy in CSV format… its Climategate with a global scope, and breathtaking depth… its beautiful, and horrifying…

(1:10:38 PM) info@adrianlamo.com : I have more messages than resources allocatable to action them. Please be very patient.

(1:11:54 PM) bradass87: and… its important that it gets out… i feel, for some bizarre reason

(1:12:02 PM) bradass87: it might actually change something

(1:13:10 PM) bradass87: i just… dont wish to be a part of it… at least not now… im not ready… i wouldn’t mind going to prison for the rest of my life, or being executed so much, if it wasn’t for the possibility of having pictures of me… plastered all over the world press… as boy…

(1:14:11 PM) bradass87: i’ve totally lost my mind… i make no sense… the CPU is not made for this motherboard…

(1:14:42 PM) bradass87: s/as boy/as a boy

(1:30:32 PM) bradass87: >sigh<

(1:31:40 PM) bradass87: i just wanted enough time to figure myself out… to be myself… and be running around all the time, trying to meet someone else’s expectations

(1:32:01 PM) bradass87: *and not be

(1:33:03 PM) bradass87: im just kind of drifting now…

Вон как ему мозг то порвало ! Особенно (1:13:10 PM). В общем, парнишка оказался п@$%#%&ом в прямом и в переносном смысле этого слова. ;-) И это еще далеко не всё.

J.P. Morgan говорил: "A man always has two reasons for doing anything: a good reason and the real reason." Эти логи полностью раскрывают обе причины.

под знаком холеры :-)

2011-06-10T14:51:00Z

Как можно было понять из заглавия, я уже несколько дней отдыхаю на дальней косе в Бердянске. Собираюсь, продолжать в том же духе еще недельки три в этот заход.

Хорошо здесь !

Пивоваров

2011-05-18T15:50:28Z

Послушал по этой наводке лекцию Ю. Пивоварова. Жалко потраченного времени.

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

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

Ну и другая проблема -- это, конечно, дороги... ;-)

социализм таки неэффективен, но силен...

2011-05-12T15:57:57Z

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

Это я после того как с третьей попытки таки пропихнул изначально трехстрочный патч в wine. История такая: мой первый patch, соответствующий commit, мой второй патч, rejected (потому что "ugly" ;-), мой третий patch, окончательный commit. И на каждой итерации этих несчастных трех строчек мне приходилось полностью перекомпилировать wine, чтоб сгенерировать deb-ы. Ставить их на машине знакомого, который, собственно, и пользуется КОМПАС, чтобы проверить.

В любом случае, у пользователей САПР КОМПАС 3D сегодня праздник. ;-)

нонограммы II

2011-05-03T21:38:43Z

О нонограммах мы говорили здесь почти 6 лет назад. Но, раз в нашем распоряжении теперь квантовый компьютер, здесь и сейчас ;-), то самое время к ним вернуться.

С тех пор по нонограммам появилось множество хороших ресурсов. Мне, например, больше всего понравился этот, но в Google можно найти и еще. Jan Wolter, в прошлом профессор Computer Science at Texas A&M University^*, написал свой замечательный обзор различных автоматических решалок нонограмм. На этом поле моя старая программа на J может соревноваться разве что в лаконичности кода. Но теперь то, раз у нас "здесь и сейчас" квантовый компьютер -- возможно очень многое. Например, мы можем в два... Нет, в три счета, написать простую бесхитростную решалку нонограмм. Вычислив, на счет раз, композиции целого числа; на счет два, соответствующие этим композициям все возможные варианты столбцов/строк нонограммы; и, на счет три, просто перемножив логически bdd, соответствующие логическим суммам вариантов каждого столбца/строки (или, как это еще называется -- коньюктивную нормальную форму) при том, что все квадратики на поле мы зададим q-битами (тоесть переменными bdd), которые принимают как бы сразу оба значения и "истина" и "ложь". Результирующая bdd будет содержать все решения нонограммы (см. последнюю программу).

Эта программа оказывается вполне конкурентоспособной. Например, на известном, сложном для всех остальных решалок примере n-Dom, который обсуждается Wolter-ом в отдельной статье она ведет себя лучше всех других:где ей соответствует синяя кривая "bdd" (после поправки, рассчитанной по разнице SpecINT между процессорами AMD X4 810 и моим Intel Q9300), а все остальные точки взяты из цитированной выше статье Wolter-а.

Все эти мои файлы (вместе с Makefile) можно скачать также и одним архивом, который в добавок содержит программу nonogrambdd5.cpp для решения n-Dom различных размеров, использованную для построения графика выше; и программу nonogrambdd5.cpp, иллюстрирующую сложный (но не невозможный) для данной решалки случай, который наверняка можно улучшить добавив немного эвристики.

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

^*Jan Wolter знаменит, кроме всего прочего, еще и цитатой: "It's important to remember that just because there are crooks, zealots and morons supporting a position, it does not automatically follow that the position is wrong." ;-)

Отклонение лучей света массивными объектами

2011-04-19T16:43:58Z

Это из серии: если нельзя, но очень хочется... то можно. История давняя.

Все говорят: "теория относительности, гравитационное линзирование". Но гораздо меньше людей знают, что тот-же вопрос можно рассмотреть и классически.

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

Классически этот вопрос рассмотрел Иоганн Георг фон Зольднер в 1804 году (см. "историческое введение" здесь). Его рассмотрение очень простое, мы его здесь повторим (см. также этот препринт). Предположим, что свет -- корпускулы, обладающие сколь угодно малой массой покоя m. Зная заранее, что отклонение мало́, будем пользоваться теорией возмущений в первом порядке и рассчитаем полное изменение импульса частицы света в перпендикулярном ее движению направлении. Это изменение равно

где G=6.67·10^-11 м³/(кг с²) -- гравитационная постоянная, M = 1.99·10³⁰ кг -- масса Солнца, r≡R=6.96·10⁸ м -- радиус Солнца (считаем, что траектория в нулевом приближении касается Солнца, что соответствует максимальному отклонению), с=2.988·10⁸ м/с -- скорость света. Во втором интеграле первый множитель -- простой классический гравитационный закон Ньютона, второй множитель -- косинус угла между силой гравитационного притяжения корпускулы к Солнцу и осью Y (на рис). Соответственно, за все время движения частица поворачивается на угол, синус которого (или тангенс, кому как нравится ;-) равен Δp_Y/p. Это и есть искомый угол отклонения:
заметьте, что этот угол не зависит от массы корпускулы света.

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

отличающееся от вышеприведенного классического ровно в два раза (множитель 4 вместо 2).

update(21.04.2011): Убрал неверное сравнение отклонения в релятивистском и классическом случае. Спасибо gegmopo4 за найденную ошибку и настойчивость ! ;-)

Квантовые вычисления. Здесь и сейчас.

2011-04-15T17:10:58Z

На прошлой неделе смотрел Q&A сессию Дональда Кнута на Google Tech Talks. Там он, в ответе на один из вопросов, с восторгом упомянул о zero-suppressed decision diagram(ZDD). Тогда я о них еще не знал. Разбираясь с ZDD, я, естественно, разобрался и с BDD (Binary Decision Diagrams) и понял восторг Кнута.

Более того, похоже мы с ним шли к BDD похожим путем. Когда-то давным-давно (больше 10-ти лет назад) я столкнулся с задачей, стоявшей перед одним из моих коллег. А именно, задачей расчета энергетического спектра модели Изинга в присутствии внешнего магнитного поля. Зная спектр, можно потом тривиально рассчитать статистическую сумму, а значит все равновесные термодинамические свойства этой системы. Расчет спектра модели Изинга -- комбинаторная задача, причем, относящаяся к классу NP-полных. Тогда (десять лет назад) мне удалось ее довольно эффективно решить и рассчитать спектры двумерных изинговских систем, содержащих до 100 спинов (а значит 2^100 различных состояний). Столкнувшись с подобной по сложности комбинаторной задачей о покрытиях, примерно в то же время, Дональд Кнут сформулировал свой алгоритм Х (идейно, очень близкий к тому, что я независимо делал для модели Изинга). После этого Кнут (как и я) открыл для себя BDD. И понял, что это есть некий общий метод, который давно уже существовал в инженерии (его автор Randal E. Bryant), обобщающий, в том числе, и алгоритм X (и мой алгоритм для решения модели Изинга). О своем восторге от этого открытия Кнут неоднократно рассказывал в видео лекциях, мой восторг был не меньше.

На выходных я написал программу, вычисляющую BDD для состояний модели Изинга (на печать там выводится только спектр, но вычисленные BDD позволяют вытащить гораздо больше информации о состояниях). На моем компьютере (8Gb RAM) программа справляется с решетками до 8x8=64 спинов (с 2^64 состояний). Это уже само по себе удивительно, если представить себе -- сколько это 2^64 ! Тем более, если учесть, что BDD (и конкретно библиотека BuDDy) не специализированы и позволяют решать широчайший класс комбинаторных задач (ну, если не "решить", то хотя-бы "поставить" ;-). Однако, мой "алгоритм X", десять лет назад, справлялся с решетками вплоть до 10x10=100 спинов (вот, например, спектр такой треугольной решетки, вычисленный тогда). Для BDD на моем компьютере 8x8 пока предел. Но если у кого завалялся комп с 16-ю гигами, ;-) могу предложить запустить эту мою программу (думаю, что там нужно будет в несколько раз увеличить кэш и немного увеличить размер массива для узлов BDD, наверное что-то вроде bdd_init(300000000,30000000); или больше, ну и, конечно, nx=9 и ny=9). Интересно, до какого размера получится реально дойти ? ;-) Как будет при этом масштабироваться затраченные на расчет время и память ? По времени всё не так плохо, решетка 8x8 на моем Core Quad 2.5Ghz считается часа 4.5.

При чем тут квантовые компьютеры, спросите Вы ? Назовите переменные в BDD q-битами и считайте, что они принимают _одновременно_ значения и "0", и "1". Библиотека BuDDy (и другие реализации BDD) позволяют определять булевские функции, содержащие как биты, так и некоторое количество q-бит. После того как такая функция (BDD) определена, относительно неё можно формулировать множество нетривиальных запросов (например: принимает ли она значение "1" для каких либо чистых значений q-bit, если да -- то для каких). И, хотя адиабатический квантовый компьютер фирмы D-Wave с 64-ю q-битами только в планах, все состояния решаемой им модели Изинга с 64-ю спинами можно полностью классифицировать на моем компьютере уже сегодня (ну, или 10 лет назад ;-).

В любом случае, если даже квантовые компьютеры будут сделаны, интерфейс для работы с ними, я считаю, должен быть именно таким (как в библиотеке BuDDy). Так что задачи можно ставить уже сейчас. Это просто.

update (28.05.2011): D-wave "продает" свой первый 128-qбитный квантовый компьютер. Это, конечно, чистый пиар-ход (не понятно, правда, зачем... может готовят акции к продаже). В любом случае, если у Вас есть задачи для квантового компьютера -- Вы знаете к кому обращаться. Сделаю за полцены ! ;-))

Карта науки

2011-03-21T00:50:37Z

Карта физики. Объяснение.

Обратите внимание на значение цвета и ужаснитесь.

Аватар 2.0

2011-03-13T23:31:53Z

Применение самообучаемых байесовских экспертных систем в области машинного перевода привело к статистической (и стохастической) революции (благодаря которой, в частности, появился сайт http://translate.google.com/). Современное определение искусственного интеллекта дается в терминах взаимодействия агента и среды, которые по-сути говорят об одном и том-же (будущем, которое и для среды и для агента общее), но на своих языках (среда общается с агентом языком сенсоров, агент соответствующим образом отвечает языком приказов своим исполнительным устройствам). Аватар 2.0, это еще один агент, который, пассивно наблюдая за этой беседой, строит свою модель поведения основного агента в контексте среды. При достаточной формализации взаимодействия агента (человека) и среды (например, таком как в компьютерных играх-песочницах типа DF или X), это не должно быть намного сложнее машинного перевода (что позволило бы превратить песочницы в MMO(ffline)RPG, с возможностью offline дообучения на примере отдельных сложных для предыдущей версии агента, т.е. "интересных" ситуаций). Могут быть и вполне серьезные применения.

Интересно, кто-нибудь думал уже в этом направлении ?

update (27.03.2011): Как говорилось в обсуждении, решение одной задачи AI, тянет за собой другие. Вот, свежий пример, распознаватель поз Kinect (популярно, детально). И над всем этим витает дух того самого известного пресвитерианского священника. ;-)

update (16.06.2011) А вот и исследователи из Университета Северной Каролины пришли к той-же идее. Судя по PR, ничего кроме идеи они пока и не опубликовали (корреляция между достижениями -- это только повод высказаться).

революции в северной Африке

2011-01-29T13:05:57Z

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

Так что, в терминах сказанного ранее, в северной Африке мы сейчас и наблюдаем как раз тот самый "выход на полку" online.

наука и искусство

2011-01-24T14:34:22Z

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

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

Galaxy PBW RE

2011-01-18T18:57:19Z

Еще в конце прошлого года (не знаю по какому поводу) решил глянуть современные космические стратегии. Да, есть множество интересных идей, красивая графика, но все равно, мне не попалось ничего, что я мог бы поставить однозначно выше старой доброй Galaxy. Наиболее перспективной мне показалась игра Star Ruler, но и в ней создатели допустили ряд фундаментальных, с моей точки зрения, просчетов:

реальное время: Игра в реальном времени требует постоянного внимания. Игрок находится в состоянии прессинга: подумать или быстро походить. Стратегия, полученная в результате такой игры не вызывает эстетического наслаждения. Многие вещи, как потом оказывается, можно было сделать лучше "если бы было время".
трехмерная карта: Да, мы живем в трехмерном мире. Ну и что ? Разве его учет стоит той сложности ? Нет, не в визуализации. Благодаря OpenGL и Direct 3D отрисовать трехмерную карту не составляет никакого труда. Сложности в восприятии и анализе информации, представленной в трех измерениях. Постоянно приходится вертеть изображение, что-то постоянно закрывает что-то другое... Мне кажется, эта сложность излишняя. Но особенно парадоксально поступили в игре Star Ruler, где сделали карту в форме спиральной (практически плоской) галактики, конечной толшины (т.е. с примерно равномерным распределением звезд в трехмерном блине). Это, я бы сказал, worst of both worlds.
дерево технологий: Впервые придуманное для игры "Цивилизация" (Francis Tresham), популяризованное в одноименной игре от Сида Мейера, и доведенное дальнейшим развитием до абсурда. Концепция дерева технологий просто засоряет мозг. Зачем все это помнить ? Разве стратегия -- это соревнование на лучшую память ? В Star Ruler умело исключили это последнее сомнение, рандомизировав дерево и сделав, тем самым, его запоминание бессмысленным. Но, тем более, зачем тогда забивать бессмыслицей мозг ? Фотонные генераторы, протонные торпеды, трилитиум... Это-ж сколько нужно было курить ? ;-)

Посмотрел я на это все еще в конце прошлого года. И, как я уже сказал, не нашел ничего, что по своему сочетанию глубины и простоты могло бы соперничать с Galaxy. Возможно я ошибаюсь. Если знаете -- shoot ! ;-)

Но я таки, не нашел и сделал выводы. Один из них тот, что Galaxy PBW неплохо бы оживить. Конечно, нельзя просто так взять и запустить старый сайт. Время ушло вперед и старые технологии выглядели бы сегодня коряво (я проверял ;-). Кроме того, Ява так и не прижилась в браузерах и апплеты вызывают, скорее, отторжение у пользователей. Это уже не модно. Понятно, что если делать такую игру сегодня -- писать клиент нужно с использованием технологии AJAX, чтоб работало в любом простом веб-браузере без дополнительной установки чего либо. В связи с этим начал я еще в прошлом году присматриваться к JavaScript, HTML5, Canvas... Даже начал было писать простенькую рыбу... Но, оценив трудозатраты, понял, что задача для одного человека на год, как минимум (это чтоб хотя-бы просто переписать на JavaScript, не говоря уже об отладке в разных браузерах, что, наверное, делает портирование такой сложной программы как Galaxy практически неподъемной задачей).

А потом я открыл для себя GWT, который умеет компилировать Яву в JavaScript для всех поддерживаемых браузеров отдельно. Написав, уже в этом году, за несколько дней рыбу клиента (пока без декораций, но уже со всеми основными функциональными элементами; проверено пока только в Firefox) я понял, что портирование Galaxy PBW под GWT -- не такая уж и неподъемная задача. Причем основную массу кода, учитывающего множество тонких ньюансов, отлаженного на протяжении почти десяти лет, удалось бы сохранить (а если и изменить, то только ради совершенствования, а не под прессингом перехода на новую платформу).

Теперь вопрос к публике. Стоит ли оно того ? Или браузерные клеточные игрушки, вызывающие по принципу тамагочи у человека приступы многочасового бессмысленного гриндинга и есть вершина пирамиды современных онлайн компьютерных игр ? ;-)