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

Slides:



Advertisements
Similar presentations
מבוא למדעי המחשב לתעשייה וניהול
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
אלכסנדר ברנגולץ מסננים דו-ממדים מסננים דו-ממדים קונוולוציה גרפית קונוולוציה גרפית קונוולוציה בשני ממדים ( כולל גרפית ) קונוולוציה בשני ממדים ( כולל גרפית.
מערכות זיכרון – Sequential Logic
שאלת חזרה בקר ומסלול נתונים – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מכונת מצבים תרגול מס' 4 Moshe Malka.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'
מתמטיקה בדידה תרגול 3.
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: תכונות של סדרות.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 10 Packages.
משטר דינמי המשך – © 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.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.
מבוא לשפת C חידות ונקודות חשובות נכתב על-ידי יורי פקלני. © כל הזכויות שמורות לטכניון – מכון טכנולוגי לישראל.
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.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
– © Dima Elenbogen :43 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.
מרצה: פרופסור דורון פלד
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
תירגול השלמה : Pipelined MIPS Single-cycle MIPS Retiming Mealy Criterion 09: © Dima Elenbogen 2010, Technion 1.
משטר דינמי – © Dima Elenbogen :00. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.
Tutorial #6 Controller + DataPath part II – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
– © Dima Elenbogen :11 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מבוא כללי למדעי המחשב תרגול 3. לולאות while לולאות while while (condition) { loop body } במקרה של קיום התנאי מתבצע גוף הלולאה ברגע שהתנאי לא מתקיים נצא.
1 מפרטים פורמאליים תרגול מספר 1 מהות הקורס:כח ביטוי. בעיות מעשיות (ולא הוכחות) מתרגל אחראי:שחר דג מתרגלת:אמיליה כץ אתר:
הקיבול איננו תלוי במטען ובפוטנציאל
Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
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.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
מפות קרנו ולוגיקה צירופית יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב
מערכים עד היום כדי לייצג 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. ב"הב"ה.
משטר סטטי – © Dima Elenbogen :08. משטר סטטי כל שער לוגי מפרש מתח נמוך מ -V il כ -0 לוגי כל שער לוגי מפרש מתח גבוה מ -V ih כ -1 לוגי  כל.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
שאלה 9 – בקר ומסלול - נתונים נתונה המערכת הבאה של בקר ומסלול נתונים. כל הקווים העבים בשרטוט ה DP הם ברוחב n. ה -ADDER מחבר מודולו n 2. COMPARE הוא רכיב.
A. Frank File Organization Hardware Size Parameters.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 7 ISP דוגמא נוספת.
Tutorial #6 Controller + DataPath part II – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
Tutorial #6 Controller + DataPath part II – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
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
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
מסננים מסנן מעביר נמוכים LPF תומר ורונה.
Marina Kogan Sadetsky –
Presentation transcript:

משטר דינמי – © Dima Elenbogen :14

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

התנהגות אפשרית של שער בעל 2 כניסות (а, b) ומוצא יחיד o – © Dima Elenbogen :14

T cd ו - T pd הם איפיונים טופולוגיים T pd = max {pd} T cd = min {cd} – © Dima Elenbogen :14

תיאור חלקי של שער – © Dima Elenbogen :14

cd =0 תיאור חלקי של שער כאשר – © Dima Elenbogen 2009 אם לא נתון T cd של שער, מניחים שהוא שווה ל -0 7:14 מה ההבדל?

אדישות – © Dima Elenbogen 2009

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

כעת כשלמדנו מהו Tpd – © Dima Elenbogen :14

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

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

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

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

קופסה שקופה T  pd = = – © Dima Elenbogen :14

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

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

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

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

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

ההבדל בין FF ל Latch: – © 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 זמן מחזור במערכת סידרתית