-
37021.一种大型集群中快速和通用的数据处理的体系结构
[信息传输、软件和信息技术服务业] [2014-03-17]
This dissertation proposes an architecture for cluster computing systems that can tackle emerging data processing workloads while coping with larger and larger scales.
关键词：大型集群；体系结构；弹性分布式数据集；数据处理
-
37022.社交网络垃圾邮件与滥用的地下经济角色
[信息传输、软件和信息技术服务业] [2014-03-17]
In this dissertation, we empirically analyze in both breadth and depth the range of threats currently targeting online social networks through the lens of Twitter. We map out the support infrastructure that is critical to online social network abuse, characterize the tools and techniques used to disseminate malignant content, and evaluate how such attacks ultimately realize a pro t for the attackers involved. To aid in this e ort, we develop two new strategies for preventing abuse in social networks.
关键词：社交网络；垃圾邮件检测；地下经济；Twitter
-
37023.主成分分析及回归的降维模型
[信息传输、软件和信息技术服务业] [2014-03-17]
In the first part of this thesis, we examine the Robust Principal Components Analysis (RPCA) problem: given a matrix X that is the sum of a low-rank matrix L* and a sparse noise matrix S*, recover L* and S*. We introduce a block coordinate descent algorithm for this problem and prove a convergence result. In addition, our iterative algorithm has low complexity per iteration and empirically performs well on synthetic datasets. In the second part of this thesis, we examine a variant of ridge regression: unlike in the classical setting where we know that the parameter of interest lies near a single point, we instead only know that it lies near a known low-dimensional subspace. We formulate this regression problem as a convex optimization problem, and introduce an efficient block coordinate descent algorithm for solving it.
关键词：主成分分析；块坐标下降法；降维模型；集对分析；表面等离子体共振
-
37024.高通：物联网中简单安全的无线局域网配置
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2014-03-17]
This paper proposed to introduce a new Wi-Fi configuration method depending on WPS protocol to simplify the connection process and improve the security level. The fundamental concept of configuration approach is using smartphone as the intermedia to connect Internet of Things and Access point (AP). The PIN number is dynamically displaying by external source, then the PIN information would by captured by smartphone to process the Wi-Fi configuration. The whole IoT device Wi-Fi setup depending on WPS would compress the configuration time from average 5 minutes to several seconds, which is drastically reduced complexity.
关键词：无线局域网；接入点；图像处理；物联网
-
37025.人类驾驶行为的数据驱动概率建模与验证
[信息传输、软件和信息技术服务业] [2014-03-17]
We address the problem of formally verifying quantitative properties of driver models. We first propose a novel stochastic model of the driver behavior based on Convex Markov Chains, i.e., Markov chains in which the transition probabilities are only known to lie in convex uncertainty sets. This formalism captures the intrinsic uncertainty in estimating transition probabilities starting from experimentally-collected data. We then formally verify properties of the model expressed in probabilistic computation tree logic (PCTL). Results show that our approach can correctly predict quantitative information about driver behavior depending on his/her state, e.g., whether he or she is attentive or distracted.
关键词：驾驶员模型；驾驶行为；随机模型；复杂操作模型；形式化验证
-
37026.软件工程课程技术传递：大型开放式网络课程（MOOCs）和小型私人在线课程（SPOCs）启示
[信息传输、软件和信息技术服务业] [2014-03-17]
This paper describes our experience in trying to transfer our revised software engineering curriculum from UC Berkeley to other universities. We were in the first wave of Massive Open Online Course (MOOCs), and this paper lists the lessons learned about educational technology transfer from developing MOOCs. To make it easier for instructors to use MOOC material, EdX offers Small Private Online Course (SPOCs), a term that we coined.
关键词：软件工程课程；大型开发式网络课堂；小型私人在线课程
-
37027.线性信号的广义超度量半格研究
[信息传输、软件和信息技术服务业] [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.
关键词：线性信号；广义超度量；半格
-
37028.铁电薄膜设备的动态切换——相场的大规模并行研究
[信息传输、软件和信息技术服务业] [2014-03-17]
In this thesis, we investigate the switching dynamics in thin lm ferroelectrics.
关键词：铁电薄膜；动态切换；相场；大规模并行
-
37029.线性代数并行计算中同时性、通信和工作量的权衡
[信息传输、软件和信息技术服务业] [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.
关键词：并行计算；线性代数；同步化；通信
-
37030.混合天线与陆地移动对鸟类飞行演化的启示
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [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模型
027-87841330