Лабораторный журнал
 
[Most Recent Entries] [Calendar View] [Friends]

Below are the 20 most recent journal entries recorded in Anatoly Levenchuk's LiveJournal:

    [ << Previous 20 ]
    Sunday, December 21st, 2014
    11:39 pm
    Микросервисы: второе пришествие агентов
    Мартин Фаулер довольно давно уже написал про микросервисы: http://martinfowler.com/articles/microservices.html. Микросервисы там подаются в том числе и как альтернатива корпоративным шинам (smart endpoints and dumb pipes. Applications built from microservices aim to be as decoupled and as cohesive as possible - they own their own domain logic and act more as filters in the classical Unix sense - receiving a request, applying logic as appropriate and producing a response. These are choreographed using simple RESTish protocols rather than complex protocols such as WS-Choreography or BPEL or orchestration by a central tool).

    Движение к децентрализации и операционной модульности неизбежно: микротеории, микросервисы, независимо друг от друга определяемые API -- есть ведь только один вид единомыслия: единонемыслие (Салтыков-Щедрин тут прав, хотя речь и идёт об IT, не нужно забывать, что эту самую IT делают разные команды людей -- и недаром Мартин Фаулер поминает в своём тексте закон Конвея, когда говорит о микросервисах. Для меня это ничем не отличается от CYC с его микротеориями -- того же поля ягоды понижения монолитности общей конструкции).

    TM Forum 9 декабря 2014 (пресс-релиз: http://www.tmforum.org/PressReleases/TMForumDeliversFirst/55368/article.html) выпустил набор стандартов Digital Servises Toolkit, которые затрагивают в том числе и сервисы для интернета вещей (IoT) -- http://www.tmforum.org/OpenDigitalEcosystem/16472/home.html

    Technology Radar рекомендует держать микросервисы на холде (на январь 2015, это уже выложено в превью: http://www.thoughtworks.com/radar/techniques/microservice-envy). Это самая первая стадия в цепочке hold-assess-trial--adopt. Но в поле зрения радара микросервисы уже появились.

    Я не думаю, что микросервисы ожидает счастье-пресчастье: шуму о них будет много, толк же будет получаться в очень ограниченной нише. Для меня это реинкарнация агентского подхода. Smart endpoints, говорите? Интернет вещей? Вот-вот: агентский подход, только без излишней начальной антропоморфности, со всем возможным повторением его трудной судьбы.

    Интересно, что будет происходить в этих микросервисных архитектурах с моделированием данных.
    8:20 pm
    Теория категорий и системная инженерия: мокрый остаток
    Диаграммных языков огромное множество: блок-схемы, сети Петри, SBGN (Systems Biology Graphical Notation -- http://www.sbgn.org/), BPMN, радиосхемы, сигнальные диаграммы в теории управления и т.д.. В них нужно как-то разбираться, ибо кажется что все они про одно и то же -- но каждый раз оказывается, что про разное. Так, в UML как диаграммном языке 14 видов диаграмм, в SysML из них используется 7 и добавляется 2 новых. Что в этом диаграммном зоопарке общего, что разного? Ежели хочется создать SysMoLan как язык моделирования, то неплохо бы теоретически убедиться, что в нём выразимо как можно больше типов инженерных диаграмм и в нём есть необходимые солверы для типовых вычислений по этим диаграммам. Другими словами, чтобы моделер не повторял в своей модели данных картинку диаграммы, а чтобы отражал её суть -- определение диаграммы (абстрактный синтаксис и инженерную/физическую семантику), а не её описание (конкретный синтаксис).

    Этой работой занимается John Baez в рамках проекта Network Theory (http://math.ucr.edu/home/baez/networks/networks_1.html, стартован в 2011г.), этот проект движется потихоньку (http://math.ucr.edu/home/baez/control/control_talk_erlangen.pdf -- про полноту изобразительных средств для сигнальных диаграмм, 2014г., http://math.ucr.edu/home/baez/circuits.pdf -- про диаграммы электрических и гидравлических сетей/цепей). В работах Баеза начали появляться прямые упоминания системной инженерии в связи с теорией категорий -- см., например, картинку объявления о системноинженерном семинаре 1959 года в MIT тут и комментарий к ней в http://math.ucr.edu/home/baez/week292.html. Солверов это всё тоже касается: например, попытка выяснить: вероятностные или квантовые расчёты нужно применять для моделирования сетей/цепей, или квантовые расчёты обобщают вероятностные, или есть их общее для сетей/цепей пересечение? Целая книжка на эту тему: http://math.ucr.edu/home/baez/stoch_stable.pdf

    Главный вопрос тут, конечно -- "зачем" все эти теоркатегорные мэппинги между разными дисциплинами математики и инженерии. Есть ли что-нибудь такое, что раньше нельзя было посчитать, а сегодня посчитали? Похоже, ничего такого нет -- новых расчётов или повышения точности для старых расчётов не предложено (или я плохо читал?). Считать, что экономится человеческое знание, тоже нельзя: всё это "похожее" редко приходится рассматривать одним и тем же людям -- разные инженеры делают разные расчёты. Хотя я не знаю, как бы выглядело разделение труда, если бы стало понятно, что "разные расчёты" и "разные диаграммы" вдруг являются вариантами одного и того же расчёта, одной и той же диаграммы. Ну, и при таком подходе можно формально проверить: достаточно ли полна модель данных для выражения тех или иных инженерных диаграмм, достаточно ли данных для тех или иных солверов, достаточно ли алгоритмов для тех или иных солверов.

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

    Мне кажется, нужно как-то учитывать оба этих подхода.

    Вот мой план, по которому можно было бы как-то попасть в инженерный рай с использованием теории категорий:
    1. Ограничиться задачей архитектурного синтеза (слово "ограничиться" тут выглядит издёвкой, ну да ладно). Архитектурный синтез -- это когда мы пытаемся взаимно оптимизировать компонентное описание (одну или несколько принципиальных схем -- "как оно работает") и модульное описание (продукты, детали и т.д. -- "из чего мы это сделаем, и сколько оно будет стоить"). Про размещения и прочая пока умолчим.
    3. Про принципиальные схемы -- можно идти по линии, намеченной Баезом сотоварищи.
    4. Понять, как описывать модули. Это всяческие BOM, это описания протоколов (интерфейсов).
    5. Разобраться с формализацией архитектурного синтеза. Тут уже тьма самых разных работ:
    -- неформальный ТРИЗ: можно начинать с проглядывания трёх текстов: АРИЗ-85В http://www.triz-ri.ru/triz/triz02.asp, типовых приёмов разрешения противоречий http://www.triz-ri.ru/triz/triz04.asp и стандартных решений изобретательских задач -- http://www.triz-ri.ru/triz/triz06.asp.
    -- contract-based design (группа Генриха Брудни): работы по Heterogeneous reactive systems and component based design со страницы http://people.rennes.inria.fr/Albert.Benveniste/, https://chess.eecs.berkeley.edu/design/2012/discussions/Pdf/ASVDammPasserone_CDC_EJC.pdf, трансляция контрактов в логический язык (как я понимаю, аналогично можно транслировать и в теоркатегорный язык) http://arxiv.org/pdf/1311.3631.pdf, грамматика языка целей и контрактов (Goal Contracts Specification Language): https://project.inria.fr/plasma-lab/gcsl/
    -- суперкомпиляторы: http://sober-space.livejournal.com/83013.html и далее по ссылкам в моих репликах
    -- Марк Левин, Технология поддержки решений для модульных систем. Электронная книга. 341 с. 2013.
    http://www.mslevin.iitp.ru/Levin-bk-Nov2013-071.pdf
    -- Кузнецов Н.А. и др. -- Метода анализа и синтеза модульных информационно-управляющих систем: http://libgen.org/get?nametype=orig&md5=c3943a8b391b4277fe2ce83e1352e568
    -- пример с трассировкой выбранного модуля пожарной сигнализации к размещениям в презентации С.Ковалёва (собственно, там уже теоркатегорный подход был использован): http://incose-ru.livejournal.com/50098.html
    -- ... этот список можно продолжать до бесконечности.

    Интересно, что этот архитектурный синтез во многих современных работах уже выходит на киберфизику.

    Удастся ли как-то найти общее идейное, понятийное и вычислительное ядро во всех этих методах, даже если использовать теорию категорий? А потом на базе этого ядра сделать архитектурный моделер с редактором компонентных и модульных диаграмм плюс архитектурный солвер, вычисляющий мэппинг/трассировку между этими диаграммами, плюс оптимизатор, ставящий под контроль изменения в диаграммах? Язык этого моделера и был бы SysMoLan, а теория категорий рулила бы вычислениями в солвере и оптимизаторе. У инженеров бы тогда не было вопросов, а универсальное понимание всех этих разнообразных методов пошло бы в основу курсов по практикам архитектурной работы в системной инженерии.

    Это, конечно, очень сырой план, поэтому в этом посте я привёл не сухой, а мокрый остаток наших обсуждений последнего месяца. Но за неимением других планов будем работать по этому.
    Saturday, December 20th, 2014
    6:01 pm
    Об инженерное образование в МАМИ
    Выступал сегодня в МАМИ минут сорок в рамках программы повышения квалификации преподавателей (http://www.mami.ru/news_new.php?id=6344), опять повторял тезисы по инженерному образованию из моего доклада на 98 заседании Русского отделения INCOSE (слайды и видео тут: http://incose-ru.livejournal.com/50538.html). Темой мероприятия был переход всего МАМИ на работу студентов в рабочих проектах -- мытьём, катаньем, игрой, производственной практикой, хоть чем нибудь заставить студентов что-то делать практическое или игровое, а не просто отвечать на экзаменационные вопросы в части контроля знаний. Не буду повторять мою позицию, но сделаю несколько заметок по ходу встречи:

    1. Разницу позиций методолога (тот, кто режет связную жизнь на более-менее независимые учебные предметы -- выделяет образовательные дисциплины, определяет поддерживаемые ими учебные технологии), педагога (тот, кто умеет какому-то из этих учебных предметам научить) и тьютора (тот, кто умеет выстроить для отдельного студента, а сейчас чаще в целом для маленькой учебной группы образовательный маршрут через все эти отдельные учебные предметы, каждому из которых учит отдельный педагог -- он берёт на себя ответственность за карму ученика в целом по бакалавриату или магистратуре) не держит никто. В результате каждый говорит про что-то своё родное, чаще всего с просьбой провернуть современный образовательный фарш назад в мясорубку: куда-нибудь в специалитеты образца 1975 года, "когда сахар был слаще, а трава зеленее".

    2. Чем именно (кроме того, что все первокурсники после школы тупые) отличается образование первого курса бакалавриата и последнего курса магистратуры сформулировать никто не мог -- хотя желающих высказаться было много.

    3. Слово "проект" не использует только ленивый, поэтому учебный проект студента, производственный инженерный проект, проект по введению учебных проектов в практику, игровой студенческий проект, проект по описанию учебных проектов и т.д. -- различить невозможно, обсуждается скопом всё. Попытки ввести какой-то язык для описания и сравнения проектов (инженерных, учебных, образовательных, воспитательных, производственных, в смысле проектного управления и т.д.) невозможны: "давайте не изобретать новых слов, все слова у нас уже есть".

    4. Идеал инженера -- это самородок-самоучка, каким-то образом впитавший в себя искусство руководства инженерной деятельностью и собственно искусство инженерной работы. Эдакий Кулибин-2014. Понятно, что научить Кулибина нельзя, кроме как "дать ему проявиться". Для этого нужно провести его через много-много проектов, в надежде, что он пропитается бесценным знанием коллег и наберётся бесценного опыта на своих собственных ошибках. Идея о том, что многому из этих знаний и опыта можно научить примерно так же, как решению квадратных уравнений -- эта идея не приживается.

    5. Но понимание, что под лежачий камень вода не течёт -- это понимание тоже есть. Другое дело, что преподаватели в некоторой растерянности: их никто не учит преподавать, их никто не учит методологии, их никто не учит тьюторству. А требуют от них инженерного отношения к их собственной образовательной деятельности. Моё мнение: нужно учить поначалу не студентов, а преподавателей. Они хорошо знают каждый свой предмет, но им нужно дать целостное знание о том, как собирать из отдельных предметов полный ВУЗовский курс.

    6. Приход денег ВПК чувствуется. Был явно опротестован мой тезис о том, что выпущенный мной студент-инженер должен иметь выбор -- работать ли ему в Пензе, Ханое, Москве, Торонто или Сан-Франциско. Мне популярно разъяснили, что в силу крымнаша студенту должны преподать ГОСТы и выпускника отправить работать на предприятия ВПК -- они ведь ждут! Никаких Торонто! Мнение студента на этот счёт, понятное дело, игнорируется: переход на Болонскую систему состоялся лишь на бумаге, идеология образования в головах наших образователей, увы, не поменялась никак.

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

    Тем не менее, есть в МАМИ и интересный опыт с рабочими проектами, который нужно развивать, развивать и развивать. Просто нужно к этой идее отнестись по-инженерному: не ожидать, что в результате разных "межпредметных" игротехнических, соревновательных, командных практик откуда-то у студентов появятся нужные компетенции, а спроектировать появление этих компетенций, научить этим компетенциям вполне осознанно. Иначе могут выпуститься радостные молодые люди, у которых каждый их инженерный проект будет весёлый и ненапряжный, с элементами игры и отличным бескофликтным командным взаимодействием -- только инженерные результаты проекта почему-то не будут достигаться. После дискотеки-то тоже в пивную все радостно идут командой, и лидеры в этом проявляются, только работа почему-то от этого не движется. Этого в учебных проектах и нужно бояться: похожести на дискотеку, невозможности предъявления тех навыков мышления и действия, которые будут перенесены студентами из учебных проектов в производственную среду, в проекты других типов.
    Thursday, December 18th, 2014
    10:23 pm
    Об философов-бухгалтеров
    Подумалось, что философы как бухгалтеры в отличие от финансистов: вся их философия, как и бухгалтерия, всегда post mortem, всегда про давно забытые времена. Им бы как финансистам управленческий учёт, какую-нибудь управленческую философию, живую, про сегодняшний день и хотя бы ближайшее будущее, а не про прошлое в исполнении Аристотеля-Платона-Гегеля-Хайдеггера. Вся эта философия сводится к "что я новенького вычитал у Гераклита" и "что говорили русские философы ещё в прошлом веке" -- реферативные работы и обзоры по сути своей, как на первом курсе. Я за то люблю аналитических философов-логиков, что они не идут по жизни ракоходно с глазами вытаращенными в прошлое с максимумом резкости на Платоне. Они не пережёвывают и перетирают одно и то же по надцатому разу и пишут не столько художественные тексты о прошлом, сколько смотрят в будущее и пишут тексты логические. И именно они беспокоятся о том, что философские проблемы современности решают не они, а практики (физики, информатики, инженеры), а они лишь потом обобщают и оформляют эти результаты, у них нет гордыни. Обычным же философам по-прежнему кажется, что это весь мир идёт за ними, а не они ракоходно плетутся за миром. И потом они обижаются, что их никто не ценит -- мир, видите ли, идёт недостаточно за ними-философами, хотя шустро бегает за кем ни попадя!

    UPDATE: вот, в FB тоже дискуссия на эту тему пошла -- https://www.facebook.com/ailevenchuk/posts/10203788312082315
    8:21 pm
    lytdybr
    Нейроонтология: люди пытаются изучать, где в мозгу находится немодальная (не в смысле логической модальности, а в смысле модальности восприятия -- картинкой ли, письменным словом, произнесённым словом) обработка семантики -- ковырять можно, начиная с этой статьи: Fairhall, S. & Caramazza, A. (2013). Brain regions that represent amondal conceptual knowledge. Journal of Neuroscience, http://www.wjh.harvard.edu/~caram/PDFs/2013_Fairhall_Caramazza_Journal%20of%20Neuroscience.pdf (а на страничке http://www.wjh.harvard.edu/~caram/publications.html такого много).

    Конец года, пошли публикации результатов по грантам. Киборгизация отдельных людей потихоньку двигается: http://www.engadget.com/2014/12/18/double-amputee-mind-controlled-robot-arms/, http://www.engadget.com/2014/12/17/darpa-mind-control-robot-arm/.

    Второй проход по книжке системноинженерного мышления -- как работа рашпилем. Каждое отдельное движение занимает практически день, но на общем результате почти не сказывается. Надеюсь, что двух месяцев этого "почти" хватит, чтобы выпустить следующую версию. Помощь из зала поступила весьма противоречивая: людей мало волнует содержание "по-крупному", большинство откликнувшихся что-то сказали про опечатки и вёрстку, изредка поминая стиль -- кому-то хотелось бы изложения поживее, кому-то посуше "как в советском учебнике". Советы по содержанию есть, но прямо противоположны. Так, про часть восемь мнения в диапазоне от «ничего не понял, и давайте её вообще выкинем» до «очень понравилось и помогло понять то, что было в предыдущих семи частях». То же самое с обширными примерами обучения «искусствам» – от «выкиньте их все, отвлекает от инженерии» до «самая полезная часть книжки, огромное спасибо за них».

    Глава в англоязычную книжку ушла сегодня в версии 0.7d -- и непонятно, сколько ещё этих версий там ожидается. Текст правит швед, за ним правит американец, за ними опять правлю я.

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

    Вчера я перекормил семью рождественской музыкой: залез в Яндекс.Музыку и стал вещать на всю квартиру тамошние десятки вариантов You're A Mean One, Mr.Grinch -- http://music.yandex.ru/search?text=You%27re%20a%20mean%20one%2C%20Mr.Grinch&type=tracks. По ссылке не всё находится, ибо есть и варианты названия. И что семья? Первый час семья веселилась от крутизны и разнообразия, часа через три они от этого же взвыли. Рождества нужно в меру.
    Wednesday, December 17th, 2014
    2:36 am
    Онтологическое кашеварение в шестом классе
    Онтологическая задача из учебника информатики для 6-го класса -- http://znanija.com/task/3364270. Узнал о ней, потому как жена пыталась помочь отроку её решить, и основательно запуталась, что немудрено. Это ж какая онтологическая каша, а не условие! Несчастные дети, их родители и учителя!

    Я буду давать студентам эту задачу как тест после прочтения BORO book. Невинно так, "вот вам задачка из учебника для шестого класса". И буду смотреть на реакцию.

    В учебнике там "растровый", конечно, но эта ошибка (дважды опечатка? вряд ли) в тексте по ссылке тоже доставляет. Портал "школьные знания", ага. И лучший ответ -- это просто песня.

    Но теперь я буду знать, что онтологии в школе таки учат. "Не стреляйте в педагога, он учит как умеет".
    Friday, December 12th, 2014
    1:12 am
    Обратной связи псто
    Обратная связь по книжке "Системноинженерное мышление в управлении жизненным циклом" (http://techinvestlab.ru/files/systems_engineering_thinking/systems_engineering_thinking--TechInvestLab_2014.pdf) мне нужна прямо сейчас, потому что апдейт текста я хочу закончить к февралю 2015.

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

    Я не планирую эту книжку делать самоучителем, добавлять задачи и обилие кейсов (всё одно эти кейсы будут читаться как "яблоки из учебника", кейсы из книжки это не кейсы из жизни). После чтения книжки предполагается групповая работа с тренингом отождествления материала книжки и материала жизни -- на своих проектах и на проектах участников группы. Главное, что это живые проекты, а не проекты-кейсы из книжки. После такого тренинга "читатель" обычно понимает, что вычитал из книжки всё не то и не так и начинает читать книжку по новой, включая проход по ссылкам на литературу. Но настоящий инсайт получается тогда, когда читателю предлагается написать эссе по приложению материала книжки к своему рабочему проекту. Тем самым решается проблема "фундаментального образования" (оно в книжке) и "практического образования" (оно в рабочем проекте) -- через тренининг с участием преподавателя и через последующее написание эссе.

    В основе всей этой сложной образовательной процедуры лежит книжка, поэтому хотелось бы узнать про опыт её использования и получить замечания и предложения. Прошу помощь из зала, комментами к этому посту или письмом.
    12:37 am
    A cappella multitracks в ютьюбе
    В связи с наступающим сезоном christmas carols: какие интересные пошли a cappella multitracks в barbershop style (http://en.wikipedia.org/wiki/Barbershop_music) в ютьюбе!

    A Cappella Trudbol (http://www.youtube.com/user/trudbol), Julie Gaulke (http://www.youtube.com/user/pianomom99), Benjamin Everson (http://www.youtube.com/user/beneversonmusic), Sam Robson (http://www.youtube.com/user/traanncce), Danny Fong A Cappella (http://www.youtube.com/user/daniscool99) и даже целые коллективы (http://www.youtube.com/user/AccentVocal), и так далее -- их там ой-ой сколько, только осторожней, Ютьюб после загрузки страницы сразу начинает играть "приветственный ролик".

    Вот они, современные технологии. Один человек легко становится сам себе студией звукозаписи, телестудией, телеканалом, музыкальным магазином, промоутером и так далее по всему списку. Через годик-два можно будет выбирать себе внешность в каждом окошке, через годика три-четыре исправлять ошибки пения и менять голос, лет через десять можно будет вообще не петь, а сделать заказ на песню, внешность исполнителей, их манеру пения -- и выложить в ютьюб получившийся ролик, поучаствовав в соревновании таких же любителей (если кого-то становится много, то и соревнования всенепременно появятся). Про рекомендательные сервисы я молчу, про них и так все знают. Каждый музыкант, недомузыкант, и даже бот получат своего заинтересованного слушателя -- даже если он один такой на всей земле, его всенепременно найдут.

    Интересные трансформации с музыкой происходят, медленно но верно.
    Thursday, December 11th, 2014
    10:45 am
    Тем, кто против роботов, которые отбирают у людей работу
    vvagr нашёл коротенький мультик, который нужно показывать всем тем, кто волнуется про скорое засилье роботов, отбирающих у людей работу (http://vimeo.com/opusbou/el-empleo-the-employment):


    Тут подумалось, что коммунисты должны быть, безусловно, за скорейший приход засилья роботов -- они же освобождают пролетариат от эксплуатации, причём как раз в массовых рабочих профессиях!
    Wednesday, December 10th, 2014
    12:33 pm
    Управление жизненным циклом производственного актива: кто чем тут управляет?
    Видео моего доклада "Управление жизненным циклом производственного актива: кто чем тут управляет?" на конференции «Жизненный цикл актива. Стандартизация. Интеграция. Интеллектуализация» 26 ноября 2014, слайды там встроены (http://vimeo.com/114110004):


    Вот эти слайды отдельно (http://www.slideshare.net/ailev/asset-lifecycle-systemsengineeringoct14):


    Комментарий на тему этой конференции я писал тут: http://ailev.livejournal.com/1150538.html
    Tuesday, December 9th, 2014
    1:43 pm
    lytdybr
    Завтра на заседании INCOSE (оно пройдёт в здании МФТИ на Климентовском переулке) буду подводить итоги моих образовательных штудий 2014 года и рассказывать о планах на 2015 -- ведь очередной межвузовский (в этот раз группа студентов из МФТИ, МИФИ, МИСиС) курс по системноинженерному мышлению начнётся уже в феврале. Так что к февралю я сделаю апдейт своей книжки -- на это и уйдут в ближайшие пару месяцев мои длинные зимние вечера.

    Отрок продолжает долбить фейсбучный Galaxy Life, а вчера полдня проходил в том же фейсбуке какой-то детективный квест (а потом жена проходила его же полночи). В этом фейсбуке игр на все вкусы по самое не балуйся, майнкрафты и старкрафты поэтому уже некоторое время отдыхают. Из неигровых занятий отрок стартовал математику 7 класса заочной физматшколы МИФИ. Если всё пойдёт по плану, то к лету этот курс он уже закончит.

    Ширится, растёт движение: на русском языке начинают обсуждать ограниченность объект-ориентированного моделирования данных. Преподавателям философии должно быть стыдно, что они на эти тему не могут поддержать внятного разговора и за них отсылки к Аристотелю делают бизнес-аналитики -- http://habrahabr.ru/post/245241/ (напомню, что подробно и не по-русски эта тема раскрывается в книжке BORO: http://www.borosolutions.co.uk/research/content/files/books/BusObj-Printed-20050531-with-watermark.pdf/at_download/file).
    Update: там продолжение про функциональные объекты -- http://habrahabr.ru/post/245267/

    Люди из Autodesk про искусственный интеллект в проектировании (очень похоже на ТРИЗ по идеям -- только вместо проработки базы патентов людьми для этого хотят использовать deep learning и эволюционное творчество навроде генетических алгоритмов): http://labs.blogs.com/its_alive_in_the_lab/2014/12/au2014-summary-of-jeff-kowalskis-keynote-remarks.html
    Sunday, December 7th, 2014
    11:44 am
    lytdybr
    К секретам иглоукалывания современная нейронаука подбирается всё ближе и ближе: попытка влияния на воспаления через прямую стимуляцию нервов оказалась удачной, идут клинические испытания -- http://www.nytimes.com/2014/05/25/magazine/can-the-nervous-system-be-hacked.html. Вряд ли эти исследователи знают о висцеральной теории сна, но мне кажется несомненной близость этих исследований: http://ailev.livejournal.com/1124869.html

    Вчера вечером меня расспрашивали, с чем наперевес нужно идти для "оптимизации управления" на предприятии. Я ответствовал про PraxOS: TOC в ассортименте для управленческого учёта и планирования, beyond budgeting для дисциплины расходования средств, adaptive case management для ведения дел (вместо протоколов), enterprise and business architecture как средство моделирования текущего состояния организации и планирования изменений, плюс понимание менеджерами инженерной части дела (знакомство с азами системноинженерного мышления -- внимание к жизненному циклу продукта, используемые технологии). Ну, и постепенное подтягивание всего этого моделирования в цифру -- из блокнотика на планшетик, из планшетика в облачные приложения.

    Ивар Якобсон сотоварищи выпустил очередную статью, в которой предлагает вернуться к сути software engineering -- начать таки заниматься программной инженерией вместо ныне расцветшего программного ремесленничества. Ибо зодчие-ремесленники, конечно, делали иногда восхитительные строения, но и грохались такие поделки часто не менее восхитительно. Современные небоскрёбы ремесленнически не сделаешь, как и современные ракеты: нужен инженерный подход, теория инженерии. Конечно, в основе всего этого захода на теорию программной инженерии (как учитывающей более гибкий характер кода по сравнению с менее гибким характером железа), Якобсон видит Essence: http://queue.acm.org/detail.cfm?id=2693160

    Вчера вечером последний раз катался на самокате. Сегодня самокатный сезон, увы, закончен: снег таки выпал. Ничего, весна уже скоро (хотя в этом году даже приближение Нового Года почему-то не чувствуется. Значит, сразу будет весна, мимо Нового Года).

    На выступлении у учителей математики и физики для одарённых детей вчера одна бабушка со мной спорила, что уроки "Технологии" в их нынешнем виде крайне нужны: детей должны учить пришивать пуговицы! Я заметил, что раньше их ещё и учили штопать носки, а также писать перьевой ручкой с нажимом. Эта же бабушка явно не справлялась с ПиктоМиром (всем были розданы планшеты с ПиктоМиром -- чтобы попробовать). Образовательная робототехника с намертво пришитыми к роботу пуговицами. И робот из спичечных коробков, обмазанных пластилином -- только таких на "Технологии" и будут делать одарённые дети, под присмотром опытнейших учителей математики и физики.

    На омском HappyDev выступил, но перемудрил с собственной техникой: записывал видео, и оно даже записалось -- но неудачка, без звука. Так что общедоступного рассказа про инженерное образование пока не будет, ждём какого-нибудь следующего раза.
    Friday, December 5th, 2014
    5:27 pm
    Системноинженерное мышление в непрерывном образовании
    Завтра буду выступать на конференции в МФТИ о школьных инженерных классах (по примеру математических классов и классов информатики) с А.Г.Кушниренко, но нужно было поместить это выступление в более широкий контекст. Так что я подготовил много больше слайдов, чем нужно для завтрашнего выступления. Эти слайды учту в следующей версии книжки по системноинженерному мышлению, вот они (http://www.slideshare.net/ailev/ss-42393674):


    Update: а ещё я буду рассказывать именно эти слайды на конференции HappyDev завтра же в Омске (дистантно), а потом там случится дискуссия про образование -- в ней тоже приму участие.
    Tuesday, December 2nd, 2014
    12:59 am
    lytdybr
    Теперь у меня рабочий стол (на компьютере!) разместился на четырёх экранах: 3 FullHD (два портретника 24" и один ноутбучный) плюс старичок 1600*1200. Три экрана крутой дугой (а не плоско, как на 4К телевизорах), пиксельный шаг у них нормальный. Сортировал сейчас очередную колоду слайдов -- наслаждение. Ноутбучный экран получился совсем сбоку и далековато, поэтому на нём пока крутится яндекс.музыка в отдельном окошке браузера (слушайте там, кстати, St.Vincent 2014 -- https://music.yandex.ru/album/1795812). Но свято место пусто не бывает, жизнь заведётся и на четвёртом экране.

    Отрок подсел на фейсбучную игру Galaxy Life, делает для неё какие-то сложные расчёты, чего не замечалось за ним ни в СтарКрафте, ни в МайнКрафте. Как я понял, это стратегия (добудь-купи-продай-повоюй) и задачей сегодняшнего дня было получить восемь жукотанков (не спрашивайте, что это. Я к экрану близко не подходил и не знаю, как оно выглядит). Подвох в том, что это тамагоча: требует присутствия в реальном времени (желательно там что-то делать каждый час, иначе идут потери). И задания там специфические: напади на такую-то планету, награбь там в домах столько-то монет...

    На олимпиаде МФТИ отрок быстро решил пять задач из шести -- и потом так и не справился с последней задачей. Был очень горд собой, удовольствия получил явно больше, чем от двухлетней давности конкурсов бальных танцев. Опять же, вокруг явно были "все свои", что доставляло. Через неделю его учительница повезёт ещё на какую-то олимпиаду по математике, он весь в предвкушении. Про химию уже забыл, Galaxy Life занимает весь его мозг в свободное от выполнения домашних заданий время. Ничего, и это пройдёт.

    Готовлюсь к апдейту книжки: по плану он должен пройти в декабре-январе. Сначала я хотел сделать чисто технический апдейт (опечатки, прокисшие ссылки и т.д.), но сейчас склоняюсь к более серьёзной переработке. С июня (http://ailev.livejournal.com/1121478.html) уже много накопилось. Так что через недельку-другую кто писатель, тот я.

    Многия знания -- многия печали. Знакомство с онтологами заставляет осторожно относиться к словам про отношения специализации, часть-целое, не путать абстрактные объекты и индивиды. После того, как мою главу в англоязычную книжку начинают комментировать ревьюеры, у которых один раз "система" прототип (из теории прототипов), в следующий раз тип (абстрактный объект!), в следующий раз индивид (реальный объект!), в следующий раз её описание (репрезентация, модель) -- я не понимаю, как отвечать на такие комментарии, когда комментатор не понимает различий. Конечно, при таком неразличении софтинка примерно равна ракете, и никаких глав по системной инженерии писать не нужно -- достаточно глав про написание user stories, верификацию (валидацию и не вспоминаем) и прочий agile, каковые главы уже давно написаны комментатором. Не отвечать ничего -- невежливо. Так что прокрастинирую отчаянно, но завтра таки напрягусь и отвечу. Что-нибудь... Что-нибудь.

    В 1С:ERP 2.0 подсистема "управление производством" поддерживает теорию ограничений, кто бы мог подумать! Вот: http://v8.1c.ru/erp/production/.

    Напоминают про mining в образовательных модулях: http://habrahabr.ru/company/npl/blog/244539/ (и вот тут ещё про этот майнинг: http://trendclub.ru/blogs/contest_august/714). Нужно сочетать проектирование (design) знаниевых/учебных платформ с их открытием (discovery).
    Monday, December 1st, 2014
    2:12 am
    Ошибка: success
    Я люблю программистов. Вот что я получил сейчас при оплате интернета:
    Success
    Saturday, November 29th, 2014
    11:56 am
    Об oneness
    Меня спросили в FB, как объяснить первокласснику, что такое oneness (интегральная). Я ответил, что проще всего спросить его, о чём он думает в настоящий момент, и может ли он удержать долго внимание на том, что он думает. Например, складывать в уме 13+14 и в любой момент понимать, что он в этот момент только считает (делает одно дело в уме, держит одну мысль). Если мыслей оказывается много, или "неизвестно сколько" (потому как потерял внимание на том, что в уме происходит), то это не oneness. Вот в тот момент, когда он удерживает внимание на одной мысли -- то это oneness, только ненастоящая ещё, коротенькая. Настоящая -- это когда он справляется с этим круглосуточно, включая сон.

    После этого обязательно нужно добавлять, что сосредотачиваться нужно не на дурацких коанах, молитвах и ритуалах типа "всепланетных медитаций", а на каких-то математических, физических, химических, изобретательских и прочих сложных реальных задачах (выбор задачи, на которой сосредотачиваться -- вполне подходит, тоже сложная задача, требующая сосредоточения). То есть oneness бывает дурацкой/пустой и умной/полезной -- но психическая природа её одинакова: 24 часа в сутки умение удерживать внимание на одной мысли.

    Собственно, Уилбер это всё описал наиболее внятно (из встреченного мной в литературе), но вдобавок к его описаниям нужно обязательно помянуть про предмет удержания внимания -- реальная задача (учебная, рабочая, социальная), а не дурацкий и бесполезный коан. Сам Уилбер, конечно, считает важным удержание внимания на его учении, так что для его целей и дурацкий коан вполне подходит.
    1:37 am
    lytdybr
    Вчера отрок таки распаковал набор "Юный Химик" и приступил к выполнению тамошних "экспериментов". Работа руками со множеством предметов, чо. Ну, и головой (контроль того, чтобы это был действительно "эксперимент": разбор и понимание текста задания, формирование ожидания результата, выполнение работы, контроль получения ожидаемого результата). В комплект входит тест смелости: нужно регулярно гасить сухой спирт накрыванием химическим стаканчиком (что СТРАШНО, ибо объем пламени много превышает объем стаканчика).

    Завтра у него традиционные кружки "Автоматика" и "Ардуино" (его там IMHO не столько учат, сколько воспитывают), а после них поездка на олимпиаду МФТИ (http://abitu.net/event/1034) -- цели победить нет, главное опыт участия.

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

    Очень хороший обзор про роботов и культуру: http://www.cio.com/article/2843710/big-data/10-ibm-watson-powered-apps-that-are-changing-our-world.html

    Сегодня обсуждал долго тему роботов и образования. В образовательной роботике я бы выделил следующие задействованные начальные дисциплины, и самое сложное -- это скоординировать их между собой в работоспособное для робототехнического проекта целое:
    -- математика (численные задачи главным образом, дискретная математика чуть-чуть)
    -- физика (связь математики и физического мира, механика)
    -- информатика (главным образом алгоритмика, моделирования данных в нынешнем варианте будет с гулькин нос -- и речь идёт о computer science, а не software engineering)
    -- системноинженерное мышление (понятия системы, требований, архитектуры, жизненного цикла, испытаний. Если свезёт и есть время -- более подробно про практики инженерии требований, инженерии системной архитектуры, испытаний, управления конфигурацией, как в части механики и электроники, так и в части программной инженерии)
    -- ТАУ (и рабочие проекты всяких тележек).
    -- кинематика (и рабочие проекты всяких манипуляторов с несколькими степенями свободы, в том числе с учётом ТАУ для повышения точности позиционирования).

    Про координацию дисциплин: для школьной роботики -- плавающая точка где-то нормально только в шестом классе даётся, физика с седьмого класса, информатика с седьмого, инженерии вообще нет, нормальная математика в объеме простейших алгоритмов ТАУ даже непонятно когда (одиннадцатый класс? ВУЗ?). Ну что, будем ориентироваться на роботику не раньше третьего курса ВУЗа? Или думать, что не так с автаркией каждого предмета в школьной программе и как перепланировать учебные планы других дисциплин в связи с роботикой как хорошим источником современных проектов, комплексирующих знания других дисциплин? О том, что в рамках современной школы эти проблемы нерешаемы и роботика может существовать нормально только рядом со школой (а часто и рядом с ВУЗом), я молчу. Собственно, я много раз на эти темы писал (вот, например: http://ailev.livejournal.com/1121023.html), так что ничего нового я тут не добавлю.

    Ах, и мне напомнили ещё один мой трёхлетней давности текст про последовательность образования младшешкольников в части обучения их инженерии (с тех пор появилась книжка по системноинженерному мышлению, идеи по SysMoLan, идеи по теории категорий, стало понятно про моделер ISO 15926 и т.д., но тот пост позволяет восстановить контекст постановки задачи для многих состоявшихся с тех пор работ -- хотя задачи решались в варианте для производства и ВУЗа, а не для школы): http://ailev.livejournal.com/955671.html. Через неделю я и А.Г.Кушниренко будем выступать с докладом на тему инженерных классов на учительской конференции МФТИ в Долгопрудном (http://it-edu.mipt.ru/ru/conference2014), там эти темы разверну подробней -- хотя что можно развернуть в получасовом докладе?

    Движение в сторону смычки теоркатегорного города и системноинженерной деревни идёт пока в частной переписке. Ума моего не хватает понять её математического смысла, но текущая тема понятна абсолютно и весьма практична -- виды преобразований графа/диаграммы/схемы модели, которые должен обеспечивать софт моделера в MBSE.

    Очередное критическое обсуждение Essence состоялось в среду (видео тут -- http://incose-ru.livejournal.com/50274.html), вспомнили кратенький списочек имеющихся претензий и добавили к ним новые.

    Немецкий у меня не идёт, а ползёт: ввиду уже набранного объема словарного запаса и недостаточности времени занятий основные усилия уходят на повторение, привыкание и понимание уже якобы набранных знаний (якобы -- потому как с одного раза ничего не "набирается", нужны повторения и повторения и повторения). Движения вперёд по факту нет. Никак не прорвусь через произношение r -- в некоторых словах уже получается, а в некоторых словах звук французский, а не немецкий.

    Удобная лента для чтения об IBM Watson: от необычных кулинарных рецептов на потоке до ветеринарного приложения на смартфонах, а совсем недавно IBM Watson стал доступен как опция в облачных сервисах PaaS IBM Bluemix -- https://www.facebook.com/ibmwatson. Внутренняя разработка IBM по использованию IBM Watson в инженерии требований, кстати, уже началась (на примере требований для авиастроителей). Очень, очень интересно.
    Friday, November 28th, 2014
    10:29 pm
    Очередной доклад на очередной конференции по очередной автоматизации
    В среду докладывался на конференции для нефтянки "Жизненный цикл актива. Стандартизация. Интеграция. Интеллектуализация" (http://capitalprojects.ru/). Доклад был "Управление жизненным циклом производственного актива: кто, чем тут управляет" -- ничего особо нового, так что слайды публиковать смысла нет.

    UPDATE: опубликовано видео со встроенными слайдами (http://vimeo.com/114110004):


    В кулуарах всё тоже было как обычно: одни и те же люди, обсуждали одни и те же вопросы. Вот только несколько реплик:
    -- "у нас семь тысяч человек, и никаких R&D подразделений, никаких планов технологического развития: потихоньку доводим до ума идеи пятилетней давности"
    -- "если у нас в компании 4 глобальных программы управления рисками -- это много или мало?"
    -- "я запустил в этом году 33 проекта. Но ничего сделать нельзя, всё бесполезно"
    -- "мы вам можем сделать великолепную систему поддержки плановых ремонтов, задорого. Неплановые ремонты (по состоянию) не предлагать, это ведь головная боль и не по стандартам"

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

    Про "полный жизненный цикл" и "процессный подход" все говорят бодро и уверенно, понимание полное. Даже про системную инженерию уже бодро слушают (хотя ничего не делают в этом направлении), отторжения нет. А вот про технологии слабого искусственного интеллекта в инженерии и менеджменте пока разговоров нет вообще, как про "полный жизненный цикл" пять лет назад и "процессный подход" десять лет назад. Хотя "интеллектуализация" даже в названии конференции, но она пока призрачна и не от мира сего.
    Tuesday, November 25th, 2014
    11:11 pm
    Вакансия по открытым данным
    Вдруг кому интересна работа по открытым данным (open data) с перспективой выхода на семантические форматы и онтологии но без требования особых технических познаний. Такую работу дают тут: http://vvagr.livejournal.com/2014195.html
    2:30 pm
    Школьные будни, вторая четверть
    Побывал на очередном родительском собрании -- объявляли о том, что у нас теперь опять новая школа (прошёл очередной раунд объединения), теперь самая крупная в округе и вообще гимназия с крутыми традициями. Конечно, в самой школе ничего не изменилось: когда-то директор школы, после первого укрупнения "директор здания" так и осталась "директором здания", расписание и учебный план остались нетронутыми, культурные мероприятия те же, форма та же, никто не может объяснить, зачем это всё происходит и что именно происходит. Но класс теперь именуется 6ЕО -- ага, двухбуквенное обозначение.

    Современный вариант салочек или ловиток -- это "чай-чай-выручай" (http://pravilaigr.ru/caicaivirycai.php). Игра была описана преподавателями родителям как "они там кого-то заражают. Это что-то типа эболы, явно заражают". Опрос отрока выявил, что "воды" не "заражают", а "замораживают" (а "выручать" -- это "размораживать").

    Главная игра класса -- это MineCraft на телефонах. Главная просьба учителей -- это чтобы телефоны у учеников были такие, на которых этот MineCraft не идёт.

    Новогодняя дискотека будет 5-7 классов, но седьмые классы бунтуют и пытаются объяснить, что им нужно дискотечить не с пятиклассниками, а с десятиклассниками. Шестым классам эти проблемы пока пофиг.

    Как ни странно, в классе не принято списывать друг у друга, не принято давать списывать. Даже принято закладывать, если кто увидит факт списывания. Но вот списывать у интернетов вполне можно, это не считается зазорным.

    Половина дней в неделе у шестиклассников -- 7 уроков. Зато суббота свободна. У нас больше шести уроков в день не было, но в субботу занимались.

    Программа по литературе тоже не поменялась. За 40 лет с точки зрения литературы в мире ничего не произошло, "все лучшие произведения уже написаны, лучшие писатели определены, и не надо возвращаться к этому вопросу". Тьфу. Отрок использует недостатки школьной программы в свою пользу: за заученные наизусть стишки автоматом ставят пятёрку, и он регулярно производит обмен получаса времени заучивания какой-нибудь антикварной ерунды на полновесную пятёрку. Вот такая школьная литература: никакой к ней любви, всё абсолютно по расчёту. Любовь же к Херобрину (литературный персонаж машинима в Майнкрафте -- но преподаватели литературы и не знают, что это должно бы проходить по их ведомству).

    Предложили дополнительно платить 3500 рублей за 8 занятий вторым языком в месяц. Это неважно, что при 8 занятиях в месяц выучить язык невозможно ни на каком уровне. И неважно, что домашних заданий по всем предметам даётся столько, что при честном подходе к их выполнению любая кружковая деятельность возможна разве что в выходные дни.

    Поглядел на школьную доску объявлений, находящуюся в эдаком предбаннике -- шлюзе между школой и улицей. Она вся забита разными выписками из уголовного кодекса и памятками родителям на эту тему. Это центр композиции. Вокруг -- коллаж из реклам самых разных кружков разной степени дальности от школы. Вокруг этого коллажа -- обилие афиш концертов, спектаклей и прочих разовых мероприятий. Уголовный кодекс с кружковым гарниром, в культурном соусе -- вот он, шлюз между школой и жизнью.
[ << Previous 20 ]
About LiveJournal.com