EE Seminar: High Resolution Direct Position Determination of Radio Frequency Sources

~~Speaker: Tom Tirer
M.Sc. student under the supervision of Prof. Anthony J. Weiss

Wednesday, April 6th, 2016 at 15:30
Room 011, Kitot Bldg., Faculty of Engineering

High Resolution Direct Position Determination of Radio Frequency Sources

Abstract

The most common methods for localization of radio frequency transmitters are based on two processing steps. In the first step, parameters such as angle of arrival or time of arrival are estimated at each base station independently. In the second step, the estimated parameters are used to determine the location of the transmitters. The direct position determination approach advocates using the observations from all the base stations together in order to estimate the locations in a single step. This single-step method is known to outperform two-step methods when the signal to noise ratio is low, and inherently overcomes the problem of associating estimated parameters with their relevant sources.
In the presented work, we propose a direct-position-determination-based method for localization of multiple emitters that transmit unknown signals. The method does not require knowledge of the number of emitters, and therefore the use of model order determination techniques is avoided. It is based on minimum-variance-distortionless-response considerations to achieve a high resolution estimator that requires only a two-dimensional search for planar geometry, and a three dimensional search for the general case.
We study two different scenarios. The first scenario is localization of stationary radio emitters using stationary, spatially separated sensor arrays, which is based on delays and angles of arrival. The second scenario is localization of stationary narrowband radio emitters using multiple moving receivers, which is based on Doppler frequency shifts. In both cases the proposed method shows superiority over other competing spectral-based localization methods. Under the assumption of independent, circular, complex Gaussian snapshots, we derive an analytical expression for the estimation mean square error, composed of variance and bias due to finite sample effects and asymptotic bias. We evaluate the performance of the advocated method and verify the usefulness of the theoretical expressions using extensive Monte Carlo simulations.

 

06 באפריל 2016, 15:30 
חדר 011, בניין כיתות-חשמל  

EE Seminar: Performance Enhancement of Positioning Systems Using Sources of Opportunity

~~
Speaker: Eilon Regev,
M.Sc. student under the supervision of Prof. Anthony Weiss

Wednesday, April 6, 2016 at 15:00
Room 011, Kitot Bldg., Faculty of Engineering

Performance Enhancement of Positioning Systems Using Sources of Opportunity
Abstract

The importance of the field of positioning has substantially grown in recent years. Alongside military applications, which were the focus for many years, civil and medical applications are in development, as identifying people in smoke-filled structures, search and rescue, the location of objects' logistical needs, intruder identification and the evolving civil application of indoor navigation.

One of the important parameters of positioning systems, regardless of the operating technique, is evaluating system performance. The most important parameter in such an examination is the assessment of positioning accuracy. This paper studies improvement to system performance which can be achieved by adding cooperative Emitters with known locations. Cooperative Emitters of this kind allow improvement of the system's immunity to systematic errors. Systematic error refers to each component correlative between multiple measurements.

This study presents a number of different models of systematic errors. The theoretical analysis of each model is independent from the measurement technique but for practical examination and testing of model simulations, the TOA method was used:
A. A) Multiple Sensors – each sensor performs a number of measurements towards the target. All measurement error consists of two components: random error and systematic error. Adding Cooperative Emitters creates a correlation between the noise component from the target measurement and the noise component from the measurement to the cooperative emitters.
B. B) Single sensor measurements operating in motion – the sensor has a systematic error (random for a single set of measurements). We assume that the systematic error in this case varies slowly in relation to the total time in which the measurement is used for approximating the target location. In this case, we may assume that the error is fixed for all measurements. Adding cooperative emitters, with measurements obtained from the same systematic error, will allow better revaluation of the systematic error component.
C. C) Positioning error of the sensor during measurements – As this model deals with a moving sensor, the systematic error factor stems from the registration sensor positioning inaccuracy at the time of measurement.
D. D) The speed of the signal in medium - this model is particularly suited for sound-wave-based measurements. The speed of the signal depends on the wind speed and direction.
E. E) Multiple targets positioning – this model is equivalent to a model in which the cooperative emitters location is unknown. It examines the effect of pinpointing a number of targets for each measurement when a random error and a systematic error, common to all measurements, occur with the same sensor.
A theoretical development based on Maximum Likelihood estimation is presented for each error model. This is the optimal estimator which achieves Cramer Rao Lower Bound. The aim of this development is to calculate CRLB as a function of system parameters: sensors positioning with respect to the target (system geometry), the number of measurements from each sensor, noise power ratio between random and systematic noise power, and error distribution. This study presents the benefits of using cooperative emitters in accordance to each of these parameters.
The system geometry, affected by the sensors location, cooperative emitter’s location and the target location, is the most difficult parameter to model (due to the multiplicity of degrees of freedom). Nevertheless, in order to get an indication of the connection between the achieved improvement and the system geometry, an approximation was used for TOA method. Such an approximation allows describing the geometry of the system (approximately) as one parameter: the angle in which the sensors are scattered around the target.
In order to verify the correctness of theoretical development for each individual model - positioning simulation is performed, based on TOA. Measurement samples are generated according to the particular error model, and based on those measurements the positioning is executed. This positioning is based on the linear approximation of the distribution density function around the estimated target location. The obtained positioning results and errors are compared with the expected value of theoretical development.
The results of this work provide a tool for testing the feasibility of the addition of cooperative emitters to the system. Viewing the achieved improvement as dependent in each one of the parameters allows designers to test the feasibility of additional cooperative emitters in contrast to other alternatives: increasing the number of measurements, the use of more precise sensors and change to the layout of the sensors – sensor position adjustment during measurements.

06 באפריל 2016, 15:00 
חדר 011, בניין כיתות-חשמל  

EE Seminar: The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

~~(The talk will be given in English)

Speaker: Dr. Alexey Frolov
                        IITP RAS, Moscow, Russia

Monday, April 4th, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering

The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

Abstract
Non-binary low-density parity-check (LDPC) codes significantly outperform their binary counterparts. Moreover, non-binary LDPC codes are especially good for the channels with burst errors and high-order modulations. Unfortunately, their decoding complexity is still large, that is why iterative hard and soft-reliability based decoding majority algorithms are of considerable interest for high-throughput practical applications. We investigate the error-correcting capabilities of non-binary LDPC codes decoded with a hard-decision low-complexity majority algorithm, which is a generalization of the bit-flipping algorithm for binary LDPC codes. We perform the worst-case analysis and estimate the decoding radius realized by this algorithm. By the decoding radius, we mean the number of errors that is guaranteed to be corrected.
Our contribution is as follows. We first improve the estimate on the relative decoding radius for the classical majority algorithm (single threshold case). Then we suggest the majority-decoding algorithm with multiple thresholds. A lower estimate on the decoding radius realized by the new algorithm is derived. The estimate is shown to be at least 1.2 times better than the estimate for a single threshold majority decoder. At the same time, the transition to multiple thresholds does not affect the order of complexity.

Bio
Alexey Frolov was born in Moscow, Russia, in 1987. He received his M.Sc. degree in computer science from Bauman Moscow State Technical University (BMSTU) in 2010, and his Ph.D. degree in mathematics from the Institute for Information Transmission Problems of the Russian Academy of Sciences (IITP RAS) in 2012 (supervisor is Victor Zyablov). Currently, he is a Senior Researcher at the IITP RAS, Moscow, Russia. His research interests include coding theory, LDPC codes, iterative multiple-access techniques, coding for distributed storage, locally recoverable codes (LRC).

 

04 באפריל 2016, 15:00 
חדר 011, בניין כיתות חשמל  

מרעיון טכנולוגי חדשני למוצר אמיתי 13.04.16

מרעיון טכנולוגי חדשני למוצר אמיתי - הרצאה על איך להתחיל ולקדם זאת נכון

יום רביעי 13.03.16 בשעה 18:30 בפקולטה להנדסה

בוגר הפקולטה, אהוד שפיגל, יציג בפנינו את המלצותיו וגישה שיטתית מה לעשות (ומה לא לעשות)

המשתתפים יצאו מהפגישה עם אוסף תובנות שיכולות להיות מתורגמות למפת דרכים

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

13 באפריל 2016, 18:30 
פרטים ימסרו לנרשמים  
מרעיון טכנולוגי חדשני למוצר אמיתי 13.04.16

איך מתקדמים מרעיון טכנולוגי חדשני למוצר עם מיקוד יעיל באבחון בעיות,

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

בוגר הפקולטה, אהוד שפיגל, יציג בפנינו את המלצותיו וגישה שיטתית מה לעשות (ומה לא לעשות),

איך לעשות, עם מי לעשות ומתי לעשות, על מנת לקדם מיזם חדשני באופן יעיל ביותר,

וזאת בהתבסס על ניסיונו מעשרות של מיזמים בהם השתתף כשותף, כיועץ וכעובד

EE Seminar: Tackling the State Explosion Problem in Model Checking

~~(The talk will be given in English)

Speaker:   Dr. Sharon Shoham Buchbinder
                       School of Computer Sciences, Faculty of Exact Sciences, TAU

Monday, March 28th, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering

Tackling the State Explosion Problem in Model Checking

Abstract
Model checking is an automated technique for checking whether a given system model satisfies a desired property, typically described as a temporal logic formula. As real models tend to be very big, model checking encounters the state-explosion problem. We present two approaches for tackling the state explosion problem in model checking.
First, we present a SAT-based technique for checking safety properties. Verification of safety properties is reducible to reachability analysis. We develop an algorithm which performs intertwined approximated forward and backward reachability analysis  (DAR). The algorithm uses satisfiability checks and interpolation to overapproximate sets of reachable states.
Next, we consider compositional reasoning as a way for alleviating the state explosion problem. Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. We develop a technique for automating circular assume-guarantee reasoning (ACR) in which the verification of individual components mutually depends on each other.

The talk is based on joint works with Karam Abd Elkader, Orna Grumberg, Corina Pasareanu, and Yakir Vizel.

Short Bio:
Sharon Shoham received a B.A. degree in Computer Science (summa cum laude) in 2001, a M.Sc. degree (cum laude) in 2004, and a Ph.D. degree in 2009, all from the Computer Science department of the Technion-Israel Institute of Technology. She holds a position as a senior lecturer in the school of Computer Science at the Academic college of Tel Aviv-Yaffo. She is currently on leave, visiting the programming languages group in Tel Aviv university.

 

28 במרץ 2016, 15:00 
חדר 011, בניין כיתות-חשמל  

29/3/16

29 במרץ 2016, 10:00 
 
 

 

You are invited to attend a lecture

By

 

Prof. Juin J. Liou

 

Pegasus Distinguished Professor and Lockheed Martin Chair Professor of Engineering University of Central Florida, Orlando, Florida, USA Chang Jiang Scholar Endowed Professor, Ministry of Education, China Fellow of IEEE, Fellow of IET, Fellow of SIMTech

 

Electrostatic Discharge (ESD) Protection of Low-Voltage RF Integrated Circuits

 

Electrostatic discharge (ESD) is one of the most prevalent threats to the reliability of electronic components. It is an event in which a finite amount of charge is transferred from one object (i.e., human body) to the other (i.e., microchip). This process can result in a very high current passing through the microchip within a very short period of time, and hence more than 35% of chip damages can be attributed to the ESD event.  As such, designing on-chip ESD structures to protect integrated circuits against the ESD stress is a high priority in the semiconductor industry. The continuing scaling of CMOS technology makes the ESD-induced failures even more prominent, and one can predict with certainty that the availability of effective and robust ESD protection solutions will become a critical and essential factor to the successful advancement and commercialization of the next-generation CMOS-based electronics.

The development of RF electronics went almost unnoticed until early 1980’s because, unlike Si VLSI, there were no mass consumer markets for such applications. Recently, this has been changed drastically due to the explosive growth in the civil wireless communications and internets. The modern RF integrated circuits are typically operated in a voltage range of 2-4 V. This relatively low-voltage operation imposes certain challenges to the design of RF ESD protection solutions.

An overview on the ESD sources, models, protection schemes, and testing will first be given in this talk. This is followed by presenting the recent advancement on ESD protection solutions for modern low-voltage RF integrated circuits as well as the exploration and evaluation of ESD protection solutions in emerging Si FinFET and nanowire technologies.

Biography of Juin J. Liou

 

Juin J. Liou received the B.S. (honors), M.S., and Ph.D. degrees in electrical engineering from the University of Florida, Gainesville, in 1982, 1983, and 1987, respectively. In 1987, he joined the Department of Electrical and Computer Engineering at the University of Central Florida (UCF), Orlando, Florida where he is now the UCF Pegasus Professor and Lockheed Martin St. Laurent Professor. His current research interests are Micro/nanoelectronics computer-aided design, RF device modeling and simulation, and electrostatic discharge (ESD) protection design and simulation.

        Dr. Liou holds 8 U.S. patents (5 more filed and pending), and has published 12 books (2 more in press), more than 280 journal papers (including 21 invited review articles), and more than 230 papers (including more than 100 keynote and invited papers) in international and national conference proceedings. He has been awarded more than $14.0 million of research contracts and grants from federal agencies (i.e., NSF, DARPA, Navy, Air Force, NASA, NIST), state government, and industry (i.e., Semiconductor Research Corp., Intel Corp., Intersil Corp., Lucent Technologies, Alcatel Space, Conexant Systems, Texas Instruments, Fairchild Semiconductor, National Semiconductor, Analog Devices, Maxim Integrated Systems, Allegro Microsystems, RF Micro Device, Lockheed Martin), and has held consulting positions with research laboratories and companies in the United States, China, Japan, Taiwan, and Singapore.  In addition, Dr. Liou has served as a technical reviewer for various journals and publishers, general chair or technical program chair for a large number of international conferences, regional editor (in USA, Canada and South America) of the Microelectronics Reliability journal, and guest editor of 7 special issues in the IEEE Journal of Emerging and Selected Topics in Circuits and Systems, Microelectronics Reliability, Solid-State Electronics, World Scientific Journal, and International Journal of Antennas and Propagation.

Dr. Liou received ten different awards on excellence in teaching and research from the University of Central Florida (UCF) and six different awards from the IEEE. Among them, he was awarded the UCF Pegasus Distinguished Professor (2009) – the highest honor bestowed to a faculty member at UCF, UCF Distinguished Researcher Award (four times: 1992, 1998, 2002, 2009) – the most of any faculty in the history of UCF, UCF Research Incentive Award (three times: 2000, 2005, 2010), UCF Trustee Chair Professor (2002), IEEE Joseph M. Biedenbach Outstanding Engineering Educator Award in 2004 for exemplary engineering teaching, research, and international collaboration, and IEEE Electron Devices Society Education Award in 2014 for promoting and inspiring global education and learning in the field of electron devices. His other honors are Fellow of IEEE, Fellow of IET, Fellow of Singapore Institute of Manufacturing Technology, Fellow of UCF-Analog Devices, Distinguished Lecturer of IEEE Electron Device Society (EDS), and Distinguished Lecturer of National Science Council. He holds several honorary professorships, including the Chang Jiang Scholar Endowed Professor of Ministry of Education, China – the highest honorary professorship in China, NSVL Distinguished Professor of National Semiconductor Corp., USA, International Honorary Chair Professor of National Taipei University of Technology, Taiwan, Honorary Endowed Professor of National Taiwan University of Science and Technology, Taiwan, Chang Gung Endowed Professor of Chang Gung University, Taiwan, Feng Chia Chair Professor of Feng Chia University, Taiwan, Chunhui Eminent Scholar of Peking University, China, Cao Guang-Biao Endowed Professor of Zhejiang University, China, Honorary Professor of Xidian University, China, Consultant Professor of Huazhong University of Science and Technology, China, and Courtesy Professor of Shanghai Jiao Tong University, China. Dr. Liou was a recipient of U.S. Air Force Fellowship Award and National University Singapore Fellowship Award.

        Dr. Liou has served as the IEEE EDS Vice-President of Regions/Chapters, IEEE EDS Treasurer, IEEE EDS Finance Committee Chair, Member of IEEE EDS Board of Governors, and Member of IEEE EDS Educational Activities Committee.

 

Tuesday, March 29, 2016, at 10:00

Room 011, Kitot Building

 

28.3.16

You are invited to attend a lecture

By

 

 Prof. Rakesh Kumar Singh

 

 

Indian Institute of Space and Technology (IIST) Thiruvananthapuram, Kerala, India

 

 

Non-invasive single-shot imaging through a scattering

 

layer using speckle interferometry

 

 

Optical imaging through complex scattering media is one of the major technical challenges with important applications in many research fields, ranging from biomedical imaging, astronomical imaging, to spatially multiplexed optical communications. Various techniques for imaging though scattering mediums have been proposed and discussed in the past. In this talk, we will discuss a new approach for non-invasive imaging through random scattering medium by speckle interferometry.  Principle of this technique lies on exploiting the complex nature of the two point correlation function of the random fields and combining digital holography with correlation optics.

Application of this technique in single shot and lens less correlation holography will be discussed. Possible extension of speckle interferometry to the vectorial random fields will also be covered in this talk.

 

Monday, March 28, 2016, at 11:00

 

Room 011, Kitot Building

28 במרץ 2016, 11:00 
011 Kitot  
28.3.16

 

עמודים

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