DSpace at MIT
This site is a university repository providing access to the publication output of the institution. Registered users can set up email alerts to notify them of newly added relevant content. A certain level of encryption and security is embedded in the site which may cause some users accessibility problems.
Electrical Engineering and Computer Sciences - Master's degree
Spectral sparsification and spectrally thin trees - Oliveira, Rafael (Rafael Mendes de Oliveira)
We provide results of intensive experimental data in order to investigate the existence of spectrally thin trees and unweighted spectral sparsifiers for graphs with small expansion. In addition, we also survey and prove some partial results on the existence of spectrally thin trees on dense graphs with high enough expansion.
W-SPSA : an Efficient Stochastic Approximation Algorithm for the off-line calibration of Dynamic Traffic Assignment models - Lu, Lu, S.M. Massachusetts Institute of Technology
The off-line calibration is a crucial step for the successful application of Dynamic Traffic Assignment (DTA) models in transportation planning and real time traffic management. While traditional approaches focus on the separate or sequential estimation of demand and supply in a DTA system, a recently proposed framework calibrates the demand and supply models simultaneously by formulating the off-line calibration as a constrained optimization problem. Simultaneous Perturbation Stochastic Approximation (SPSA) has been reported in the literature to be the most suitable solution algorithm for this problem due to its highly efficient gradient estimation approach. However, it turns out that the performance...
SNARKs for C : verifying program executions succinctly and in zero knowledge - Virza, Madars
We present a proof system that allows efficient verification of NP statements, given proofs produced by an untrusted yet computationally-bounded prover. Our system is publicly verifiable: after a trusted third-party has generated a proving key and a verification key, anyone can use the proving key to generate non-interactive proofs for adaptively-chosen NP statements, and the proofs can be verified by anyone using the verification key. Moreover, our system is statistically zero-knowledge and the generated public parameters are reusable. The NP-complete language we choose is the correct execution of programs on TinyRAM, a minimalistic (nondeterministic) random-access machine that we design. Together...
A doubly-fed machine for propulsion applications - Tomovich, Michael S. (Michael Stephen)
A doubly fed machine for propulsion applications is proposed, which, given the presence of AC and DC power sources, can be utilized in order to improve efficiency, weight, volume, and sizing of the rotor power electronics. In this case, a shipboard application is examined. A hardware demonstration of a control architecture is implemented, along with a benchtop demonstration of the replacement of standard slip rings in the machine with a contactless solution (i.e. a transformer). Along with the benchtop demonstration of the transformer for accessing the rotor terminals, an analysis of the power handling capability of different converters for rectifying...
Thermally-actuated piezoresistively-sensed mechanical silicon oscillator - Sundaram, Subramanian, S.M. Massachusetts Institute of Technology
In the past two decades, Microelectromechanical (MEMS) resonators have emerged as front runners for RF front-ends, high frequency filters, and frequency sources in various applications. The prospect of seamless integration with CMOS has provided a significant boost to displace Quartz, which for long has been the go-to option for timing sources. To construct an oscillator, a MEMS resonator is operated with an active feedback amplifier, the design of which can be a major challenge at high frequencies. In this work we implement a self sustaining mechanical Si oscillator that has an internal feedback mechanism. The oscillator is based on a...
Analysis and visualization of equilibrium in masonry structures - Shin, Hijung Valentina
This thesis presents novel analysis and visualization methods to explore the equilibrium of masonry structures. Following a previous approach, we model the stability problem as a quadratic program. When a structure is unstable the quadratic program returns a measure of infeasibility. We extend this model to include tensile structures such as cables. Then, we derive a closed-form gradient of stability with respect to geometry modifications, and apply it to the design of structurally sound buildings. In addition, we analyze various properties related to the equilibrium state of structures and visualize the result. We study the sensitivity of equilibrium with respect...
Smart IP of QR decomposition for rapid prototyping on FPGAs - Saqib, Sunila
The Digital Signal Processing (DSP) systems used in mobile wireless communication, such as MIMO detection, beam formation in smart antennas, and compressed sensing, all rely on quickly solving linear systems of equations. These applications of DSP have vastly different throughput, latency and area requirements, necessitating substantially different hardware solutions. The QR decomposition (QRD) method is an efficient way of solving linear equation systems using specialized hardware, and is known to be numerically stable . We present the design and FPGA implementation of smart IP (intellectual property) for QRD based on Givens-Rotation (GR) and Modified-Gram- Schmidt (MGS) algorithms. Our configurable designs...