Вычислимые объекты проекта

Не галерея результатов.
Рабочие столы.

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

Карточка появляется здесь не тогда, когда работа «закончена», а когда её уже можно описать достаточно честно, чтобы другой человек понял, что именно проверяется.

концепт песочница рабочая модель воспроизводимый результат архив
M–01
Геометрия и структурырабочая модель

VSEPR: форма как результат ограничений

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

Главный вопрос
Какие классы формы устойчиво следуют из выбранных связей и ограничений?
Наблюдаемое
Геометрический класс, симметрия и устойчивость классификации.
Честное ограничение
Совпадение формы само по себе ещё не объясняет физическую природу связи.
M–02
Динамикапесочница

Три тела: что остаётся наблюдаемым

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

Главный вопрос
Какие свойства динамики сохраняются после допустимого огрубления?
Наблюдаемое
Режимы движения, переходы и устойчивость меток.
Честное ограничение
Песочница исследует язык сравнения, а не обещает общее аналитическое решение.
Публичные материалы
Рабочая карточка готовится к публикации.
M–03
Морфология и графырабочая модель

Структурная песочница

Переход от визуального сходства к графам, контролируемым факторизациям и корпусам переходов. Здесь особенно хорошо видно, почему некоторые сравнения должны завершаться INVALID.

Главный вопрос
Что в структуре существенно, а что принадлежит способу её изображения?
Наблюдаемое
Класс графа, допустимые переходы и сохранность различий.
Честное ограничение
Результат зависит от явно выбранного языка наблюдения.
Почему здесь понадобился CQT →
M–A1
Ранний численный слойархив / пересмотр

Кривые вращения

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

Почему сохранено
Чтобы развитие критериев и языка модели оставалось проверяемым.
Текущий статус
Не центральная ветка новой программы; требует переоценки.

Правило каталога

Мы не будем обозначать все ветки словом «модель», как будто они равны по зрелости. Статус должен отвечать на простой вопрос: что другой человек уже может здесь проверить?