מערכת הנחיית טיל בשיטת לוגיקה עמומה מגישים : אייל בן איסטי 041959255 אסף צבירן 042256040 מנחה : ד " ר מרק מולין ספטמבר 2003.

Slides:



Advertisements
Similar presentations
תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
Associative memory and the medial temporal lobes Andrew Mayes, Daniela Montaldi and Ellen Mig,
Presentation by Dudu Yanay and Elior Malul 1.  מה משותף לכל אלגוריתם המשתמש ב -Bucket Elimination: ◦ נתון מודל הסתברותי ורשת ביסיאנית מתאימה. ◦ נתונה.
המעבדה לבקרה הטכניון – המכון הטכנולוגי לישראל 1 Adaptive Fuzzy Gain Scheduling in Guidance System Design מנחה: ד"ר מרק מוליןמבצעים: תומר שגב אורן אלזרה.
פעולות מילון Insert, Delete, Search Binary Search Tree, AVL, 2-3 Tree, Skip List O(log n) האם יש מבנה עם סבוכיות (1)O? לא למפתח כלשהו.
משטר דינמי המשך – © 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 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
עקיבה אחרי מספר מטרות בשיטת קורלציה + JPDAF מגיש : לוטן קפלנסקי מנחה : ד " ר גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY.
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
מטרות הפרויקט הבנת בעיית העקיבה לימוד בעיית העקיבה החד ממדית לימוד השימוש במסנן קלמן לפתרונה שימוש בלוגיקה עמומה לשיפור הפתרון לימוד בעיית העקיבה הדו.
Power Consumption Awareness by using a Pedometer המעבדה לרשתות מחשבים המעבדה לרשתות מחשבים סמסטר אביב תשס " ח סמסטר אביב תשס " ח מנחים: איתי דברן – המעבדה.
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
המעבדה לבקרה ורובוטיקה 1 חקירה אמפירית של ניתוב תחרותי ברשתות תקשורת מגישים : דרור עמר & איתי ג ' ורג ' י מנחה : ישי מנשה סמסטר : חורף תשס "
1 Adaptive Fuzzy Gain Scheduling in Guidance System Design מנחה: ד"ר מרק מוליןמבצעים: תומר שגב אורן אלזרה.
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לחקר הראיה ומדעי התמונה שחזור תמונה באמצעות אלגוריתם MRF מבוסס מגישים : ערד שייבר ואיל שינדלר.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
חורף - תשס " ג 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,
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
" שמירה בררנית, למטרות האצה, של תוצאות ביניים בתוכניות מונחות עצמים " סטודנט : יוסי פירסטנברג 1 מאי 2001 מנחה : פרופ / ח ' שמואל כץ סטודנט : יוסי פירסטנברג.
A. Frank File Organization Indexed-Sequential File Introduction Thanks to Tamar Barnes.
מחקר בנושא: דיאגנוסטיקה של כלי עיבוד לטיפול בשיניים
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
Character Recognition Using Neural Networks Topics in Signal Processing, BGU, Winter 2003.
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
Backpatching 1. תזכורת מתרגול קודם קוד ביניים - שפת הרביעיות שיטות לייצור קוד ביניים –שימוש בתכונת code –כתיבה ישירה ל-buffer של פקודות שיטות לתרגום מבני.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
השוואה בין מערכות למסדי נתונים בשקפים אלו נשווה בין מסד הנתונים של רכבת ישראל למסד של רכבת גרמניה. בהרבה מקרים, המסד של מערכת הרכבות הישראלית לא יכול למצוא.
01/01/01 אמיר ווינשטוק עירן חוף שקופית מס ’ 1 מימוש ובדיקת אלגוריתם ללמידה ע"י חיזוקים עבור רובוט המשחק הוקי - אויר : מגישים עירן חוף אמיר ווינשטוק : מנחה.
שיפור תמונות צבע תוך שימוש ב -Multiscale Retinex מבצעים : מרינה בלבנוב ירון זליכה מנחה : דר’ דורון שקד סמסטר חורף תשנ”ט.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
תיאור פורמאלי של הבעיה והגדרות: המשוואות מתארות את הקשר בין אנרגיות קינטית ופוטנציאלית לבין מצב התחלתי של המערכת.
Registers and Counters
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
1 חקירת טרנזיסטור קוונטי הנשלט על ידי שינויי תדר Frequency Controlled Quantum Transistor מבצע : חן טרדונסקי מנחה : ד " ר אראל גרנות.
Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל מעבדה לבקרה ורובוטיקה בחינה של אלגוריתמים לעקיבה אחר טילים בליסטיים מגישים : נדב רוזנבלט ויבגני גנדין.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
מערכת הקבצים : יסודות  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.  מימושים : בסיסיים וקצת על מימושים.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב' Templates תבניות.
Global Motion Estimation קורס : מבוא לעיבוד מקבילי מרצה: דר' גיא תל צור מגישים: גלעד נרקיס אייר רום אייר רום קבוצה: pp3.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
מערכות הפעלה ( אביב 2007) חגית עטיה © 1 מימוש מערכת הקבצים  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
עקיבה אחר מטרה בשיטת מרכז כובד בשילוב אלגוריתם IMM מגישים: שי בן שחר גלעד רבינוביץ מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL.
הבחנה בין קולות רחרוח וקולות הלחתה של כלבים 1 אופיר אזולאי גיל בלוך מנחה : ד " ר יזהר לבנר.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Copyright © 2003 Fair Isaac Corporation and Ness AT Corp. All rights reserved. מנוע חוקים עסקיים Blaze Advisor מציג: גיל ששון, מנהל המוצר
Methods public class Demonstrate { public static void main (String argv[]) { public static void main (String argv[]) { int script = 6, acting = 9, directing.
Very Short Simulink Tutorial In the Matlab command window write simulink. The window that has opened is the Simulink Library Browser. –It is used to choose.
Yaron Doweck Yael Einziger Supervisor: Mike Sumszyk 1.
אינדקסינג והשינג (indexing & hashing)
אוגרים ומונים – Registers & Counters
השוואת נתונים למודל הסתברותי - כללית
Shell Scripts בסביבת UNIX
Computer Programming תרגול 3 Summer 2016
Engineering Programming A
Computer Architecture and Assembly Language
Presentation transcript:

מערכת הנחיית טיל בשיטת לוגיקה עמומה מגישים : אייל בן איסטי אסף צבירן מנחה : ד " ר מרק מולין ספטמבר 2003

מטרות הפרוייקט מטרת על מימוש מערכת הנחיית טיל בשיטת Gain Scheduling תוך שימוש בלוגיקה עמומה מטרות משנה פיתוח וחקירת המודל הדינמי של תעופת הטיל וחלוקה למצבי טיסה מציאת מקדמי בקרה אופטימליים בשיטות : 1. סריקה ומיפוי 2. גישה איטרטיבית מימוש הבקר בלוגיקה עמומה וחקירת ארכיטקטורות שונות

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

מימשנו את הבקר בלוגיקה עמומה וחקרנו ארכיטקטורות שונות : 1. מערכת Fuzzy כוללת המקבלת את כל מקדמי התזמון 2. מערכת Fuzzy סדרתית עם פיצול מקדמי התזמון למערכות ייעודיות 3. מערכת Fuzzy מקבילית עם פיצול מקדמי התזמון למערכות ייעודיות מימשנו את הבקרים השונים במערכת משולבת הבוררת אחד מביניהם, וכן במערכות נפרדות. כתבנו קוד Matlab להפעלת המערכות ביחד ולחוד, תוך מעבר בין מצבי הטיסה לשם השוואה ביניהן מה עשינו ? (2)

המערכת הדינמית המערכת הכללית מנגנוני הרעש מערכת ההנחיה

שרטוט הזויות במערכת הטיל o Apparent Target Body Axis Seeker Pursuer

מצבי טיסה 1.מעטפת הטיסה חולקה לתחומים על-ידי סימולציות וניתוח כמו כן חילצנו פרמטרי בקרה מייצגים לכל מצב טיסה 2.מציאת פרמטרי בקרה אופטימליים: פונקצית מחיר- סריקה ומיפוי של מרחב פרמטרי הבקרה. מציאת פונקצית המחיר עבור כל צירוף, הצגתו ומציאת פרמטרים אופטימליים

שיטה איטרטיבית- Results of Optimization for Vm = 30 [m/sec], Hm = 5000 [m], Tc = 10 [sec] n N_opt costn N_opt cost

תוצרי המערכות האופטימליות מיפוי מרחב הפרמטריםתוצאות המערכת האיטרטיבית מיפוי מרחב הפרמטרים

לוגיקה עמומה עקרון בסיסי- מיפוי רציף של וקטור כניסה כלשהו לוקטור יציאה, תוך שימוש בסט חוקים מוגדרים מראש הקצאת ערך רציף בין 0 ל-1 לכל איבר בוקטור הכניסה בהתאם למידת קיום או אי-קיום של מערכת החוקים הלוגית מערכת חוקים לוגיים- פונקציות שייכות- מבנה יחידת Fuzzy- (לדוגמא, תת-המערכת הייעודית FlightState)

מערכות ה -Fuzzy בארכיטקטורות שונות מערכת Fuzzy כוללת מערכת Fuzzy סדרתית מערכת Fuzzy מקבילית

המערכת המשולבת בורר מצב Fuzzy או Non-Fuzzy בורר מצב רעש בורר ארכיטקטורת Fuzzy

תוצרי סימולציות מערכות Fuzzy החלקת מעברי מצבי טיסה במערכות ללא שינוי RMT עבור

גרפים ממערכות ה-Fuzzy עם שינוי RMT וכניסת שני מחזורי סינוס

Simulation times for Vm = 30 & Hm = 5000 were... [sec]: NoisyNFQuietFNoisyFSerialFParallelF השוואת זמני סימולציה עבור כל המערכות גרפים ממערכות ה-Fuzzy עם שינוי RMT וכניסה לא תקנית (כניסת מדרגה בגודל 3)

רשימת מערכות וקבצי קוד קבצי Simulink (*.mdl) S_NF- מערכת ללא Fuzzy S_FuzzySys- מערכת Fuzzy משולבת S_optimization- מערכת להרצת אופטימיזציות S_regularF- מערכת עם Fuzzy כולל S_serialF- מערכת Fuzzy סדרתית S_parallelF- מערכת Fuzzy מקבילית קבצי קוד Matlab (*.m) one_from_split- הרצת אחת מהמערכות הנפרדות עם וקטורי גבהים ומהירויות compare_split- הרצת כל המערכות הנפרדות עבור גובה ומהירות אחידים one_from_combined- הרצת אחת מהמערכות במערכת המשולבת עם וקטורי גבהים ומהירויות compare_ combined - הרצת כל המערכות במערכת המשולבת עבור גובה ומהירות אחידים getSYS_ID- פונקצית עזר המחזירה פרמטרי ברירה עבור המערכת המשולבת (לשימוש ב- one_from_combined ו- compare_ combined ) scanNmap- הרצת שיטת סריקה ומיפוי itterate_algorithm- הרצת האלגוריתם האיטרטיבי לאופטימיזציה analize_Am- פונקצית עזר למציאת זמני ההתכנסות והעלייה (לשימוש ב- scanNmap ו- itterate_algorithm) smooth- פונקצית עזר לדילול והחלקת וקטור רועש (לשימוש ב- analize_Am) Oscost_Fcn – פונקצית עזר המחשבת את גודל הקנס על תגובת-היתר

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

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

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