עקרונות יסוד בחיזוי תחבורה

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
פרוייקט מסכם-עיבוד מקבילי
Presentation by Dudu Yanay and Elior Malul 1.  מה משותף לכל אלגוריתם המשתמש ב -Bucket Elimination: ◦ נתון מודל הסתברותי ורשת ביסיאנית מתאימה. ◦ נתונה.
Recitation #9. Q1 גרף מכוון מורכב מקבוצה של צמתים (nodes) ומקשתות מכוונות (arcs) המחברות ביניהם. כל קשת מכוונת יוצאת מצומת אחד ונכנסת לצומת אחר. ( בגרפים.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
גרפים ממשקלים גרף ממשקל הוא גרף עם משקל לכל קשת עץ פורש הוא עץ שצמתיו הם כל הצמתים של הגרף וקשתותיו הן קשתות הגרף.
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
R. Bar-Yehuda © 1 קומבינטוריקה למדעי - המחשב – הרצאה #14 Graph theory – תורת הגרפים Chapter 1: PATHS IN GRAPHS – 1. מסלולים.
By Irina Polansky Deriving Mechanism Singularity Positions through the Graph Theory Duality Principle The Iby and Aladar Fleischman Faculty of Engineering.
המעבדה לבקרה ורובוטיקה 1 חקירה אמפירית של ניתוב תחרותי ברשתות תקשורת מגישים : דרור עמר & איתי ג ' ורג ' י מנחה : ישי מנשה סמסטר : חורף תשס "
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
מבוא להנדסת חשמל מעגל מסדר שני.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
*מתוך מאמר מאת Lixing Gao בשם Stable Internet Routing Without Global Coordination 1 ניתוב יציב באינטרנט ללא תיאום גלובלי * מאת: אהרון יובל.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
צוות : גרייף אלה כורך אילנה רשקובסקי לובה אוניברסיטת בו גוריון בנגב מחלקה להנדסה תוכנית להנדסת תוכנה Application Requirements Presentation.
Synchronizers - מסנכרנים הדמיית רשת סינכרונית ברשת אסינכרונית.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
בעיות חיפוש – informed search בינה מלאכותית יעל נצר.
הרחבות המודל הבסיסי של היצע העבודה ד"ר אנליה שלוסר.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
1 הצגה בכינוס הערכת עלות מקורבת בסביבה סטוכאסטית מוגבלת קיבולת מרק אקלין מנחים: פרופ' יוחנן ארזי, פרופ' אבי שטוב.
תרמודינמיקה השפעת טמפרטורה על GG בקרה קינטית ובקרה תרמודינמית רים נאוה ארנה.
שאלה 1 נתון כביש ישר עם תחנות דלק בנקודות , בנקודת המוצא נתונה מכונית עם תא דלק שמספיק ל-100 ק"מ. מחיר מילוי תא הדלק בתחנה.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
1 חקירת טרנזיסטור קוונטי הנשלט על ידי שינויי תדר Frequency Controlled Quantum Transistor מבצע : חן טרדונסקי מנחה : ד " ר אראל גרנות.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מרחב הפאזה פרקים בתנודות וגלים לא ליניאריים פרופ' לזר פרידלנד
רגרסיה קו רגרסיה הוא קו תיאורטי המאפשר לנו לבחון את השפעתו של משתנה מנבא אחד (או יותר) על המשתנה התלוי: במילים אחרות, מודל רגרסיה עוזר לנו לנבא על פי משתנה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
יחס סדר חלקי.
תחשיב היחסים (הפרדיקטים)
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
מבוא לחשבונאות ניהולית. היחס בין חשבונאות פיננסית לניהולית פיננסיתניהולית פנימיים מותאמים לארגון בחלקים מסוימים יכול להיות : תחזית כמותי או איכותי מוניטרי.
Presentation by Gil Perry Supervised by Amos Fiat 1.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Costs and Filters Dr. Avi Rosenfeld Department of Industrial Engineering Jerusalem College of Technology
Population genetics גנים באוכלוסיות a population is a localized group of individuals belonging to the same species.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
Ad Hoc Network Lifetime Optimization
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
המכון לחקר התחבורה בטכניון
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
תקשורת ומחשוב תרגול 1 IP, Classes and Masks.
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
בעיות נוספות ב-NPC.
Marina Kogan Sadetsky –
הנעה חשמלית.
תרגול 11 NP complete.
הויגנס נגד פרמה וחוק סנל- סיבתיות מול אופטימיזציה בטבע - האם יש מקום בתוכנית הלימודים בפיזיקה? חזי יצחק תיכון לחינוך סביבתי, המחלקה.
בחירת חומר גלם כתב: עמרי שרון.
למה רמת פרמי צריכה להיות קבועה בחומר שנמצא בשווי משקל?
Presentation transcript:

עקרונות יסוד בחיזוי תחבורה הלל בר-גרא

מודל בחירת המסלולים – הצבת תנועה

השפעת כביש חדש על בחירת מסלולים B נפח תנועה (רכב\שעה) זמן נסיעה (דקות) נפח תנועה (רכב\שעה) זמן נסיעה (דקות) 10 500 11.5 500 11 600 11 400 13 800 10 200 15 9 1000 A t1=5+f1/100 t2=9+f2/200

שיווי משקל של המשתמשים Wardrop’s User-Equilibrium (1952) כל משתמש מעוניין לבחור במסלול הקצר ביותר, בהתאם לתנאי העומס ברשת הכבישים הנוצרים מבחירת המסלולים של כלל המשתמשים. במצב שיווי משקל, זמן הנסיעה בכל מסלול שבשימוש אינו ארוך יותר מזמן הנסיעה בכל מסלול חלופי. “The journey times on all the routes actually used are equal, and less than those which would be experienced by a single vehicle on any unused route.”

דוגמא לבעיית ההצבה (מודל בחירת מסלולים) Traffic Assignment Problem (TAP) במהלך תקופת השיא בבוקר נוסעים 2000 רכבים בשעה מעיר A לעיר B, באחד משני כבישים נפרדים. זמני הנסיעה (בדקות) t1,t2, תלויים בנפחי התנועה f1, f2. כיצד תתחלק התנועה בין הכבישים?

זמני נסיעה כתלות בחלוקת העומס, d=2000

זמני נסיעה כתלות בחלוקת העומס, d=3000

זמני נסיעה כתלות בחלוקת העומס, d=1000

שיווי משקל בין שני מסלולים המצב בו אף רכב אינו יכול לשפר את מצבו על ידי שינוי המסלול שלו נקרא מצב של שיווי משקל. במקרה של שני מסלולים נפרדים, שיווי משקל יכול להתקיים באחד משלושה מצבים: א. f1=0, t1t2 ב. f2=0, t1t2 ג. ; f1,f20 t1=t2

עלות מערכתית בדוגמא לעיל, עבור ביקוש של 2000 רכבים לשעה, שיווי משקל מתקבל כאשר: f1=1268.22, f2=731.78, t1=t2=15.11 העלות למערכת במצב זה היא: האם ניתן להקטין את העלות המערכתית?

העלות המערכתית כתלות בחלוקת העומס

השמה אופטימלית מערכתית System Optimal Traffic Assignment נחשב את סך כל זמן הנסיעה בשני הכבישים: ונמצא את המינימום תחת האילוץ של הביקוש הנתון:

השוואה בין פתרונות SO UE 933.10 1268.22 f1 1066.90 731.78 f2 11.49 15.11 t1 15.49 t2 454.4 503.7 T (hours) 13.63 t-average

מודל בחירת האמצעי – הפיצול לאמצעים

השפעת קו רכבת על בחירת אמצעי נסיעה מעיר A לעיר B נוסעים 1000 רכבים בשעת שיא בוקר. בין הערים מחבר כביש וזמן הנסיעה בו הוא tau(fau)=20 [1+(fau/1800)4] בכוונת הרשויות להקים קו רכבת כתחליף לנסיעה ברכב פרטי. מה יהיה מספר המשתמשים ברכבת כתלות בזמן הנסיעה שלה? האם ניתן להניח שהמשתמשים מתייחסים אך ורק לזמן הנסיעה? איזה זמן נסיעה ברכבת יגרום לכל הנוסעים לעבור לרכבת? איזה זמן נסיעה ברכבת לא יגרום לאף נוסע לעבור לרכבת? (לא) (20) (22)

השפעת זמן הנסיעה על בחירת אמצעי

מודל ה - LOGIT כיצד משפיע זמן הנסיעה באוטו? הגרף לעיל התקבל מהפונקציה כאשר =0.2, =10 כיצד משפיע זמן הנסיעה באוטו? אנו מניחים שהעיקר הוא ההפרש בזמן הנסיעה, ולכן

מודל ה – LOGIT, המשך

השפעת קבוע ההטיה של האמצעי (mode bias)

השפעת מקדם הרגישות של האמצעי

מודל פיצול על פי עלות מוכללת פונקצית העלות המוכללת: מודל הפיצול קבוע ההטיה של האמצעי פרמטרים נתונים/מודל

שונות בעלות המוכללת ניתן לפתח את מודל ה – LOGIT אם מניחים שהעלות המוכללת בעיני הנוסע (perceived cost) כוללת מרכיב מקרי בעל התפלגות Gumbel.

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

מודלים לבחירת המקור והיעד – הביקוש לנסיעות

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

מודלים לביקוש נסיעות נתאר את זרם (מספר) הנסיעות ממקור p ליעד q על ידי dpq. d={dpq}p,qN היא טבלת מקור יעד (טמ"י/מטריצה) נסיעות. הגישה הכלכלית הכוללת: Computable General Equilibrium (GCE) מודל הפילוג ("גרביטציה"): המבנה של מודל הגרביטציה מבטיח שחלוקה מלאכותית של אזור תנועה אחד לשני אזורים עם תכונות זהות לא תשפיע על תוצאות המודל.

מודל "גרביטציה" סך כל הנסיעות ממקור p הוא סך כל הנסיעות ליעד q הוא מקדם האיזון של המקור Ap מאפשר לקבוע את הסכום Op. מקדם האיזון של היעד Bq מאפשר לקבוע את הסכום Dq. במקרים רבים מעדיפים לחזות את הזרימה הכוללת מכל מקור Op ואל כל יעד Dq. במקרה כזה ניתן באופן איטרטיבי לאזן את מקדמי המקור ואת מקדמי היעד בהתאם (Furness, 1965). תחזית הזרימה הכוללת מבוססת על תחזית (או צפי לתכנון) של שימושי קרקע ושל פיזור אוכלוסייה ועסקים, ועל מודל "יצירה/משיכה" המקשר בין נתונים אלה למספרי נסיעות צפויים.

תיקוף מודל גרביטציה לפי מרחק אווירי

תיקוף מודל גרביטציה לפי חלוקה לאזורי-על

רשתות – הגדרות בסיסיות רשת (גרף) – קבוצת קדקודים (צמתים) N, וקבוצת צלעות מכוונות (קשתות) המחברות אותם A. צלע a מוליכה מזנב הצלע at לראש הצלע ah. מסלול: סדרה של קדקודים המחוברים בצלעות. [i1,i2,…,in]; [ik,ik+1]A הסימון ar משמעותו שצלע a היא חלק מהמסלול r. כל אזור תנועה מיוצג ברשת על ידי צומת מוקד (zone centroid), המחובר לרשת ב"כבישים" מלאכותיים (zone connectors). הנסיעות מאזור לאזור מיוצגות על ידי נסיעות ממוקד למוקד. קבוצת המסלולים מקדקוד p לקדקוד q תסומן ב – Rpq; R=pq Rpq.

רשת - דוגמא 4 5 6 1 2 3 N={1,2,3,4,5,6} A={[1,2], [1,4], [1,5], [2,3], [2,5], [2,6], [3,6], [4,5], [5,6]} R16={[1,2,3,6], [1,2,6], [1,2,5,6], [1,5,6], [1,4,5,6] } [2,6]  [1,2,3,6] ?

השמה ברשת ההשמה ברשת מוגדרת על ידי החלק היחסי של הזרם בכל מסלול ומסלול, מתוך כלל הזרימה ממקור ליעד: y={yr}rR y0 rRpq yr =1 הזרימה במסלולים ברשת מתקבלת מהביקוש ומההשמה: h={hr}rR hr=dpqyr h=dy מתוך הזרם במסלולים ניתן לקבוע את הזרם בצלעות: f={fa}aA ; fa=rR:a  r hr

עלויות ברשת בדרך כלל אנו מניחים לשם הפשטות שהעלות (המוכללת) של כל צלע תלויה אך ורק בזרם באותה צלע: ta=ta(fa). העלות של המסלול היא סכום העלויות של הצלעות: cr=a  r ta באופן כללי ניתן להניח שהעלות (המוכללת) של כל מסלול ומסלול תלויה בזרמי התנועה בכל המסלולים: c=C(h).

הבעיה המתמטית של מציאת השמת שיווי המשקל בהינתן העלויות של כל המסלולים c, נגדיר את קבוצת המסלולים הקצרים ביותר: R*pq=argmin { cr : rRpq } R*=pq R*pq קבוצת כל ההשמות ברשת היא Y(R) = { y ={yr}rR : y0 ; rRpq yr =1 pq} קבוצת ההשמות המוגבלת לקבוצה חלקית של מסלולים R’ היא: Y(R’) = { y Y(R) : pq  rR’pq yr=0 } ההשמות המקיימות את תנאי שיווי המשקל הן הפתרונות של בעיית נקודת השבת הבאה: y  Y(R*(C(dy)))

המודל המשולב ניתן להגדיר את העלות הכוללת ממקור ליעד בתור העלות של המסלול הקצר ביותר: U*(c); u*pq (c) = min { cr : r  Rpq } או בתור העלות הממוצעת עבור ההשמה הנוכחית: u=cy  upq = cpq· ypq מודל הביקוש מתואר על ידי הפונקציה: d=G(u) פתרונות המודל המשולב של ביקוש והשמה הם פתרונות בעיית נקודת השבת הבאה: y  Y(R*(C(dy))) d=G[C(h)y]

תהליך ארבעת השלבים - The 4-steps process הפרקטיקה של תכנון מערכות תחבורה שהתפתחה בשנות החמישים מתבססת על "תהליך ארבעת השלבים", מתוך הנחה שקיימת תחזית של שימושי קרקע ושל פיזור אוכלוסייה ועסקים. השלבים הם: יצירה – האם אני רוצה לנסוע? פילוג – לאן אני רוצה לנסוע? פיצול – באיזה אמצעי אבחר? הצבה – באיזה מסלול אבחר? תהליך זה נוח מבחינה חישובית, אך אין הבסיס ההתנהגותי שלו מוטל בספק. בנוסף, ההתחשבות ברמת השרות של מערכת התחבורה בשלבים השונים אינה עקבית.