משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4: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.

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.

מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם

גרף מכוון Directed Graph a b c f g ed h צמתים חוג עצמי קשתות.

מערכות זיכרון – Sequential Logic

פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.

שאלת חזרה בקר ומסלול נתונים – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.

מכונת מצבים תרגול מס' 4 Moshe Malka.

תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'

מתמטיקה בדידה תרגול 3.

רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה

אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 10 Packages.

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

Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –

מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.

רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.

Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.

חורף - תשס " ג 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.

משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.

בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.

– © Dima Elenbogen :43 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.

מרצה: פרופסור דורון פלד

שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.

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

משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.

Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)

תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .

תירגול השלמה : Pipelined MIPS Single-cycle MIPS Retiming Mealy Criterion 09: © Dima Elenbogen 2010, Technion 1.

משטר דינמי – © Dima Elenbogen :00. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.

1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.

תזכורת: גרפים גרף (G=(V,E V|=n, |E|=m| מכוון \ לא מכוון דרגה של קדקד

Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.

מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.

– © Dima Elenbogen :11 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.

Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.

ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.

1 מפרטים פורמאליים תרגול מספר 1 מהות הקורס:כח ביטוי. בעיות מעשיות (ולא הוכחות) מתרגל אחראי:שחר דג מתרגלת:אמיליה כץ אתר:

מבוא למדעי המחשב תרגול מספר 11.

טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.

תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.

Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.

Tutorials #4-#5 Controller + DataPath design – © Yohai Devir 2007 Technion - IIT.

1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.

מפות קרנו ולוגיקה צירופית יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב

משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.

מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;

מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.

עקרון ההכלה וההדחה.

יחס סדר חלקי.

– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.

משטר סטטי שערים לוגיים – © Dima Elenbogen 2009, Moshe Malka :59.

Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.

מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.

שאלה 9 – בקר ומסלול - נתונים נתונה המערכת הבאה של בקר ומסלול נתונים. כל הקווים העבים בשרטוט ה DP הם ברוחב n. ה -ADDER מחבר מודולו n 2. COMPARE הוא רכיב.

מתמטיקה בדידה תרגול 2.

1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)

אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 7 ISP דוגמא נוספת.

Structure. מה לומדים היום ? דרך לבנות מבנה נתונים בסיסי – Structure מייצר " טיפוס " חדש מתאים כאשר רוצים לאגד כמה משתנים יחד דוגמאות : עובד : שם, טלפון,

פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.

Practice session 3 תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי ) שיטות חישוב : Applicative & Normal Evaluation Partial Evaluation.

Practice session 3.  תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי )  שיטות חישוב : Applicative & Normal Evaluation.

1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:

אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 5 תרשימי מצבים Statecharts למחלקות תגובתיות Reactive Classes הקדמה ודוגמא.

מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);

Formal Specifications for Complex Systems (236368) Tutorial #1

מבוא למדעי המחשב סיבוכיות.

טרנזיסטור כמתג דו מצבי ממסר - RELAY הפעלה רציפה , PWM

Marina Kogan Sadetsky –

Presentation transcript:

משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: /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

אדישות – © Dima Elenbogen 2009 בתנאים מסויימים השער אדיש לקלטים " מיותרים " כאשר : חלק כלשהו מהקלטים יציבים במשך מספיק זמן. ערכם של קלטים אלו קובע את ערך הפונקציה הבוליאנית בלי קשר לקלטים האחרים. אזי פלט השער לוגי ונכון ( ויציב ).

תיאור חלקי של שער אדיש ( התרחשות אפשרית ) – © Dima Elenbogen :55 T pd

חישוב T pd של מערכת צירופית בשיטה טופולוגית – © Dima Elenbogen :55

חישוב T cd של מערכת צירופית – © Dima Elenbogen :55

ייצוג כללי של לוגיקה צירופית דוגמא : – © Dima Elenbogen :55

קופסה שחורה T  pd = = – © Dima Elenbogen :55

קופסה שקופה T  pd = = – © Dima Elenbogen :55 חשוב: תמיד נחבר את המערכות כך שלא יהיו מעגלים צירופיים שאלה: מה המסלול הארוך ביותר כאשר יש מעגל צירופי?

רכיבי זכרון

– © Moshe Malka 2010 האם רכיב זה שקוף בעליית שעון או בירידה?

Logic האם אפשר להשתמש ב Latch כרכיב זכרון? מה הבעיה הקריטית ברכיב זה? מעגל צירופי אסור בתכלית האיסור – © Moshe Malka 2010

– © Dima Elenbogen, Moshe Malka 2010 Flip Flop ננעל בירידה/עליית שעון. אין קטע שבו הוא שקוף.

ההבדל בין FF ל Latch: – © Moshe Malka 2010

– © Dima Elenbogen, Moshe Malka 2010 Flip T cd T setup T hold ננעל

– © Dima Elenbogen, Moshe Malka 2010 קטעים A ו -C נכון גם ל -FF גם לנעילה ב -Latch T setup T hold צפי: כניסה D יציבה במשך קטע קריטי C הבטחה: מוצא Q יציב כל הזמן פרט לקטע A

המערכות שאנו נתעסק איתן, בקורס זה, תמיד יהיו מערכות מסונכרנות. כלומר כל רכיבי הזכרון מוזנים מאותו שעון. כמו כן לא נשהה את כניסת השעון בשום מקום. מערכות מסונכרנות

כדי שהמערכת תעבוד בצורה תקינה, אסורה חפיפה בין זמן C לזמן A. למה? קטעים A ו-C ממש זרים – © Dima Elenbogen, Moshe Malka 2010

קביעת זמן מחזור – © Dima Elenbogen, Moshe Malka 2010

מערכת סידרתית עם קלט \ פלט בד '' כ לגבי מערכת עם קלט \ פלט מ \ אל עולם החיצון : נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C – © Dima Elenbogen, Moshe Malka 2010

בד '' כ לגבי מערכת עם קלט \ פלט מ \ אל עולם החיצון : נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C מערכת סידרתית עם קלט \ פלט לצערנו, לא תמיד זמינות הקלט ניתנת לשליטתנו. לכן אם ההנחה הנ '' ל בלתי אפשרית, נחייב את הקלט להיות תקף לפחות בקטע C. במקרה כזה המערכת תצטרך קודם כל לשמור את הקלטים ברכיבי הזיכרון שלה ורק החל במחזור הבא תוכל לעבד אותם. דוגמאות לכך תראו בעתיד – © Dima Elenbogen, Moshe Malka 2010

נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C – © Dima Elenbogen, Moshe Malka 2010

נניח שלא היה FF. האם ניתן להגדיר זמן מחזור ללא התחשבות ב FF – © Dima Elenbogen, Moshe Malka זמן מחזור במערכת סידרתית