-
4201.shark：粗粒度分布式存储的基于成本优化查询的SQL和分析
[信息传输、软件和信息技术服务业] [2014-03-17]
Shark is a research data analysis system built on a novel coarsegrained distributed shared-memory abstraction.Shark pairs query processing with deep data analysis, providing a unified system for easy data manipulation using SQL while pushing sophisticated analysis closer to its data.
关键词：粗粒度；分布式存储；SQL；优化查询
-
4202.现实世界的快捷菜单：通过头戴式红外线目标定位技术控制物理设备
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2014-03-17]
We introduce a novel method for selecting and controlling smart appliances in physical spaces through a head-worn computing device with near-eye display and wireless communication. We augment a commercial wearable computing device, Google Glass, with a narrow-beam IR emitter for this purpose. This configuration yields a usable beam width of 2 to 4 feet (60 to 120cm) for targeting at room scale. We describe a disambiguation technique if infrared targeting hits multiple targets simultaneously. A target acquisition study with 14 participants shows that selection using head orientation with our device outperforms list selection on a wearable device.
关键词：智能设备；万能遥控器；可穿戴计算；眼镜
-
4203.线性信号的广义超度量半格研究
[信息传输、软件和信息技术服务业] [2014-03-17]
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and prove a representation theorem stating that every generalized ultrametric semilattice with a totally ordered distance set is isomorphic to a space of that kind. It follows that the formal definition of generalized ultrametric semilattices with totally ordered distance sets constitutes an axiomatization of the first-order theory of those spaces.
关键词：线性信号；广义超度量；半格
-
4204.铁电薄膜设备的动态切换——相场的大规模并行研究
[信息传输、软件和信息技术服务业] [2014-03-17]
In this thesis, we investigate the switching dynamics in thin lm ferroelectrics.
关键词：铁电薄膜；动态切换；相场；大规模并行
-
4205.线性代数并行计算中同时性、通信和工作量的权衡
[信息传输、软件和信息技术服务业] [2014-03-17]
Our theoretical model counts the amount of work and data movement as a maximum of any execution path during the parallel computation. By considering this metric, rather than the total communication volume over the whole machine, we obtain new insight into the characteristics of parallel schedules for algorithms with non-trivial dependency structures.
关键词：并行计算；线性代数；同步化；通信
-
4206.act编程语言的草案初拟
[信息传输、软件和信息技术服务业] [2014-03-17]
The purpose of this report is to document the first complete attempt at the design of a high-level programming language for timed systems called act. We define the lexical grammar and the syntactic grammar of act, and include an example of a simple actor written in act, demonstrating some of the syntactic features of the language.
关键词：act；时间系统；语法；编程语言
-
4207.混合天线与陆地移动对鸟类飞行演化的启示
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2014-03-17]
This dissertation presents the development of DASH+Wings and BOLT, two small hybrid legged and winged robots.DASH+Wings is a six-legged, two-winged robot capable of wing-assisted terrestrial running and controlled aerial descent. BOLT is a two-legged, four-winged robot capable of high-speed terrestrial running and sustained flight. While the dynamics of legged locomotion have been extensively studied, the interaction between legs and flapping wings during terrestrial locomotion is poorly understood. WingSLIP, an extension to the canonical SLIP model for understanding wing-assisted terrestrial locomotion, is introduced. Analysis of the leg/wing phasing and leg stiffnesses elucidates the interaction between the legs and wings. The model suggests the presence of passively stable gaits for high-speed wing-assisted terrestrial running. The dynamics of wing-assisted terrestrial locomotion for aquasi-static and dynamic gait are examined using BOLT with the addition of an on-board accelerometer and rate gyroscope.
关键词：DASH+Wings；BOLT；仿生扑翼飞行机器人；有腿机器人；有翼机器人；混合天线；SLIP模型
-
4208.人文与社会科学研究的探索性文本分析工具设计
[信息传输、软件和信息技术服务业] [2014-03-17]
This dissertation presents a new tool for exploratory text analysis that attempts to improve the experience of navigating and exploring text and its metadata. The design of the tool was motivated by the unmet need for text analysis tools in the humanities and social sciences.
关键词：文本分析；意义建构；WordSeer；人文与社会科学
-
4209.不同交换机架构的延迟比较
[计算机、通信和其他电子设备制造业] [2014-03-17]
We compare the delays experienced by packet flows when transmitted using ifferent scheduling algorithms across a crossbar switch. The two scheduling algorithms e consider are iterative SLIP and QCSMA.We first compare them under the assumptions that all packets have the same length, and then under the assumption that the half the packets have the maximum allowable length and half have the minimum allowable length. Our findings suggest that the variation in packet length has a non-negligible effect on throughput vs delay results. For long-lived TCP connections with varying packet lengths, QCSMA derived schedulers seem to do only marginally better than SLIP.
关键词：调度算法；SLIP；QCSMA；开环仿真；闭环仿真；TCP
-
4210.中间盒协议设计的双通道方法
[信息传输、软件和信息技术服务业] [2014-03-17]
In this paper, we present a dual-channel design approach as a way for new protocols to achieve middleboxfriendliness. Under the dual-channel approach, data traffic is sent over a traditional TCP/UDP channel, and additional functionality is accommodated within the payload of a secondary channel. As a case study, we present our prototype implementation of Forward Error Correction for TCP which improves flow completion times by almost 2.5× under 2% loss, despite the overhead of the secondary channel.
关键词：中间盒；协议设计；双通道；前向纠错
027-87841330