-
4971.使用高对比度的光栅形成的基于InP的长波长VCSEL
[计算机、通信和其他电子设备制造业] [2013-12-18]
Vertical-cavity surface-emitting lasers (VCSELs) are key optical sources in optical communications, the dominant source deployed in local area networks using multimode optical fibers at 850 nm. The advantages of VCSELs include wafer-scale testing, low-cost packaging, and ease of fabrication into arrays. The ease of array fabrication is particularly useful for spacedivision-multiplexed (SDM) links using multi-core fiber or fiber arrays. VCSELs emitting in the 1.3 μm to 1.6 μm wavelength regime, also known as long-wavelength VCSELs, are highly desirable for the rising applications of data and computer communications, in addition to optical access networks, optical interconnects and optical communication among wireless base stations.The potential advantages over conventional distributed feedback (DFB) and distributed Bragg reflector (DBR) lasers include much lower cost due to smaller footprint and wafer scale testing,and significantly lower power consumption.
关键词：发射激光器（VCSEL）；光通信；波长
-
4972.用于测试和验证的投票机的设计
[信息传输、软件和信息技术服务业] [2013-12-18]
This work incorporates and builds on previous research done jointly with Susmit Jha, Sanjit Seshia, and David Wagner on designing an electronic voting machine with the goal of verification of correctness.In that work we developed an approach of combining formal verification with user testing to verify an interactive machine and we demonstrated our technique with the design and implementation of a voting machine. This paper presents our work with a focus on the methodology and set of design principles we developed which made our approach possible. This also extends the functionality of our original voting machine to include a summary screen while still adhering to our methodology and design principles. We implement the new functionality and demonstrate that our original proof of correctness holds for the augmented voting machine.
关键词：电子投票机；设计；验证；测试
-
4973.通过库挖掘实现交互代码片段的合成
[信息传输、软件和信息技术服务业] [2013-12-18]
Programmers repeatedly reuse code snippets. Retyping boilerplate code, and rediscovering how to correctly sequence API calls, programmers waste time. In this paper, we develop techniques that automatically synthesize code snippets upon a programmer’s request. Our approach is based on discovering snippets located in repositories; we mine repositories offline and suggest discovered snippets to programmers. Upon request, our synthesis procedure uses programmer’s current code to find the best fitting snippets, which are then presented to the programmer. The programmer can then either learn the proper API usage or integrate the synthesized snippets directly into her code. We call this approach interactive code snippet synthesis through repository mining.We show that this approach reduces the time spent developing code for 32% in our experiments.
关键词：库挖掘；交互代码
-
4974.可扩展机器学习的随机算法
[信息传输、软件和信息技术服务业] [2013-12-18]
Many existing procedures in machine learning and statistics are computationally intractable in the setting of large-scale data. As a result, the advent of rapidly increasing dataset sizes, which should be a boon yielding improved statistical performance, instead severely blunts the usefulness of a variety of existing inferential methods. In this work, we use randomness to ameliorate this lack of scalability by reducing complex, computationally dicult inferential problems to larger sets of signi cantly smaller and more tractable subproblems.This approach allows us to devise algorithms which are both more ecient and more amenable to use of parallel and distributed computation. We propose novel randomized algorithms for two broad classes of problems that arise in machine learning and statistics;estimator quality assessment and semide nite programming.
关键词：随机算法；机器学习；质量评估
-
4975.Sauron:印刷物理用户接口的嵌入式单摄像机传感
[计算机、通信和其他电子设备制造业] [2013-12-18]
3D printers enable designers to rapidly produce working models of future products. Today these physical prototypes are mostly passive. Our research goal is to enable designers to turn models produced on commodity 3D printers into interactive objects with a minimum of required assembly or instrumentation. We present Sauron, an embedded machine visionbased system for sensing human input on physical controls like buttons, sliders, and joysticks. With Sauron, designers attach a single camera with integrated ring light to a printed prototype. This camera observes the interior portions of input components to determine their actuation and position. In many prototypes, input components may be occluded or outside the viewing frustum of a single camera. We introduce algorithms that generate internal geometry and calculate mirror placements to redirect input motion into the visible camera area.
关键词：嵌入式摄像机；传感；3D打印机
-
4976.基于GPU的几何多重网络的避免通信优化
[信息传输、软件和信息技术服务业] [2013-12-18]
Multigrid methods are widely used to accelerate the convergence of iterative solvers for linear systems in a number of different application areas. In this report, we explore communication-avoiding implementations of Geometric Multigrid on Nvidia GPUs. We achieved an overall gain of 1.2x for the whole multigrid algorithm over baseline implementation. We also provide an insight into what future GPUs need to have in terms of on chip and shared memory for these kinds of algorithms to perform even better.
关键词：GPU；避免通信优化；多重网格；算法
-
4977.使用相对位置反馈的大小缩放形成的编队控制
[信息传输、软件和信息技术服务业] [2013-12-18]
We consider a multiagent coordination problem where the objective is to steer a team of mobile agents into a formation of variable size. We assume the shape description of the formation is known to all agents, but the desired size scaling of the formation is known only to a subset of leader agents. We present a strategy in which each agent communicates a scalar value to its neighbors and two strategies that allow the agents to maneuver to the desired scaled formation using only local relative position information. The rst strategy does not require global knowledge of which agents are leaders, and the latter two strategies can be implemented using nformation gathered via local sensors with no interagent communication.We compare the methods through several examples with simulations.
关键词：相对位置；大小缩放；控制
-
4978.现场鼓表演的机器理解技术
[信息传输、软件和信息技术服务业] [2013-12-18]
This dissertation covers machine listening techniques for the automated realtime analysis of live drum performances. Onset detection, drum detection, beat tracking, and drum pattern analysis are combined into a system that provides rhythmic information useful in performance analysis, synchronization, and retrieval. The techniques are designed with real-time use in mind but can easily be adapted for offline batch use for large scale rhythm analysis.
关键词：机器理解技术；表演；鼓
-
4979.无线感测网络中的流动性
[计算机、通信和其他电子设备制造业] [2013-12-18]
The combination of mobility with wireless networks greatly expands the application space of both robots and distributed sensor networks; such a pervasive system can enable seamless integration between the digital and physical worlds. However, there are a number of issues in both robotic and wireless sensor network (WSN) fields that demand research, and their integration generates further challenges.
关键词：无线感测网络；流动性
-
4980.介绍InfoSphereStreams2.0特性,第2部分:使用集合——c++和SPL集合的例子
[信息传输、软件和信息技术服务业] [2013-12-18]
With the introduction of IBM InfoSphere? Streams 2.0 and the Streams processing language(SPL), developers gained access to two new collection types: set and map. This article describes these three collection types and how to exploit them as part of a native SPL application. You will also learn how to access collections using a primitive C++ Streams operator.
关键词：InfoSphere Streams 2.0；c++流操作符；流处理语言
027-87841330