dxdt.blog: занимательный интернет-журнал

Или вот, например:

Отсюда: http://www.sibpatent.ru/default.asp?khid=55103&code=274115&sort=2

Область применения: Вычислительная математика

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

[…]

Для этого занумерованную клавишу 4 нажимают 2 раза. Набирают на клавиатуре калькулятора число 100. Нажимают занумерованную клавишу 1 три раза (нажимать надо не быстро, а с некоторым временным интервалом). Нажимают клавишу 2 один раз. Вновь набирают число 100.

По наводке Sklyarevskiy, цитирую отсюда:

Манифест недовольных

[…]

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

Тезисы

Каждый бит процессора должен быть троичным – трит. Процессор должен иметь аппаратную реализацию всех логических функций троичной системы исчисления двух переменных. Процессор должен поддерживать операции с 8 компонентными гиперкомплексными числами. Процессор должен быть матричным, чтение/запись в регистры, как по строкам, так и по столбцам. Абсолютно все функции процессора должны быть задокументированы и опубликованы.

[…]

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

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

[…]

Полный текст этого редкостного образчика рениксы там: http://karataev.nm.ru/procmanif.html

Кто там собирался лететь на Марс? Интерактивная карта уже есть, оказывается: http://www.google.com/mars/

Интересно, почему альтернативщики из течения “Эйнштейн всех обманул” избрали именно это течение. Несмотря на то, что в их случае, всех “обманул” Пуанкаре. Может, Пуанкаре обманул даже Эйнштейна.

(обсуждение)

Между прочим, через пару дней Mars Reconnaissance Orbiter (MRO) должен встать на марсианскую орбиту. На борту MRO, с целью фотографирования поверхности Марса, здоровенная камера HiRISE, каких раньше к другим планетам не отправляли:

(Длина камеры – около полутора метров)

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

Вот, теперь и SpaceX планируют пилотируемый орбитальный кораблик:

это грузовик

На этой схеме, иллюстрирующей “сверхзвуковые хлопки”, самолет, строго говоря, у меня получился дозвуковой. Забавно. Интересно, кто-нибудь заметит?

Вообще, очень распространенное заблуждение, с “преодолением звукового барьера”. В “Детских вопросах” на “Элементах” спрашивают: Почему преодоление самолетом звукового барьера сопровождается взрывоподобным хлопком? И что, собственно, такое ?звуковой барьер??

Решил ответить:

С “хлопком” происходит недоразумение, вызванное неверным пониманием термина “звуковой барьер”. Этот “хлопок” правильно называется “звуковой удар“.

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

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

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

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

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

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

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

Интересно, что пилот современного сверхзвукового самолета хорошо чувствует “преодоление” своим летательным аппаратом звукового барьера: при переходе на сверхзвуковое обтекание ощущается “аэродинамический удар” и характерные “скачки” в управляемости. Вот только с “хлопками” на земле эти процессы напрямую не связаны.

Теперь думаю, написать ли про инопланетян, вот на такой простой вопрос:

73. Существуют ли инопланетяне?

На “Деканате”: Наше агентство научных новостей регулярно обращается к важной теме безопасности научных исследований. Опасные эксперименты – это животрепещущая тема реальности лабораторных будней. Отвага пытливых умов, проникающих в сокрытые глубины устройства Природы, велика, и уберечь ее от неприятностей способно только твердое следование научной методологии познания и технике безопасности. Например, опросы показывают, что многие физики считают наголовный пробковый шлем обременительной и чисто формальной деталью лабораторной экипировки и полагают допустимой работу в обычном белом халате. Недавнее происшествие в Ливерпульской лаборатории физики конденсированной плазмы служит показательным примером недопустимости легкомысленного отношения к пробковому шлему. (полностью…)

Вот интересное: http://www.emulator3000.org/rus-c3.htm – эмулятор советских программируемых калькуляторов. Тех самых, для которых печатались в журнале “Техника молодежи” забавные программы “калькуляторных игр”, снабженные фантастическим сюжетом в виде рассказа. Отсканированные страницы из журнала, с теми самыми рассказами и программами тоже имеются на сайте.

(via)

Между прочим, раз тут зашел разговор, то Том Хейлз (Thomas C. Hales), механистически разобравшийся в 1998 году со старинной задачей Кеплера о наиболее плотной упаковке сфер, поддерживает целый проект по обоснованию своего доказательства с помощью специального формализма.

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

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

Компьютерным программным кодам нет доверия.

Это правильно.

Но Хейлз поддерживает проект под названием Flyspeck. Вообще-то, flyspeck – английское название для “мушиного помета”, но по версии создателей проекта это всего лишь слово из словаря, подходящее под маску /f.*p.*k/ (где FPK – Formal Proof of Kepler).

Цель проекта – получение программной реализации некоего компьютерного “формализма”, оперирующего не какими-то “алгоритмами” и “данными”, а строгими теоремами (там есть и тип данных – theorem). Таким образом, планируется получение виртуально строгого, но, вместе с тем, компьютерного, вычислительного доказательства. Попутно обещают выкинуть все интуитивное из всех доказательств вообще. Вот так. Объем работы – двадцать человеко-лет.