In this work, we used a high accuracy synchrotron-based reflectometer to experimentally determine the effects of angular bandwidth limitations on high- NA EUV mask performance. We collected the scatterometry data of both the mask blank and absorber field, as well as mask pattern diffraction performance as a function of illumination angle, scatter angle, and wavelength. Gratings down to 44 nm half pitch on mask, up to 16° angle of incidence (AOI), and wavelength ranging from 13.3 to 13.7 nm were considered. Rigorous Coupled- Wave Analysis (RCWA) was used to model scatterometry results which were compared with measurement. The experimental measurements on a mask with a multilayer reflectivity of over 60% at 13.5 nm wavelength that peaked about 10° showed that computing the large area reflectivity as a function of wavelength and incident angle from 0 to 14° resulted in root mean square errors in reflectivity unacceptably as high as 13% and 0.8% of the incident beam for the multilayer and absorber respectively. This dropped to 5% and 0.7% respectively when interdiffusion and wavelength-dependent refractive indices were taken into account. Calibration by fitting to the measured data reduced the errors to 0.8% and 0.08% respectively.

关键词：带宽限制；纳米波长；函数

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

High performance for numerical linear algebra often comes at the expense of stability. Computing the LU decomposition of a matrix via Gaussian Elimination can be organized so that the computation involves regular and efficient data access. However, maintaining numerical stability via partial pivoting involves row interchanges that lead to inefficient data access patterns.

关键词：数据布局；高斯消元；有效通信

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

There is an entire ecosystem of tools, techniques, and processes designed to improve software security by preventing, nding, mitigating, and/or eliminating software vulnerabilities. Software vendors have this entire ecosystem to choose from during each phase of the software development lifecycle, which begins when someone identi es a software need, ends when the software vendor decides to halt support for the software, and includes everything in between. Unfortunately, guidance regarding which of these tools to choose is often non-existent or based solely on anecdotal evidence. In this dissertation, we present three studies to demonstrate that empirical studies can be used to enhance our understanding of the e ectiveness of various tools and techniques intended to improve software security.

关键词：软件安全；软件漏洞；信息安全

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

We establish theoretical results concerning all local optima of various regularized M- estimators, where both loss and penalty functions are allowed to be nonconvex. Our results show that as long as the loss function satis es restricted strong convexity and the penalty function satis es suitable regularity conditions, any local optimum of the composite objective function lies within statistical precision of the true parameter vector. Our theory covers a broad class of nonconvex objective functions, including corrected versions of the Lasso for error-in-variables linear models; regression in generalized linear models using nonconvex regularizers such as SCAD and MCP; and graph and inverse covariance matrix estimation. On the optimization side, we show that a simple adaptation of composite gradient descent may be used to compute a global optimum up to the statistical precision stat in log(1=stat) iterations, which is the fastest possible rate of any rst-order method. We provide a variety of simulations to illustrate the sharpness of our theoretical predictions.

关键词：局部最优；理论模型；目标函数；线性模型

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

In this paper, we demonstrate a connection between Storvik's lter and a Kalman lter in parameter space and establish more general conditions under which Storvik's lter works. Drawing on an analogy to the extended Kalman lter, we develop and analyze, both theoretically and experimentally, a Taylor approximation to the parameter posterior that allows Storvik's method to be applied to a broader class of models. Our experiments on both synthetic examples and real applications show improvement over existing methods.

关键词：滤波器；增量计算；参数空间

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

This paper discusses the use of the Ptides model of computation as a coordination language for the design of deterministic, event-driven, real-time, distributed embedded systems. Specifically, the paper shows how the use of synchronized clocks in the context of Ptides enables explicit, platform independent speci cation of functionality and timing. From this speci cation, we generate code for two target platforms: Renesas and XMOS. The generated code includes a lightweight operating system which performs scheduling, I/O and network handling as well as application speci c tasks.

关键词：Ptides模型；估计；操作系统；网络处理；代码

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

This report has presented two software tools implemented in MATLAB to simulate a 13.6 g ornithopter in the sagittal plane and horizontal plane. Each of these simulations were compared totrueight data colected using a Vicon motion capture system to determine their accuracy.

关键词：飞行；模拟；扑翼飞机；MATLAB；软件

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

Advertising is a critical part of the Android ecosystem| many applications use one or more advertising services as a source of revenue. To use these services, developers must bundle third-party, binary-only libraries into their applications. In this model, applications and their advertising libraries share permissions. Advertising-supported applications must request multiple privacy-sensitive permissions on behalf of their advertising libraries, and advertising libraries receive access to all of their host applications' other permissions. We conducted a study of the Android Market and found that 49% of Android applications contain at least one advertising library, and these libraries overprivilege 46% of advertising-supported applications. Further, we nd that 56% of the applications with advertisements that request location (34% of all applications) do so only because of advertisements. Such pervasive overprivileging is a threat to user privacy. We introduce AdDroid, a privilege separated advertising framework for the Android platform. AdDroid introduces a new advertising API and corresponding advertising permissions for the Android platform. This enables AdDroid to separate privileged advertising functionality from host applications, allowing applications to show advertisements without requesting privacy-sensitive permissions.

关键词：广告商；应用程序

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

We focus on an optimization problem on parameterized surfaces of genus one. In particular we trade off the penalty functions for bending a toroidal path and for applying a twist to it and aim to find local minima of this cost function. This analysis forms a key element in demonstrating the different regular homotopy classes of tori. A generalization of this surface optimization, which considers curvature as well as any shearing of its parameter grid, may be used to find the most optimal direct path from an arbitrary closed manifold of genus one into one of the four basic representatives of the four regular homotopy classes of tori.

关键词：参数表面；环形循环；弯曲能量；梯度下降；定期同伦

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

Actual communication systems have only finite channel diversity, and thus the practical implications of interference alignment are uncertain: Just how much channel diversity is required in order to get substantial benefit from interference alignment? The first part of this thesis focuses on this question. Our first result characterizes the degrees of freedom for the three-user interference channel as a function of time or frequency diversity. We next focus on spatial diversity, in the form of multiple antennas at transmitters and receivers.The second part of this thesis studies DNA sequencing from an information theory pointof-view. DNA sequencing is the basic workhorse of modern day biology and medicine.

关键词：无线通信；干扰；自由度

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