EE Seminar: Efficient Verification in Distributed Systems

12 בדצמבר 2018, 15:00 
חדר 011, בניין כיתות-חשמל  

Speaker: Mor Perry

Ph.D. student under the supervision of Prof. Boaz Patt-Shamir

 

Wednesday, December 12th, 2018 at 15:00
Room 011, Kitot Bldg., Faculty of Engineering

Efficient Verification in Distributed Systems

 

Abstract

 

In every complex system, faults can occur. Detecting faults, in many cases, is the first step in dealing with them. In this work, we focus on efficient detection of faults in distributed systems. A distributed system is a set of interconnected processors. We consider a standard message-passing model of distributed computation, where there is no central control or shared memory, and processors communicate only by sending messages on communication links in synchronous rounds. Distributed verification has received much attention over the years due to its applications to various domains. For example, checking the results obtained from the execution of a distributed program, constructing self-stabilizing algorithms, establishing lower bounds on the time required for distributed approximation, and developing a distributed complexity theory inspired by the sequential complexity theory.

 

In this work, we address the problem of locally verifying global properties of the network, and we study the effect of different network resources and relaxations on the complexity of verification. In particular, we first show that using randomization reduces the communication complexity exponentially. Also, approximations can significantly reduce space and communication complexity. The ability to send a different message on each link is a crucial factor which can greatly reduce the communication complexity of verification as well. Finally, we show that using multiple communication rounds can sometimes reduce space complexity even more than linearly in the number of rounds.

אקדמיה ותעשיה בשיח פתוח לקידום וחיזוק הקשר

02 דצמבר 2018
מפגש בכירים גרסה 2018

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

 

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

 

המפגש השנה היה הגדול מסוגו ונכחו בו יותר מ-30 משתתפים הכוללים את נשיא אוניברסיטת תל-אביב, פרופ' קלפטר, דקאן הפקולטה, פרופ' רוזנוקס, ראשי היחידות של הפקולטה, ובכירים מהתעשיה כגון: אלקנה בן סיני (סגן נשיא באינטל העולמית) אהרון אהרון, (מנכ"ל הרשות לחדשנות), ד"ר שלמה מרקל (סגן נשיא ברודקום העולמית  ויו"ר דירקטוריון רמות), ד"ר ענבל קרייס (סגנית מנהל מפעל החלל IAI), שחר בר אור (מנכ"ל ווסטרן דיגיטל ישראל) ועוד רבים אחרים.

 

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

 

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

 

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

 

להנאתכם, קישור לתמונות מהכנס

SAE’s Connected and Automated Vehicle Conference Israel

כנס ראשון של ה SAE בארץ  16-17 בינואר 2018

16 בינואר 2019, 8:00 
כפר המכביה  
Connected and Automated Vehicle Conference Israel

הכנס מיועד לכל מי שמתעניין בחדשנות, מחקר ופיתוח בעולם האוטוטק!!

מכון שלמה שמלצר לתחבורה חכמה באוניברסיטת תל אביב בשיתוף עם hashtag#SAE , לוגטל וספוטם מקיימים כנס ראשון של ה SAE בארץ בנושא Connected and Automated Vehicle הכנס יערך ב 16-17 בינואר 2019 בכפר המכביה. הרצאות מרתקות בנושאים הכי בוערים!  אל תחמיצו! 30% הנחה למקדימים להרשם. סטודנטים זכאים ל 50% הנחה!  

להרשמה: http://www.logtel-events.com/icav/index.html#pricingicav

 

סמינר המחלקה להנדסה ביו רפואית

02 בדצמבר 2018, 14:00 
הבניין הרב תחומי חדר 315  
ללא עלות
סמינר המחלקה להנדסה ביו רפואית

Intracranial fluid dynamics A mathematical Model

By Yuliya Zadka

Traumatic brain injury (TBI) is the most common cause of death and disability, mainly caused from an accident or falling. A neurological damage can occur from minutes to hours or days after the impact, making it the leading cause of in hospital deaths after TBI. Two major pathophysiological conditions that may evolve after the TBI are Hydrocephalus and Edema. Hydrocephalus defined as an excessive accumulation of CSF mainly in the lateral ventricles. Edema is classified into two main categories: cytotoxic and vasogenic. Cytotoxic edema caused by cerebral ischemia after TBI leads to intracellular accumulation of fluid in the brain tissue cells. Vasogenic edema occurs when there is an increase in blood-brain barrier permeability, which leads to extracellular accumulation of fluid. Those pathophysiological conditions lead to elevated intracranial pressure (ICP) and decreased cerebral blood flow.
In order to understand the complex interactions of brain fluids in healthy and pathophysiological conditions, we developed an intracranial fluid dynamics mathematical model. We used an electrical lumped parameters model technique in order to model the brain fluid dynamics system in an equivalent electrical circuit. The model included three components: blood, cerebrospinal fluid and brain tissue. The rigid cranium enclosing the brain creates a distinctive and complex environment, greatly affecting system dynamics and ICP. Using the model, we were able to reproduce the physiological behavior of the system as well as the pathophysiological behavior at elevated ICP and reduced CBF in Hydrocephalus and Edema.

יריד תעסוקה

המחלקה להנדסה ביו-רפואית, הפקולטה להנדסה, אוניברסיטת ת"א

18 בדצמבר 2018, 15:00 - 18:00 
הפקולטה להנדסה אוניברסיטת תל-אביב  
כנס

הנכם מוזמנים להשתתף ביריד תעסוקה שיתקיים ביום שלישי, 18.12.2018, בין השעות 15:00-18:00 ברחבת הלובי של הבניין הרב תחומי,  אוניברסיטת תל-אביב.

 

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

 

לרישום ליריד תעסוקה, מענה לשאלות ואישור השתתפות אנא פנו ליערית רחמים אברוצקי – מנהלת קשרי תעשיה של ארגון ה - IAP,

טלפון: 03-6405532;

אי-מייל:  yaaritr@tauex.tau.ac.il

סמינר מחלקתי אלקטרוניקה פיזיקאלית : Ram Tuvi

06 בדצמבר 2018, 15:00 
פקולטה להנדסה, ביניין כיתות, חדר 011  
סמינר מחלקתי אלקטרוניקה פיזיקאלית : Ram Tuvi

סמינר רם טובי

You are invited to attend a lecture

Beam-Based Local Tomographic Inverse Scattering

:By

Ram Tuvi

(Ph.D. student Under the joint supervision of Prof. Ehud Heyman of the Faculty of Engineering, TAU, and Prof. Timor Melamed of the Electrical and Computer Engineering Dept, BGU)

 

Abstract

We present a novel strategy for local-tomographic inverse scattering using of beam-wave processing. We actually formulate two self-consistent inversion schemes: a multi-frequency scheme which is used if the scattering data is given as a function of frequency over a wide frequency band, and a time domain scheme which used if the data is given in the short-pulse time domain. 

The frequency domain scheme utilizes a phase-space set of iso-diffracting Gaussian beams (ID-GB) while the time domain scheme utilizes a phase-space set of iso-diffracting pulsed beams (ID-PB). The term iso-diffracting implies that the propagation parameters of these beams are frequency independent and need to be calculated only once and then used for all frequencies.

The theory is structured upon frame theory: It is shown that both the ID-GB set and the ID-PB set constitute frames everywhere in the propagation domain, and thus can be used for local expansion of fields or sources, as an alternative to the conventional plane-wave transforms. They also generalize the standard window Fourier transform frames and the windowed Radon transforms frames.

In the inversion schemes, these "beam frames" are utilized for local phase-space pre-processing of the scattering data, and then for local "filtered-backpropagation" and medium reconstruction. A cogent physical interpretation of these operations is obtained via asymptotic analysis. The efficacy and accuracy of these beam formulations are explored via numerical examples.

 

 On Thursday, Dec 6th, 2018, 15:00

Room 011, Kitot building

Elbit Hanukkah Fest @ TAU

05 בדצמבר 2018, 11:00 - 14:00 
הפקולטה להנדסה אוניברסיטת תל-אביב  
חינם
חנוכה

פסטיבל חנוכה בשיתוף חברת Elbit Systems Career, שיתקיים ב-5.12 בשדרת הדקלים.

להשתתפות בפסטיבל וכניסה להגרלה יש להירשם מראש בלינק הבא: https://goo.gl/forms/e8m30WxiJWLs39xz1

 

סמינר מחלקתי אלקטרוניקה פיזיקאלית : Parry Yu Chen

29 בנובמבר 2018, 15:00 
פקולטה להנדסה, ביניין כיתות, חדר 011  
סמינר מחלקתי אלקטרוניקה פיזיקאלית : Parry Yu Chen

סמינר פרי

You are invited to attend a lecture

 

Lightning-fast solution of scattering problems in nanophotonics: an effortless modal approach

:By

Parry Yu Chen

Unit of electro-optics Engineering, Ben-Gurion University

Abstract

Nanophotonic structures are capable of generating field hotspots, which can enhance quantum light-matter interactions by many orders of magnitude. However, numerical simulations for applications such as radiative heat transfer, electron energy loss spectroscopy, van der Waals forces, Purcell factor throughout a volume, and many others are challenging and often computationally prohibitive. Common to these simulations is that the Green’s function or local photonic density of states must be known at each point across a volume of space, necessitating the solution of Maxwell’s equations perhaps many thousands of times.

We propose a modal solution, which requires just a single simulation to find the modes of the nanophotonic system, from which we immediately obtain the Green’s function everywhere in space. This not only reduces simulation time by approximately 2 orders of magnitude, but also offers ready physical insight into the spatial variation of Green’s function. Modal methods have long been used for closed systems, where the formulation is exceedingly simple. We have generalized modal methods to open systems while maintaining this simplicity, catering to the explosion of research interest in nanophotonics. We furthermore present a highly-efficient exponentially-convergent method of generating the modes themselves

 

 

On Thursday, November 29, 2018, 15:00

Room 011, Kitot building

לכבוד חודש המודעות הבינלאומי לפצעי לחץ, פרופ' עמית גפן מסביר על חשיבות התנועה

  • תגיות:

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

 

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

 

"כידוע, פצעי לחץ גובים מחירים קשים מילדים ופגים, צעירים וקשישים, מנותחים, יולדות ועוד, אולם בידינו היכולת לצמצם את השפעתם המזיקה באמצעות שיתוף פעולה ליצירת ידע מדעי חדש ושימוש בו לפיתוח  הנחיות, התוויות וטכנולוגיות פורצות-דרך. החלפת מידע מדעי וקליני חדש מבוסס-ראיות בנושא חשוב זה בין כל הגורמים הרפואיים, גופי הממשל ותעשיית המכשור והציוד הרפואי היא המפתח לקידום המניעה והטיפול בפצעים הקשים הללו" כך מסביר פרופ' גפן.

 

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

פצעי לחץ: עלייה דרמטית בשכיחות בישראל

כתבה ב - doctors

 

מיולדות ופגים ועד סופרמן: 11 עובדות על פצעי לחץ

כתבה ב - ynet 

עמודים

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות
שנעשה בתכנים אלה לדעתך מפר זכויות נא לפנות בהקדם לכתובת שכאן >>