Сергей В.

На историческую родину

serge@vak.ru — Wed, 23 Jul 2008 18:59:13 GMT

В районе 9-10 августа с большой вероятностью имею быть в Киеве. Говорят, 1020 лет крещения Руси? Вот и посмотрим.

Языки прогрессируют

serge@vak.ru — Tue, 22 Jul 2008 19:02:31 GMT

В середине 80-х лучшим языком для символьного дифференцирования считался Рефал.

Diff  {
      (e.t) e.1 '+' e.2 = <Diff (e.t) e.1> '+' <Diff (e.t) e.2>;
      (e.t) e.1 '-' e.2 = <Diff (e.t) e.1> '-' <Diff (e.t) e.2>;
      (e.t) e.1 '*' e.2 = (e1 '*' <Diff (e.t) e.2>
                          '+' <Diff (e.t) e.1> '*' e.2);
      (e.t) (e.1)       = ( <Diff (e.t) e.1> );
      (e.t) e.t         = '1';
      (e.t) e.1         = '0';
}

Нынче Хаскель поинтереснее будет:

Dif a = D a (Dif a)

dConst :: Num a => a -> Dif a
dConst x0 = D x0 dZero
 
dZero :: Num a => Dif a
dZero = D 0 dZero

instance Num a => Num (Dif a) where
  fromInteger               = dConst . fromInteger
  D x0 x’ + D y0 y’         = D (x0 + y0) (x’ + y’)
  D x0 x’ - D y0 y’         = D (x0 - y0) (x’ - y’)
  x@(D x0 x’) * y@(D y0 y’) = D (x0 * y0) (x’ * y + x * y’)

Циклические контрольные суммы и Matlab

serge@vak.ru — Tue, 22 Jul 2008 17:15:26 GMT

Будем рассматривать двоичные данные как полиномы с коэффициентами 0 или 1. Например, байт 10110111 - это полином x⁷+x⁵+x⁴+x²+x+1.

В качестве операции сложения применим "исключающее или", для умножения - "и". Полиномы можно складывать, вычитать, умножать, делить.

Контрольные суммы

Предположим, мы хотим передать по сети пакет длиной N бит. Для Ethernet, например, N находится в диапазоне от 512 до 12112. Чтобы убедиться, что данные не исказились, будем добавлять к каждому пакету 32 дополнительных проверочных бита. Такое дополнение обычно называют контрольной суммой пакета.

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

Выберем некоторый полином 32-й степени, например x³²+1. Посчитаем остаток от деления пакета данных (полинома N-й степени) на x³²+1. Получим полином 31-й степени, то есть 32 бита, которые и будут контрольной суммой пакета.

Не всякий полином годятся для контрольной суммы. В Википедии приведён список "хороших" полиномов для самых разных применений.

Вычисления в Matlab

В системе Matlab есть встроенные функции для работы с полиномами GF(2).

Создание полинома с заданными коэффициентами:


p = gf ([1 0 1 1], 1)

Получаем полином x³+x+1:

p = GF(2) array. 
Array elements = 
           1           0           1           1

Умножение полиномов:


a = gf ([1 0 1], 1);
b = gf ([1 1], 1);
c = conv (a, b)

Деление полиномов:


d = deconv (c, b)

Деление с остатком:


[d, r] = deconv (c, b)

Пример

Проверим, что полином 0x1F4ACFB13 раскладывается на множители 0x8011, 0xC85F, 3 и 3.


a = gf ([1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1], 1);
b = gf ([1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1], 1);
c = gf ([1 1], 1);
conv (a, conv (b, conv (c, c)))

Результат:

           1           1           1           1           1           0           1           0           0
           1           0           1           0           1           1           0           0           1
           1           1           1           1           0           1           1           0           0
           0           1           0           0           1           1

Статью бы из IEEE

serge@vak.ru — Tue, 22 Jul 2008 12:57:23 GMT

Нет ли у кого-нибудь из уважаемых френдов доступа к библиотеке IEEE? Очень нужна статья Castagnoli, Brauer, Herrmann "Optimization of cyclic redundancy-check codes with 24 and 32 parity bits". Буду страшно признателен.

Семейное положение

serge@vak.ru — Tue, 15 Jul 2008 15:10:59 GMT

View Poll: Семейное положение

МКП

serge@vak.ru — Sat, 12 Jul 2008 20:33:18 GMT

Наконец-то добрался до дальней дачи. Среди старых книжек отыскал описание МКП, он же модульно-конвейерный процессор, он же Эльбрус-3-1. Последняя машина из линии БЭСМ, 1990 год.

Бесподобно

serge@vak.ru — Fri, 11 Jul 2008 07:01:50 GMT

Джон Гудман
1. Вы ботаник, флиртующий с девушкой из группы поддержки и непонимающий, что никаких шансов на успех у вас нет.
2. Вы покидаете дом престарелых, в котором находится ваша жена. Впервые она не узнала вас, когда вы пришли.
3. Вы тренер университетской баскетбольной команды, орущий на судью. Вы знаете, что если вас удалят, ваши парни будут играть агрессивнее.

Линукс ходит строем

serge@vak.ru — Tue, 08 Jul 2008 20:57:02 GMT

Оказывается, уже несколько лет наши военные в разработках используют Линукс, под именем МСВС. Более того, это чуть ли не единственная операционная система, сертифицированная министерством обороны. И это замечательно, поскольку позволяет в несколько простых ходов добиться полной демилитаризации.
1) Разработчики GPL-систем обязаны поставлять потребителям исходные тексты.
2) Каждый, имеющий исходные тексты GPL-системы, имеет право их распространять.
3) Дожидаемся момента, когда бОльшая часть ракет, самолётов и подводных лодок будет делаться на МСВС.
4) Подаём в суд от имени Free Software Foundation и добиваемся снятия с вооружения всех систем, под предлогом нарушения лицензии в части непредоставления исходных текстов. :)

Одесский анекдот

serge@vak.ru — Mon, 07 Jul 2008 20:40:28 GMT

Звонок в дверь.
- Скажите, Рабинович здесь живёт?
- Нет.
- Разве вы не Рабинович?
- А разве это жизнь?

Если едешь на Кавказ...

serge@vak.ru — Sun, 06 Jul 2008 08:47:37 GMT

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

По слухам, Путин назначил войну с Грузией на август. Проверьте гексоген в своих подвалах, мало ли что.

То ли ещё будет :)

serge@vak.ru — Fri, 04 Jul 2008 21:00:07 GMT

Заговор против диффузии тепловой и всякой другой

serge@vak.ru — Wed, 02 Jul 2008 09:46:49 GMT

Ой да ты материя али энергия, не переносись из области с высокой концентрацией в область с низкой! Тепло али ток — куды, зараза, потек? Молекула али атом, не проникай в кристаллическую решетку, что находится рядом! А то ведь будет не жизнь а кошмар — стакан в стол врастет, а стол в пол, а пол — в сапоги, вот такие пироги... Хочу, чтоб при комнатной температуре и атмосферном давлении я и слыхом не слыхивал об этом неприятном явлении!

Современные отечественные ЭВМ

serge@vak.ru — Fri, 27 Jun 2008 20:34:04 GMT

Вчера состоялась конференция по перспективам развития отечественных вычислителей. По итогам докладов, на нынешний момент мы имеем:

МЦСТ - микропроцессоры R150 и R500 с архитектурой SPARC, процессор "Эльбрус" с архитектурой Эльбрус-2000.
"Элвис" - серия микропроцессоров "Мультикор" с архитектурой MIPS32 и многоядерными сопроцессорами числовой обработки.
"Модуль" - процессор NeuroMatrix.
НИИСИ - микропроцессор "Багет", архитектура MIPS.

Последнего доклада не было, но обнаружены люди, которые действительно видели "Багет" живьём. :)

Еще один интересный подход к построению вычислителей - НИИ МВС, системы с программируемой архитектурой на основе FPGA.

Цитата с башорга

serge@vak.ru — Sun, 22 Jun 2008 17:21:56 GMT

"Смешные эти люди болельщики. Сидят на диванах, жрут чипсы, а потом радуются: 'Мы победили!' Чувак, ОНИ победили. А ты смотрел."

Мелкая лесть, а приятно

serge@vak.ru — Wed, 18 Jun 2008 09:32:21 GMT

О, да вы - Уникум.

Невероятно! Я затрудняюсь определить, кто же вы есть на самом деле. Так много талантов и разносторонних знаний у одного человека! Я всегда думал, что времена гениев-универсалов, типа Леонардо да Винчи прошли, но вы самим фактом своего существования опровергаете это утверждение. Впрочем, есть еще один вариант… Позвольте полюбопытствовать, вы, случайно, не Google?

Пройти тест

Теорема Шара

serge@vak.ru — Sun, 15 Jun 2008 20:15:09 GMT

...Забыл про Mütter, забыл про Väter,
он мечтает встать на челябинской фарватер,
а сам живёт в трансформаторной будке,
и из головы у него растут незабудки.

Он пытается вынуть из сердца жало.
Тут входят Белые Волосы и Убежала.
"Как мне дожить до весенней поры,
когда каждый норовит метать топоры?

Когда вокруг сплошные восклицательные знаки?
Я болен, как Конфуций, танцующий сиртаки."
Так он закричал в форме буквы SOS.
В это время бурильщики включают насос.

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

(слушать тут)

БЭСМ-2

serge@vak.ru — Sat, 07 Jun 2008 14:13:05 GMT

В музее ИТМиВТ имеется панель от пульта БЭСМ-1. Есть идея её оживить, подключив к компьютеру и запустив эмулятор. Ищу спонсора на пару железок: 96 Channel Digital I/O USB Adapter.

Чтобы запустить программу, надо втыкать :)

serge@vak.ru — Fri, 06 Jun 2008 11:59:37 GMT

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

Исторические записи

serge@vak.ru — Fri, 06 Jun 2008 06:15:31 GMT

Из архивов Госфильмофонда: видеорепортах о первой БЭСМ и её создателе академике С.А. Лебедеве (начало 50-х).

Современный ролик, посвящённый 105-летию Лебедева.

Самый крутой из отечественных микрокалькуляторов

serge@vak.ru — Sat, 31 May 2008 18:18:00 GMT

Выложил описание микропроцессора КА1013ВМ1, на котором был сделан самый навороченный из отечественных микрокалькуляторов - Электроника МК-85.

Заповеди космонавта :)

serge@vak.ru — Wed, 28 May 2008 14:34:47 GMT

Сказавши «Поехали!» не забудь махнуть десницею, ибо традиции советской космонавтики чтить и соблюдать надобно.

Принципы языков программирования

serge@vak.ru — Tue, 27 May 2008 14:23:25 GMT

Вольный перевод из Bruce MacLennan. Principles of Programming Languages, 3rd edition. Oxford University Press, 1999. ISBN 0-19-511306-3

Абстрагирование: Избегайте повторного введения схожих понятий. Выделяйте повторяющуюся часть.
Автоматизация: Автоматизируйте механические, утомительные, чреватые ошибками операции.
Эшелонированная оборона: Предусматривайте различные средства защиты так, чтобы ошибка пропущенная одним средством с высокой вероятностью обнаруживалась другим.
Элегантность: Сосредоточьте своё внимание на таких решениях, которые выглядят хорошими потому, что они являются хорошими.
Невозможность ошибок: Лучше делать невозможным совершение ошибки, чем обнаруживать её после совершения.
Ограничение информации: Язык должен позволять разрабатывать такие модули, чтобы (1) пользователь модуля имел всю информацию необходимую для правильного использования модуля и ничего больше; (2) разработчик модуля имел всю информацию, необходимую для корректного создания модуля и ничего больше.
Разметка: Избегайте любых однородных последовательностей элементов длиной больше нескольких штук. Не заставляйте пользователя знать абсолютную позицию элемента в списке. Наоборот, связывайте с каждым элементом осмысленную метку и позволяйте элементам появляться в произвольном порядке.
Локализация затрат: Пользователь должен нести затраты только за то, что он использует, и только там где он это использует; избегайте распределённых и отложенных затрат.
Объявленные интерфейсы: Все интерфейсы должны быть явно отражены в синтаксисе.
Ортогональность: Независимые функции должны контролироваться независимыми возможностями языка.
Переносимость: Избегайте средств и возможностей, специфических для определённого компьютера или небольшого класса компьютеров.
Сохранение информации: язык должен допускать представление информации, которую возможно знает пользователь и которая возможно потребуется компьютеру.
Регулярность: Регулярные правила, без исключений легче изучать, использовать, описывать, и реализовывать.
Ответственность разработчика: Не спрашивайте пользователей, чего они хотят. Выясняйте, что им необходимо.
Безопасность: В любой программе должно обнаруживаться любое нарушение определения языка, или ожидаемой структуры программы.
Простота: Язык должен быть предельно прост. Количество понятий должно быть минимально. Правила комбинирования понятий должны быть просты.
Структурированность: Статическая структура программы должна простым образом соответствовать динамической структуре вычислений по этой программе.
Синтаксическая целостность: Сходные вещи должны выглядеть похоже, различные должны выглядеть различно.
Ноль-единица-бесконечность: Единственно обоснованными числами являются ноль, один и бесконечность.

Ни хрена себе поворот судьбы

serge@vak.ru — Mon, 26 May 2008 17:07:17 GMT

Похоже, я теперь работаю в ИТМиВТ.

Обалденный фильм

serge@vak.ru — Sun, 25 May 2008 22:20:07 GMT

Практически "Пикник на обочине", в развёрнутом варианте. Статья в Википедии. Скачать можно на torrents.ru или здесь.

Похвастаюсь

serge@vak.ru — Sat, 24 May 2008 10:03:23 GMT

Такая вот книженция.