[Most Recent Entries] [Calendar View] [Friends]
Below are the 20 most recent journal entries recorded in
Anatoly Levenchuk's LiveJournal:
| Thursday, January 26th, 2012 | |
| 11:43 pm | Онтологическая инженерия для системной инженерии Закончился небольшой пиар-проект по изложению многократно обсуждавшихся у меня в ЖЖ идей по использованию онтологической инженерии в помощь системной инженерии и возникающим при этом проблемам: -- текст по-русски: http://ailev.livejournal.com/975466.htm -- он же в виде англоязычных слайдов: http://ailev.livejournal.com/976550.htm -- трёхчасовое выступление на русском (на заседании Русского отделения INCOSE, http://incose-ru.livejournal.com/32 -- двадцатиминутное выступление на английском (на одной из сессий Ontolog Summit: http://ontolog.cim3.net/cgi-bin/wik Интересно было обнаружить, что выступавший на сессии Ontolog Summit сразу после меня Giancarlo Guizzardi делает что-то вроде нашего PraxOS. Интересно, кто сделает хоть какую-нибудь полезную и оформленную версию быстрее -- мы, или его команда? ;-) Никакого ощущения отставания от тамошнего "международного уровня" я не испытал. Наоборот, есть ощущение, что по пониманию мы немножко впереди. Кстати, вчера на заседании Русского отделения INCOSE решили, что одно из ближайших заседаний посвятим лингвистическим технологиям, ибо не одними онтологиями жив человек. |
| Tuesday, January 24th, 2012 | |
| 10:52 pm | Программы переходят в программы Когда-то в группе "Аттик" мехмата МГУ была популярна поговорка "разговоры переходят в разговоры, документация -- в документацию, а программы -- в программы". У TechInvestLab программы продолжают переходить в программы. Можно качать очередной релиз .15926 Editor (версию 0.87) -- http://dot15926.livejournal.com/30033.h С выпуском этого релиза мы декларируем, что уже умеем переводить разные форматы входных данных в ISO 15926. Хотя остался небольшой должок по документированию полностью работоспособного и вошедшего в данный релиз TabLan (на самом деле, документация была написана уже дважды: по-русски и по-английски, а сейчас она потихоньку переписывается в третий раз. Ждите еще чуть-чуть, она точно будет). В ближайшие полгода мы планируем научиться переводить данные ISO 15926 в разные форматы выходных данных. Это не слишком просто, ибо включает в себя поиск. А поиск бывает разный, в том числе и шибко интеллектуальный. Решать прямо сейчас задачи искусственного интеллекта нам бы не хотелось, поэтому мы сделаем поиск сложней, чем поиск текстовых подстрок в метках, именах или аннотациях узлов семантической сети, но проще, чем полноценный искусственный интеллект. Назовём этот поиск "сканером" -- ибо он будет сканировать наличную семантическую сетку, выбирая из неё искомый кусок. Затем мы добавим генератор отчётов, чтобы можно было вывести найденный кусок семантической сетки в желаемом формате (.xls таблицы, GraphViz диаграммы, HTML страницы и т.д.). А потом мы поддержим модульность представления знаний (OIM) и модульность библиотек справочных данных (чтобы можно было редактировать большие библиотеки по кусочку за раз). Вот прямо сегодня я еще надеюсь просмотреть очередной текст по эволюции онтологий (уж больно не хочется изобретать велосипеда в этой довольно мутной предметной области, хорошо бы тут учиться на чужих ошибках). На этом будем считать, что наступает лето, архитектура устаканилась, мы присваиваем коду версию 1.0 и раскрываем код .15926 для всех желающих попрограммировать обработку данных с использованием ISO 15926 библиотек справочных данных. Программировать придётся на Питоне. После этого начнётся самое интересное, ради чего всё это и затевалось: разработка полноценной language workbench с поддержкой множества прикладных DSL. Это будет .15926 версии 2, изначальная цель проекта, попытка реализовать языко-ориентированное онтологическое программирование. С апреля 2007 у меня разговоры о language workbench переходили в разговоры (http://ailev.livejournal.com/474169.ht ![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=88.8){kind=small} sbobrovsky ткнул меня в эту тему, два года затем мне понадобилось, чтобы сформулировать это как приоритет: http://ailev.livejournal.com/545386.htmПрограммы у нас таки продолжат переходить в программы! Мы еще поучаствуем в этом празднике жизни, и даже будем там в первых рядах. |
| Monday, January 23rd, 2012 | |
| 7:25 pm | Ontology Engineering for Systems Engineering Мэтью Вест попросил выступить в порядке подготовки к Ontology Summit 2012 (там, кстати, вход открыт для всех желающих, в том числе возможно онлайн-участие на всех стадиях -- http://ontolog.cim3.net/cgi-bin/wik (на всякий случай: по-русски обо всём этом я написал пару дней назад в http://ailev.livejournal.com/975466.htm Меня также подписали на тамошний список рассылки (кстати, он есть без пароля, хотя и только для просмотра: http://ontolog.cim3.net/forum/ontol |
| 12:14 am | Мои аниме-смотрелки Навёл более точную статистику своих аниме-смотрелок: http://anidb.net/perl-bin/animedb.pl?sh |
| Sunday, January 22nd, 2012 | |
| 11:30 pm | Год дракона Наступил восточный Год Дракона -- у меня сейчас весь дом завален этими драконами в самых разных вариантах. Это мне нравится: изо всех тварей художники обычно выкладываются именно на драконах. Поэтому я люблю смотреть на драконов, заваленный драконами дом много лучше заваленного зайцами. Почему-то подумалось, что когда-нибудь какой-нибудь биохудожник (такие уже есть, кстати) обязательно создаст дракона, хотя поначалу и не огнедышащего. И наверняка это случится не в том году, когда это будет технически возможно, а в качестве сувенира к очередному году дракона. Интересно, через сколько циклов это будет. Одного цикла, наверное, будет еще маловато. А вот через два цикла -- самое оно. |
| Saturday, January 21st, 2012 | |
| 6:18 pm | Импульсный радар Novelda как еще один датчик+спецпроцессор Импульсный радар на микросхеме, по моему мнению, мог бы привести к похожим на "кинект-эффект" последствиям, если бы его довести до ума: http://www.novelda.no/ (спасибо lseder за наводку). Он меряет и движения (например, засекает дыхание -- в том числе за непрозрачными стенками). Всё это очень свеженькое, пара антенн для этой микросхемы была заявлена только в октябре 2011 (три месяца назад) -- а это ведь всё одно, что объективы к тушке фотоаппарата. Дальше весь вопрос в цене. Майкрософт свой Кинект (который можно считать одновременно development kit и конечным устройством) продавала не слишком задорого, и огромное количество народу смогло с ним поэкспериментировать. Поскольку Novelda поступает как Qualcomm ("мы поставляем компоненты, а вы разрабатывайте из них конечные устройства сами"), то партнёры тут являются определяющими. Если честно, то меня несколько озадачил выбор первого готового устройства -- датчика глубины снежного покрова (от 15см до 2 метров, точность 3.5см -- http://www.flatearthinc.com/index_f Мне кажется, что будущее вот ровно за такими архитектурами: -- нестандартный датчик/эффектор (тут по факту датчиком/эффектором является антенна), -- нестандартное "железо" для обработки сигналов этого датчика/эффектора, либо как микросхема ("ускоритель"), либо как размещаемый на чужих микросхемах кусок логики (IP), -- нестандартный софт для обвязки этого железа, софт реализует приемлемый для большинства других систем API. -- система со множеством таких датчиков/эффекторов, поддержанных соответствующей электроникой (сегодня примером такой системы служит смартфон. Так, обсуждаемый радар добавит к уже имеющимся восьми антеннам этого телефона девятую, а к нескольким уже имеющимся спецпроцессорам еще один). |
| 5:47 pm | Онтологическая инженерия в помощь системной инженерии 1. Онтологическая инженерия помогает создавать формальные языки описания систем. Из полностью неформальных (тексты и картинки), полуформальных (диаграммная техника: "псевдокод") описания больших систем становятся формальными, что позволяет исправлять ошибки еще на стадиях определения системы, а не ее воплощения в "железе и бетоне". 2. Онтологическая инженерия помогает создавать формальные языки описания инженерного метода, и тем самым формализует порождение инженерного процесса. Это позволяет говорить не только о generative design, но и generative manufacturing. 3. Онтологии, используемые в большинстве сегодняшних систем (например, CYC) являются в каком-то смысле "народными" (folk), и отражают общепринятую картину мира. Оказывается, что даже во врачебных применениях существенно задействована такая информация (это показали исследования CYC по генерации врачебных отчётов). В системной инженерии нельзя полагаться на эту "народную" картину мира, и нужно опираться на "научную картину мира", которая является контринтуитивной и необщепринятой -- нельзя надеяться на общепринятость того или иного понимания, ибо в инженерии часто используется самое свежее научное знание, которое просто еще не успело стать общеизвестным и общепонятным, "здравым смыслом", "интуитивным". Это относится и к базовым понятиям системной инженерии: система, жизненный цикл, практики жизненного цикла и т.д.. Тем самым инженерная онтология может получиться крайне неинтутивная, больше напоминающая научную теорию, чем сборник мифов. Опять же, непротиворечивость этой онтологии много важней для успеха инженерного проекта, чем непротиворечивость расхожих онтик (независимых от других контекстов микротеорий), из которых собираются "народные онтологии". 4. Непосредственное использование инженерной онтологии в качестве модели данных PLM-систем, ибо требуется в рамках общей картины мира объединить частные онтики специальных инженерий. Это накладывает дополнительные требования к формальности выражения онтологии с одной стороны плюс не даёт успокоиться частными решениями, особо пригодными для конкретных предметных областей и полностью неприемлемых для других предметных областей. Кроме "атрибутного моделирования" тут требуется еще развитое представление геометрии с мереотопологией, работы с данными реального времени (для мультифизического моделирования), представление трансформаций, моделирование работы с кейсами, моделирование работы с причинностью (трассировки), моделирование отношений "мета" (порождение артефактов согласно правилам), адекватное моделирование модальностей и возможных миров (проектные альтернативы), моделирование программного обеспечения (кибер-физические системы), моделирование инженерного процесса (человеческой деятельности). Суть данного пункта даже не в том, что адекватного подхода нет в рамках отдельных инженерных онтологий (а хоть и онтологии софта!), а в том, что нужна объемлющая для всех этих частных онтик онтология -- куда можно "заземлить" и софт, и человеческую деятельность, и модели сопротивления материалов. 5. Огромный объем инженерного знания представлен в виде стандартов и регулирования, которые и вводят те или иные понятия в эту онтологию (всякие "сейсмостойкости", которые определяются как удовлетворение каким-то стандартам, а не "естественно существуют"). Проблема в экстракции знания: оно только частично на естественном языке, но в нём также таблицы, ссылки на другие стандарты, диаграммы и формулы. То есть традиционные техники понимания естественного языка не работают: диаграммы и формулы, используемые в инженерных текстах, не являются естественным языком и требуют разработки методов своего понимания. То есть нужен не просто стык с лингвистикой, но и разбирательство с многоязыковыми текстами, в которых часть языковых синтаксисов кардинально отличается и нельзя применить общий для всех языков парсер. 6. Текущая онтологическая наука очень мало работает с эволюцией онтологии. По определению, сегодняшние онтологии представлены как "вечные классы" -- их нужно только найти и записать. Проблема в том, что знание о классах таки меняется, и требуется найти адекватные методы пересмотра этого знания (логических решений, предлагаемых в теории belief revision тут недостаточно, ибо проблемы возникают в том числе и при репликации знания разным агентам, и вытекающих из-за разных путей belief revision у разных агентов проблем -- администрирование распределенной онтологической работы). 7. Онтологическое знание и онтологический метод в его нынешнем варианте основано на простейших логиках, а вот инженерное знание и инженерный метод основан на эвристиках (то есть нетрадиционных логиках). То есть в самой своей сути наличествует логическая неадекватность современной онтологической инженерии используемому "железной инженерией" подходу. Плюс сам набор эвристик непрерывно меняется (но тут уж см. пункт 6). 8. Логический вывод на онтологиях -- отнюдь не единственная "мыслительная" операция. Нужны не только жесткие отождествления, но и выход в "мета" для возможности переноса рассуждения по аналогии, кроме индукции и дедукции нужна еще абдукция. Нужны какие-то когнитивные архитектуры, способные моделировать инженерное мышление, а не только представлять инженерные знания и факты о конкретных экземплярах целевых систем. Тут, конечно, есть и проблема "больших данных": в крупном инженерном проекте легко находятся пять миллионов индивидуальных деталей, и о каждой детали есть множество разных знаний и фактов. Абсолютно непонятно, как строить вывод (если, конечно, тут можно говорить о логическом "выводе") на системах такого масштаба. 9. Сама системная инженерия как метод представляет собой что-то невнятное: то есть речь не идёт о том, чтобы адекватно выразить основные ее понятия (они, скорее, сводятся к понятиям системного подхода -- и тут всё ОК), сколько выразить то общее, что есть в практиках различных системных инженеров. И тут выясняется, что нет никакого согласованного сообществом системных инженеров мнения о том, что является такими практиками -- дальними подступами тут является стандарт ISO 15288, но с уходом от документ-ориентированной системной инженерии он стремительно теряет адекватность. Более того, опыт системной инженерии Boeing и NASA (классика жанра) широко известен, но больше хотелось бы услышать об опыте системной инженерии в проектах частного космоса, производителей смартфонов, работах по возведению промышленных зданий Broad Group: именно эти проекты указывают на уникальный опыт, и именно используемые в этих проектах онтики (или, если свезёт их обнаружить, онтологии) хорошо было бы использовать для создания контринтуитивной онтологии системной инженерии, и именно эту онтологию нужно было бы закреплять в схемах данных современных PLM. Если подытожить, то можно себе представить Systems Engineering Service Smart Bus (можно назвать это также Единым Информационным Пространством инжениринговой фирмы, или PLM нового поколения), которая как фикус в кадке сидит в горшке с наличным инженерным знанием (справочными данными -- регулированием, каталогами оборудования, стандартами и нормативами), а кроной-листочками взаимодействует с самыми разными агентами-авторами (которые даны в виде интерфейсов авторских систем). Эта Systems Engineering Service Smart Bus способна выполнять интеллектуальные запросы с их маршрутизацией или к наличным знаниям, или к отдельным авторам, а также способна интеграцию данных и интеграцию workflow крупного инженерного проекта. Это абсолютно системноинженерная система, ибо вся специальная инженерия уходит в авторские системы, а системноинжерное мультидисциплинарное онтологическое (в отличие от опирающихся на онтики специальных авторских систем) ядро "держит целое". И любые крохотные шажочки в выполнении описанной в данном постинге исследовательской программы в области онтологической инженерии приведут к драматическим улучшениям в возможностях и принципиальной реализуемости этой Systems Engineering Service Smart Bus. |
| 9:54 am | Курс "Введение в системную инженерию" Традиционно "Введение в системную инженерию" (Foundations of systems engineering) читается как быстрый проход по типовому жизненному циклу, чтобы потом медленно и глубоко прорабатывать отдельные практики с пониманием их контекста -- застревать на специфических методах инженерии требований, инженерии системной архитектуры и т.д., понимая при этом, что в ходе жизненного цикла системы еще много чего происходит. Обычно это 3 "кредита" (порядка 48 учебных часов, не считая самостоятельной работы дома), но на производстве часто ограничиваются посылкой инженеров на пятидневные курсы (примерно 2 "кредита"). Пока в России я ничего не слышал о том, чтобы кто-то задумывался о полноценном курсе системной инженерии, а не только о "введении". Но многие уже думают о том, чтобы включить знакомство с самим существованием системной инженерии в обучение по другим инженерным специальностям. Вот моё понимание, как могла бы выглядеть односеместровая двухкредитная программа "Введение в системную инженерию" (примерно по 4 часа на каждую тему): 1. Дисциплина системной инженерии и роль системного инженера. Дисциплина системной инженерии, ее отличия от инженерии по специальностям и инженерного менеджмента. Роль системного инженера, отличия системного инженера от проектного менеджера и инженеров по специальностям. Связь и отличия системной инженерии и программной инженерии, инженерии и исследований. 2. Понятие системы. Системный подход. Понятие системы. Целевые и обеспечивающие системы, системы в эксплуатационной среде. Заинтересованные стороны. Функция, конструкция, механизм, архитектура, модульность системы. Холархии. 3. Понятие жизненного цикла. Понятие жизненного цикла. Типовость (уровни воплощения) и разнообразие жизненных циклов, связь жизненнных циклов разных уровней структуры вещества в составе системы. Основные формализмы представления жизненного цикла. Виды жизненных циклов: последовательный, инкрементальный, итерационный. Пошаговое выделение ресурсов (ICM). 4. Стандарты системной инженерии. Стандартизация как методологическая и онтологическая работа. Краткая характеристика ISO 15288 (практики жизненного цикла системной инженерии), ISO 42010 (архитектурное описание), ISO 24744 (описание методов разработки), OMG ArchiMate (архитектурный язык для предприятий). Справочные данные, основанные на инженерных стандартах (онтологическая интеграция данных жизненного цикла в технологии ISO 15926). 5. Моделеориентированная системная инженерия. Описания и модели систем. Устранение коллизий (обоснования, интеграция данных) и порождающее («автоматическая разработка», трансформация моделей) проектирование и изготовление. Управление конфигурацией и изменениями. Модель продукта и модель организации. Документоцентрические и датацентрические архитектуры современных САПР и СУЖЦ. Инженерные онтологии. 6. Практики определения системы. Инженерия требований, работа инженера по требованиям. Инженерия системной архитектуры, работа системного архитектора. Описания требований и архитектурные описания. 7. Практики воплощения системы. «Вынос в реальность». Системная интеграция. Верификация и валидация, инженерные обоснования. Переход к эксплуатации. 8. Системы систем. Организационная инженерия. Подход системы систем. Организация как система. Расширенное предприятие, «эко-система». Организационная архитектура. Ситуационная инженерия методов. Управление проектами, процессами, кейсами. 9. Инженерный менеджмент Инженерный менеджмент. Управление технологиями и дилемма инноватора. Освоение практик системной инженерии в организации. Стратегия и стратегирование. Литература 1. Материалы заседаний Русского отделения INCOSE (http://incose-ru.livejournal.com/) 2. Стандарты ISO 15288, ISO 42010, ISO 24744, OMG ArchiMate (на английском языке и переводы). 3. В.К.Батоврин, Системная и программная инженерия. Словарь-справочник. ДМК-Пресс, 2010. 2. BKCASE Guide to the Systems Engineering Body of Knowledge (SEBoK v.05, 2011) -- http://www.sebokwiki.org/index.php/Guid 3. NASA Systems Engineering Handbook, 2007 -- http://education.ksc.nasa.gov/esmdspace 4. MITRE Systems Engineering Guide, 2011 -- http://www.mitre.org/work/systems_engin 5. SEVOCAB: Software and Systems Engineering Vocabulary -- http://pascal.computer.org/sev_disp У меня в блоге было за последние четыре года огромное количество обзорных материалов по темам этого курса, а в этих обзорах ссылки на литературу для углублённого самостоятельного изучения. Электронные версии западных учебников системной инженерии на всяких library.info находятся в изобилии. |
| Saturday, January 14th, 2012 | |
| 12:01 am | Субтропической России на заметку Доктор Андреа Росси сделал очередное заявление: он запустил в производство 1млн. потребительских 10kW E-Cats, которые будут стоить между $100 и $150 за установленный киловатт -- http://www.journal-of-nuclear-physics.c Вы представляете, что будет, если это окажется не фейк? Жизнь на нашем Севере станет много дешевле, в домах там будет тепло и уютно, но вот северные (впрочем, и южные) нефть и газ станут нужны исключительно как сырьё для химической промышленности, а не для менделеевского "топить ассигнациями". По идее, за ними уже должна охотиться вся мировая закулиса, а англичанка должна гадить в особо крупных размерах -- в особенности её передовые российские отряды. Бонус-трек: свеженькое от NASA про LENR -- http://technologygateway.nasa.gov/m Поп-корна мне, поп-корна! Как жаль, что на этом празднике жизни пока мне светит лишь роль зрителя... |
| Thursday, January 12th, 2012 | |
| 11:45 pm | lytdybr Удавить собственный мультитаскинг -- это всё равно как удавить свои руки, ноги, печень и глаз. Удавить-то можно, но разве ж это жизнь?! С другой стороны, миссия -- это когда понятно, чем Дитятко вдруг начал читать на ночь книжки (конкретно -- "Тайна третьей планеты"). До этого добровольно он читал только подписи к комиксам в детских журнальчиках, а остальную информацию поглощал только через видео (аудиокнижки он тоже не жаловал). Я за это же время развивался ровно наоборот: от чтения фантастики перешел к ее просмотру. Завёл пару дней назад эккаунт на anidb.net и постарался вспомнить, что смотрел за последние восемь лет (началось это в 2004г., http://eugenegp.livejournal.com/11181.h За новогодние каникулы научился играть Carioca в быстром темпе с гуляющим басом под весьма хитрый афро бит (у кого Korg M3, попробуйте: program I-E 005, включайте барабаны в родном темпе и играйте). Даже жена обратила внимание: говорит, что у меня таких забористых песенок еще в репертуаре не было. А вообще, нужно признать, что репертуар мой за последние годы не столько расширился, сколько подсократился. Хотя Carioca я, конечно, и раньше играл, но совсем по-другому -- без каких-либо ритмических выкрутасов в левой руке. Чайный магазин теперь у меня тот, что рядом с Билингвой. И жена перестала ворчать на чаи, а ведь из других магазинов она каждый раз нет-нет да и назовёт какой-нибудь чай сеном. Но это дорогой магазин, да. Пример последовательности задач, которые можно разворачивать на примере робота: -- измерить скорость робота по прямой (поставить таймер, затем замерить путь рулеткой) -- измерить скорость робота по прямой без рулетки (поставить таймер, замерить путь на один оборот колеса, потом посчитать, сколько оборотов сделало колесо за отмеренное таймером время) -- измерить скорость робота по трассе (поставить таймер, затем замерить путь по трассе рулеткой -- робот ведь рыскает при движении по трассе, и по оборотам колеса мерять нельзя). -- зная, что трасса соревнований составляет 13 метров, определить, какое будет время прохождения трассы -- и оценить шансы на победу. -- предсказать, какая будет скорость робота, если взять колесо с бОльшим диаметром, например, из набора Lego Technics "Квадроцикл" (для этого нужно понять, какой путь проделывает это колесо за один оборот и знать число оборотов мотора в секунду -- вычисляется из данных прошлых замеров). -- заменить "родное" колесо на большое, поменять крепление датчика освещенности (он ведь окажется слишком высоко над трассой) -- измерить скорость с большим колесом (таймер и рулетка). Сравнить с "предсказанным теорией" результатом. -- измерить скорость робота с большим колесом по прямой без рулетки (через время и число оборотов), сравнить с предыдущим результатом. -- измерить скорость робота по трассе (таймер, рулетка -- робот ведь будет рыскать). -- оценить шансы на победу в случае бОльших колёс. -- оценить, какого размера должно быть колесо, чтобы появился шанс победить. Что-то это уже непохоже на уроки программирования... Возник спрос на "обучение ISO 15926". Интересно, как популярно объяснять людям, что "трехдневные курсы высшей математики" не предполагают никаких сертификатов по выпуску, равно как не предполагают никакого знания высшей математики по их окончанию? С другой стороны, после этих трехдневных курсов можно будет обсуждать, что с этой высшей математикой делать дальше в ближайшие годы. В связи с ISO 15926 в очередной раз вспоминается цитата из "Пятой Дисциплины" Питера Сенджа: "Недавно в ходе пятидневного вводного курса, проводимого Обучающим центром МТИ, одна женщина-менеджер из конструкторского отдела компании Ford лаконично сформулировала ситуацию: «Спустя пару дней, — сказала она, — я начинаю понимать, о чем вся эта история с системным мышлением и интеллектуальными моделями. Мне это напоминает время, когда я только начала знакомиться с высшей математикой. Сначала я чувствовала себя совершенно потерянной. Все это было мне совершенно чуждо. Но потом я начала «схватывать» суть. Через год я уже вполне владела основами этого дела. Через пять лет это стало основой моей профессии». Потом она добавила: «Если бы высшую математику изобрели сегодня, ни одна из наших корпораций не смогла бы ею овладеть. Мы бы посылали каждого на трехдневные курсы. Затем каждый получал бы три месяца на то, чтобы посмотреть, работают ли «все эти штуки». А когда выяснялось бы, что они не работают, мы бы начинали пробовать что-нибудь другое». Только в нашем случае это не системное мышление, а ISO 15926. Но "послать на трехдневные курсы" -- да, именно это и происходит. Не пропустите: за последние несколько дней было несколько очень хороших постингов sober_space -- про математику, философию, физику, программирование, и как всё это связано друг с другом. Я очень поддерживаю тамошнее направление мысли.Купил-таки mikogo. Там в очередной раз обрезали бесплатные фичи -- и куда ж деваться?! Интересно, а есть ли в фейсбуке другие типы записей, кроме как "имярек shared a link"? Хотя один раз на сто таких встречается и status update, но это ведь исключения, только подтверждающие правило. Фейсбук -- исключительно развлекательный ресурс, ему место только в записях lytdybr. Дальше по-фейсбучному закрою несколько табов в браузере: CES 2012 невероятно интересна (трансляция на http://www.engadget.com/). Не помню, чтобы столько интересного показывали на одной выставке. Кризис 2008 года плюс трёхгодичный цикл разработки -- и вот результат... В Великобритании вместо "персонального компьютинга" в школах ввели программирование (computer science) -- http://www.bbc.co.uk/news/education-164 Broad Group радует: они всерьез решили обрушить цену за квадратный метр здания втрое, за счёт заводского изготовления -- http://nextbigfuture.com/2012/01/ch Итого: утром беспощадно резать GTD! |
| Monday, January 9th, 2012 | |
| 4:41 pm | Видеодемократия на марше Nikon анонсировал выпуск камеры D4 (http://www.dpreview.com/articles/77999 Там в комментах раскрываются технические особенности этих съемок, а главный комментарий -- комментарий самого автора видео: "The D4 is amazing! It was interesting to watch Rex (a Canon shooter) get more and more excited day by day on the WHY shoot the more he used the D4. Speaks volumes! The camera really does have features that are unique in the DSLR market and at the end of the day it means as creative people we can focus more on the story we are trying to tell rather than fiddling with gear". Ну что, входные барьеры еще в одну отрасль сильно упали в цене по потребному начальному капиталу. Если учесть, что стоимость постобработки видео и производства всяких видеоэффектов тоже упала в разы и разы при использовании современных видеокарт, то желающие почувствовать себя сценаристами, режиссерами, операторами и кем угодно еще -- вперёд! Извинений, что для этого нужны запредельные капиталовложения, и "я бы снял шедевр, но кто ж мне даст!" уже нет. На первый план выступает (как всегда в таких случаях) собственно талант сценариста, режиссёра, оператора, актёра -- с совсем иными темами для обсуждения (главной из которых остаётся "можешь не снимать -- не снимай!"). Конечно, профессиональная планка быстро-быстро убегает в 4K и 3D, но и там лёд уже тронулся. Декорации сейчас будут тоже сильно дешевле обходиться: трехмерные объекты научились недавно вставлять даже в видео вместе с генерацией теней сообразно восстановленной из уже снятой картинки ситуации с освещением (http://habrahabr.ru/blogs/image_proces В общем, кому есть что сказать -- тот скажет. Но и кому сказать нечего -- тот тоже скажет, оформив эту чепуху крайне высококачественно. Истинная демократия, все смогут побывать в шкуре "настоящего художника", и даже кухарка сможет снимать шедевры! Если, конечно, у неё получится. Но смочь (финансово) -- сможет! Осталось только научиться вылавливать из этого мутного потока хоть что-то, на что можно будет потратить своё драгоценное время. Ибо никакой краудсорсинг не спасёт, эти же "кинорежиссеры" и "кинооператоры" будут лайкать и рейтинговать чужое с таким же огромным талантом, как и снимать своё. Так что пока наслаждаемся тем, что могут снять новой дешёвой техникой те элитные люди, которым эту технику доверили испытать еще до того момента, пока хипстеры начали ей %:?*( луки. А потом наслаждаемся тем, что можно будет такое самим снимать, и этим элитным людям не завидовать. А элитные люди будут в этот момент испытывать какие-нибудь голографические видеокамеры -- и эта "тик-так" машинка "потребления-творения" продолжится еще некоторое время... |
| Sunday, January 8th, 2012 | |
| 3:42 pm | Соревнования роботов в Политехе Побывали сегодня на первом дне соревнований роботов: http://www.railab.ru/2012/87-progra Ни один судья не знает длины трассы (мне тайно сообщил этажом ниже один из сотрудников Политеха, что "на глаз там 15 метров -- но точно не меряли", в прошлом году что-то похожее было 13 метров -- но это я на вебсайте узнал, а не от тамошних главных), известно только время начала и конца заезда. Так что скорости роботов понять невозможно. Мы не заявлялись. Но у меня робот (с одним датчиком) вполне мог бы на той дистанции обыграть добрую половину участников -- он линию довольно уверенно держит, в отличие многочисленных тамошних роботов, даже с двумя-тремя датчиками, но запрограммированных на NXT-G. Жена говорит, что все эти соревнования для деток нашему дитятке нужно пропускать: ей довелось поучаствовать в олимпийском резерве (фигурное катание), так она говорит, что на детские соревнования деток не выставляли, чтобы "время на низ зря не терять", а выставляли сразу на взрослые -- чтобы они там получали свои восьмые-девятые места и надлежащий опыт. Так что и наше чадо, по идее, должно соревнования типа сегодняшнего пропускать. Мне же кажется, что когда он будет готов к соревнованиям для взрослых, то не факт, что в них нужно будет участвовать: спортивная робототехника явно не есть главное дело и главный спорт в его (и тем более в моей) жизни. Как-то оно там всё убого и очень, очень любительски. Единственный экспонат, который заинтересовал дитятку на выставке -- это "профи" робот, который должен завтра проходить гонку по прерывистой линии. Для этого на робот-платформу поставили телефон, и на нём работала программа распознавания изображений. Дитятко долго изучал, как крутятся колёса в зависимости от того, что видит камера. Я понял, что сразу после отработки ПИД-контроллера нужно будет начинать обработку изображений, никуда не деться. У меня одной из любимых книжек в студенчестве была "Распознавание образов и анализ сцен", но тогда вся технологическая цепочка для распознавания изображений казалась невероятно сложной и дорогой. Сегодня же всё упаковано в телефон, и нужно только написать программу... Всего-то... |
| Saturday, January 7th, 2012 | |
| 7:26 am | Посиделка по дошкольной информатике Вчера у нас в офисе состоялась очередная посиделка по дошкольной информатике, которую удалось записать на видео: Если честно, то я был разочарован: ничего для себя нового я не услышал, кроме двух кратких моментов, полученных в кулуарах: а) математика "до материалов физматшколы" (т.е. до нынешнего примерно 7 класса) могла бы крутиться вокруг разной арифметики -- приёмам быстрого счёта с объяснением стоящих за этим быстрым счётом свойств чисел б) что я всегда буду в ситуации, когда мне никто не сможет помочь с очередным учебным курсом для моего дитятки Дискуссия почти повторила дискуссию из прошлой посиделки (http://ailev.livejournal.com/966698.ht -- долгое обсуждение, что "важно как учить -- и это должна быть разновозрастная группа детей". Невозможность разделить содержание обучения от формы обучения для большинства участников (еще бы! Для этого как раз и требуется тот комплекс знаний, которому я хочу учить деток: уметь работать с дисциплинами, как с объектами). -- не менее долгое обсуждение, что никогда не знаешь, чему нужно учить -- и полное непонимание моего тезиса, что есть компактный набор знаний, позволяющий удерживать целое из огромного числа отдельных учебных предметов, дисциплин, наук, профессий и т.д., и этому знанию нужно учить в обязательном порядке. -- примеры из далёкого прошлого, что "и без этих ваших особых знаний люди справлялись": эти приёмы меня особенно задалбливают своей неадекватностью. Ну да, "костры еще пять тысяч лет назад разводили неплохо, и Миланский собор тоже хорошо строили -- поэтому ничего и делать не нужно, детки как-то сами вырастут, и научатся делать не хуже". -- развёрнутая презентация ПиктоМира (несмотря на то, что это максимум два месяца учебного процесса) и кратенькое обсуждение КуМира (хотя это полгода учебного процесса), полное отсутствие обсуждения того, что должно быть дальше (а у меня все вопросы сейчас именно к тому, что дальше -- никто не поддерживает разговор на эту тему!) -- обсуждение того, что обучение одного дитенка нетехнологизируемо, ибо уникально (ага, я дал своему дитенку "уникальный ПиктоМир" и "уникальный КуМир"?!). -- постоянный перескок на тему "что нужно сделать в школьном образовании страны" (мой ответ: нужно на него плюнуть слюной, а рядом срочно строить своё образование -- поэтому не нужно тратить время на обсуждение всех этих ЕГЭ, вариантов программ и учебников. Пример московской элитной школы 57 меня не убеждает: это точно не масштаб страны, это уникальное учебное заведение с давними традициями, его не оттиражируешь). Ну и так далее, я на эту тему у себя в блоге многократно писал, и считаю для себя многие вопросы обсуждёнными и решения принятыми. Итого: на "образовательные тусовки" мне ходить неинтересно, это явно не моя тусовка. Моих проблем там не обсуждают, мой опыт там не слишком востребован, а ввязываться в реформирование образования в масштабах больше, чем какой-нибудь семьи -- это я не считаю своей задачей и не хочу тратить на это цветы своей селезенки. С другой стороны, я не считаю свой опыт образования собственного дитятки совсем не тиражируемым и бесполезным для других ввиду его уникальности. Так что я буду просто время от времени делать постинги у себя в блоге: кто захочет, тот даст себе время разобраться в том, что я делаю. Ибо разговоры об образовании переходят в разговоры, а вот собственно образование -- в образование. Но тем, что хочет поразбираться, как именно учить пятилеток-шестилеток азам алгоритмики на ПиктоМире, смотреть видео этих двух посиделок обязательно. UPDATE: обсуждения этой посиделки в ЖЖ одного из участников -- http://posic.livejournal.com/722838.htm |
| Wednesday, January 4th, 2012 | |
| 2:16 pm | New Year resolution -- 2012 Есть планы продолжать жить без планов (прошлогодняя New Year resolution -- http://ailev.livejournal.com/897074.htm Увы, лингвистических технологий я в 2011 году не хлебнул, хотя и хотел (да и сейчас хочу). И книжку по логике не прочёл (опять же, я и сейчас такую книжку хочу прочесть). Так что продлим прошлогоднюю резолюцию еще на год -- год ведь довольно искусственная мера времени, не будем на ней зацикливаться. А про двухлетней уже давности мысли о гносеологии/эпистемологии пока лучше забыть, ветер почему-то дует в другую сторону. Дополнительно в новом 2012 году мне хочется немного попрограммировать -- причем не на Си или Ершоле (возня с ними мне удовольствия не доставляет, это мне нужно только в связи с образованием дитятки), и даже не на Scala или Python (про Haskell и подобные я вообще молчу -- уже стар стал второй раз заходить в эту речку), а на чём-то типа Mathematica. Желание иррациональное, но оно есть. Еще хотел бы, чтобы к лету дитятко дотянул по своим знаниям-умениям где-то на конец разных школьных программ четвертого класса (сейчас у него уровень где-то конца третьего класса), а за следующие полгода вопрос о "текущем классе" стал бы для него вообще неприменим. |
| 1:46 pm | Куда думать в первом квартале Основные направления исследований в первом квартале: 1. Системная инженерия -- пятое поколение: федерация датацентрики, получение мегамодели большого инжинирингового проекта. Терминология, архитектура интеграции данных/информационной структуры, различение интеграции справочных данных и проектных данных, иерархия САПР и нескольких уровней PLM и т.д.. 2. .15926 -- онтологизирование-в-большом. Как организовать модульность онтологий и поддержать их групповую разработку -- разобраться с OIM, микротеориями, онтолетами, единицами предметных областей, единицами редактирования, единицами администрирования, "что такое 15 спредшитов начальной RDL части 4" и прочими попытками навести модульность на онтологии и единицы администрирования онтологических данных. Выйти на поддержку федерации библиотек справочных данных (в том числе каталогов методов, промышленной продукции, словарей для мэппинга разных дисциплин и т.д.) в софте -- выпустить .15926 Editor с поддержкой OIM и администрирования. 3. PraxOS -- как связать methodology domain и endeavour: с учётом ACM, на уровне справочных данных, на уровне прикладного софта. Результат исследования представить в виде библиотеки справочных данных PraxOS (помним: исследование заканчивается получением компактного описания предметной области) и опубликовать в нашей RDL TechInvestLab. Кроме того, получить полностью русскоязычный Archi. 4. Методология -- модульность методов, модульность коллаборации, понятие системы vs модуля. А еще -- поразбираться с когнитивными архитектурами, отличиями онтологического логического софта от лингвистических софтов. 5. Опенмета -- хотел бы поразбираться с нейрокоррекцией. 6. Образование -- необходимо придумать в первом же квартале, как выучить дитенка хотя бы чуть-чуть программировать робота, чтобы во втором квартале закончить это и перейти к чему-нибудь другому. Пока у меня сплошные вопросы и проблемы, и нужно еще много чего узнать и много-много думать. Мой постинг "куда думать в первом квартале" от 7 января 2011 -- http://ailev.livejournal.com/896267.htm |
| Tuesday, January 3rd, 2012 | |
| 11:05 pm | Автоматизация тестов приёмки: к постановке задачи Когда-то давно мне сказали, что валидацию и верификацию мне лучше бы не переводить на русский -- ибо под "приёмкой" и "проверкой" каждый будет понимать что-то своё, а вот значения слов "валидизация" и "верификация" выучат заново, что сэкономит много времени. Сейчас мне кажется, что угроза путаницы преувеличена. Ежели чего, покопайтесь в моих постингах трехлетней давности, там на эти темы много чего было написано. Сейчас я попытаюсь рассказать про это немного другими словами, учитывающими наше современное понимание. Проверка (верификация) -- это то, насколько разные уровни абстракции конструкции соответствуют друг другу (например, рабочий проект соответствует архитектуре, изготовленные детали -- рабочему проекту, собранная система соответствует архитектуре). Если автомобиль по проекту должен быть длиной 6 метров, то какой он длины он получился, выйдя за заводские ворота? Приёмка (валидация) -- это то, насколько собранная система (как целостная конструкция, работающий механизм) выполняет свои функции. Если автомобиль выполняет функцию безопасной доставки людей из А в Б, то доедет ли до Б, выехав из А, и выживут ли при этом перевозимые и окружающие люди? Приёмка -- это тестирование на предмет того, что решалась правильная задача, а не что задача решалась правильными методами. Ничего не знаем про правильность кода, проекта, учебного артефакта, но зато знаем, что именно нужно было сделать, и какие именно грабли нужно было при этом учесть. Путаница, как всегда, возникает из-за того, что функции и конструкция/механизм жестко не разделяются: функции часто именуются по наиболее часто реализующей их конструкции/механизму, а конструкция/механизм именуется по выполняемой ими функции -- всё оказывается перепутано уже на уровне имён. Кроме того, для подсистем элементы конструкции задаются их функцией, и любое прикосновение к функциям норовит превратиться в рассмотрение какого-то нижележащего уровня конструкции. Дисциплину четкого разделения функции и конструкции тут соблюдать сложно, а при акценте на модульность (когда конструкция собирается из каталожных функциональных модулей) так и очень сложно. В принципе, многие функции, особенно "ости" (ilities -- все эти "безопасности", "ремонтопригодности", "надёжности", "адаптивности", "гибкости" и т.д.) крайне трудно проверить. Поэтому используются хитрые способы типа включения в состав проектных моделей "инженерного обоснования" (assurance case -- тут case по аналогии с "судебным делом", как обоснованием для приговора) с явным указанием логических приёмов ("от противного", "перечисление всех возможных случаев", "проверка экспериментом", "субъективная оценка эксперта" и т.д.), используемых для доказательства обеспечения этих "остей". Из литературы по assurance case можно вычитать, что когда-то в комитетах по стандартизации схлестнулось много разных методов обеспечения доказательства этих "остей", но победил assurance case. Дальше я бы заметил, что прорывов нужно ожидать не от системноинженерных проектов, а из программноинженерных -- и потом лет через десять системноинженерные проекты будут пытаться использовать соответствующие техники. В чем-то assurance case похож на "доказательство правильности программ": в текст программы (проекта) втыкаются разные дополнительные утверждения (результаты тестов, экспертные оценки, расчеты), и далее нужно доказать, что проект с этими оценками представляет собой непротиворечивое целое. Это доказательство дальше может быть либо формальным (на тему необходимости и трудности этого пути регулярно пишет avlasov, его диагноз -- лет через десять-пятнадцать это может даже стать практичным), либо неформальным (построение того самого обоснования -- assurance case по итогам прохождения батареи тестов, ведь полностью покрыть тестами все возможные варианты невозможно).Это я просто в порядке восстановления контекста разговора про всяческие приёмки и проверки, это всё прелюдия. Далее идёт пятиголосная фуга: я хотел бы как-то компактифицировать знание о методах приёмки -- ибо язык тут крайне разнится. Меня будут интересовать методы приёмки в: -- программной инженерии (источник лучших на сегодня методов приёмки, из которых ожидается миграция в другие дисциплины и технологии) -- учебной инженерии (приёмка как автоматизированная проверка результатов учебных заданий -- примером может служить современный КуМир и кейс проверки студенческих заданий от VivoMind) -- системной инженерии (приёмка "железных" систем -- включая обеспечение compliance в той части, в какой речь идет не о предписании конструкции/механизма, а реализован подход по performance. Хотя ввиду необъятности системной инженерии мы предложим пока для рассмотрения только пример простейшей системы: физического робота). Результатом мог бы быть модуль библиотеки справочных данных PraxOS (ага, модуль RDL в смысле ISO 15926), который помог бы компактно описывать лучшие на сегодня методы приёмки и мэппить описания методов приёмки разных дисциплин друг ко другу, тем самым помогая побыстрее осуществить миграцию лучших практик. А тестовым случаем я буду считать приемку учебных задачек по робототехнике. Данный постинг не предлагает никакого решения, и даже не окончательную постановку задачи, а попытки сформулировать хоть какую-то программу исследований. Пять голосов этой приёмной фуги (напомню: в фуге разные голоса ведут в основном или измененном виде одну и ту же мелодию -- её-то и нужно найти, и подобрать слова для ее выражения): 1. Нужно понять, в чём лучшие практики тестов приёмки в софте. На текущий момент приёмка выведена в отдельные специализированные продукты testware (test automation frameworks, http://en.wikipedia.org/wiki/Test_autom -- определяют формат выражения ожиданий -- каким-то образом ставят тестируемое приложение под свой контроль -- выполняют тесты -- выполняют аналитику для результатов тестирования (отчёты) Начиналось всё с простых попыток определить подать что-то на вход приложений и прочитать выводы (чтобы сравнить с эталонными), второе поколение добавило скрипты для тестирования, третье поколение отделило данные тестирования от собственно скриптов (data-driven), четвертое поколение научилось генерировать сами скрипты (keyword-driven), пятое поколение уже насквозь гибридно и может включать всё что угодно (например, логику типа используемой в business rules). Типичный пример современного testware -- RobotFramework (http://code.google.com/p/robotframewor Нужно бы поглядеть, что сейчас есть в университетских разработках. И нужно понять, что можно сделать, если встраивать систему тестирования в язык/IDE, а не делать отдельный движок сбоку. 2. Если мы рассмотрим КуМир с возможностью проверки результатов работы, то: -- в нём есть Миры, предполагающие действия Исполнителя в какой-то Обстановке; -- ученик в каждой задаче должен писать алгоритмы для действий Исполнителя: в общем виде задаются Дано и Надо (формулируется функция алгоритма -- тут я использую слово "функция" как "то, что нужно сделать в данной Обстановке" в отличие от "конструкции", т.е. предложений по тому, как писать код. Никакого отношения к функциональному программированию!); -- для каждой задачи определяется несколько (обычно от 5 до 12 даже для простых задач) разных тестовых Обстановок с прописанными в них конкретными вариантами Дано и Надо; -- требуется, чтобы созданный учеником алгоритм мог работать во всех тестовых Обстановках, предлагаемых для этой задачи -- может дополнительно контролироваться способ решения (конструкция), но только косвенно (например, можно считать перемещения нарисованного робота, чтобы отслеживать неэффективные алгоритмы с лишними перемещениями. Или проверять в каждой клетке счётчик закрасок, чтобы отслеживать неэффективные закраски. Но нельзя распознать код!). Используемый язык -- смесь "пакетного программирования" в варианте группы "Аттик" (Обстановка, Мир, Исполнитель, Выполнитель и т.д.) и математического (Дано, Надо). Очень интересно наблюдать, как программирует дитятко в такой среде. Сначала дитятко пытается пройти со своим алгоритмом каждый отдельный тест, и исправляемая ошибка одного теста неминуемо приводит к ошибке в другом тесте. Через некоторое время дитятко начинает решать любую задачу с того, что внимательно просматривает все обстановки -- и уже не так стремительно пытается исправлять ошибки "по месту", как в первое время, он пытается сохранить результаты в уже работающих тестовых Обстановках. Еще через некоторое время дитятко начинает "предугадывать" возможные тестовые Обстановки и сразу пишет все необходимые проверки и условия в код решения. Нужно разобраться, насколько используемый при учебном тестировании язык (в смысле -- набор понятий и русскоязычная терминология) применим к типовому описанию ситуаций тестирования -- или наоборот, насколько можно современный типовой язык тестирования (и системного подхода) использовать в качестве языка описания учебного тестирования. 3. Всё это также нужно будет приложить и к ОнтоМиру (см. про .15926 trainer, http://dot15926.livejournal.com/23094.h 4. В плане декларативных текстов для проверки хорошо бы учесть опыт VivoMind, где автомагиески проверяется правильность даже не декларативного кода, а нарратива. Построение проверяемого артефакта учеником присутствует, но не требуется его выражение в каком-то формальном исполняемом языке. Так, в примере рассматривается традиционный математический текст: http://www.jfsowa.com/talks/pursue.pdf 5. Отдельно про системную инженерию я писать не буду, нам для разбирательства в проблеме пока и учебный физический робот сойдёт, проблема понятна и с ним. Когда мы переходим к работе с физическим роботом (например, Lego Mindstorms NXT 2.0), то ситуация существенно ухудшается. Дело не в том, что на текущий момент у нас нет КуМира, который бы работал с физическим Роботом (хотя что-то в этом плане разработчиками КуМира и делается, но результат еще будет не скоро). Прямо сейчас есть, например, RobotC и еще десяток языковых сред с библиотеками управления тем же NXT 2.0. Не это отсутствие "стандартной учебной среды" главное, и не отсутствие учебных задач (их тьма -- и они формулируются независимо от языка программирования робота, ровно то, что нам нужно). Обстановка физического робота на сегодня чаще всего -- ватман с линиями разметки (поле, mat) и пустые банки из-под прохладительных напитков. Но даже для простейших задачи курса робототехники ("пусть робот доедет до черной линии, и там остановится", в этом алгоритме в его обычном виде всего три строчки кода) я не понимаю, как автоматизировать приёмку работы ученика (хотя можно представить фотографии и текстовые описания начальных Обстановок: робот в полуметре от линии, линия очень тонкая и быстро едущий робот может ее проскочить, линия не чёрная, линии на линии движения робота нет, робот начинает с того, что он уже на линии -- варианты "поперек" и "вдоль", резко меняются условия освещенности поля и т.д.). Конечно, нужно еще и правильно формулировать задачи, чтобы облегчить приёмку, нужно еще для этого правильно подбирать начальные и конечные Обстановки для каждой задачи. И учитывать, что один раз робот за секунду проезжает 680 градусов поворота правого колеса, а в другой раз вполне может проехать 674, это ведь не цифровой мир, и не прецизионное оборудование. Намёки, впрочем, есть: так, RobotC имеет среду виртуальных роботов (http://www.robotc.net/download/rvw/ |
| Monday, January 2nd, 2012 | |
| 8:51 pm | Итоги года: чего прихвачено в ушедшем 2011г. Прошлые итоги года -- http://ailev.livejournal.com/894876.htm В этом году была необычно бурная семейная жизнь: я и жена активно учили дитенку уму-разуму. Дитенка сопротивлялся этому, как мог, но мы оказались сильнее. В результате его образование стало существенно отличаться от школьного: он ушел на каникулы хорошистом, как и в прошлом году, но это означает только то, что а) школа не в восторге от его поведения (впрочем, и мы с женой тоже не в восторге) и б) основные наши обучательные силы уходили отнюдь не на официальную программу этой школы. Жене нужно в этом году поставить пятёрку по предмету "технология", который на деле означает "рукоделие" -- всякие аппликации и покрашенные веточки в ассортименте. Этого добра (включая полный набор рукодельных ёлочных украшений и самодельных календарей) ей было оттаскано в школу немало, да и дитенка даже выполнил какой-то процент работ по этим явно унаследованным от дикарей допромышленной эпохи "народных промыслов". Хихикну, что в 2011 году я опять начал писать код -- на Ершоле, ибо приходилось решать дитяткины задачки. Экспериментально выяснено, что рекурсивный обход произвольного лабиринта я еще способен написать! Также впервые за много лет написал несколько строчек на Си (точнее, его диалекте RobotC), попрограммировал на нём аппаратуру (не в первый раз. Так, в юности я программировал аппаратный фурье-преобразователь, эмулируя для него интерфейс IEC модулями универсальных портов крейта CAMAC -- и это было чуток посложней, чем управлять моторами Lego!) . Квартира весь 2011 год представляла собой равномерно раскиданные краски, карандаши, учебники математики самых разных лет, какие-то стопочки "тренажеров" по русскому и английскому языку, листочки черновых распечаток разнообразных "проектов" (то бишь наборов картинок с подписями) для предмета "окружающий мир" -- не дом, а какой-то учебный мини-завод. Такое впечатление, что обучение дитятки только в 2011 году и началось. По факту этот семейный учебный акцент сказался и на структурировании моих работ, которые дополнились еще и образованием младшешкольников -- но общего отхода от структурирования (http://ailev.livejournal.com/843165.ht 1. Системная инженерия Если первая половина года была в дожёвывании тематики требований (и становилось всё ясней и ясней, что никакой особой тематики требований нет, а есть тематика обсуждения системной архитектуры внешними по отношению к разработчикам людьми), то во второй половине года, наконец, был сдвиг в архитектурные работы. Это было не только "изучение", но и "разработка". Из самых крупных укажу только на СУЖЦ, об архитектуре которой у меня было множество постингов в 2011. Наметился также сдвиг от тематики чистого управления жизненным циклом как предотвращения и обнаружения инженерных коллизий к проблематике порождения инженерных артефактов -- но в этой области мы пока ничего не делали сами (если не считать работы с ISO 15926 как необходимые для представления данных для такого порождения), только разнюхивали. Наиболее интересным из этого разнюхивания был контакт с людьми из группы системной инженерии исследовательской лаборатории IBM в Хайфе: они как раз участвовали в проектах META/METAII/iFAB, о необходимости более подробного разбирательства с каковыми я говорил в "проблематизации" 2010 года. Я этот год был директором по исследованиям Русского отделения INCOSE, мы провели 18 заседаний в Москве ( ![[info]](http://l-stat.livejournal.com/img/community.gif?v=88.8){kind=small} incose_ru), апрельскую трехдневную встречу в Бекасово, в июне встречали Бо Оппенгеймера с lean systems engineering в Москве и Асмуса Пандикова со standardisation в Нижнем Новгороде. В декабре прошли перевыборы Совета директоров Русского отделения INCOSE, и в 2012 году я продолжу быть директором по исследованиям.Из многочисленных моих докладов и лекций хотелось бы особо выделить "Инженерия будущего", я выступал на эту тему в Нижнем Новгороде, Санкт-Петербурге и в Москве. С этой целью (чтобы люди не ловили на слух мудрёные слова и потом имели возможность поискать что-то в Гугле) я порезал на слайды постинг http://ailev.livejournal.com/934632.htm kapterev. Наиболее полная версия моего рассказа на тему "инженерии будущего" (видеозапись) -- http://incose-ru.livejournal.com/29И еще сформулировал, как трёхуровнево описывать информационные модели крупных инженерных объектов (http://ailev.livejournal.com/962773.ht По линии системной инженерии укрепилась роль TechInvestLab, как "научного руководителя", когда мы приглядываем за иностранными консультантами в больших проектах -- ибо за этими иностранцами нужен глаз да глаз, чтобы они выдавали работу действительно на международном уровне! Интересно, что с иностранцами в 2011г. я встречался главным образом не в Москве, а в Нижнем Новгороде, и оптом (на июньском Multi-D форуме -- http://ailev.livejournal.com/935544.htm 2. PraxOS: праксеологическая организационная система. Как переход от системноинженерных задач к организационным я пытался разобраться с феноменом инженерного менеджмента (http://ailev.livejournal.com/926383.ht Но это всё задел на будущее. А в давно опубликованном роадмэпе PraxOS от разговоров по постановке задачи потихоньку переходим к делу. Было "прихвачено" две большие практики: adaptive case management (ACM, http://ailev.livejournal.com/946134.htm Я сделал большую серию постингов "Архимейт по-русски" (http://ailev.livejournal.com/964544.ht ACM же позволило вернуться к пониманию 2007 года, ибо мы уже тогда сказали, что нужно смотреть на "работы" -- а уж "процессы" или "проекты" эти работы, это вторично. Главным софтом мы еще тогда назначили issue tracker, который люди из ACM считают как раз предшественником современных систем адаптивной работы с кейсами. А если начинать разбираться с кейсами и issues, заодно можно вернуться из "процесс-ориентированного подхода" (т.е. разговоров об онтологически трудновыявляемом и плохо понимаемом одинаково) к разборке с вещами (которые довольно просто выявляются, и все их понимают более-менее одинаково) -- как это было декларировано в октябре 2010 в "что лучше: процессы или вещи" (http://ailev.livejournal.com/867599.ht Под самый Новый Год я даже сделал большой постинг с первой попыткой определить базовые понятия ОргЛана (http://praxos.livejournal.com/13689.ht Все основные результаты по ПраксОСу/ОргЛану я писал не у себя в ЖЖ (кроме редких исключений, типа обсуждения систем поддержки коллективной работы против систем поддержки оформления результатов работ http://ailev.livejournal.com/963821.htm praxos (там, кстати, на сегодня 89 читателей). За год там прошло всего 7 записей, но они преогромные как размеру текстов, так и по отраженной в них работе. Я очень доволен итогами года, продвижение несомненно.3. Методология В этом году у меня появилась гипотеза, что в основании всей знаниевой пирамиды, которую надлежит освоить современному человеку, лежит современная философская логика. Все попытки контактов с СМД-методологами оказались в этом смысле бесплодными: они не могут поддержать какую-то осмысленную беседу на эту тему, увы. Я даже посетил несколько заседаний логико-философского кружка и начал устанавливать контакты с логиками -- но тамошние люди оказались далеки от практики. В марте я ругался (http://ailev.livejournal.com/916260.ht Так что я попытался как-то восстановить мостик между "всем известными теоретиками прошлого", "малоизвестными теоретиками настоящего" и "широко известными в узких кругах практиками". Результаты этих штудий как-то обобщены в постингах "четырехмерие и охватизм" (http://ailev.livejournal.com/913373.ht И именно из этой точки начала вырастать моя образовательная программа. На удивление, в этом году не дошли руки заняться стандартизацией как таковой. Еще у меня несколько месяцев в плане постингов болтается раскрытие темы еще одного места методологической работы: аналитические агентства (например, в IT это Gartner), которые занимаются выявлением трендов, стандартизируют в своих отчётах терминологию разговора об этих трендах, и тем самым кладут основу для последующей стандартизации в консорциумах. Но я не теряю надежды написать об этом в 2012. 4. .15926 В целом на работе мы пытались продолжать курс на то, чтобы работать не столько в городе, или даже стране, сколько сразу на глобусе -- если уж и работать, то нужно это делать по гамбургскому счёту, чтобы о результатах было не стыдно рассказать и на английском. Первый международный релиз нашего .15926 софта -- это самый продвинутый на тот момент Browser, конец марта 2011. В июне 2011 vvagr съездил на конференцию POSCCaesar в Осло, рассказал о наших планах, а в середине декабря мы в существенной мере эти планы реализовали (http://ailev.livejournal.com/968936.htА еще в феврале мы выпустили на русском методику "ISO 15926 outside", в сентябре перевели ее на английский. Все эти результаты можно найти на http://techinvestlab.ru/ISO15926 Также ключевой итог года -- это формулирование программы самообразования для ISO 15926 (http://dot15926.livejournal.com/27293.h Мы также организовали две тусовки русскоязычных любителей ISO 15928 ("фестиваль" в марте -- http://ailev.livejournal.com/919606.htm Комьюнити dot15926 выросло за год с 54 читающих до 87 человек -- но более важно то, что некоторые из них в этом году ещё и пишут.Еще мы подняли наш внутренний RDL TechInvestLab на OpenVirtuoso, и ведем с ним сейчас активные эксперименты. Меня по-прежнему волнует, что у нас полное отсутствие лингвистической компоненты. Но тут (спасибо IBM Watson) мы уже начали какие-то телодвижения навстречу разработчикам соответствующего софта, и ситуация становится понятней. Я даже написал программный постинг "нужен фордеф" (про формализатор-деформализатор), http://ailev.livejournal.com/969337.htm Главное в 2012 году -- инструментарий для обеспечения модульности онтологий и администрирования библиотек справочных данных. Понятно, что для создания такого инструментария нам нужно будет серьезно разобраться с методами обеспечения коллективной онтологической работы. 5. Опенмета В openmeta не было сделано ни-че-го. Следов психопрактик, которые как-то повышают интеллект, а не способность работать в каком-нибудь цирке, нигде не было обнаружено. Правда, я нашел неких "нейрокорректоров" -- но пока не было времени разобраться, что они на самом деле делают, и насколько это приложимо к интеллектуальным практикам (хотя они сами любят обсудить, как помогать дифференцировано детям, отстающим в математике и отстающим в русском языке. Интересно, могут ли они не "приводить в норму", а выводить из нормы вверх!). Оставим это исследование на 2012 год, в тесной связи с образовательной тематикой.6. Образование (младшеклассников, и не только) Неожиданностью занятия образованием не являются: я еще в 2006 году в worldchanging (http://ailev.livejournal.com/368377.ht Это неожиданное для меня в 2010 году учительство собственного малолетки успело в 2011 выйти и за рамки чисто семейных занятий: у нас в офисе прошел семинар "дошкольная алгоритмика" (мои тезисы к нему -- http://ailev.livejournal.com/966480.htm Основная идея -- это то, что для выхода на упражнения (решения задач) нужно иметь цепочку языков разного уровня сложности: от примитивных до полноценных "взрослых". Тем самым, "формальноязыково-ориентированное" образование получается нацеленным на умение моделировать и далее работать с формальными моделями. Но чистой "языковости" мало: нужно еще иметь правильно подобные "миры", которые обеспечивают наглядность для языковой среды -- тем самым "базовые языки моделирования" должны предусматривать какой-то выход на модульность по отношению к этим мирам (пример -- "исполнители" и их "миры" в КуМире). Задачи и упражнения формулируются в Мирах, а их решения делаются на Языке (обычно общем для нескольких миров). И при создании этой цепочки нужно помнить о van Bethem (http://ailev.livejournal.com/915253.ht Но я отметился не только в образовании для младшеклассников, я еще сделал несколько постингов про образование великовозрастных программистов, из которых можно особо выделить -- http://ailev.livejournal.com/907435.htm Вот и все мои "тематические" достижения, остальное попадает в раздел "разное". Политэкономических штудий у меня почти не было, несмотря на заявленную в прошлом году программу -- не считать же попытки формулирования своих интересов в либерализме (http://ailev.livejournal.com/919184.ht Путешествовал я по меркам последнего десятка лет очень много: побывал с семьёй в сентябре в Барселоне и в ноябре в Риме, выступал на конференции в Санкт-Петербурге, а про чуть ли не десяток командировок в Нижний я уже написал. Год был не слишком богат на железные гаджеты: можно, конечно, считать гаджетом Lego Mindstorms NXT 2.0, но это дитенке. Ну, еще мне подарили iPod 2, но он тоже пошёл жене и дитенку. Купленный объектив 14-140 для Lumix GF-1 тоже был для жены. И еще купил 802.11n роутеры ASUS -- незабываемые ощущения от наблюдения за 9.6Мbyte/sec downloading на дитенкином десктопе, ибо мои входные 100Мбит/сек вполне теперь дотягиваются и до дальних комнат. Себе я только обновил в сентябре дисплей на рабочем месте (http://ailev.livejournal.com/953609.ht Увы, за год так и не собрался восстановить мою домашнюю сетку: три компьютера и дисковый плеер пали смертью храбрых, так и не дождавшись ремонта. И чёрт бы с ними, но данных жалко -- там ведь везде были RAID-массивы... На самокате не просто в этом году "катался" -- он был всю весну, лето и осень основным транспортом! Из интернет-гаджетов продолжил платить за vimeo.com, pandora.com, добавил к своим платным сервисам smtp2go.com и Hotspot Shield Elite. Гаджетом года стал с большим отрывом от всех бесплатный mikogo.com -- но его самые удобные фичи перешли в разряд платных буквально месяц назад, и теперь я планирую заплатить и за этот сервис. К списку просматриваемых лент добавил очень узенький список на Фейсбуке (много уже, чем число автоматически там зафрендованных -- ибо у меня там политика автоматического френдования всех, кто постучится). Я там по-прежнему ничего и не пишу -- только транслирую постинги отсюда. Хотя очень изредка не удерживаюсь и что-то комментирую. Число френдов в ЖЖ окончательно стабилизиовалось (что показывает: я не попсею) -- год назад было 1458 френдов, сейчас 1612. Оказалось, что это совсем ничего не значащие цифры, и даже не из-за большого количества спамботов и "мёртвых душ". Просто меня читают и через френдфид, и через фейсбук, и даже через Гугль Ридер (http://ailev.livejournal.com/948685.ht Не помню, какие художественные книжки я читал в этом году (хотя помню, что что-то читал -- с экрана, не в бумаге). В начале года я был опечален тем, что в художественной литературе главным образом показывают развитие чувствовалки и упорства, но не показывают развитие думалки (http://ailev.livejournal.com/903228.ht Еще вдруг заметил, что кроме бразильской музыки иногда начинаю переключаться на японскую -- чаще всего после того, как в каких-нибудь анимешках встречаю что-то необычное, например ALI PROJECT (http://ailev.livejournal.com/937873.ht Еда года -- мороженное. Его я в 2011 съел немеренно, и не только летом. А еще нежно вспоминаю лагман из нижегородского заведения "Тако". Едал я и разные другие лагманы -- но с тем лагманом (пробовал дважды в разные приезды) никакого сравнения. Антиеда года, несомненно, была вездесущая испанская "хамбурхуеса". Печаль года даже не политическая ситуация (с ней всё понятно: для меня тут ничего пока не изменилось, но почему-то много разных людей "прозрело" -- с чего бы это?). Меня гнетёт непрерывно пухнущий GTD. Никак не могу себя заставить быть перед собой честным и повычеркивать оттуда много чего потенциально прокисшего за давностью лет. С другой стороны, время от времени я таки возвращаюсь к тамошним древним позициям и успешно их закрываю, а не просто вычеркиваю. Так что буду считать, что печаль моя светла... А теперь интересно мнение читателей моего ЖЖ -- что я в 2011 сделал самого крутого? |
| Saturday, December 31st, 2011 | |
| 11:08 pm | Всем щастя! Всем щастя в 2012 году and beyond! Нам выпало крутое щасте жить в эпоху перемен, а перемены мне нравятся со школьных времен -- жизнь отсчитывалась именно по переменам: малым и большим. Уроки же -- нудное время между переменами. Так что с грядущими переменами нас всех, с настоящей жизнью, с новым счастьем! |
| 10:23 pm | Хип-хоп балет на пуантах. В порядке новогоднего концерта: Танцуйте с ними, танцуйте как они, танцуйте лучше них! Не можете танцевать, так сделайте в Новом Году что-нибудь другое, только сделайте это хорошо! |
| Friday, December 30th, 2011 | |
| 12:46 pm | Яндекс распознаёт голос В телефоне у меня появился поисковый виджет Яндекса с распознаванием голоса. Отлично работает! Только на мой голос почему-то плохо реагирует -- говорю "Левенчук", а Яндекс устойчиво распознаёт "lesbian чук". Голос жены телефон понимает абсолютно по-другому, с первого же раза -- "Левенчук", без вариантов. То есть дело не в отсутствующем словаре, а в распознавании сути сказанного. Ага, только о них, женщинах, и думаю -- Яндекс меня правильно раскусил... UPDATE: как мне подсказали во френдфиде, виджет-то поиска яндексовский, а распознавалка голоса в телефоне -- гуглевская. Так что неестественный интеллект и срывание покровов произвёл гугль, хотя этого в виджете Яндекса и не видно... |
