?

Log in

No account? Create an account
Alexander Kuklev's Journal

> recent entries
> calendar
> friends

> profile
> previous 20 entries

Saturday, January 17th, 2015
2:17 pm
Delayed Настоящим объявляю, что все мои персональные данные, тексты, фотографии, рисунки, переписка и т.п. являются объектами моего авторского права (согласно Бернской Конвенции), и оповещаю «ЖЖ» (LiveJournal, Inc / SUP Media) о том, что разглашение, копирование, распространение моей личной информации в коммерческих целях равно как и любые другие противоправные действия по отношению к моему профилю в социальной сети строго запрещены.

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

Гёттинген
17 января 2015 г.
Александр Куклев

(5 comments | comment on this)

Thursday, March 14th, 2019
6:36 pm - Автобанное
Пару дней назад едем вечером из Ганновера в Гёттинген, “догоняя” сильную бурю (фронт, обеспечивающий порывы ветра до 100км/ч, как раз двигался с севера на юг, а мы следом). Аня за рулём, я рядом сплю. Аня будит: ”позвони срочно, я только что чуть не наехала на упавший знак, там на километровом столбике вроде стояло 231.5”. Вижу, двигаемся вдоль стройки (одну из полос автобана ремонтируют). Звоню:
— Добрый вечер, я хотел сообщить об упавшем на проезжую часть дорожном знаке — автобан А7 на юг, перед съездом на Эхьте,.. (меня прерывают)
— Огромное спасибо! Случайно не 232 километр, левая полоса?
— Да, так точно. Вам уже... (меня прерывают)
— Хорошо, ещё раз спасибо, техническая служба уже выехала, только что. Вы без повреждений, не наехали на знак?
— Без, всё хоро... (меня прерывают)
— Как ваша фамилия?
— Куклев; а вам зачем?
— Для статистики, большое спасибо. В остальном всё в порядке?
— Да.
— Спокойной поездки, до свиданья!

Интересно, сколько раз им позвонили до нас? :-)

(1 comment | comment on this)

Friday, February 15th, 2019
1:00 am - Айлин
Позавчера Айлин (без 15 дней полтора года) проявила очень нетривиальное поведение. Взяла играть Настину куклу (Настя очень ругается, когда Айлин её берёт), а когда послышался звук открывающейся двери из комнаты, где находилась Настя, стрелой метнулась к дивану, схватила с него плед и спряталась вместе с куклой: “я не я, кобыла не моя”.

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

(4 comments | comment on this)

12:52 am - Авиационное
Пичалька. Сворачивают производство самого крупного пассажирского самолёта — Airbus A380, в 2021 году все заказы доделают, и всё. А всего-то в 2005 года оно летает, не густо. Кажется, случился окончательный переход пассажирской авиации на двухмоторную компоновку. Ну, собственно у Эйрбасовского же Airbus A350 XWB дальность такая же, топливная эффективность лучше, при вместимости в полтора-два раза меньше (400-475 пассажирских мест).

Интересно, какие будут следующие шаги в дозвуковой пассажирской авиации? Ну, понятно переход на двигатели со сверхвысокой степенью двухконтурностью, это уже практически свершившийся факт и в 2025 году обещает пойти в серию. Заведомо пойдут в серию все тестируемые сейчас механизмы активного (в смысле, не пассивного за счёт изменения формы) улучшения аэродинамики — hybrid laminar flow control, boundary-layer ingestion, active flutter suppression. Но что дальше? Можно ещё как-то существенно повысить топливную эффективность? Вероятно, уход от круглого сечения фюзеляжа и перенос двигателя из под крыльев в хвостовую часть самолёта, как в NASA'вском концепте D8. Возможно, переход к более длинным и тонким двухкомпонентным крыльям, как в Boeing Transonic Truss-Braced Wing.

Ну и главное, когда уже начнут делать для трансконтинентальных перелётов новый Конкорд? Только чтоб минимум 5 махов. Понятно, что для всяких внутриконтинентальных перелётов гораздо актуальнее, чтоб оно стоило копейки, чем чтобы было быстро, но когда речь начинает идти не о 2-4 часах в самолёте, а о 10-20, которые можно превратить в 3-4 ценой принципиально другого расхода топлива, в избытке найдутся клиенты, готовые адекватно заплатить.

(14 comments | comment on this)

Wednesday, February 6th, 2019
11:13 pm - Принтерное
А расскажите мне что-нибудь хорошее или плохое про принтеры Lexmark MC2325adw или MC2425adw.

Вроде как, это первый дешёвый цветной лазерный дуплексный МФУ-принтер с честным разрешением 1200dpi. Стоит всего 270 евро, правда цена расходников высоковата — выходит около 20 центов за цветную страницу и около 2 центов за ч/б — в два раза дороже, чем у Canon'ов класса Home office.

Если верить некоторым обзорам, качество печати очуменное. По другим обзорам просто «хорошее», а фотографиям не хватает контрасту. Интересно было бы понять, какое у него на самом деле качество печати и справится ли он печатать на 220-граммовой плотной бумаге (по докУментам он умеет до 200, если через байпасс засовывать).

У кого-нибудь есть к ним доступ, чтоб пощупать?

(9 comments | comment on this)

12:40 am - Доски тоже почти дозрели
Я под впечатлением от Google Jamboard, вот в самом деле удобная электронная доска для совещаний и микро-семинаров. Я не только про очень хороший софт, я ещё и про стило, которым приятно и естественно писать, и стиралку, которой приятно и естественно стирать. Вообще там всё приятное на ощупь и глазу. Единственное, я сильно предпочитаю тёмный фон светлому на доске — гораздо удобнее читать с расстояния в помещении с естественным освещением, хотя может это и вкусовщина.

А никто не знает, оно выйдет в формате 65" или даже 77" и на OLED? Просто 55" и текущей читаемости с большого расстояния недостаточно для школьного класса или нормального семинара (на 15-45 человек). А вот 65" на OLED'е (контраст несравнимо выше) уже в целом начинает хватать. Где-то 77" это прям совсем достаточно.

(comment on this)

Tuesday, February 5th, 2019
11:53 pm - “Услышь меня, машина” – через 22 года
Как-то зимой 1997-1998 года я зачитался журналом Компьютерра — декабрьским выпуском, посвященным распознованию речи. Особенно меня впечатлила статья Вячеслава Алексеева “Услышь меня, машина” (https://old.computerra.ru/193754/), где рассказывалось, что оказывается можно при помощи датчиков да элеткродиков распознавать внутреннюю речь человека, внутренний монолог. Вот он, убивца кливиатур, подумал тогда я!

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

Самое поразительное заключается в том, что если увеличить чувствительность датчиков, то они давали аналогичные сигналы и при речи “про себя”. Оказалось, что если думать словами, то на артикулирующие мышцы тоже поступают слабые сигналы возбуждения, аналогичные речевым. Конечно, "подслушать" удавалось только мысли в форме "внутренней речи", составляющей, как выяснилось, далеко не полную картину мышления. Да и то, по отзывам разработчиков, наблюдалась дикая мешанина из обрывков фраз.»

С тех пор (на самом деле, в самое недавнее время) распознание речи скакнуло вмерёд очень качественно, и вот уже я сам надиковываю списки покупок своему смартфону, а он переводит их в текст, так чтобы удобно было пользоваться в магазине. Но аппарата с электродиком всё не появлялось. Что-то мелькало в новостях науки, но потом пропадало. Я как-то выяснил, что первые исследования и первые устройства были задолго до 1997 года (надо поискать, я писал об это много лет назад в ЖЖ), но устройства были громоздки и непрактичны для повседневного использования. А сегодня в ленте попался вот такой прототипчик:
https://www.cnet.com/videos/mit-prototype-can-sense-words-youre-about-to-say/

Страница проекта: https://www.media.mit.edu/projects/alterego/, “AlterEgo is a non-invasive, wearable, peripheral neural interface that allows humans to converse in natural language with machines, artificial intelligence assistants, services, and other people without any voice—without opening their mouth, and without externally observable movements—simply by articulating words internally. The feedback to the user is given through audio, via bone conduction, without disrupting the user's usual auditory perception, and making the interface closed-loop.”

(19 comments | comment on this)

Monday, February 4th, 2019
2:35 am - Невегитаранское
Вот я тут писал, что очень обрадуюсь, когда всякие там сосиски, котлетки и прочую “наполнитель пищи с мясным вкусом” начнут делать из мяса из пробирки. Но я ведь не только “наполнитель с мясным вкусом люблю”, а ещё я безумно люблю
– карпаччо и сашими: тонко нарезанные куски сырой телятины/ломтики сырой рыбы;
– метт и тартар: свежайший свинной/говяжий фарш, приготовленный для употребления в сыром виде с соответствующим контролем на отсутствие заразы и паразитов,
– стейки (не прожаренные до состояния подошвы, а розовенькие внутри);
– нежный ростбиф (тоже розовый);
– настоящий шашлык из баранинки;
– Jamón serrano, prosciutto crudo, prosciutto cotto и кровяную колбасу Ahle.

Разумеется, всё это не повседневная еда, а лакомство, которое я ем не каждую неделю. Но вот про эти лакомства я практически уверен, что никакое мясо из пробирки в качестве сырья не прокатит.

(5 comments | comment on this)

Friday, February 1st, 2019
4:08 pm - Хочу такой эпп
Хочу эпп, который бы во время поездки на машине рисовал мне график, где по горизонтальной оси километраж (если заранее известна общая длинна поездки, т.к. включён навигатор, то заранее нарисовать до неё, а если нет, то с начала поездки до текущего момента), а по вертикали рисуется обратная скорость (т.е. временные затраты на 100км пути, исходя из текущей скорости) и номинальные затраты топлива на 100км исходя из скорости. А в конце поездки оно показывает насколько времени бы ушло больше, а топлива меньше, если бы скорость в этой поездке была ограничена сверху 160, 145 и 130 км/ч.

(Дополнительно можно горизонтальными чёрточками отмечать среднюю обратную скорость и среднее потребление. Ещё можно в зависимости от интересов пользователя измерять расход топлива не в литрах, в деньгах, выбросе парниковых газов или в кВт·ч.)

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

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

В идеале хочу, чтобы этот график можно было разместить в одном из углов поверх гуглонавигатора, и в том числе если он выведен через Android Auto/Apple CarPlay на встроенный экран автомобиля. А может быть хочу такую фичу в самом гуглонавигаторе (есть тут кто-нибудь из его разработчиков?)...

(13 comments | comment on this)

Thursday, January 31st, 2019
2:42 am - Plug-in гибриды не в моде?
Аргументировали мне тут, что нынче plug-in (точнее говоря, я имею в виду series-)гибриды не в моде, лучше мол только электричество.

Мои представления о прекрасном таковы, что ездить оптимально было бы именно на электромобилях с компактным range extender'ом на обыкновенном топливе, т.е. том, что называется series hybrid.

От мотора, выполняющего функции range extender'а не требуется ни умения работать в широком диапазоне оборотов (он будет работать вообще на фиксированных оборотах, где работает оптимально), ни иметь запас мощности и крутящего момента для обгона/езды в горку. Кроме того, он никогда не заглохнет и у него никогда не будет холодных стартов. Всё это позволяет в качестве такового взять какой-нибудь компактный мотор (CREEV Wankel engine или вот LiquidPiston) с воздушным охлаждением и мощностью этак на 30-50kW*.

Мазда так уже пробовала в своём демонстраторе в 2013-м, и у них весь range extender на 30kW вместе с топливным баком, системой подачи топлива, и системой очистки выхлопа, влез в 100 кг, и поместился под задним сиденьем, там где обычно топливный бак бывает — а вместо нормального топливного бака они взяли десятилитровый. У LiquidPiston есть прототип X-4 (дизельный), который даёт 37kW, весит 20 кг, влезает в куб со стороной 28 см и имеет КПД 45%. Такой КПД — это очень круто для мотора легкового автомобиля, больше бывает только у дизелей, которые весят как минимум под тонну. Но, правда, он таки с жидкостным охлаждением. И, ессно, одному богу известно какой там выхлоп и насколько затратно его будет почистить.

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

Как вы думаете, что экономичнее и экологичнее — иметь гигантский аккумулятор (сплошь из драгоценного сырья и с токсичными отходами внутре) и вообще без мотора, или иметь аккумулятор которого хватает на повседневные поездки (более 200 дней в году), а когда не хватает (8-80 дней в год), начинать жечь топливо на трассе?

____
* 30 kW позволяет ехать нашему довольно крупному VW Touran'у со скоростью 130 по плоскости на столько, на сколько хватит бака. При КПД 45% это будет 4.22 литра дизелю на сотню.
50 kW позволяет ехать сколько влезет со скоростью 160, и при указанном КПД потребляться будет 7.04 литра дизеля на сотню.

(25 comments | comment on this)

Thursday, January 24th, 2019
4:48 pm - Ближе, чем кажется
Ведущая игровой группы в садике (ей около 60), куда мы ходим с младшей, мимоходом рассказала что у них есть в собственности полузаброшенная хижина с малозаметным причалом и моторной лодкой на берегу северного моря, и ей завещали никогда в жизни это никому не отдавать, не продавать и держать в порядке, т.к. это “спасло много жизней, путём бегства в Данию и в Швецию”.

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

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

(6 comments | comment on this)

3:08 pm - Насте пять!
Насте сегодня исполнилось пять.

Позавчера она выдумала слово «шерстенее» (у куклы невидимый свитер была ещё шерстенее, чем у самой Насти, а шапка вообще шерстенющая).

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

Начала понемножку говорить и петь на немецком, но это пока совсем начальный уровень. Зато сразу с правильным произношением, интонацией и очень органичным словоупотреблением (у меня вот нет этой естественности речи на языках кроме русского).
Настя очень хорошо понимает, что есть много разных языков, и слова там могут быть разные, а могут быть похожие, видоизменённые. Я как-то просил её перевести многократно слушанную в песне фразу «Чі не бачив ти моєї вівці?» на русский, она совершенно не задумываясь сказала «ты не видел моей овцы?», при том что с украинским мы практически не пересекаемся. Она то и дело сталкивается (в поездках, в игровой группе, в песнях которые мы постоянно слушаем в машине, при общении с моими нерусскоговорящими знакомыми) кроме немецкого как минимум с английским, итальянским, французским, голландским, польским, сербохорватским, идишем и ивритом, и я при любом удобном случае пускаюсь в подчёркивание языковых аналогий. :-)

Ох, целых пять лет, вот это да! Прямо так пролетели, вжжух.

(7 comments | comment on this)

2:49 pm - Сосиски с горошком
Если у меня есть минут 10-15 времени, то сосиски с горошком я готовлю так:
– Делаю две сосиски (60 граммов);
– Добавляю к ним банку бондюэлевской смеси из горошка, фасоли, морковки и спаржи;
– Добавляю туда варёное яйцо;
– И листового салата или китайской капусты этак побольше;
– И нарезанных сырых шампиньонов;
– И немножко орешков каких-нибудь или семечек самую малость;
– И щедро барилловской смеси из тушеных томатов с гриленными баклажанами, кабачками, паприкой и луком;
– И нежного тонкого зелёного лучку;
– И оливкового масла нерафинированного пахучего можно;
– И капельку тёртого твёрдого сыра навроде пармезана можно посыпать, да травок каких-нибудь.

И в принципе лучше без сосисок.

Лучше всего с какой-нибудь куриной грудкой в количестве тех же граммов 50. А когда наконец будет мясо из пробирки, «сосиски с горошком» станут совершенно вегетарианским продуктом. ;-)

(2 comments | comment on this)

Monday, January 14th, 2019
4:12 pm - The future is now
Ну что, Lexar показал таки SD-карточку на 1TB и ещё в октябре microSD на 512GB. Естественный вопрос — куда всё это девать*. Но µLED и µOLED на низком старте/на марше, поэтому голографические телевизоры не за горами, а там как раз такие объёмы хранить и понадобится.

А ещё в конце сентября nVidia выпустила архитектуру “видеокарт”, с выделенными подпроцессорами для рейтрейсинга. Утверждается, что впервые в истории на массовых устройствах станет возможен real time ray-tracing — хотя, конечно, не для замены традиционного рендеринга, а для его уточнения с целью получения фотореалистичных деталей (теней, отражений, прозрачных и светящихся материалов, пламени, рассеяния на дыме, облаках, волосах, коже).

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

(17 comments | comment on this)

Friday, January 11th, 2019
3:28 pm - Настематика
Обнаружил, что у Насти (4 года, почти 5) в голове есть некая концепция математической тривиальности/вырожденности.

Когда Настя только начала считать предметы, у неё в голове числа были представлены односвязным списком, т.е. чтобы произвести рассчёт 6 - 1, нужно было начиная с единицы считать вверх, проверяя, когда следующее число будет 6, а вычетание более чем единицы было практически недоступной операцией. Потом список стал двусвязным — она смогла свободно называть следующее и предыдущее число в пределах десяти (только почему-то стабильно пропуская семь), и вот сейчас двусвязный список заменяется упорядоченным гиперграфом, хранящим всю аддитивную структуру чисел от 0 до 10 (с числами побольше она пока плавает, и до сих пор местами забываеть про восемь при счёте).

Позавчера в поезде мы обсуждали, сколько времени ещё ехать, и как это понять, если известно когда мы сели, сколько сейчас времени и какая общая продолжительность поездки. После этого она мне сперва сказала “папа, а ты знаешь что если к числу что-то прибвавляешь, то оно становится больше?”. А сказал, что в целом это, конечно, правда, но, что будет если прибавить ноль? Ответила, что когда прибавляешь ноль, то на самом деле ничего не прибавляешь, поэтому так не считается.

Через некоторое время она заявиоа, что “вот четыре можно сложить разными способам — например два и два, три и один, а два можно сложить совсем-совсем одним способом — один и один”. Я спросил, что с числом три. Мне показалось, что дальше она мне пыталась объяснить, что вообще способов несколько, но из них только один нетривиальный. То есть она стала перечислять, что можно сложить два и один, можно один и два, а можно сложить один, один и один, но это не настолько разные способы 2 + 2 = 3 + 1 для складывания четвёрки. Мне удалось выудить у неё наводящими вопросами, что 1 + 2 и 2 + 1 это “не совсем разные способы, потому что так всегда можно сделать и получится одно и то же”, и что 1 + 1 + 1 это “так всегда можно сделать”, но тут я уже не уверен, это она придумала или я наводящими вопросами наподсказывал.

(52 comments | comment on this)

Wednesday, October 24th, 2018
6:51 pm - Я сейчас тривиальную вещь скажу
...но ведь всем (кто этим занимается), наверное, понятно, что определение системы типов в стиле двунаправленной типизации это индуктивно-индуктивно-рекурсивное определение, где совместно индуктивно определяются типы
– типов теории Ty
– канонических термов каждого типа El[t : Ty]
– выражений Expr, вместе с функцией synth-type : Expr -> Ty и
– рекурсивной зависимой функцией type driven редукции reduce : (e : Expr) -> Tn[synth-type e]?

Причём, если задаваемая алгебраическая теория имеет только операторы нулевого порядка, например это теория категорий-с-конечными произведениями, то тут есть раздилимые индуктивно-индуктивное определение Ty и El, и индуктивно-рекурсивное определение Expr и Reduce. А если в теории появляются операторы первого порядка, (кванторы и/или лямбды), то этот узел уже не рассечь, вся четвёрка задаётся взаимно индуктивно-индуктивно-рекурсивно.

(5 comments | comment on this)

Sunday, October 21st, 2018
11:25 am - Новости техники
Приятные новости для электроавтобусов, электромобилей и plug-in гибридов:
американская Oak Ridge National Laboratory продемонстрировала устройство для дистанционной зарядки оных (предполагается, что оно монтируется в “асфальт” под автобусными остановками, специализированными парковками для электромобилей и в гаражах), которое с 15 сантиметров заряжает с КПД 97% с мощностью до 120kW.

Мощность 120kW — это как Tesla Supercharger, это полная зарядка VW e-Golf (у которого зарядки свободно хватает на день, если не выезжать за город) за полчаса, Tesla Model S за час. Rehault Twizy бы можно было полностью зарядить да 4 минуты, но у него, к сожалению от такой прыти вскипит батарея.
Односекционный городской автобус за полминуты на остановке заряжается от одной такой зарядки на километр пути. В густонаселённых местах расстояние между остановками от половины до полутора километров, то есть как раз хватает. Двухсекционный автобус жрёт в полтора раза больше, ему либо дольше на остановке стоять, либо аккумулятор побольше, который ещё в депо заряжать добре. Ну либо две таких зарядки, но это уже, конечно, вряд ли.

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

(11 comments | comment on this)

Saturday, October 20th, 2018
7:01 am - Телевизорное
А ещё, кстати, видел в магазине телевизор-обои, прям Back to The Future наступил, вторая серия.

Он наклеивается на стену (ну, точнее, на плоские магинты цепляется, которые к стене всё-таки прикручиваются саморезами), три миллиметра в толщину всего. Огромный — полтора метра в ширину (65" диагонали), пиксели малюсенькие, контрастность и сочность цветов невероятные какие-то, потому что OLED у которого чёрный реально ЧОРНЫЙ, ну и 10-битные цвета впридачу.

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

(10 comments | comment on this)

5:49 am
Когда занимаешься уборкой, счетами и тому подобными неприятными занятиями, иногда очень приятно вспомнить что-нибудь очень мотивирующее. Одна из самых мотивирующих меня вещей — существование и работа «Организации Планетарной Защиты» (https://www.nasa.gov/planetarydefense) при NASA.

Они следят за всевозможными астероидами и кометами (NEO), которые могли бы потенциально врезаться в землю. Совсем опасных NEO — таких, столкновение с которыми приводит к планетарной катастрофе типа той, когда вымерли все динозавры, они нашли 893 штуки (а общее количество таковых оценивают в 930-940). А штуковин типа Тунгузского метиорита (т.е. способных уничтожить какой-нибудь один город) они нашли 8755 штук, и считают что это примерно четверть всех таких объектов в солнечной системе. Ну и продолжают работать, в общем. Кроме этого, они исследуют как бы заблаговременно выяснять о всяких других космических опасностях.

Единственное, чему я поражаюсь, так это почему они финансируются только правительством США. Казалось бы вот такие вещи, как и защита на случай пандемий и стихийных бедствий, должны быть организованы на уровне Организации Объединённых Наций. Ах, ну да, конечно же — там все слишком заняты написанием резолюций против израильской военщины. :-)

(4 comments | comment on this)

Thursday, October 18th, 2018
10:54 pm - Exact arithmetics: Integers and Reals (and “48 bits should be enough” ☺)
Вот почитаешь «Software disenchantment» Тонского, и сразу хочется вернуться к дизайну компьютерных архитектур времён суперкомпьютеров CDC 3000 Сеймура Крэя или Лебедевскомого БЭСМ-6, где в самом деле считали сколько чего нужно, а не разбрасывались ресурсами попусту.

Вот например для кодирования указателей, целых чисел и чисел с плавающей запятой стандартной точности там использовалось по 48 бит, очень приятная длина машинного слова. Было понятно, что 32 бита — это слишком мало, а 64 бита — избыточно для большинства применений.

Я вообще большой поклонник машинной арифметика с fallback'ами, без overflow/underflow. То есть, если результат какого-то вычисления не влезает в машинное слово, в то место, куда надо положить результат, вписывается 0b10...0 (со значением “не влезло на полях, смотрите в сносках”), а настоящее вычисление производится при помощи библиотеки арифметики произвольной точности (“bignum”) и записывается в специальную “таблицу сносок” в отдельном месте памяти, в виде записи “по адресу 0x348973794893 не влезло число, вот оно: 12164510 0408832000”. Ну и соответственно, всё это работает прозрачно: если запустилась какая-то машинная арифметическая операция, а операнд оказался 0b10...0, то вместо машинной операции запускается fallback из bignum-библиотеки, и так далее. При таком подходе понятно как оценивать, какая нужна длина машинного слова: нужно, чтобы на практике необходимость вызывать fallback'и была очень, очень редка, потому что они работают в тысячи и тысячи раз медленнее, чем встроенные операции. Но с другой стороны, каждый лишний бит в машинном слове означает, что встроенная арифметика будет медленнее, транспорт из памяти будет медленнее и в кеши (каждого уровня) будет влезать меньше полезного, чем могло бы. Исходя из этих соображений 48 — очень хороший компромисс.

Кроме того, это хороший компромисс и для чисел с плавающей запятой. 24, 48 и 96 битов для чисел с правой запятой — это гораздо более адекватные стандарты для low-precision real, standard-precision real и high-precision real, чем 16, 32 и 64.

Кстати, в этой области есть интересные недавние подвижки. На смену стандартным IEEE-754 floats предложили новую систему Posit, которая
(а) отказывается от всех этих +0, -1, бесконечностей и NaNов в пользу единственного зарезирвированного значения (на побитовом уровне, кстати, кодируемого тем же самым 0b10...0), которое сигнализирует, что результат операции не является вещественным числом, а чем он конкретно является нужно трактовать по контексту; а в случае когда происходит операция с непонятным результатом, предлагается чтобы случался трап (recoverable exception) и программист сам решал, чего там делать.
(b) использует побитовое кодирование, которое позволяет сравнивать вещественные числа при помощи обычных целочисленных операций сравнения
(c) более разумно распределяет представимые числа по вещественному лучу (плотнее вокруг 1 и 0 и без аномалии с subnormals), что приводит к немножко меньшей потере точности на типовых арифметических операциях и очень хорошей дискретизации сигмоидных функций,
(d) система очень дружественна к операции FUSED ACCUMULATE-MULTIPLY — это такая операция с использованием промежуточного “регистра” большого размера, позволяющая вычислять точное (т.е. без промежуточных округлений) произведение матриц. Это операция является краеугольным камнем всех вычислений высокой точности на числах с плавающей запятой.

Автор системы Джон Густафсон прежде экспериментировал с очень неортодоксальными системами представления чисел с плавающей запятой, но потом внял суровой критике Вэлвла Кагана (основного разработчика IEEE-754, 85-летнего корифея и мастадонта в этой области), и придумал достаточно скромно отклоняющуюся от IEEE-754 систему Posit. Отсутствие всяких NaN'ов с бесконечностями имеет недостатки для SIMD-вычислений, где “ignore and calculate as if it works” (т.е. графика в компьютерных играх), но если требуется предсказуемость вычислений (все остальные случаи), то подход Posit лучше — либо пусть программист заранее проставит флаги, что делать если случилось какое-нибудь деление на ноль или корень из отрицательного, либо пусть ловит эксепшн и решает проблему по-существу.

В интервальной арифметике на позитах “особое значение” в качестве левой границы интерпретируется как -∞, а правой — как +∞. Поэтому в интервальной арифметики восстанавливаются все ценные фичи IEEE-754 (в т.ч. algebraic integrity) и даже больше. IEEE-754«+∞» = (MAX_POS_VALUE, 0b10...0), IEEE-754«-∞» = (0b10...0, MIN_NEG_VALUE), IEEE-754«+0» = (0, MIN_POS_VALUE), IEEE-754«-0» = (MAX_NEG_VALUE, 0).

Надеюсь, когда-нибудь мы доживём и до того, что компьютеры будут на уровне железа поддерживать хорошую интервальную арифметику, чтобы можно было прогнать числомолотилку и получить “обоснованную догадку” (именно это, кстати, и значит слово «posit»), а жесткую вилку, в пределах которой обязан быть результат. Густафсон в общем именно этим сейчас и занимается, насколько я понимаю. Он известен тем, что предложил подход к интервальной арифметике, базирующийся не на замкнутых конечных интервалах, а на связных подмножествах проективной вещественной прямой ℝ̂, получилось очень элегантно — даже корифей и мастадонт интервальной арифметики Ульрих Кулиш (по забавному стечению обстоятельств тоже 85-летний) был крайне впечатлён и отметил, что стандарт интервальной арифметики IEEE-1788, который Кулиш несколько лет разрабатывал с ещё несколькими десятками специалистов, благодаря работам Густафсона устарел ещё до принятия.

В ближайшие годы несомненно будут доделаны языки программирования, поддерживающие точную вещественную арифметику (я к этому имею прямое отношение) в том смысле, что на них можно будет задавать манипуляции над вещественными числами произвольной сложности таким образом, что сколь угодно малая погрешность на выходе будет теоретически достижима, если обеспечить достаточно малую погрешность на входе (что для вычислений ab inito выполнено автоматически) и достаточное количество вычислительных ресурсов (а вот с этим будет проблема). Несомненно также и то, что применительно к инженерным задачам (от моделирования балки до симуляции плазмы) вычресурсов для применения точной арифметики не будет хватать на порядки, и смысл записи решения в терминах вещественной арифметики тут будет не в том, чтобы “запустить и оно посчитало само”, но в том, чтобы иметь работающий потенциально эталон (и слишком тяжеловесный для регулярного практического использования), на который неточным вычислительным алгоритмам можно равняться. Равняться можно в том смысле, что “один разок можно по-честному прогнать на суперкомпьютере за 2-3 месяца” и посмотреть, насколько точный результат отличается от приблизительного, который вычисляется за 2-3 секунды. Но гораздо более важна возможность равняться в смысле возможности писать математические доказательства того, что приблизительные алгоритмы сходятся, стабильны, гарантируют с такой-то вероятностью погрешность в таких-то пределах, и т.д. И для этого нам нужно кроме точных вычислений иметь формальную модель вычислений приближенных, соответствующую фактической модели, реализованной в процессоре. И в качестве таковой интервальные вычисления, капсулирующие проблематику промежуточных округлений, подходят гораздо больше, чем просто вычисления с плавающей запятой по IEEE-754, где эффект округлений хоть и сбалансирован, но абсолютно непредсказуем. Для интервальных вычислений про некоторые алгоритмы можно доказать строгие гарантии — точный результат отличается от приближенного, не более чем на столько-то. Про IEEE-754 такого шанса нет вообще, там любые гарантии могут быть только статистическими.

(21 comments | comment on this)

> previous 20 entries
> top of page
LiveJournal.com