Category: семья

2019

lytdybr

Админский мой бубен продолжает стучать, работать толком не получается. Ничего, за эти выходные как-то нагоню.

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

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

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

Отрок начал таскать мои рубашки. Я отвечаю ему тем же. У нас теперь семья unisize.

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

Пастафарианско-копимистская свадьба

Пастафарианцы -- это которые верят в макаронного монстра (в ЖЖ они pastafari_ru), копимисты -- это которые верят в святость свободного копирования информации. Обе религии вполне официальны, обе активно используются для защиты гражданских прав -- например, если на копимиста наезжает какая-нибудь RIAA за свободное распространение информации, то он наезжает на неё за оскорбление чувств верующих. Пастафарианцы в этих наездах на государство обычно ещё круче.

Пастафарианско-копимистская свадьба состоится 4 августа в 16:00 (а не 3 августа -- вышли накладки с аппаратурой) у здания Президиума Российской академии наук в Москве -- http://vladlem-bender.livejournal.com/2684.html (это журнал жениха), свадебный марш -- http://argonov.livejournal.com/147863.html (и там в комментах краткие комментарии, почему не Мендельсон).

Раминь, и счастливого копирования!

Ежели чего, то считайте меня пастафарианцем. И копимистом.
2019

Редактор нотации пользовательских требований (user requirements notation)- jUCMNav

Нотация пользовательских требований (User Requirements Notation, URN) состоит из графического целеориентированного языка требований (Goal-oriented Requirements Language, GRL) для нефункциональных требований и карт сценариев использования (Use Case Maps) для функциональных требований. Подробности про языки -- http://jucmnav.softwareengineering.ca/ucm/bin/view/UCM/WebHome). Свободный Eclipse-плагин редактора для всего этого языкового требовательного разнообразия: http://jucmnav.softwareengineering.ca/ucm/bin/view/ProjetSEG/WebHome

Корни тут из агентских систем (см., например, Tropos -- известную методологию разработки агентского софта http://www.troposproject.org/ и там про requirements engineering -- http://www.troposproject.org/node/120).

URN была стандартизирована ITU (International Telecommunication Union) как рекомендация Z.151 в ноябре 2008 (из той же языковой семьи, что SDL, MSC, TTCN-3 и ASN.1), т.е. целевая область применения -- требования к телекоммуникационным системам и описание организационных (business) процессов.

GRL был стандартизирован как подмножество i* (http://istar.rwth-aachen.de/tiki-index.php) -- агентского языка моделирования социо-технических сложных систем в терминах акторов, их намерений и взаимоотношений. Этот заход с акторами крайне важен: моделируются заинтересованные стороны, включая их взаимоотношения и намерения, что часто опускается в "традиционном" анализе требований.

В http://jucmnav.softwareengineering.ca/ucm/bin/view/UCM/VirLibRIGiM09 (статья и презентация в аттачах) сказано про связь URN и i*. В частности, GRL имеет только акторов, а i* также определяет роли, агентов и позиции. Зато GRL имеет "стратегии". Суть статьи: GRL может иметь профили, созданные при использовании языка ограничений OCL, метаданных языка и связей (links) URN).

Это довольно широко распространенная школа работы с требованиями, в публикациях там больше 250 работ на эту тему: http://jucmnav.softwareengineering.ca/ucm/bin/view/UCM/UCMVirtualLibraryAllPubsPerYear

Странная аллюзия у меня -- это Flying Logic в ее именно логической части. Уж больно похоже с propagation влияния и "аргументационной поддержкой"! Но ведь все эти деревья Голдратта как раз и предназначены для выработки требований (и доказательству того, что требования являются правильными)!

Безусловно, это моделецентрическая работа с требованиями, хотя это совсем-совсем другие "модели", нежели выразимые в Modelica (да и в ModelicaML). Требования -- это просто модели, с деонтическим оператором к ним, но кроме этого в случае именно требований важно, чьи именно это требования. В "просто модели" этого нет, нужно менять определение: добавлять заинтересованные стороны, акторов.

Я рассматриваю эти все концептуализации как "моделирование" в противоположность "онтологизированию". В любом случае, это все потом можно (и даже нужно) будет осмыслить и затащить под ISO 15926. Помним про "программирование, моделирование, онтологизирование" (в http://ailev.livejournal.com/784347.html -- и там ссылка на любимого Конрада Бока http://www.nist.gov/cgi-bin//get_pdf.cgi?pub_id=904119).


В любом случае, это не убогие таблички из DOORS или даже IRqA. Это работа с семантикой, что радует.
2019

Wii полуприрученная

Провел с Wii много часов, но так и не добился:
-- запуска бэкапных (читай: "из интернета") игр -- не помогает ни хардчипованность самой приставки, ни софтовая чипованность с NeoGamma бэкап-лоадером, которую я ей обеспечил (выдается ошибка #0001, хотя заставки дисков и загружаются).
-- работы BootMii в качестве Boot2 (а это хоть какая-то гарантия, что Wii не будет "брикнута", т.е. не станет дорогостоящим кирпичом). Приставка загружается сразу в основное меню -- хотя BootMii всячески заверяет, что ее установка окончилась успешно, а все необходимые файлы находятся на правильных местах.

Зато плохого качества (почему-то вспоминаются восьмибитные процессоры и тамошние игры) самодельные игры идут (http://wiibrew.org/wiki/Main_Page)! И на радость семье я сыграл в "защиту башни", отразив 30 волн врагов с первого раза!

Очень, очень жалко потраченного времени -- особенно с учетом мизерности результата...