Обратимые вычисления

Разбирая завал на столе, нашел распечатку статьи Conservative Logic. Совершенно не помню, когда ее распечатал "на потом". Начал читать, стало интересно. Основная мысль -- создание схемотехники, "работающей" не по традиционной логической схеме (в дискретной математике это называется СФЭ -- схема функциональных элементов), а по совсем другой, основное свойство которой сохранение (отсюда conservative) энергии, которая в традиционных системах совершенно расточительно рассеивается. Необходимым образом в таких схемах вытекает обратимость вычислительных и логических процессов. Статья старая, 1982г. Погуглил, нашелся вольный перевод этой статьи год назад на Хабре, веб-сайт критиков консервативной партии США и... почти все. Меня это очень озадачило, так как тема казалась важной. Я предположил, что само название "Консервативная логика" скорее всего не прижилось, и оказался прав. В современном мире это направление называется обратимыми вычислениями, а соответствующая схемотехника -- адибатической логикой.

На самом деле тут проблема очень глубокая и принципиальная, уходящая в самые основы современного понимания устройства мира. Из связи термодинамической и информационной энтропии следует, что любые манипуляции с информацией приводят к рассеиванию энергии. Есть даже теоретическая оценка минимума энергии, которая равна E ≥ kT ln2 на один бит. Это было известно все довольно давно, уже лет 50, но только сейчас, когда вычислительные мощности впечатляюще выросли, начинает по-настоящему припекать. Так, 100-петафлопсные суперкомьютеры (кажется, такие уже есть), излучают только "теоретического" тепла порядка 1 мегаватт, а практически гораздо больше. А это уже сегодняшний день. Завтра суперкомьютеры могут быть в 10-100-1000 раз мощнее, и соответственно вырастет количество теряемой энергии. Обратимые вычисления тут решают теоретически сразу две вещи. Во-первых, энергия не рассеивается, а используется. Как именно это может быть достигнуто, можно прочитать в вышеупомянутой статье. А во-вторых, появляется возможность "делать" схемы еще более "мелкими". Сейчас мешает термодинамический шум.

В настоящее время исследования в этой области проводятся в MIT и University of Florida. Уже есть прототипы чипов на адиабатической логике, а список текущих проектов показывает, что разрабатывается все, от физики, до системы программирования и теории сложности.

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

Медиа-война в Сирии

Отчет миссии Лиги Арабских Государств, недавно работавшей в Сирии, по результатом которого его председатель был вынужден подать в отставку, а сам отчет не был опубликован. Отчет опровергает официальную версию СМИ о жестокости сирийского режима, и перекладывает большую часть вины за эксалацию насилия на боевиков оппозиции.

Английский перевод с арабского
Русский перевод via putnik1

Некоторые выдержки:

26. In Homs and Dera‘a, the Mission observed armed groups committing acts of violence against Government forces, resulting in death and injury among their ranks. In certain situations, Government forces responded to attacks against their personnel with force. The observers noted that some of the armed groups were using flares and armour-piercing projectiles.
27. In Homs, Idlib and Hama, the Observer Mission witnessed acts of violence being committed against Government forces and civilians that resulted in several deaths and injuries. Examples of those acts include the bombing of a civilian bus, killing eight persons and injuring others, including women and children, and the bombing of a train carrying diesel oil. In another incident in Homs, a police bus was blown up, killing two police officers. A fuel pipeline and some small bridges were also bombed.
28. The Mission noted that many parties falsely reported that explosions or violence had occurred in several locations. When the observers went to those locations, they found that those reports were unfounded.
29. The Mission also noted that, according to its teams in the field, the media exaggerated the nature of the incidents and the number of persons killed in incidents and protests in certain towns.

68. Since it began its work, the Mission has been the target of a vicious media campaign. Some media outlets have published unfounded statements, which they attributed to the Head of the Mission. They have also grossly exaggerated events, thereby distorting the truth.
69. Such contrived reports have helped to increase tensions among the Syrian people and undermined the observers’ work. Some media organizations were exploited in order to defame the Mission and its Head and cause the Mission to fail.

75. Recently, there have been incidents that could widen the gap and increase bitterness between the parties. These incidents can have grave consequences and lead to the loss of life and property. Such incidents include the bombing of buildings, trains carrying fuel, vehicles carrying diesel oil and explosions targeting the police, members of the media and fuel pipelines. Some of those attacks have been carried out by the Free Syrian Army and some by other armed opposition groups.

78. Arab and foreign audiences of certain media organizations have questioned the Mission’s credibility because those organizations use the media to distort the facts. It will be difficult to overcome this problem unless there is political and media support for the Mission and its mandate. It is only natural that some negative incidents should occur as it conducts its activities because such incidents occur as a matter of course in similar missions.

И на закуску, отрывок из статьи в Гардиан.

The reality, of course, is that for all countries attending, national interests (or what they perceive as their national interests) come first and the Syrian people second. In some cases a distant second, even among the "brotherly" Arabs.

Я специально выделил это "of course", чтобы подчеркнуть, что для правящего эстеблишмента, а Гардиан -- газета для серьезных людей, истинные мотивы давления на Сирию очевидны, и они ничего общего не имеют со "страданиями сирийского народа". Последние придуманы и специально раздуваются для широкой мировой общественности, чтобы оправдать, морально и этически с точки зрения обывателя, давление и возможную интервенцию в Сирию. Ведь, как сказал один мой френд, "У человека на Западе есть еще этика. Там, где есть обратная связь с избирателем — в американской политике, например — дела контролируются этой моралью". С задачей морального оправдания западной политики СМИ справляются на 5+.