In this paper, we present, for the first time, a complete rounding error analysis of the $s$-step Lanczos method. Our methodology is analogous to Paige's rounding error analysis for the classical Lanczos method [\emph{IMA J. Appl. Math.}, 18(3):341--349, 1976]. Our analysis gives upper bounds on the loss of normality of and orthogonality between the computed Lanczos vectors, as well as a recurrence for the loss of orthogonality. The derived bounds are very similar to those of Paige for classical Lanczos, but with the addition of an amplification term which depends on the condition number of the Krylov bases computed every $s$-steps. Our results confirm theoretically what is well-known empirically: the conditioning of the Krylov bases plays a large role in determining finite precision behavior.

关键词：有限精度；兰索斯法； Krylov子空间；误差分析

查看摘要 索取原文[27页]

We prove a quantitative version of the Gibbard-Satterthwaite theorem for general social choice functions for any number $k \geq 3$ of alternatives. In particular we show that for a social choice function $f$ on $k \geq 3$ alternatives and $n$ voters, which is $\epsilon$-far from the family of nonmanipulable functions, a uniformly chosen voter profile is manipulable with probability at least inverse polynomial in $n$, $k$, and $\epsilon^{-1}$.Removing the neutrality assumption of previous theorems is important for multiple reasons. For one, it is known that there is a conflict between anonymity and neutrality, and since most common voting rules are anonymous, they cannot always be neutral. Second, virtual elections are used in many applications in artificial intelligence, where there are often restrictions on the outcome of the election, and so neutrality is not a natural assumption in these situations.

关键词：吉本–萨特思韦特定理；投票规则；定量

查看摘要 索取原文[46页]

We present a cost-efficient and reproducible technique for assembling 3D components to mechanically bendable low glass transition temperature (Tg) polymeric interposers. First, we propose localized soldering using a focused hot air gun. Second, we use eutectic solders, which permit reflow at temperatures close to the Tg of the interposer. Then, we adopt differential heating and cooling in order to enable rapid heat dissipation through the interposer during soldering. Furthermore, we apply a metal jig as a load to maintain contact between the interposer and the 3D component during soldering. Also, the jig serves as a shield to protect the interposer surface outside the soldering zone from thermal loading, and more importantly as a passive heat sink. We showcase our approach by manufacturing a test vehicle on a polyethylene terephthalate (PET) interposer having a Tg of 71 deg. C. We solder a 30 mA DC current SMD LED by means of a eutectic compound of 48 w. % Sn and 52 w. % In at 118 deg. C.

关键词：聚合物；柔性；Tg；共晶焊接

查看摘要 索取原文[7页]

This paper proposes a new online, statistics based, batch-oriented technique to allow an RDBMS to leverage cold storage to increase data capacity without overly impacting query performance. Our solution couples well with semantic knowledge about an application, making it easy to take advantage of application specific access patterns. We develop a number of techniques for efficient statistics gathering and management, movement of data to cold storage, and querying of data in cold storage. We show this approach fits well into the main memory model, and that it has excellent performance in some industry standard benchmarks, as well as for an Enterprise Resource Planning benchmark we have developed.

关键词：Benchmark；智能数据；智能数据处理；RDBMS

查看摘要 索取原文[14页]

In this thesis we discuss how to improve control software troubleshooting by presenting a technique for automatically identifying a minimal sequence of inputs responsible for triggering a given bug, without making assumptions about the language or instrumentation of the software under test. We apply our technique to five open source SDN control platforms---Floodlight, NOX, POX, Pyretic, ONOS---and illustrate how the minimal causal sequences our system found aided the troubleshooting process.

关键词：因果序列；软件定义网络；故障排除；黑箱

查看摘要 索取原文[45页]

Methods:A concentric rings readout trajectory with constant angular velocity is proposed for hyperpolarized 13C spectroscopic imaging and its properties are analyzed. Quantitative analysis of design tradeoffs are presented for several imaging scenarios in terms of resolution, spectral bandwidth, acquisition time and SNR efficiency. Analysis comparing parallel imaging accelerated Cartesian sampling and concentric rings in terms of reconstruction noise amplification are also presented. Finally, the first application on 13C phantoms and in vivo animal hyperpolarized 13C MRSI studies were performed to demonstrate the feasibility of the proposed method.Results:The concentric rings MRSI trajectory has the advantages of acquisition timesaving compared to echo-planar spectroscopic imaging (EPSI), and robustness to system timing delay and eddy currents compared to spiral MRSI. It provides a sufficient spectral bandwidth with a relatively high SNR efficiency compared to EPSI and spiral techniques. It will also be beneficial for parallel imaging by reducing noise amplificiation.

关键词：磁共振波谱成像；13C核磁共振；k空间；CRT

查看摘要 索取原文[28页]

In this dissertation, I propose an alternative approach of a printed switch, where the use of semiconductors can be avoided by building mechanical switches with printed metal nanoparticles. I provide the first demonstration of inkjet-printed micro-electro-mechanical (MEM) switches with abrupt switching characteristics, very low on-state resistance (~10 Ohm), and nearly perfect off-state behavior with immeasurable leakage with on/off current ratio of 107. The devices are fabricated using a novel process scheme to build 3-dimensional cantilever structures from solution-processed metallic nanoparticles and sacrificial polymers. These printed MEM switches thus represent a uniquely attractive path for realizing printed electronics. I will also discuss an inkjet-printed microshell encapsulation as a new zero-level packaging technology. Inkjet-printing of silver nanoparticle ink is demonstrated to form porous microshells through which sacrificial oxide can be selectively removed to release MEMS structures. A second inkjet printing process using finer gold nanoparticle ink or polymer is demonstrated to effectively seal the microshells.

关键词：喷墨印刷技术；微机电系统；MEMS；微机电系统开关

查看摘要 索取原文[89页]

In this work, we designed and implemented an open source FPGA with tool flow support. We named the project Archipelago and designed the architecture with two goals. First, it explores the quality of the physical implementation result that is produced by a standard ASIC design flow in a modern ASIC process. Second, it enables other people to use and extend the project at will. The outcome of this project is a parameterizable and user expandable FPGA with toolflow support. We verified its functionality. The performance of the work is good enough for real world work loads. A 64 Bit counter can run up to 364MHz on average on three different FPGA instances. The result is comparable to a commercial FPGA implemented in a similar process technology.

关键词：FPGA；ASIC 设计；工具流

查看摘要 索取原文[65页]

In this work, we conduct a numerical investigation of the structural feasibility of a flexible, monolithic and planar opto-electronic system based on low Tg polymers using ANSYS?. In particular, we explore the effectiveness of two eutectic compounds 52w.%In 48w.%Sn and 58w.%Bi 42w.%Sn to solder light sources and sinks to multimode light waveguides. First, we analyze the warpage of the optical structures due to eutectic soldering. Furthermore, we study the spectrum of mechanical stresses within the eutectic layer. Then, we investigate the possibility of roll-to-roll mass production. Finally, we establish design guidelines for decreasing the system warpage, and consequently preserving optical alignment, while complying with the ultimate shear strength of the eutectic material.

关键词：光波导；多模；聚合物；共晶焊接；Tg

查看摘要 索取原文[9页]

The goal of this work is to enable the creation of higher-assurance HTML5 applications. We propose two major directions: first, we present the use of formal methods to analyze web protocols for errors. Second, we use existing primitives to enable practical privilege separation for HTML5 applications. We also propose a new primitive for complete mediation of HTML5 applications.

关键词：HTML5；高确信度；网络协议；应用程序

查看摘要 索取原文[93页]