Объект можно представить тремя способами:

1. Как объем, наполненный плотной материей.
2. Как результат синтеза конструкции: поселок как объект есть синтез домов поселка.
3. Как результат анализа конструкции: антенна есть часть комплекса наведения ракет.

В данной статье рассмотрим, как появляется представление об объекте как об объеме плотной материи.

Парадигма объектов, излучающих потоки, которые распространяются в среде

Мы представляем себе мир как среду, в которую помещены сгустки материи (объекты), излучающие или поглощающие потоки энергии и материи. Среда прозрачна для потоков и выступает в роли передаточного звена между объектом и наблюдателем.

Для регистрации объекта (его положения в пространстве, температуры и прочих характеристик) необходим поток энергии или материи, исходящий, или поглощаемый объектом, детектор этого потока и время, чтобы зарегистрировать этот поток. Можно использовать разные потоки: свет, молекулы, нейтроны, но есть условие: поток, чтобы быть зарегистрированным, должен состоять из однотипных элементов.

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

Неделю назад я пошутил, что статьи по принципам языков программирования POPL должны соответствовать критерию «интеллектуального запугивания», чтобы их принимали для публикации. Конечно, это неправда, но факт в том, что статьи по языкам программирования выглядят особенно устрашающе для специалистов-практиков (или академик действительно работает в другой области компьютерных наук!). Они битком набиты математическими символами и такими фразами как «суждения», «операционная семантика» и тому подобное. Там много тонких вариантов записи, но вы можете в основном уловить суть статьи, усвоив несколько базовых понятий. Так что вместо рассказа об очередной научной статье я подумал, что сегодня лучше напишу краткое практическое руководство по расшифровке научных статей на тему языков программирования. Здесь я следую книге Бенджамина Пирса «Типы в языках программирования» в качестве авторитетного источника.

Написано с участием Игоря Катричека katrichek@gmail.com

Введение

4-Д объем, его проекции и интерпретация должны быть согласованы друг с другом. Для того, чтобы понять, как с их помощью можно смоделировать то, что мы обычно понимаем под объектом, рассмотрим наше представление об объекте.

Объект можно определить тремя способами:

1. Как объем, заключенный внутри поверхности.
2. Как результат синтеза конструкции: поселок как объект есть синтез домов поселка.
3. Как результат анализа конструкции: антенна есть часть комплекса наведения ракет.

Объект как объем

Объект в сознании субъекта не есть статичная замершая картинка. Объект движется, изменяется. Но начнем мы по традиции со статичного объекта.

Методика моделирования

Написано с участием Игоря Катричека katrichek@gmail.com

Проекции поверхности в 3-Д пространстве на три проекционные плоскости позволяют инженеру представить моделируемый объект, будь то деталь или конструкция. Для этого надо соотнести точки на чертеже с точками в пространстве. Этому умению обучают на уроках начертательной геометрии. Но полученное в результате этого представление о поверхности ничего не говорит инженеру ни о том, из чего сделан объект, ни о его свойствах. Чтобы представить деталь, поверхность надо трактовать (интерпретировать). Для этого нужно знать стандарты, выработанные в специальных областях деятельности. Только, если чертеж выполнен в соответствии с этими стандартами, его смогут прочитать и однозначно трактовать другие специалисты. Эти стандарты не относятся к предмету начертательной геометрии, они относятся к таким областям знаний, как архитектура, машиностроение, технология обработки материалов. Поэтому первое, что надо научиться делать, это разделять проекции и трактовку проецируемого объекта.

Ровно то же можно сказать про проекционное моделирование. Проекции 4-Д объема на пространство и на время позволяют представить моделируемый 4-Д объем. Но для трактовки этого объема нужны знания в специальных областях.

Введение

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

1. Любой объект может стать частью конструкции (результат процесса синтеза), или быть разделенным на части (результат процесса анализа). При этом синтез и анализ можно делать разными способами. Это значит, что один и тот же объект может стать частью разных конструкций, или объект может быть поделен на части множеством способов.
2. Один и тот же объект может быть интерпретирован по-разному.
3. Любая модель может быть расширена с учетом смены точки зрения.
4. Мы не рассматриваем представления, созданные искусственным интеллектом и языки, созданные им для описания этих представлений. Мы не рассматриваем математические изощрения типа бутылки Клейна, или фракталов.

Введение (январь 2018)

Иногда люди берутся за дела с которыми сами справиться не могут. И я не исключение.

Есть такая интересная группа ВК — #щастьематеринства( https://vk.com/zaiki_luzhaiki ). Она представляет из себя один из самых феерических источников грубого реализма. Если вы хотите разочароваться в семье, детях, мужьях и всем чем угодно, вам туда. Экзистенциальный кризис вам обеспечен (хотя бы фактом того, что там пишут по 15 постов в день и это настоящие люди). И, конечно, этим паблик и во многом привлекателен.

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

Ежегодно в России проходит крупнейшая конференция по компьютерной лингвистике «Диалог», на которой специалисты обсуждают методы компьютерного анализа русского языка, оценивают уровень компьютерного языкознания и определяют направления его развития. Каждый год в рамках «Диалога» организуются соревнования систем автоматической обработки русского языка — Dialogue Evaluation. В этом посте мы расскажем о том, как устроено соревнование Dialogue Evaluation, и более подробно о том, как проходит одна из его составляющих — RUSSE и что ждет его участников в этом году. Поехали.

Введение

В прошлой статье Моделирование событий и операций я показал, как можно спроецировать один и тот же 4-Д объем на пространство и на время, и то, как можно трактовать эти проекции. Но для понимания проекционного моделирования этого мало. Сегодня я расскажу про другие способы проецирования и их трактовки. Каждая проекция, каждая пара проекций, тройка, четверка и так далее могут трактоваться множеством разных способов. Все трактовки пересказать мне не удастся. Я лишь покажу, как решаются некоторые распространенные задачи.

Пример 1

Пусть один и тот же 4-Д объем спроецирован на пространство в виде объекта. Я уже говорил, что у этой проекции могут быть разные трактовки с разных точек зрения. В прошлой статье я предложил рассмотреть проекцию 4-Д объема на пространство как машину и как красный объект. Но можно представить себе и другой случай, когда разные проекции разных 4-Д объемов имеют одинаковую трактовку. Например, один субъект обозначил границы своего участка, а второй с ним не согласен. Оба выделили разные объемы, но трактуют их одинаково.

Введение

Допустим, что мы наблюдаем процесс точения детали. Зададимся вопросом: кто точит деталь? Ответом может быть: Иванов, токарь, начальник цеха, друг Петрова. Мы можем сказать, что это один и тот же человек, но потом понимаем, что токарь – не человек, а роль, начальник цеха и друг – тоже. Так кто же точит деталь?

Пусть есть событие «яблоко поспело». До этого события яблоко было зеленым, после этого события яблоко стало красным. Вопрос: каким было яблоко в процессе совершения самого события?

В этой статье я отвечу на эти два вопроса с точки зрения проекционного моделирования.

Как я говорил, две проекции на время и на пространство дают представление о моделируемом пространственно-временном объеме. Существует три способа спроецировать 4-Д объем на время:

1. в виде события (операции),
2. конечного множества событий (операций) (сценарий),
3. бесконечного множества событий (операций) (функция).

Введение

Три проекции одного объекта на три разных плоскости – это не объект. Это его чертеж. Все три проекции позволяют инженеру представить деталь. Для этого надо соотнести точки на чертеже с точками в пространстве. Этому навыку способствует обучение начертательной геометрии.

Ровно то же можно сказать про проекционное моделирование. Только обе проекции на пространство и на время позволяют представить то, что хотел сказать модельер. Для этого надо научиться корректно моделировать 4-Д пространство-время, а затем корректно соотносить эти проекции друг с другом. В данной статье я приведу практический пример такого рода моделирования. Для кого-то это будет достаточно непривычно. Кому-то, наоборот, покажется все слишком очевидным.

Моделирование состава леса

Начнем с моделирования привычного нам объекта — попробуем смоделировать лес. Есть 4-Д объем, который Иванов трактует как объект типа лес. Для моделирования этого факта создается информационный объект (ИО), моделирующий этот 4-Д объем. Далее создается ИО, моделирующий представление Иванова об этом 4-Д объеме. Этот объект связан с моделью 4-Д объема связью «что представляет», с моделью Иванова «кто представляет» и с моделью типа объектов – лес «как представляет».

Я продолжаю комментировать статью по проекционному моделированию.

Рассмотрим утверждение «красная машина едет»

Заметим, что в языке нет точного указания на то, как трактовать данное высказывание. Ведь и «машина» и «красный» и «едет» могут трактоваться как: конкретный 4-Д объем (конкретная машина), тип 4-Д объемов (тип транспортных средств – машина), любой из возможных 4-Д объемов (любая машина), часть 4-Д объема (часть большого красного объема). Последний кейс скорее экзотика, но он случается, когда большое красное полотно делится на части. И тогда один красный может обозначать часть большого полотна.

Сделаю предположение, что в данном тезисе речь идет о конкретной машине. То есть, не любая машина и не какая-то, а конкретная машина. Это значит, что для нее мы можем завести объект в БД, моделирующий данную машину.

Вступление

В статье, посвященной связям, я дал определение связи:

Связь –это 4-Д объем, общий для связуемых объектов (операций)

Поскольку 4-Д объем можно проецировать на пространство и на время любым способом, то связь можно рассматривать отдельно от связуемых объектов так, как мы того захотим. В статье, посвященной связям, я привел пример связи между двумя функциями «производство подшипников» и «потребление подшипников» (читай – общее 4-Д пространство), которую я представил также в виде функции «прием-передача подшипников».

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

Множества можно складывать, поэтому можно объединять конструкции вместе.

Множества можно вычитать, поэтому из одной конструкции можно вычитать другую.

Можно искать пересечения множеств, поэтому можно искать пересечения конструкций.

Раньше такого делать было нельзя, потому что трактовка связей отсутствовала. Как можно удалить один элемент, если он связан с другим элементом: куда девать связь? Поскольку теперь мы определили связь как 4-Д объект, общий для связуемых 4-Д объектов, то связь остается на месте даже после удаления одного из связуемых элементов.

Введение

Первый кейс, с которого начинается моделирование реальных объектов реальной инфраструктуры, будь то городской, телекоммуникационной, производственной, нефтегазовой и т.д., — это раздельный учет функциональных и физических объектов. Насколько я понимаю, с этой задачей пытался справиться стандарт ИСО 15926, затем системная инженерия, но все они только попробовали камень на зуб, но смогли ее решить. Дело в том, что они не смогли предложить адекватную модель активности, и поэтому не смогли предложить соответствующую методологию моделирования. В 2016 году я выступал на конференции Нефтегазстандарт – 2016, на которой представил решение этой задачи в общем виде. Об этом я писал ранее в статье Моделирование активов предприятия: современные стандарты и практика. В этой статье я расскажу про этот метод решения задачи, но теперь представлю его с точки зрения проекционного моделирования.

Постановка задачи

Пусть поставлена задача учета объектов электросетевого хозяйства. Эта задача поставлена двум отделам: производственно-техническому отделу (ПТО), который занимается эксплуатацией электросетей, и ремонтному отделу (РО), который занят поддержанием сети в рабочем состоянии.

Продолжаю рассказывать про проекционное моделирование.

Следующая тема, которую я хочу затронуть, — это объяснение, почему мы определили связь в конструкции как 4-Д объект. Напомню, что в проекционном моделировании связь – это общая часть элементов конструкта. Поскольку элементы конструкта – это 4-Д объекты, то связи – тоже 4-Д объекты. То есть, для существования связи между двумя 4-Д объектами должен быть общий 4-Д объем, принадлежащий обоим этим объектам.

Мы привыкли считать связью нечто, что существует между двумя объектами, но никто в аналитике еще не давал еще точного определения этому понятию. Мы сделали это впервые. Я расскажу, почему в данной дисциплине связь определена так, а не иначе.

Пространственные связи

Начнем с простого: пусть объекты связаны общим положением в пространстве или во времени. Это связи типа «справа», «выше», «после», «вместе» и т.д. Для моделирования такого рода связей нам нужно рассмотреть 4-Д пространство, в котором помещены рассматриваемые нами 4-Д объекты. 4-Д пространство играет такую же роль, как и другие 4-Д объекты. Обычно моделирование начинается именно с того, что мы формируем границы модели, то есть, 4-Д пространство, в котором потом размещаем 4-Д объекты. Почему-то про этот самый первый 4-Д объект забывают сразу после его определения. Но именно его свойства позволяют нам описать указанные мной связи.

Вступление

Спасибо Игорю Катричеку за прекрасный вопрос! На форуме, посвященном проекционному моделированию, он задал интересный вопрос:

Если я буду смотреть на вал двигателя, и его повороты сольются для меня в единое целое, то это будет функция. Если я буду отсчитывать каждый поворот вала на 90 градусов или другой угол, то это будет операция. А если я буду следить за положением точки на валу, например, с целью автоматического регулирования её координат, то что это? Например, на валу радиолокационная антенна. Операций нет, так как нет начала и конца движения, повороты вала не дискретны, требуемое положение антенны постоянно меняется оператором, а фактическое меняется от ветра. Функций тоже нет, так как повороты вала не сливаются в единое вращение. Что это?

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

Введение

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

Дуальность

Часто можно слышать: этот объект одновременно обладает и свойствами такими-то и свойствами такими-то. Например, такое часто можно услышать про квантовую частицу. Якобы она обладает одновременно и свойствами волны, и свойствами частицы. В моей модели нет дуальностей. Как только появляется дуальность, это значит, что у нас есть либо две разные точки зрения на описание 4-Д объекта, или два разных метода.

Вступление

В прошлой статье Что скрыто за термином моделирование я рассмотрел, что такое моделирование. Из этого рассказа должно было возникнуть чувство, что обмен описаниями скорее невозможен, чем возможен. У каждого субъекта свой мир в его сознании. Кто-то видит модель в виде образа, кто-то слышит ее в виде речи, кто-то осязает ее. Как мы при этом умудряемся о чем-то договориться, совершенно непонятно. И все же мы это делаем. Как это нам удается, — вопрос к психологам. Нам же стоит удивиться и воспользоваться этой возможностью, чтобы идти дальше.

В идеале должно быть так: два разных субъекта, получив на вход одну и ту же информацию, должны дать ее описание в одном и том же виде. Вспомните начертательную геометрию. Вам дается задание начертить конус. И все студенты чертят похожие рисунки, называемые чертежами. Так и в случае моделирования более сложных объектов: предприятий, зданий, процессов, мы должны добиться такого же уровня унификации, при котором все будут чертить похожие рисунки, писать похожие тексты и т.д…

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

Я претендую на создание подобного языка, но для описания объектов более широкого класса: операций, функций, объектов. Об этом языке сегодня мой рассказ.

Вступление

Я аналитик, занимаюсь моделированием предметных областей, и знаю, что в каждой области есть свои индивидуальные методы выделения и описания объектов учета. Благодаря этим методам в каждой конкретной области знаний появляются свои специфические объекты. В идеале все эти объекты должны находиться в строгом соответствии друг другу, то есть должны не противоречить друг другу.

Есть вылизанные предметные области, в которых нет проблем с выделением объектов. Самая гармоничная в этом смысле математика. Моделирование математических конструкций – одно удовольствие. Все потому что математики уделили много сил и внимания созданию непротиворечивого аксиоматического базиса и правил вывода. Благодаря этому математика моделируется крайне легко. То же касается физики (не считая нерешенных проблем).

В продолжение эпопеи с дистрибутивно-семантическими пирожками (и в погоне за модными тенденциями) решил переписать веб-сервис с лапидарного Питона на прогрессивный Go. Заодно был вынужден перенести и всю «интеллектуальную» часть (благо, не бином Ньютона). Сделать это оказалось куда проще и приятней, чем предполагал в начале. Впрочем, на медово-синтаксическом празднике жизни не обошлось без ложки дёгтя — самая быстрая гошная «числодробилка», какую смог найти (mat из gonum) таки уступила по скорости питоновской связке numba + numpy.

У каждого человека внутри должен быть встроенный автоматический детектор дерьма (Эрнест Хемингуэй, 1954)

В этот день почти пятьдесят лет назад в Национальную конвенцию учителей английского языка (Вашингтон D.C.) была доставлена необычная статья. Нейл Постман, американский писатель, педагог, теоретик медиа и критик культуры поднял тему о том, что главная задача учителей — это научить детей противостоять влиянию бесполезной и ложной информации.

28 ноября 1969 года

Отрывок из статьи:

Я вижу это так: лучшее, что могут сделать школы для детей, — это научить их отличать полезную информацию от бесполезной. Думаю, что все серьезные люди понимают, что около 90% того, что дают в школе, оказывается бесполезным.