-
37031.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；时间系统；语法；编程语言
-
37032.人文与社会科学研究的探索性文本分析工具设计
[信息传输、软件和信息技术服务业] [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；人文与社会科学
-
37033.现实世界的快捷菜单：通过头戴式红外线目标定位技术控制物理设备
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [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.
关键词：智能设备；万能遥控器；可穿戴计算；眼镜
-
37034.建筑管理系统的传感器数据处理与校验平台体系结构设计
[信息传输、软件和信息技术服务业,建筑业] [2014-03-17]
This thesis examines the state of the art of building information systems and evaluates their architecture in the context of emerging technologies and applications for deep analysis of the built environment. Our system, StreamFS, embodies these system properties through a filesystem abstraction and a set of data services. Data services are made available to applications through an overloaded pipe abstraction. This allows for dataflow specification of processing streams to clean and analyze the streaming sensor data.
关键词：BMS；建成环境；数据集成；平台设计
-
37035.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；优化查询
-
37036.数据密集型集群中并行工作表现的优化
[信息传输、软件和信息技术服务业] [2014-03-17]
To cope with the deluge in data that is growing faster than Moores law, computation frameworks have resorted to massive parallelization of analytics jobs into many ne-grained tasks. These frameworks promised to provide efficient and fault-tolerant execution of these tasks. However, meeting this promise in clusters spanning hundreds of thousands of machines is challenging and a key departure from earlier work on parallel computing.
关键词：并行工作；数据密集型集群；优化
-
37037.超越深度学习：机器学习的可扩展方法与模型
[信息传输、软件和信息技术服务业] [2014-03-17]
In my thesis I explored several techniques to improve how to eciently model signal representations and learn useful information from them. The building block of my dissertation is based on machine learning approaches to classi cation, where a (typically non-linear) function is learned from labeled examples to map from signals to some useful information (e.g. an object class present an image, or a word present in an acoustic signal).
关键词：机器学习；深度学习；优化算法；递归神经网络
-
37038.离散和连续物理现象的建设性模型
[信息传输、软件和信息技术服务业] [2014-03-17]
This paper studies the semantics of models for discrete physical phenomena such as rigid body collisions and switching in electronic circuits. The paper combines generalized functions (specifically the Dirac delta function), superdense time, modal models, and constructive semantics to get a rich, flexible, efficient, and rigorous approach to modeling such systems.
关键词：模型建设；物理现象；语义模型
-
37039.GMS空白：农村移动电话服务的机遇
[信息传输、软件和信息技术服务业] [2014-03-17]
we argue that GSM whitespaces should be regulated for dynamic spectrum sharing, and that doing so will support the growth of community cellular networks and thereby improve rural access to communications services. We propose a hybrid sensing and database-driven spectrum sharing scheme called Nomadic GSM that provides safe coexistence between primary and secondary users without requiring coordination or cooperation from existing license holders.
关键词：GSM网络；移动电话服务；农村
-
37040.隧道场效应晶体管中势垒厚度调制的电导和亚阈值摆幅电压的基本权衡
[信息传输、软件和信息技术服务业] [2014-03-17]
There is a fundamental tradeoff between conductance and subthreshold swing voltage in tunnel field effect transistors that achieve a sharp turn off by modulating the tunnel barrier thickness.
关键词：隧道场效应晶体管；势垒厚度；亚阈值摆幅
027-87841330