-
1631.近似同步性：分布式接近同步系统的抽象
[信息传输、软件和信息技术服务业] [2015-07-07]
Forms of synchrony can greatly simplify modeling, design, and verification of distributed systems. Thus, recent advances in clock synchronization protocols and their adoption hold promise for system design. However, these protocols synchronize the distributed clocks only within a certain tolerance, and there are transient phases while synchronization is still being achieved. Abstractions used for modeling and verification of such systems should accurately capture these imperfections that cause the system to only be “almost synchronized.” In this paper, we present approximate synchrony, a sound and tunable abstraction for verification of almost-synchronous systems.
关键词：同步性；分布式系统；同步系统
-
1632.基于微型LED的金属光学：快速高效纳米发光体的搜索
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2015-07-07]
Since the invention of the laser, stimulated emission has been the de facto king of optical communication. Lasers can be directly modulated at rates as high as 50GHz, much faster than a typical solid state light-emitting diode (LED) that is limited by spontaneous emission to <1GHz. Unfortunately, lasers have a severe scaling problem; they require large cavities operated at high power to achieve efficient lasing. A properly designed LED can be made arbitrarily small and still operate with high-efficiency. On-chip interconnects is an area that is in desperate need of a high-speed, low-power optical emitter that can enable on-chip links to replace current high-loss metal wires. In this work, I will show that by utilizing proper antenna design, a nanoLED can be created that is faster than a laser while still operating at >50% efficiency.
关键词：激光；光发射器；二极管（LED）
-
1633.Petabit交换结构设计
[信息传输、软件和信息技术服务业] [2015-07-07]
With current trends in cloud computing, big data analytics, and the Internet of Things, the need for distributed computation is growing rapidly. One promising solution that modern computers employ is the use of large routers or switches to move data between multiple cores and memories. The goal of our Petabit Switch Fabric capstone project is to explore the design tradeoffs of such network switch architectures in order to scale this mode of communication to much larger magnitudes. We aim to examine the viability of using these designs for a petabit interconnect between large clusters of separate microprocessors and memories.
关键词：云计算；物联网；Petabit交换矩阵；路由器
-
1634.优化实现单镜面光学的超紫外线光刻
[信息传输、软件和信息技术服务业] [2015-07-07]
Traditionally, aberration correction in extreme ultraviolet (EUV) projection optics requires the use of multiple lossy mirrors, which results in prohibitively high source power requirements. We analyze a single spherical mirror projection optical system where aberration correction is built into the mask itself, through Inverse Lithography Technology (ILT). By having fewer mirrors, this would reduce the power requirements for EUV lithography. We model a single spherical mirror system with orders of magnitude more spherical aberration than would ever be tolerated in a traditional multiple mirror system. By using ILT, (implemented by an adjoint-based gradient descent optimization algorithm), we design photomasks that successfully print test patterns, in spite of these enormous aberrations. This mathematical method was tested with a 6 plane wave illumination source. Nonetheless, it would have poor power throughput from a totally incoherent source.
关键词：像差校正；投影光学器件；EUV
-
1635.创建用户界面用于暂时时间机器学习系统
[信息传输、软件和信息技术服务业] [2015-07-07]
Machine learning results are often dicult to understand and draw insight from. While building a general machine learning pipeline, we design a user interface to help users of the system follow the machine learning process. This interface allows users to monitor the status of pipeline jobs as well as interactively explore results by inspecting individual samples and visualizing the impact of each feature that contributes to a sample's fi nal classi fication.
关键词：机器学习；用户监控；用户界面
-
1636.声学启用预定位指间油滴传感器
[信息传输、软件和信息技术服务业] [2015-07-07]
Oil content in the ocean needs to be monitored for the human beings to track the health of our marine ecosystem as well as to take any early action regarding natural seeps and human-made oil spills. Sensitive, robust, reliable, and low power sensors are needed to establish sensor network in the ocean for high temporal and spatial resolution oil content monitoring.
关键词：海洋生态系统；油含量监测；油滴传感器；预定位
-
1637.飞地项目的保密性能验证
[信息传输、软件和信息技术服务业] [2015-07-07]
Security-critical applications running in the cloud constantly face threats from exploits in lower computing layers such as the operating system, virtual machine monitors, or even attacks from malicious datacenter administrators. To help pro- tect application secrets from such attacks, there is increasing interest in hardware implementations of primitives for trusted computing, such as Intel's Software Guard Extensions (SGX). These primitives enable hardware protection of memory regions containing code and data, root of trust for measurement, remote attestation, and cryptographic sealing.
关键词：应用程序；硬件保障；信任测量
-
1638.基于MEMS的收发器晶体管电路
[信息传输、软件和信息技术服务业] [2015-07-07]
In recent years, the push for low power wireless sensor networks has called for the introduction of RF-MEMS transceiver devices capable of operating on scavenged power. The design of ultra-low power MEMS based transceivers stands to revolutionize the fields of industrial monitoring, environmental monitoring, and biomedical imaging.
关键词：MEMS；生物医学成像；无线传感器网络
-
1639.变异建模和统计参数提取CMOS器件
[信息传输、软件和信息技术服务业] [2015-07-07]
Semiconductor technology has been scaling down at an exponential rate for many decades, yielding dramatic improvements in power, performance and cost, year after year. Today’s advanced CMOS transistors have critical dimensions well below 24nm. This means that controlling the manufacturing process is increasingly difficult. Process and material fluctuations cause device and circuit characteristics to deviate from design goals, and introduce significant device-to-device variability due to spatial variations across silicon wafers. Accurate modeling of these spatial process variations has become critical to both foundries and circuit designers that seek optimal power/speed/area balance.
关键词：半导体技术；功率/转速；电路设计
-
1640.定量方法监管无线频谱
[信息传输、软件和信息技术服务业] [2015-07-07]
Wireless spectrum regulation is an area of increasing interest, complexity, and importance. After decades of single-purpose, exclusive spectrum allocations, the Federal Communications Commission (FCC) brought about the era of dynamically shared spectrum with their landmark ruling in 2008 [1]. Although unlicensed spectrum—“free for all” spectrum such as the 2.4 GHz band—is universally agreed to be critical to economic development, there is scarcely enough to meet current demands. WiFi could never have succeeded without sufficient unlicensed spectrum, yet its success has “filled up” much of the available spectrum. In an effort to address the shortage, the FCC ruled that unlicensed devices are now allowed to operate in portions of the television bands.
关键词：无线频谱调节；复杂性；电视频带
027-87841330