-
5461.基于模型的贝叶斯地震监测
[计算机、通信和其他电子设备制造业] [2013-11-15]
This thesis presents the underlying probabilistic model, the parameter estimation, and the inference algorithm of NET-VISA, Network Processing Vertically Integrated Seismic Analysis. NET-VISA is an Open Universe Probability Model (OUPM) for seismic events, the transmission of seismic waves through the earth, and their detection (or misdetection) at stations, as well as a model for spurious detections. The probabilistic model allows for seamless integration of various disparate sources of information. Applied in the context of the International Monitoring System (IMS), a global sensor network developed for the Comprehensive Nuclear-Test-Ban Treaty (CTBT), NET-VISA achieves a reduction of around 60% in the number of missed events compared to the currently deployed system. It also nds events that are missed by the human analysts who post-process the IMS output.
关键词：概率模型；参数估计；地震综合分析；国际监测系统（IMS）；传感器；网络开发
-
5462.从TPC-C到大数据基准：一种功能工作量模型
[信息传输、软件和信息技术服务业] [2013-11-15]
Big data systems help organizations store, manipulate, and derive value from vast amounts of data. Relational database and MapRe- duce are two, arguably competing implementations of such systems. In this position paper, we combine experiences from the TPC-C benchmark with emerging insights from MapReduce application domains to argue for using a model based on functions of abstraction to construct future benchmarks for big data systems.
关键词：大数据系统；TPC-C基准测试；COM器件
-
5463.多维可扩展的测试数据生成模型
[计算机、通信和其他电子设备制造业] [2013-11-15]
Multidimensional data models form the core of modern decision support software. Yet real multidimensional instances are often unavailable for testing and benchmarking, and existing data generators can only produce a limited class of such structures. In this paper, we present a new framework for scalable generation of test data from a rich class of multidimensional models. The framework provides a small,expressive language for specifying such models, and a novel solver for generating sample data from them.
关键词：多维数据模型；决策支持软件；测试数据
-
5464.Modelyze：一种基于嵌入方程建模语言的渐进类型的主机语言
[计算机、通信和其他电子设备制造业] [2013-11-15]
Equation-based modeling languages provide an effective means to simulate the physical part of a cyber-physical system. Such languages are complex domain-specific languages that enable model engineers, such as mechanical engineers, to declaratively model the dynamics of systems.We evaluate this approach by embedding a series of equation-based modeling languages in Modelyze and using them to develop models.
关键词：方程建模语言；网络物理系统；建模；仿真
-
5465.避免在连续带还原中的通信
[信息传输、软件和信息技术服务业] [2013-11-15]
The running time of an algorithm depends on both arithmetic and communication (i.e., data movement) costs, and the relative costs of communication are growing over time. In this work, we present sequential and parallel algorithms for tridiagonalizing a symmetric band matrix that asymptotically reduce communication compared to previous approaches. The tridiagonalization of a symmetric band matrix is a key kernel in solving the symmetric eigenvalue problem for both full and band matrices. In order to preserve sparsity, tridiagonalization routines use annihilate-and-chase procedures that previously have su ered from poor data locality. We improve data locality by reorganizing the computation and obtain asymptotic improvements. We consider the cases of computing eigenvalues only and of computing eigenvalues and all eigenvectors.
关键词：算法；通信；对称矩阵；并行算法
-
5466.完美强大的缩放不使用额外的能量
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2013-11-15]
Energy efficiency of computing devices has become a dominant area of research interest in recent years. Most of this work is focused on architectural techniques to improve power and energy efficiency; only a few consider saving energy at the algorithmic level. We prove that a region of perfect strong scaling in energy exists for matrix multiplication (classical and Strassen) and the direct (O(n2)) n-body problem via the use of 5D algorithms: This means that we can increase the number of processors by a constant factor, with the runtime (both computation and communication) decreasing by the same factor, and the total energy used remaining constant.
关键词：能量效率；计算设备；时间模型；能量模型；机器模型；5D算法
-
5467.分布式程序的聚集分析：一种模型理论方法
[信息传输、软件和信息技术服务业] [2013-11-15]
Building on recent interest in distributed logic programming, we take a model-theoretic approach to analyzing confluence of asynchronous distributed programs.We introduce DedalusS , a restriction of Dedalus that allows a kind of stratified negation, but retains the confluence of Dedalus+ and similarly captures PTIME.
关键词：分步式逻辑程序；模型理论；异步分布；PTIME
-
5468.寻找糖尿病管理的可扩展解决方案
[卫生和社会工作] [2013-11-15]
Each of our solutions has followed the mantra “mobile first.” With worldwide obile shipments outpacing those of PC’s, mobile devices have become a ubiquitous echnology and will give us a wide-reaching platform to reach diabetics around the world. In order to efficiently search the space of scalable diabetic solutions, my team adopted the Lean Startup approach of garnering information from customers and pivoting from one business idea to another. This paper details the technical challenges my group has faced and the solutions we’ve proposed to address them.
关键词：糖尿病管理；可扩展解决方案；移动设备
-
5469.立体主义女帽的结构
[纺织服装、服饰业] [2013-11-15]
In an effort to gain more insight into the geometry of this surface, various paper models have been constructed. The C2–symmetric, “cubist” version of an open-ended Girl cap, with polyhedral facets primarily parallel to three rectilinear coordinate planes, seems particularly well suited to gain full understanding of this intriguing surface.
关键词：女帽；纸模型；对称模型
-
5470.促进腿式机器人自动调谐的增强学习方法研究
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2013-11-15]
I worked on improving the walking speed and autonomous behaviour of OctoRoACH, an inexpensive and robust palm-sized eight legged robot developed by the Biomimetic Millisystems Lab, together with my capstone project members and advisors at UC Berkeley. Our results show that reinforcement learning algorithms is useful to improve the walking speed of existing search and rescue robots across different terrains and save more lives during disaster situations.
关键词：步行机；腿式机器人；自动调谐；增强学习算法；行走速度
027-87841330