Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.

Slides:



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

ממיבחניםC שאלות ++.
תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.
בתרגול הקודם הורשה: –ניתן להרחיב רק מחלקה אחת –כל מה שלא private – עובר בהורשה –המילה השמורה super –יצירת היררכיה –Object היא שורש ההיררכיה –דריסה אופרטור.
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
SW LIFE -CYCLE MODELS.
Linux Embedded Distribution סמסטר חורף תשס"ב הפקולטה להנדסת חשמל המעבדה לתוכנה מבצעים: מיכאל זיסמן אדוארד אסטרין מנחה : גלב נטפוב.
Graph Toolkit G-2 group Volansky Vered Hadas Yaron Ben Ezra Asaf Sharov Artyom.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
Time Based Identification of Web Attackers המעבדה לאבטחת מידע המעבדה לאבטחת מידע סמסטר חורף תשס " ט הטכניון מנחים: עמיחי שולמן אלדד שי מבצעים: גליה סימנובסקי.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 10 Packages.
מסדי נתונים תשס " ג 1 תכנון סכמות (Design Theory) מסדי נתונים.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
עקיבה אחרי מספר מטרות בשיטת קורלציה + JPDAF מגיש : לוטן קפלנסקי מנחה : ד " ר גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY.
מכון ויצמן למדע - שמוליק מתוך 8 חישוב מקבילי ומבוזר מה זה יחידה חמישית במדעי המחשב... n ענף מתקדם במדעי המחשב העוסק במערכות ממוחשבות מרובות ישויות.
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
Power Consumption Awareness by using a Pedometer המעבדה לרשתות מחשבים המעבדה לרשתות מחשבים סמסטר אביב תשס " ח סמסטר אביב תשס " ח מנחים: איתי דברן – המעבדה.
1 שיפור עקיבה אחר מטרה בשיטת קורלציה ומרכז כובד בשילוב אלגוריתם IMM מגיש: שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
המעבדה לבקרה ורובוטיקה 1 חקירה אמפירית של ניתוב תחרותי ברשתות תקשורת מגישים : דרור עמר & איתי ג ' ורג ' י מנחה : ישי מנשה סמסטר : חורף תשס "
תכנות תרגול 2 שבוע : שבוע שעבר כתבו תוכנית המגדירה שלושה משתנים מאתחלת אותם ל 1 2 ו 3 ומדפיסה את המכפלה שלהם את ההפרש שלהם ואת הסכום שלהם.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
פרויקט מחקרי בנושא יחס הזהב ואסתטיקה של מנשקים ARD מנחה : פרופ ' נעם טרקטינסקי מנחה אקדמי : פרופ ' יובל אלוביץ ' מגישים : אפרת דוד ארסני קרופניק.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מצגת פרויקט עקיבה אחרי גוף נע פרויקט סמסטריאלי סטודנטים : וסילי גנקין מראט אקולוב מנחה : אריה נחמני סמסטר אביב תשס " ז.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
משטר דינמי – © Dima Elenbogen :00. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מבני בקרה מבוא לתכנות למנע " ס - שבוע מספר 3 - מאיר קומר - סמסטר ב ' - תשס " ו הסתעפות “ אם השמאל ואימנה ואם הימין ואשמאילה ”
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
מספר קבצים 1 שיטות גרפיות הצגת מספר קבצים במקביל המטרה : הצגה במקביל של קבצי נתונים בכדי להשוותם הדרכים – הצגה במקביל – הלבשה – הרכבה עקרונות.
1 תרגול : קודי קו בינאריים בסיסיים. 2 יצירת קוד קו יצירת הלמים לפי קוד קו מסנן בעל תגובה להלם h(t) ביטי כניסה X(t)Y(t) a1 a2 a3 a4 t Ts.
עיבוד תמונות ואותות במחשב תרגול 9: טורי פורייה 1/39 עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 9: טורי פורייה.
מציגים : PP23 אודי זמבל דני זיסליס
עקרון ההכלה וההדחה.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
Bus Project Yaniv Stern Rachel Stahl Instructor: Ari Todtfeld.
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
תקשורת. ראשי פרקים ממשקי תקשורת עקרון ההדדיות תיאום מימוש תקשורת : פרוטוקולים טופולוגיות של תקשורת : טבעת, אפיק, כוכב סוגי תווכים : זוג שזור, כבל קואקסיאלי,
1 עקיבה אחר מטרה בשיטת קורלציה בשילוב אלגוריתם IMM מגישים: קיריצ'נקו אלכס שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
1 Spring Semester 2007, Dept. of Computer Science, Technion Internet Networking recitation #3 Internet Control Message Protocol (ICMP)
מה היום ? - - חזרה מהירה. - קריאה וכתיבה לקבצים. - בניית תוכנית כתיבה low-level - בניית ערוץ גלובלי והדגמה מול חומרה - low-level DAQ, פולימורפיזם וטריגר.
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
(C) סיון טל גילוי מידע וזיהוי תבניות תרגול מס. 9 גילוי מידע וזיהוי תבניות תרגול מס. 9 דחיסת נתונים מהו קידוד תכונות של קידודים אי - שוויון קרפט.
1 Formal Specifications for Complex Systems (236368) Tutorial #3 Z introduction and notation (contd.); Birthday book example (Chapter 1 in the book)
מידע באינטרנט: סיווג, איתור והערכה ניתן למצוא באינטרנט מידע מהסוגים הבאים : מידע כללי: מילונים ואנציקלופדיות כתובות דואר אלקטרוני וכתובות דואר רגילות מספרי.
מעגלים אלקטרוניים לינאריים סמסטר אביב תשס"ב
הבחנה בין קולות רחרוח וקולות הלחתה של כלבים 1 אופיר אזולאי גיל בלוך מנחה : ד " ר יזהר לבנר.
European Global Navigation Overlay System  הצעד הראשון של אירופה לעצמאות בנווט חללי  בנית אבני בנין עבור GALILEO  הרחבת יכולת מערכתית המבוססת על.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
1 מבוא למדעי המחשב הרצאה 21: Queue, Iterator & Iterable.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 7. סברוטינות subroutines.
ניתוח אתרים אבי רוזנפלד. שלבי פיתוח לכל מערכת מידע.
Yaron Doweck Yael Einziger Supervisor: Mike Sumszyk 1.
שיאון שחוריMilOSS-il מוטיבציה  python זה קל ו C זה מהיר. למה לא לשלב?  יש כבר קוד קיים ב C. אנחנו רוצים להשתמש בו, ולבסס מעליו קוד חדש ב python.
דוח אמצע סמסטר אביב תשס"ב 2002 שם הפרויקט :סביבת בדיקה ל PCIX PCIX environment מנחה : איתי אדר מגישים : שמיל ניסימוב גוילי יואב הטכניון.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Object Oriented Programming
Object Oriented Programming
Position determination requirements for Cooperative ITS
Asynchronous programming
מסננים מסנן מעביר נמוכים LPF תומר ורונה.
מטרות מערכת בקרת מבנה BMS – BUILDING MANAGEMENT SYSTEM
Computer Architecture and Assembly Language
Presentation transcript:

Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי אדוארד סינלניקוב

Galileo מבוא Galileo מבוא  מערכת גלילאו היא:  קבוצת לוויינים הפרושה מסביב לכדוה"א  מאפשרת ידיעת מיקום עד דיוק של 35 מטר

הגדרת הפרויקט ומטרותיו  הגדרת הפרויקט :  הפרויקט עוסק במימוש מערכת גלילאו.  מטרות הפרויקט :  למידת מבנה האותות של לוויין Galileo  מימוש סימולאטור Galileo - יצירת אות של לוויין Galileo  מימוש מקלט גלילאו. - מציאת כל הלוויינים המשדרים ופענוח המידע.  מתודולוגיה : שימוש ב -Visual studio 2003 שימוש ב -Visual studio 2003

מוטיבציה לשימוש ב -Galileo  יתרונות : מציאת לווייני Galileo במהירות מציאת לווייני Galileo במהירות שימוש ב Parallel Phase Shifting שימוש ב Parallel Phase Shifting פענוח אותות גם בתנאי קליטה קשים פענוח אותות גם בתנאי קליטה קשים קוד ארוך קוד ארוך קוד כפול קוד כפול מקלט מסוגל לעבוד גם בשיטת GPS מקלט מסוגל לעבוד גם בשיטת GPS שימוש בתדר של GPS שימוש בתדר של GPS מדויק יותר

מבנה האות של Galileo שלושה ערוצים מקבילים : שלושה ערוצים מקבילים : Open Services – מידע רגיל. Open Services – מידע רגיל. Public Restricted Services – מידע חסוי. ( מדוייק יותר ) Public Restricted Services – מידע חסוי. ( מדוייק יותר ) Pilot – משמש להגברת הקליטה של האות בלבד. Pilot – משמש להגברת הקליטה של האות בלבד. כל סיבית מידע מקודדת על ידי Chip כל סיבית מידע מקודדת על ידי Chip כל Chip הוא : כל Chip הוא : סדרה קבועה של ביטים. סדרה קבועה של ביטים. סדרה שונה לכל לוויין. סדרה שונה לכל לוויין. קרוס - קורלציה כמעט אפסית. קרוס - קורלציה כמעט אפסית … … … … … … …chip bit

מבנה ה -Chip מבנה ה -Chip  כל Chip הוא סדרה ידועה מראש.  המאפיינים הסטטיסטים הם של רעש.  אוטוקורלציה  קרוסקורלציה לא עולה על 260.  יתרונות: אפשרות פענוח אותות חלשים מאוד. אפשרות פענוח אותות חלשים מאוד. שליחת מידע במקביל מכל הלוויינים. שליחת מידע במקביל מכל הלוויינים.  חיסרון:  תעבורה נמוכה.

Acquisition – גילוי לוויינים Acquisition – גילוי לוויינים   זהו שלב מקדים לפעולת המכשיר הרגילה.   המטרה:  גילוי כל הלוויינים ה"נראים" למקלט.  גילוי לוויין הכוונה ל:  מציאת מספר לוויין.  מציאת תדר שידור. ( כלומר, נטרול אפקט דופלר ) ( כלומר, נטרול אפקט דופלר )  מציאת פאזת הקוד.

Acquisition – המשך... Acquisition – המשך...   שתי שיטות עיקריות לגילוי לוויין.   Code Phase Search – שיטה הנהוגה ב-GPS   Parallel Phase Search  יתרונות: מהיר. מהיר. דיוק גבוה בתדר. דיוק גבוה בתדר.  חיסרון:  דורש יכולת חישוב מהמקלט.

מבנה התוכנה satellite class. Data class. Chip class. BOC class. Time Domain class. Data … Samples

מבנה התוכנה, המשך... Data obj. satelite obj. configuraiton obj. samples

מצב הפרויקט מה נעשה בפרויקט : מה נעשה בפרויקט :  למידת הרקע התיאורטי על GPS.  למידת הרקע התיאורטי על מערכת הניווט גלילאו.  יצירת Design של התוכנית.  כתיבת הקוד – בתהליך.  מה נשאר :  המשך כתיבת הקוד.  בדיקות תקינות.