?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Как вариться в мировом бульоне [26 Sep 2009|09:22am]
В 2005г. после одного из ЭТИХиП (http://gr-s.livejournal.com/627737.html) в полутемном баре avigdor существенно меня озадачил: черпаете, говорит, полными ладошками из мирового культурного бульона, а назад не возвращаете -- там ведь все по-английски, и вы тут сидите с вашим русскоязычным "мировым уровнем", и этот уровень так в вас и скиснет, никакого толку "для прогресса" не будет. Мысль эта прочно поселилась у меня в мозгах, ибо ответа сходу я не нашел -- действительно, по отношению к мировой культуре позиция полностью потребительская, сутками черпаю ладошками из английского интернета, а кладу только в интернет русскоязычный. Я даже записал это в новогоднюю запись worldchanging 3 января 2006г. (http://ailev.livejournal.com/368377.html):
9. Как русскоязычным школам/сообществам/community of practice интегрироваться в мировую культуру? Язык обсуждения крайне важен для разделяемой картины мира. Совершенно непонятно, как русскоязычным командам не столько односторонне черпать из мирового интеллектуального бульона, сколько взаимообогащающе вариться.
Ответ оказывается прост (и одновременно сложен): формой является полноценное участие в деятельности зарубежных профессиональных сообществ и поддержание билингвализма. Это жутко затратная по ресурсам форма (один и тот же текст приходится писать и по-русски, и по-английски. Один и тот же разговор приходится проводить десять раз по-русски и хотя бы раз по-английски). Но эта форма есть. Писать статьи в западные журналы, посещать западные тусовки, писать письма западным друзьям (которые непременно появятся, если вы им будете писать письма на понятном им языке). Нужно только понимать, к какой из бесчисленного числа западных тусовок примкнуть, или иметь нахальство организовать свою. Проблема оказывается не в языковом барьере (в конце-концов, лет через пять качество машинного перевода будет уже вполне сносным, и распознавание речи тоже будет вполне терпимым). Проблема оказывается в повороте мозгов (в данном конкретном случае -- моих собственных мозгов, которые провернулись в эту сторону с огромным скрипом).

Сейчас я отправил первую свою статью в западный журнал, и ее приняли (в спецвыпуске по моделеориентированной системной инженерии INCOSE INSIGHT выйдет текст http://ailev.livejournal.com/728605.html, а в ЖЖ я сделал перевод с английского первого черновика).

Это первый результат из моего личного (тут я сознательно путаю личное и общественное) плана: до конца 2010г. иметь из России не меньше 10 англоязычных публикаций и выступлений на международных конференциях по тематике системной инженерии. Идеально было бы, чтобы эти публикации и выступления делали хотя бы пятеро, а не я один. Вот такой вот KPI для меня, как президента Русского отделения INCOSE. Спасибо, avigdor, без тебя я бы не так внимательно отнесся к этом вопросу.
18 comments|post comment

Сколько стоит стать системным инженером [26 Sep 2009|10:15am]
На Западе хорошим (в том числе системным) инженером в среднем стоит стать порядка $30тыс. -- нужно набрать 30 кредитов по $1000/credit (два года: старт бакалавром, окончание магистром). Как я понимаю, за такие же деньги можно стать средним MBA (http://www.infozee.com/channels/mba/usa/expenses.htm, в России все то же самое -- например, в СПбГУ).

Затащить бы в Россию что-то типа School of Systems&Enterprises of Stevens Institute of Technology -- http://sse.stevens.edu/academics/graduate/overview/. Интересно, какие бы могли быть формы такого затаскивания, ведь у них есть такой delivery format как "On-site at industry and government sponsor locations worldwide".

Обратите внимание, в программе этой школы Financial Engineering, Software Engineering идут через запятую (что само по себе забавно) как Master of Science, а вот Systems Engineering -- как Master of Engineering. В то же время на самой страничке программы Systems Engineering (http://sse.stevens.edu/academics/graduate/systems-engineering/) прямо посредине страницы висит featured article с заголовком "The Art and Science of Systems Engineering".
3 comments|post comment

Безбажники из Австралии [26 Sep 2009|10:58am]
Австралийская команда делает операционные системы без багов -- http://ertos.nicta.com.au/. Пока это все предназначено главным образом для мобильных телефонов.

Вот только парочка их достижений:
-- 8700 строк верифицированного кода микроядра ОС (http://www.ok-labs.com/_assets/image_library/Klein_EHACDEEKNSTW_09.pdf). Очень интересный жизненный цикл получения этого кода (сам код на C, но прототип на Haskell. У меня складывается, что написание сразу двух эквивалентных программ на двух разных языках является сейчас магистральным направлением для хорошо верифицированных и надежных программ -- тот же Harold Lawson употребил этот прием для архитектуры Cy-Clone, коды которой писал на ассемблере, а исполнимые комментарии на чем-то типа Паскаля, а затем добивался одинакового исполнения кодов и комментариев -- "для проверки". Ребята из ERTOS потратили 2 человеко-года на написание Haskell-прототипа, и 2 человеко-месяца на переписывание его на С. И затем грохнули 20 человеко-лет на доказательство правильности кода -- 11 человеко-лет на само доказательство и 9 человеко-лет на инструментарий для этого доказательства. Т.е. стоимость "доказанного кода" идет к стоимости "недоказанного кода" примерно как 10:1).

-- автоматический синтез кода драйвера (при этом код получается верифицированным "по определению"): http://www.ok-labs.com/_assets/video_thumbs/Automatic_device%20driver_synthesis_with_Termite.pdf

Фирма, которая коммерциализирует эти теоретические результаты: http://www.ok-labs.com/

Еще они там хвастаются, что вышеприведенные два супердостижения -- это единственное за 42 года, что Австралия сумела презентовать на конференции ACM по операционным системам. Ага, Австралия. Вот фотография, например, автора статьи про синтез драйвера: http://www.e1os.org/rus/team.html. По русски он говорит не хуже нас с вами.

dz, когда мир (а не только русскоязычные коллеги) услышит про ваш Фантом (http://www.dz.ru/solutions/phantom)?
24 comments|post comment

Железная ОС [26 Sep 2009|03:19pm]
А вот еще новинка: операционная система реального времени, упакованная в железе -- причем не в FPGA (это уже было), а в 90нм чип -- http://techon.nikkeibp.co.jp/english/NEWS_EN/20090925/175657/

Хвастаются, что на 150МHz их ОС-ядро позволяет обработать TCP/IP на скорости 500Mbps, а на обычном ядре CPU можно обработать только 30Mbps -- и дел-то всего на несколько сотен тысяч гейтов. Теперь эти японцы (Netcleus Systems, http://www.netcleus.com/) хотят выпустить модуль для той же функции в библиотеку для включения в другие процессоры.

Микроядро реального времени -- это где-то 8тыс. строк кода на C (см., например, http://ailev.livejournal.com/730905.html). Неудивительно, что приходят мысли запихнуть такой код внутрь чипа, да еще и включить стек TCP/IP и ряд других расширений. Удивительно, что не занимались этим раньше.
8 comments|post comment

Простокваша в микроволновке [26 Sep 2009|09:22pm]
Я разогрел в микроволновке (1 минута при 900Вт) поллитра простокваши из холодильника с гарантированным содержанием молочнокислых микроорганизмов не менее 1*10Е7 КОЕ/г (КОЕ -- это колониеобразующая единица, т.е. клетки, способные пролиферировать с образованием колоний в культуре или в органах другого организма). Что произошло с микроорганизмами (на всякий случай уточню: при таких параметрах разогрева простокваша из ледяной стала комнатной температуры)? Выберите один из вариантов:

1. Ничего не произошло.
2. Микроорганизмов в простокваше больше нет, есть не менее 1*10E7 их трупов/г.
3. Микроорганизмы мутировали, и никто не знает, чем кончится поедание такой простокваши с 1*10E7 КГМ/г (колониеобразующих генетических монстров/г).
4. Ничего нельзя сказать, если не знать конкретного простоквашного штамма и его радиологической устойчивости.
5. Этот опрос нужно отправить в микроволновку.
6. Все не так, ибо ... ... ... ...
28 comments|post comment

Роберта Саакянца не стало [26 Sep 2009|11:42pm]
Роберта Саакянца не стало. Печаль. Я нежно люблю его фильмы.

Три синих-синих озера малинового цвета...

post comment

navigation
[ viewing | September 26th, 2009 ]
[ go | previous day|next day ]