Profile cover photo
Profile photo
Иван Левашев
50 followers
50 followers
About
Иван Левашев's posts

Post has shared content

Post has shared content
По следам электрона: Увидеть невидимое

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

Строго говоря, это не был опыт по отслеживанию движения электронов — таким путем ученые занимались изучением свойств сверхтекучего гелия. Да и видео больше смахивает на фото: скорость съемки 4 кадра в секунду фиксировала один и тот же пузырек на одном кадре, а на следующем показывала уже другой пузырек. По сути, эксперимент состоит в создании методики, позволяющей визуализировать движения вихрей в жидком гелии — а уж «сенсационная» съемка стала его побочным результатом.

На видеозаписи (файл в формате MPEG) можно наблюдать световые точки, движущиеся по экрану вниз — одни по прямолинейной траектории, другие по извилистой. Но это не «Матрица», это результат элегантного — простого и эффектного — эксперимента, разработанного группой профессора Хэмфри Мариса (Humphrey Maris).

Световые точки — результат рассеяния света на микропузырьках, которые формируются вокруг электрона, проходящего сквозь сверхтекучую жидкость гелия II. Эффект этот известен уже около столетия: при прохождении через определенные среды (например, перенасыщенный пар) энергии элементарных частиц оказывается достаточно для формирования видимых изменений. Следы отдельных элементарных физики научились наблюдать еще в начале ХХ в. Не нов и этот пример кавитации — однако ученые нашли способ увеличить пузырьки в размерах, используя звуковые волны. После этого осталось установить домашнюю видеокамеру в режим ночной съемки — и…
Свободный электрон, двигаясь в жидкости, образует вокруг себя крохотный микропузырек. В обычных обстоятельствах пузырьки эти моментально схлопываются за счет сил поверхностного натяжения. Однако в сверхтекучем гелии эти силы крайне малы, и пузырьки способны расти — пока не достигнут размеров около 40 ангстрем, при которых оба воздействия уравновешивают друг друга. (О сверхтекучих жидкостях читайте в нашем обзоре пяти аномальных субстанций: «Наука с приветом«.)

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

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

Об удивительном и таинственном мире элементарных частиц читайте: «Квантовая сутра».

http://www.popmech.ru/science/6608-po-sledam-elektrona-uvidet-nevidimoe/#full
Photo

I'm wondering if anyone here has AdaMagic documentation. Like, what does offset_arith_type or ptr_align align mean in the config. And do you possess adabgen.inf and adacgen.inf because these tools are asking for it and I can't find missing files anywhere. Trying to use AdaMagic extracted from MapuSoft AppCOE with EmScripten, and 287 of 325 files from Ada runtime system compiled. But in Asm.js and WebAssembly there is no relaxed alignment like in x86, so it should be expressed in config somehow, and if I don't understand the meaning of configuration variables, that is harder to achieve.

Post has shared content

Post has attachment
Hi! I've been playing with leap seconds support in GNAT, external values in UNIX time and Windows FILETIME format, and found they don't play with each other well. Ada.Calendar.Conversions has conversion to/from UNIX time, but only the same leapness as the running program, and only 32-bit. So if you enable leap seconds support (gnatbind -y) and try to interpret value obtained from a external program not supporting them (usually), Ada.Calendar.Conversions.To_Ada_Time will return incorrect value. Also, as of GNAT 2016 GPL, unfortunatelly, Ada.Calendar.Arithmetic."+" isn't correct, but Ada.Calendar.Arithmetic.Difference is, so the latter can be used to workaround this issue. With this tiny library you can convert back and forth values in 64-bit UNIX time_t, Windows FILETIME, and thanks to workaround it works well in leap seconds enabled mode. When leap seconds are enabled you can process both leap-aware and leap-unaware time_t values.

Also, standard Ada.Calendar.Formatting.Image and Value don't support leap seconds and only support 2 digits after the dot. I have ported datetime parser from my Delphi-YAML project to address this issue. Now you can produce and consume timestamps in a nice-looking format (space-separated, like in Ada and MySQL) and ISO 8601. YAML datetime format is a superset of ISO 8601, so any syntax will do when consuming. GNAT Ada.Calendar.Time resolution is nanoseconds, and this resolution is fully exhibited by serializer and parser. Also, both ISO 8601 and YAML datetime support UTC time zone offsets attached to the timestamp, and serializer/parser can put them into and read out if needed.

Post has shared content
Inrimental lexical and syntax analysis in Ada following ideas of Tim Wagner now is part of Gela framework 

Куда всё делось?

Post has attachment

Post has shared content

Post has attachment
Wait while more posts are being loaded