NeuroFEM / NEMO

Един модел.
Физиката живее в данните.

NEMO е геометрично-нативен, физически кондициониран неврален сурогат за мултифизична симулация, с MOOSE като последен съдия. Всяко твърдение тук носи число и източник.

15Физични режимаЕдин модел, дискретен physics-mode.
42MOOSE генератораДоказани на реални solve-ове.
174Формули с печатКаталогизирани и проверени.
20Диференцируеми физики125/125 живи теста.
ЕДИН МОДЕЛ

Не мрежа на физика.
Един ствол, който избира оператора си.

Физиката живее в данните

Един ствол избира оператора си от дискретен physics-mode id плюс материал и гранични условия — не отделна мрежа на физика. Архитектурата носи 15 режима; 42 MOOSE генератора са доказани на реални solve-ове.

Свързаност през фиксирана точка

52 конфигурации на свързване са класифицирани по C1/C2/C3 тирове. Мултифизиката се решава от вътрешен фиксирано-точков цикъл, чиято стабилност се измерва чрез спектрално-радиусен критерий — доказан за линеен оператор, оценка при нелинейни свързвания.

Ескалация, не измисляне

Класическият солвър (MOOSE) е последният съдия. Липсващо поле означава отказ, не фабрикувана стойност. Ако мостът към солвъра не е наличен, кодът вдига грешка.

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

141 581 материала в базата, 41 в двигателя, 4 дълбоко тренирани фамилии.

ДОВЕРИЕТО КАТО ПРОДУКТ

174 формули, три независими метода.

Всяко твърдение, което носи формула, е извадено от кода, каталогизирано и проверено по три независими пътя. Резултатът включва и това, което не се потвърждава.

Символно

Wolfram Alpha Full Results API — 148 успешни живи заявки

Изведено

sympy / numpy — 35 проверки, 35 PASS

Числово

pytest — rev15.0: 996 passed, 85 skipped · root tests/: 563 passed · 0 failed

Статус на 174-те твърдения

VERIFIED-3WAY31
VERIFIED-2WAY62
VERIFIED-SYMBOLIC-ONLY44
VERIFIED-NUMERIC-ONLY16
UNVERIFIABLE-CITED10
GAP9
NOT-A-CLAIM2
Общо174

Договорът „без измисляне"

Липсващо поле е отказ, никога фабрикувана нула. Ако мостът към солвъра не е наличен, кодът вдига грешка вместо да произведе истина. Несигурност от нетренирана глава не се сервира — връща се типизиран 409, не число.

Проверка срещу самата физика

Шестслоен trust стек сравнява предсказанието с физиката, а не с още едно предсказание: истинска физика (∇·u = 2) се връща като 2.0000. Живият MOOSE гейт вече е отхвърлял неподобряващо предложение.

ДИФЕРЕНЦИРУЕМОСТ

∂физика / ∂форма.
Отговорът е редактируемо предложение, не картинка.

Градиентът тече през CutFEM солвърите — 20 диференцируеми физични режима, 125/125 живи теста. Геометрията пътува като θ-обвивка от гаусови сърфели: договорът с NeuroCAD, който позволява резултатът да бъде редактиран, а не само разгледан.

θ → SDF → CutFEMПолето се завръща при rel-L2 = 0.0212
Равновесен остатък1.95e-6
Крайно-разликова проверка3.4e-4 (праг 1e-2)
Оптимизация на пиков стрес209.5 → 180.8 MPa (−13.7%), монотонно
Бюджет на дискретизацияdKt = C·(Δs/ρ)², C ≈ 3.86, заключен праг |dKt| ≤ 0.08
ИНДУСТРИАЛНИ ПЛАЦДАРМИ

Къде машината влиза в производството.

Данните и конвейерите са налични и опушени end-to-end. Плацдармените модели още не са тренирани — това е обявено, не премълчано.

PCB термика

Корпус от 113 борда, конвейерът доказан 100/100. KiCad ingest води суров .kicad_pcb право до predict(); механизмът е опушен end-to-end на реален борд 100×140 mm с 86 компонента.

LPBF адитивно производство

Реален MOOSE smoke показва горещото петно да пътува през детайла (ΔT → 266 K, 7 кадъра). Процесните параметри (плътност на мощността, скорост на сканиране, радиус на петното) влизат в слотове 30–32 на материалния вектор: различни (Q, v) дават 97.7 K срещу 618 K.

Композити

Класическа ламинатна теория (ABD матрици, редуцирана коравина Q, трансформация), еквивалентни хомогенизирани константи, термодинамична допустимост на слоя, критерий Tsai-Wu и pin-jointed драпинг — валидирани формули в печата.

Батерии

Електрохимичен модел, жив при 3.32 V; живот 1500 цикъла, CI [1157, 1945]. Обявена граница: това е опростен съсредоточен сурогат, не сертифициран Doyle-Fuller-Newman солвър.

КЪДЕ СМЕ

Честната находка.

Този списък е част от продукта. Ако някое от долните числа се подобри, ще го сменим — не преди това.

  • Стресът е на 0.3631 local-peak rel-L2 срещу собствения ни гейт 0.15 — пропуск от 2.4× по грешка и 3.8× по местоположение на пика. Моделът подценява пика в 57–93% от случаите.
  • TRL5 гейтът за стрес-вертикала е приет на ≈0.20 (0.208 ± 0.002, 820 shard-а, 2 seed-а) по 2048-точковия протокол. Същият протокол подценява пълномрежовата пикова грешка с ~50–90% — истинската стена е по-висока.
  • UQ главата не е тренирана. Сървърът отказва да сервира несигурност (типизиран 409 uq_unavailable), закрепено с тест. До 2026-07-12 това твърдение беше невярно — сървърът сервираше числа от нетренирана глава; поправено и заключено.
  • 2-seed disagreement е слаб trust сигнал (corr 0.265, false-alarm 47–57%) — не се обявява като калибрирана ескалация.
  • Няма трениран термичен модел, оценен на геометрично-разделен holdout. По-ранната цифра 0.0085 е оттеглена.
  • Плацдармените сурогати (PCB / LPBF / батерии) имат данни и конвейери; моделите не са тренирани.
  • Гейт 1 — 48-физичната помпа — е отделна, още отворена претенция.
  • Темпоралната динамика е код, не трениран модел.
  • От 174-те формули: 9 са GAP, 10 са UNVERIFIABLE-CITED. Обявени, не скрити.
  • Днес тренираме върху процедурни форми — тоест върху ~0.4% от наличния CAD корпус (~1 млн. модела ABC, 621 GB, плюс 27 068 лицензирани).
  • REV15 е в тренировка. Приемните гейтове още не са пуснати. Няма число — няма претенция.

Източници: NEMO whitepaper REV14, CAPABILITIES REV14, TRL5 доказателствен пакет и печат за математическа валидация (2026-07-29).

Искаш числата върху твоя детайл?

Пилотите се договарят индивидуално. Пишете ни какъв детайл и каква физика.