בינה מלאכותית להנדסת מבנים • קריטי לבטיחות

הפער הדטרמיניסטי

מדוע LLMs מנחשים פיקסלים בעוד גרפים מבוססי-פיזיקה מחשבים עומסים

תעשיית ה-AEC עומדת בפני בחירה קריטית: בינה מלאכותית הסתברותית מבוססת פיקסלים שמדמה בטיחות בהזיה, או בינה מלאכותית דטרמיניסטית מבוססת מבנה שמחשבת עומסים באמצעות פיזיקה. מרפסת אינה עומדת כי LLM אומר שהיא "חזקה" — היא עומדת רק אם נתיב העומס מקיים את משוואות הדיפרנציאל של שיווי המשקל.

מסגרת הלמידה העמוקה הגיאומטרית של Veriprajna הופכת שרטוטים לגרפים מתמטיים שבהם צמתים הם אברי המבנה וקשתות הן נתיבי עומס. על ידי הטמעת משוואות הפיזיקה ישירות בפונקציות המחיר של הרשתות הנוירוניות, אנו עוברים מניחוש הסתברותי לחישוב דטרמיניסטי.

49.8%
דיוק ה-LLM המוביל בהסקה מבנית (DSR-Bench)
אמינות ברמת הטלת מטבע
0.9999
דיוק R²: GS-PI-DeepONet של Veriprajna
דיוק כמעט מושלם
7-8×
האצה לעומת פותרי FEM מסורתיים
ניתוח בזמן אמת
100%
נאמנות קישוריות IFC
ללא הזיות

פרדוקס המרפסת

כשל היסודי ביישום LLMs לבטיחות מבנית

🤖 פסק הדין של ChatGPT

"המבנה של המרפסת נראה תקין. המעקה קיים ופני הרצפה נראים חזקים. התכנון עוקב אחר דפוסים ארכיטקטוניים מקובלים הנראים באלפי תמונות של מרפסות."

שיטה: חיזוי טוקנים
→ מקטעי Vision Transformer (16×16 פיקסלים)
→ מתאם סטטיסטי: "אנכי + אופקי = בטוח"
→ לא בוצע חישוב פיזיקלי
תוצאה: הזיה משכנעת. החיבור החסר של המפתח האחורי מעולם לא אותר.

⚙️ הניתוח של Veriprajna

זוהה כשל קריטי
ניתוק בנתיב העומס בחיבור הקנטילבר

שיטה: חישוב דטרמיניסטי
→ חציית גרף: נתיב עומס → יסוד שבור
→ בדיקת פיזיקה של PINN: ∑M = 850 kN·m > M_cap = 320 kN·m
→ קו הזרימה של מדד U* מסתיים באופן פתאומי
לא בטוח: חורג ב-266% מקיבולת המומנט

"מרפסת אינה עומדת כי תיאור טקסטואלי אומר שהיא 'חזקה', והיא אינה עומדת נגד כבידה כי ניתוח מבוסס פיקסלים מזהה נוכחות חזותית של מעקה. היא עומדת רק אם נתיב העומס רציף, התפלגות המאמצים נשארת בתוך הגבול האלסטי של החומרים, והטופולוגיה של המבנה מקיימת את משוואות הדיפרנציאל השולטות של שיווי המשקל."

— המסמך הטכני של Veriprajna, תקציר מנהלים

מדוע LLMs רב-מודליים נכשלים בהסקה מבנית

מצב הכשל המרכזי: הם מנועים הסתברותיים שתוכננו לחזות טוקנים, ולא מנועי לוגיקה שתוכננו לפתור אילוצים פיזיקליים.

מלכודת הפיקסלים

Vision Transformers מחלקים תמונות למקטעי 16×16 פיקסלים. הם לומדים "קישורי מקטעים" — מתאמים סטטיסטיים בין אשכולות פיקסלים — ולא טופולוגיה מרחבית אמיתית.

קלט: מקטע פיקסלים (256 ערכים)
עיבוד: משקלי קשב
פלט: "נראה כמו קורה"

כאשר הפיקסלים מעורבבים, ViTs שומרים על דיוק גבוה — הוכחה שהם אינם מסתמכים על מבנה מרחבי. בהנדסה, המבנה המרחבי הוא הכול.

פסק הדין של DSR-Bench

10 מה-LLMs המתקדמים ביותר נבחנו על 4,140 בעיות הסקה מבנית. התוצאה הגבוהה: 0.498/1.0—דיוק ברמת הטלת מטבע.

הסקה רב-שלבית: נכשל
קיום אילוצים: נכשל
ממדיות מרחבית: יורדת

הביצועים יורדים כשבעיות מתוארות בשפה טבעית לעומת קוד פורמלי — LLMs מסתמכים על דפוסי GitHub שנשמרו בזיכרון, ולא על הסקה.

ראיות מתוך DesignQA

MLLMs הצליחו לסכם תקני בנייה בשטף אך נכשלו ביישום אילוצים כמותיים על פלטי תכנון.

✓ "מהו השוקע המקסימלי?" → יכולים לחלץ
✗ "האם הקורה הזו עומדת בשוקע המקסימלי?" → אינם מסוגלים ליישם

הטיית חומרים אקזוטיים: LLMs מציעים טיטניום/סיבי פחמן גם כשההקשר מחייב פתרונות חסכוניים — אופטימיזציה ל"נשמע טכנולוגי-עילי" במקום לנהוג נכון בהקשר.

Vision Transformers מול המציאות ההנדסית

מאפיין Vision Transformer (LLM) המציאות ההנדסית
יחידת קלט מקטע פיקסלים (רשת 16×16) אבר מבנה (קורה, עמוד)
קשר מתאם סטטיסטי (קשב) סיבתיות פיזיקלית (העברת עומסים)
הבנה מרחבית הטמעה מיקומית (נלמדת) קישוריות טופולוגית (מוחלטת)
מצב כשל הזיה (נראה בטוח) קריסה (אינו בטוח)
תחום הנתונים אוקלידי (דמוי רשת) לא-אוקלידי (דמוי גרף)

פיקסלים מול גרפים: ההבדל היסודי

LLMs רואים שרטוטים כרשתות פיקסלים. אם קורה שחורה מופיעה על רקע שחור, הם פשוטו כמשמעו אינם יכולים לראות אותה. גרוע מכך: הם עלולים ל"ראות" חיבורים שאינם קיימים משום שפיקסלים סמוכים מפעילים משקלי קשב.

גישת הגרף של Veriprajna

אנו מפרסרים ישירות את סכמת ה-IFC/BIM. צמתים מייצגים אברים פיזיקליים עם תכונות חומר (E, I, f_y). קשתות מייצגות קשרי העברת עומסים המוגדרים בסכמה — ולא מנוחשים מתוך פיקסלים.

צומת: {type: "Beam", E: 200GPa, I: 8.36e-5 m⁴}
קשת: {connection: "fixed", stiffness: 1e6}
נתיב: עומס → קורה → עמוד → יסוד ✓
החליפו בין מצבי ההדגמה כדי לראות כיצד אותו מבנה נראה בלתי נראה למערכות מבוססות פיקסלים אך מדויק מתמטית בייצוג הגרף.
השוואה אינטראקטיבית
⚠️ ניגודיות נמוכה: אברי המבנה בקושי נראים
התצוגה מבוססת הפיקסלים מציגה ניגודיות נמוכה בין אברי המבנה לרקע — דומה לאופן שבו Vision Transformers מתקשים בתרחישים של שחור על שחור.

למידה עמוקה גיאומטרית: היסוד המתמטי

כדי לעבור מעבר לניחוש פיקסלים, Veriprajna נשענת על למידה עמוקה גיאומטרית — הכללה של רשתות נוירוניות לתחומים לא-אוקלידיים (גרפים ויריעות).

המציאות הלא-אוקלידית

רשתות CNN מקובלות פועלות על רשתות אוקלידיות שבהן לכל פיקסל בדיוק 8 שכנים. למבנים יש אופי לא-אוקלידי:

  • → טופולוגיה לא סדירה: צומת במסבך פלדה עשוי להתחבר ל-3 אברים; צומת בדיאגריד עשוי להתחבר ל-8. אין רשת קבועה.
  • → אין כיוון קבוע: סיבוב שרטוט ב-90° משנה את ערך כל פיקסל (ומפרים CNNs), אך הגרף נותר אינווריאנטי.
  • → אינווריאנטיות לתמורה: הפיזיקה אינה משתנה אם נסדר מחדש את רשימת הקורות — GNNs מכבדים זאת, Transformers לא.

הגדרה מתמטית של הגרף

ב-Veriprajna, מבנה מנוסח פורמלית כ-G = (V, E):

צמתים (V): רכיבים מבניים
x_v = [Material, E, I, f_y, Geometry, ...]
קשתות (E): חיבורים פיזיקליים
x_e = [Stiffness, Orientation, Type]

בניגוד לפיקסלים (ערכי RGB), הצמתים מכילים פרמטרים פיזיקליים אמיתיים: מודול יאנג, מומנט התמד וחוזק כניעה — הערכים הדרושים לחישוב.

העברת מסרים: כיצד GNNs מדמים זרימת עומסים

ψ(l)

פונקציית מסר

מחשבת את הכוח/המומנט המועבר מהשכן u אל הצומת v על בסיס תכונות הקשת (קשיחות החיבור, הכיוון).

⊕

פונקציית צבירה

מחברת את כל הכוחות הפועלים על הצומת v מכל האברים המחוברים — בחיקוי משוואות שיווי המשקל ∑F.

φ(l)

פונקציית עדכון

מחשבת את המצב החדש (העתקה, מאמץ) של הצומת v על בסיס הכוח הכולל הנכנס — ביישום חוק הוק.

בערימת k שכבות, GNN בן 10 שכבות מפיץ מידע למרחק של 10 צעדי קשת: עומס על הגג משפיע מתמטית על היסוד —סימולציה נלמדת וגזירה של נתיב העומס.

מ-BIM לגרף: צינור הנתונים של Veriprajna

1

חילוץ טופולוגי

ממיר IFC-to-BIMGraph מפרסר את סכמת ה-IFC. מזהה IfcRelConnectsElements (חיבורים פיזיקליים) וממפה אותם לקשתות עם נאמנות של 100%—ללא ניחוש.

2

הטמעה רב-מודלית

מיזוג מידע סמנטי ("IPE 300 Steel") וגיאומטרי (רשת תלת-ממדית באמצעות PointNet) לווקטורי צומת. המודל מבין ש-IPE 300 ≈ HEB 300 אך שונים בקיבולת.

3

פלט המודל המבני

GNN מנבא פרמטרי קשיחות (EI, EA) ומייצר באופן אוטומטי קבצי קלט FE עבור OpenSees/SAP2000 — ממכן את הכנת הורדת העומסים.

רשתות נוירוניות מבוססות פיזיקה (PINN): מנוע הדטרמיניזם

איננו מבקשים מה-AI ללמוד פיזיקה מתוך נתונים. אנו מלמדים את ה-AI פיזיקה על ידי הטמעת משוואות דיפרנציאליות ישירות בפונקציית המחיר.

הטמעת המשוואות השולטות

שקלו את משוואת הקורה של אוילר-ברנולי, השולטת בשקיעת המרפסת:

∂²/∂x² (EI ∂²w/∂x²) + q(x) = 0

פונקציית המחיר הכוללת הופכת ל:

L_total = L_data + λ·L_PDE

L_PDE = (1/N) Σ |∂²/∂x²(EI ∂²ŵ/∂x²) + q(x)|²

באמצעות גזירה אוטומטית, אנו מחשבים במדויק את הנגזרות של חיזוי הרשת. אם השקיעה החזויה מפרה את שיווי המשקל, L_PDE מזנק ומכריח תיקון.

ביצועים מוכחים

מקרה בוחן: גשר הספגטי

רשת Kolmogorov Arnold מבוססת פיזיקה (PIKAN) ניבאה עומסי כשל מתוך נתונים דלים על ידי שילוב אילוצי גיאומטריה וגבולות חומר.

דינמיקה של גשרי רכבת

PINNs זיהו קווי השפעה תחת עומסים דינמיים, כשלמידת מכונה טהורה מנתונים נכשלה בהתכנסות. הפיזיקה פועלת כ מרגלן — הדמיון של ה-AI לעולם אינו מפר את חוקי ניוטון.

0.9999
דיוק R²
DeepONet מבוסס פיזיקה במבנה גרף
מהיר פי 7-8× מ-FEM, בדיוק ברמת FEM

GS-PI-DeepONet: חזית הטכנולוגיה

Veriprajna מנצלת Deep Operator Networks מבוססי פיזיקה במבנה גרף — למידת אופרטורים (מיפויים בין מרחבי פונקציות אינסוף-ממדיים) על גרפים לא מובנים.

DeepONet
לומד אופרטורים: "פונקציית התפלגות עומסים" → "פונקציית שקיעה"
במבנה גרף
מטפל בגיאומטריות מבנים לא סדירות ש-CNNs אינם מסוגלים לגעת בהן
מבוסס פיזיקה
שאריות PDE אוכפות שיווי משקל, תאימות וחוקים מכוננים

מעקב אוטומטי אחר נתיבי עומס: "עמוד השדרה" של המבנה

LLM רואה פיקסלים. Veriprajna רואה את נתיב העומס הראשי — הנסרק בקפדנות באמצעות אלגוריתמים של תורת הגרפים.

מציאת נתיבים מבוססת מטריצות

המבנה מיוצג כמטריצת סמיכות A. על ידי העלאת A לחזקות (A^n), מזהים את כל הנתיבים באורך n בין העומס ליסוד.

A² = נתיבים באורך 2
A³ = נתיבים באורך 3
...
A^k = קישוריות למרחק k צעדים

המחשת מדד U*

חישוב מדד U* — מדד להעברת אנרגיית מאמץ פנימית. נתיב העומס הראשי מוגדר כ"קו הרכס" של עקומות ה-U* (המסלול הקשיח ביותר).

קווי זרימה: אינטגרציית Runge-Kutta (RK4) של ∇U* מציירת קווי "זרימת כוחות". אם המרפסת בטוחה, קו הזרימה מחבר את המעקה→העמוד. אם אינה בטוחה, קו הזרימה מסתיים באופן פתאומי.

קריסה מתקדמת

הסרה שיטתית של צמתים (סימולציית כשל עמוד) והערכה מחודשת של קישוריות הגרף באמצעות Betweenness Centrality. זיהוי קבוצות חיתוך (Cut Sets) באופן מיידי.

סינון מיידי: בדיקת אלפי תרחישי כשל בזמן אמת לעומת הרצה חוזרת של FEM לא-ליניארי לכל מקרה.

סימולטור אינטראקטיבי לנתיבי עומס

תוצאות ניתוח הנתיב

לחצו על תצורת מבנה לניתוח...

מפתח

צומת מבני (אבר)
חיבור
נתיב עומס פעיל
צומת במאמץ גבוה

יישום ארגוני: שכבת ה"מאמת"

Veriprajna אינה מחליפה מהנדסים — אנו מחליפים את אי-הוודאות של אימוץ AI בשכבת אימות דטרמיניסטית.

זרימת עבודה עם אדם בלולאה

🎨

1. שכבה יוצרת

(הסתברות)

אדריכלים משתמשים ב-Midjourney/MLLMs ליצירת קונספטים יצירתיים: "הצג לי מרפסת קנטילבר עם מעקה פרמטרי"

⚙️

2. שכבת Veriprajna

(דטרמיניזם)
→ פרסור לגרף BIM
→ בדיקת טופולוגיה (DFS/BFS)
→ בדיקת נתיב עומס (מדד U*)
→ בדיקת פיזיקה (σ < f_y?)
✓

3. לולאת משוב

(אילוץ)

אם הפיזיקה נכשלת, מוחזר אילוץ קשיח: "הגדל את גובה הקורה ב-200mm" או "הוסף חיבור מפתח-אחורי" — כפיית יצירה מחדש

יעילות נתונים ואבטחה

PINNs מאומנים על נתונים מעטים משום שאילוצי פיזיקה מצמצמים את מרחב החיפוש. LLMs זקוקים לפטה-בייטים כדי ללמוד "וייבים".

  • ✓ הכללה: GNN שאומן על מסגרות פלדה מכליל למסגרות חדשות — הפיזיקה (חוק הוק) אינה משתנה
  • ✓ פרטיות: מודלים קטנים ניתנים לפריסה מקומית (on-premise). קניין רוחני רגיש (תחנות גרעין, מרכזי נתונים) לעולם אינו נשלח ל-APIs ציבוריים

הסבירות: "קופסת הזכוכית"

GNNs ממופים 1:1 לאובייקטים פיזיקליים. אנו יכולים להמחיש את משקלי הקשב ולעקוב במדויק אחר הסיבה לכל חיזוי.

הסקה ניתנת למעקב:
"העמוד C3 נכשל כי:
  → עומס מקורה B1: 450 kN
  → עומס מקורה B2: 380 kN
  → סך הכול: 830 kN > קיבולת: 720 kN"

בניגוד ל"קופסה שחורה" של LLM, שבה ההסקה חבויה במיליארדי פרמטרים שאינם ניתנים לפענוח.

היתרון של Veriprajna: השוואה זה מול זה

יכולת LLM רב-מודלי סטנדרטי Veriprajna (GDL/PINN)
פעולת הליבה חיזוי הטוקן הבא העברת מסרים (העברת כוחות)
חלון הקשר טוקנים מוגבלים (שכחן) קישוריות גרף אינסופית
הבטחת בטיחות "זה נראה בטוח" (הזיה) "שארית פיזיקה ≈ 0" (מאומת)
מיפוי נתיבי עומס הערכה חזותית (ניחוש) חציית גרף (אלגוריתם)
טיפול באילוצים רך (לרוב מוזנח) קשה (PDEs בפונקציית המחיר)
יכולת פירוש קופסה שחורה קופסת זכוכית (קשב ברמת הצומת)
נתוני אימון האינטרנט (מוטה/רועש) משוואות פיזיקה + נתונים מובנים
דיוק (הסקה מבנית) 49.8% (DSR-Bench) R² = 0.9999
פריסה API ענן (סיכון פרטיות) פריסה מקומית (מאובטח)

היסוד של מתמטיקה, לא של הסתברות

תעשיית הבנייה ייחודית. בתוכנה, "באג" הוא מטרד. בתעשייה שלנו, "באג" הוא טרגדיה. מחזור ההייפ סביב הבינה המלאכותית היוצרת טשטש את ההבחנה היסודית הזו.

❌ פסק הדין של ChatGPT

"המרפסת בטוחה כי הוא ראה אלפי תמונות של מרפסות, ובתמונות האלה הפיקסלים של הרצפה בדרך כלל נשארים מעל הפיקסלים של הקרקע."

✓ הפיזיקה אומרת

"המרפסת תקרוס כי מומנט הכפיפה בקצה המקובע חורג מקיבולת המומנט של החתך: ∑M > M_cap"

Veriprajna היא הפלטפורמה שמאפשרת לכם להקשיב לפיזיקה.

אנו בונים על היסוד של תורת הגרפים, למידה עמוקה גיאומטרית, ושל משוואות דיפרנציאליות. אנו לא מנחשים פיקסלים. אנו מחשבים עומסים.

האם אתם בונים על יסוד של מתמטיקה, או של הסתברות?
📄 קריאת המסמך הטכני המלא
FAQ

שאלות נפוצות

מדוע LLMs נכשלים בניתוחי בטיחות בהנדסת מבנים?

Vision Transformers מחלקים שרטוטים למקטעי פיקסלים של 16x16 ולומדים מתאמים סטטיסטיים, לא סיבתיות פיזיקלית. בדיקות DSR-Bench של 10 מה-LLMs המתקדמים ביותר על 4,140 בעיות הסקה מבנית הראו שהתוצאה הגבוהה הייתה רק 0.498 מתוך 1.0 — דיוק ברמת הטלת מטבע. הם אינם מסוגלים לבצע הסקה רב-שלבית, קיום אילוצים, או זיהוי ניתוקים בנתיב העומס הגורמים לכשל מבני.

כיצד רשתות נוירוניות מבוססות פיזיקה מבטיחות נכונות מבנית?

PINNs מטמיעים משוואות דיפרנציאליות שולטות כגון משוואת הקורה של אוילר-ברנולי ישירות בפונקציית המחיר. באמצעות גזירה אוטומטית, השקיעה החזויה של הרשת נבדקת מול משוואות שיווי המשקל. אם החיזוי מפר את הפיזיקה, רכיב ה-PDE בפונקציית המחיר מזנק ומכריח תיקון, תוך השגת דיוק R-squared של 0.9999 במהירות גבוהה פי 7-8x מפותרי FEM מסורתיים.

כיצד Veriprajna ממירה מודלי BIM לייצוגי גרף?

צינור IFC-to-BIMGraph של Veriprajna מפרסר ישירות את סכמת ה-IFC ומחלץ את קשרי IfcRelConnectsElements ליצירת קשתות גרף בנאמנות קישוריות של 100%. צמתים מייצגים אברים מבניים עם תכונות פיזיקליות כגון מודול יאנג, מומנט התמד וחוזק כניעה. הטמעות רב-מודליות ממזגות נתונים סמנטיים וגיאומטריים לווקטורי צומת לעיבוד GNN.

רשתות חברתיות

פורסם גם ב

הטמינו בינה מלאכותית מבוססת פיזיקה בזרימת העבודה ההנדסית שלכם

Veriprajna מציעה פריסה ארגונית, אימון מודלים מותאם אישית על נתוני ה-BIM שלכם ושילוב עם צינורות CAD/BIM קיימים.

עבור משרדי הנדסה

  • • יצירה אוטומטית של מודלים מבניים מ-IFC/BIM
  • • אימות נתיבי עומס בזמן אמת לתכנונים יוצרים
  • • סינון קריסה מתקדמת (אלפי תרחישים/שנייה)
  • • פריסה מקומית לאבטחת קניין רוחני

עבור רגולטורים ואקדמיה

  • • מסגרת AI מבוססת פיזיקה לעמידה בתקני בנייה
  • • AI ניתן להסבר עם נתיבי הסקה ניתנים למעקב
  • • שיתוף פעולה מחקרי בארכיטקטורות GNN/PINN
  • • מערכי נתוני Benchmark להערכת הסקה מבנית

דוח טכני מלא עם 28 ציטוטים שעברו ביקורת עמיתים: ארכיטקטורת חומרה, Message Passing Neural Networks, מתמטיקת PINN, מדדי ביצועים של DeepONet במבנה גרף, ומפרטי צינור IFC-to-BIMGraph.