מה ביקשו מ-Iroad, ומה נוסף אצלנו
ארבע דרישות, ארבעה שינויים במנוע, כל אחד מאומת
| דרישת Iroad | מה נוסף במנוע | איפה רואים את זה |
|---|---|---|
| מקרא למפה, שכל שכבה תהיה ברורה נוסף בעקבות דרישת Iroad | מקרא מלא על המפה: חלופות, שמורה, נחל וחיץ, שטח בנוי, קרקע חקלאית | שקף 4 |
| להימנע מקרקע חקלאית נוסף בעקבות דרישת Iroad | קרקע חקלאית פרטית: אסורה, אפס סטיה מקובל. קרקע חקלאית פתוחה: מותרת בקנס עלות | שקף 5 |
| לא לחתוך דרך רחובות עירוניים נוסף בעקבות דרישת Iroad | שטח בנוי: אסור לחצייה, נאכף גם על תוואי שמצייר המהנדס ידנית | שקף 6 |
| לתכנן לפי ספר עקרונות מקצועי נוסף בעקבות דרישת Iroad | קריטריוני התכנון נגזרים אוטומטית ממהירות מתכנן לפי ה-PDDM של FHWA וה-Green Book של AASHTO | שקפים 7–8 |
איפה זה התחיל: שקף הפתיחה של המצגת הראשונה שהצגנו ל-Iroad. אז היו אלה הצהרות על מסך כהה: "כל אילוץ אסורה בהוכחה פורמלית", "לוגיקה אופטימלית", "ראיות פורמליות מתוכנת". היום כל אחת מההצהרות האלה הפכה לאילוץ מוכח בתוך המנוע (שקפים 4-7), וההדגמה החיה על נתונים אמיתיים בשקף 11 מוכיחה אותן מולכם, בזמן הפגישה
בנוסף: אדם בלולאה בכל נקודת החלטה (שקף 9) ובקרת גרסאות מלאה (שקף 10) – שתי הדרישות העקיפות שעמדו מאחורי כל השאר.
מקרא למפה
נוסף בעקבות דרישת Iroad
כל שכבה מזוהה בעין: חלופות בצהוב/תכלת/ירוק, האדום אסור, הכתום אסור, הירוק בהיר מותר בקנס
המקרא כמו שהוא מופיע בהדגמה, בהגדלה: כל סימון ותווית שלו
- הבקשה הייתה מדויקת: מפה בלי מקרא מחייבת את מי שמציג להסביר כל צבע בעל פה, וכל טעות בהסבר היא טעות בהחלטה
- המקרא חי עם המפה: הוא נבנה מאותן שכבות שהאלגוריתם קורא, אז הוא לא יכול להתיישן מול הנתונים
- כל שקף מפה במצגת הזאת חתום באותה שכבת מקרא, כולל קרדיטים מלאים בכותרת התחתונה של ההדגמה
קרקע חקלאית
נוסף בעקבות דרישת Iroad
שכבות האילוץ על ציר עפולה – כפר תבור: 1 קרקע חקלאית פתוחה, 2 שטח בנוי, 3 שמורה, 4 תוואי מאומת
- ההתפתחות של הדרישה: תחילה "אסור לגעת בקרקע חקלאית בכלל". בדיקה על הציר האמיתי הראתה שזה לא אפשרי: עמק יזרעאל הוא רצף חקלאי, ואין תוואי בכלל בלי לעבור על קרקע חקלאית
- ההגדרה המעודכנת שאושרה: קרקע חקלאית פרטית אסורה (אפס נקודות, בלי יוצא מן הכלל), קרקע חקלאית פתוחה מותרת בקנס עלות שהמנוע עוקף כשיש אלטרנטיבה
- שקיפות מלאה: ב-OSM של הציר אף חלקה אינה מסומנת כפרטית (0 מתוך 113), וה-WFS הפתוח של GovMap אינו חושף שדה בעלות. זה כתוב בדוח המנוע עצמו, לא בהערת שוליים
- כשרשימת חלקות פרטיות תגיע מהלקוח, היא נכנסת לאותה הוכחה כשכבה נוספת, בלי שינוי קוד
אי חציית שטח בנוי
נוסף בעקבות דרישת Iroad
"לא חותכים דרך רחובות של עיירה": האיסור נאכף, וגם על המהנדס עצמו
1 המהנדס צייר בכוונה תוואי שחוצה שטח בנוי · 2 המנוע דחה: 121 נקודות בשטח בנוי, Lean מסרב להוכיח
- שטח בנוי הוא שכבת איסור מלאה: קירור האזור העלותיי עם הרחבה, כך שגם עקיפה צמודה נבדקת
- האיסור נבדק נקודה אחר נקודה לאורך כל התוואי, ונכנס להוכחה הפורמלית, לא לבדיקת דגימה
- בהדגמה חיה מול הלקוח ציירנו תוואי כזה בכוונה: הדחייה מגיעה בשניות, עם המספר המדויק של נקודות החריגה
- זה ההבדל בין "מערכת שמציירת יפה" למנוע שאי אפשר לשכנע בשקר
ספר העקרונות: PDDM
נוסף בעקבות דרישת Iroad
הקריטריונים לא מוגדרים ביד: הם נגזרים ממהירות מתכנן אחת, לפי PDDM של FHWA Federal Lands וה-Green Book של AASHTO
1 סליידר מהירות מתכנן אחד · 2 המפרט המלא שנגזר ממנו: שיפוע ≤ 7% · רדיוס ≥ 304 מ׳ · חשיפה ≥ 160 מ׳
-- נגזר אוטומטית מ-V = 90 קמ"ש
R_min = V² / (127 · (e_max + f))
e_max = 8%, f = Green Book
→ R_min = 304 מ׳
שיפוע מרבי (שטח גלי, כביש בין-עירוני)
→ 7%
חשיפת עצירה (SSD), 2.5 שניות תגובה
→ 160 מ׳
-- מקור: PDDM ch.9 (FHWA-FLH) / AASHTO Green Book
- מהנדס מזיז סליידר אחד ומקבל מפרט עקבי ושלם: הטבלאות מסונכרנות במקום אחד
- בפיילוט מחליפים את הטבלאות לתקן הישראלי (ת.ח.ד): עדכון נתונים, לא שינוי קוד
מה ה-PDDM שינה באלגוריתם עצמו
- עקומות אנכיות: הפרופיל האורכי היה קו שבור שעוקב אחרי הקרקע. חשיפת עצירה על פסגות חדות הייתה 30 מ׳ בלבד. הוספנו עיגול גיאומטרי באורך גל תכנון של 250 מ׳ שמכפוף את העקמתיות בפסגות בדיוק כמו עקומת פסגה בתקן, והחשיפה קפצה ל-166–172 מ׳
- מדידת חשיפה (SSD): נערכת נקודה אחר נקודה מעל הפרופיל האורכי המתוכנן, עין בגובה 1.08 מ׳ ומטרה בגובה 0.6 מ׳, מה שהתקן דורש
- 18 הוכחות Lean 4 (6 אילוצים × 3 חלופות) במקום 15: שיפוע, רדיוס, חשיפה, התרחקות מנחל, קרקע חקלאית פרטית, שטח בנוי
טבלת האימות: שיפוע 6.1% מול 7% מותר, חשיפה 166–172 מ׳ מול 160 דרוש, הכל ירוק
אדם בלולאה, בכל נקודת החלטה דרישת Iroad
החשש שנשמע בפגישה: בלי אדם בלולאה, טעות נכנסת בשקט ואף אחד לא יודע מתי ולמה. התשובה שלנו בנויה בתוך המנוע
1 קביעת המפרט · 2 בחירת חלופה ובדיקת מדדים · 3 ציור תוואי חלופי · 4 אישור תעודת Lean
- המנוע מציע, המהנדס מחליט: הוא קובע את הציר והמפרט, בוחר בין חלופות מדורגות, מצייר תוואי משלו כדי לאתגר את המנוע, ומאשר את תעודת האימות לפני שכל מספר משמש להחלטה
- שום תוצאה לא עוקפת אדם: המנוע לא חותם תוואי, הוא מחזיר חלופות מדורגות עם ראיות. ההכרעה והאחריות המקצועית נשארות אצל המתכנן
- וכשהמהנדס טועה? המנוע לא מאפשר לו לעבור: תוואי מצויר שחוצה שטח בנוי נדחה בשניות (שקף 6), מפרט לא ריאלי מקבל דחייה מנומקת, וכל טענה נבדקת ב-18 הוכחות
ההדגמה החיה: מה רואים על המסך
1 קרקע חקלאית פתוחה (קנס) · 2 שטח בנוי (אסור) · 3 שמורה (אסור) · 4 תוואי מאומת. בצד ימין: מפרט דינמי ותעודת Lean
- הדגמה של קצה לקצה על נתונים אמיתיים: משליפת נתונים, חלופות מדורגות, מדידה ב-Wolfram, הוכחה ב-Lean 4, דוח עברית
- רגע ההכחשה: מעלים מהירות מתכנן ל-100 קמ"ש, Lean דוחה את כל החלופות בשניות
- רגע האנוש: מציירים תוואי משלכם על המפה, המנוע מודד ב-Wolfram ומכריע ב-Lean
- רגע השחזור: כל הרצה כזו משאירה נתונים, מדידות ותעודה בגרסה, לביקורת אחורה
- ההדגמה כרגע רצה מקומית (http://localhost:8777 בהצגה); פריסה ציבורית בדרך, ראו שקף 12
שילוב עם Civil 3D: המנוע מדבר את השפה של המתכנן
ייצוא LandXML תקני: משטח קרקע ותוואים נכנסים כאובייקטים מקוריים, בלי תוספים
משטח ESL_Terrain + תוואי 16 ק״מ ב-Civil 3D 2027, אחרי Import LandXML
- מה מיוצא: קובץ LandXML 1.2 תקני: משטח טין מה-DEM + שלושת התוואים עם פרופיל אורכי
- איך מייבאים: Insert → Import LandXML (LANDXMLIN), פחות מדקה, בלי תוספים
- מה נכנס: אובייקטים מקוריים: משטח עבודות עפר, תוואים עם תחנות ונקודות PI
- למה חשוב: התחלה חכמה ומאומתת, ישר לסביבת העבודה של המתכננים שלכם
סבב אמת מלא: מתכננים ב-Civil 3D, מאומתים ב-Lean 4
העריכה נשארת בידי המהנדס; האימות ממוכן, מתועד, וחוזר בתוך דקה
ESL_Terrain ו-alt1, alt2, alt3 כאובייקטים מקוריים בסייר האובייקטים
- שלב 1 · מתכננים: המהנדס עורך או מצייר תוואי ב-Civil 3D על הקרקע שלנו
- שלב 2 · מייצאים חזרה: Export LandXML (או CSV של קו המרכז)
- שלב 3 · מאמתים: מדידה ב-Wolfram ותעודת Lean 4: ״עומד בתקן״ או ״נכשל״ עם האילוץ המפר
- אדם בלולאה: ההכרעה אצל המהנדס, שום שינוי לא נכנס בשקט, הכל מתועד בגרסאות