-
4211.多视图建模的基本问题
[信息传输、软件和信息技术服务业] [2014-03-17]
In this paper we formulate this and other basic problems in multi-view modeling within an abstract formal framework. We then instantiate this framework in a discrete, nite-state system setting, and study how some key verification and synthesis problems can be solved in that setting.
关键词：多视图建模；离散系统；规范化
-
4212.有读取噪音的鸟枪法测序中的近优装配
[信息传输、软件和信息技术服务业] [2014-03-17]
In this work, we show that even when there is noise in the reads, one can successfully reconstruct with information requirements close to the noiseless fundamental limit. A new assembler, X-phased Multibridging, is designed based on a probabilistic model of the genome. It is shown through analysis to perform well on the model, and through simulations to perform well on real genomes.
关键词：从头序列组装；基因组加工；新兴测序技术的方法
-
4213.主成分分析及回归的降维模型
[信息传输、软件和信息技术服务业] [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.
关键词：主成分分析；块坐标下降法；降维模型；集对分析；表面等离子体共振
-
4214.一种大型集群中快速和通用的数据处理的体系结构
[信息传输、软件和信息技术服务业] [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.
关键词：大型集群；体系结构；弹性分布式数据集；数据处理
-
4215.社交网络垃圾邮件与滥用的地下经济角色
[信息传输、软件和信息技术服务业] [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
-
4216.高通：物联网中简单安全的无线局域网配置
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [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.
关键词：无线局域网；接入点；图像处理；物联网
-
4217.软件工程课程技术传递：大型开放式网络课程（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.
关键词：软件工程课程；大型开发式网络课堂；小型私人在线课程
-
4218.人类驾驶行为的数据驱动概率建模与验证
[信息传输、软件和信息技术服务业] [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.
关键词：驾驶员模型；驾驶行为；随机模型；复杂操作模型；形式化验证
-
4219.混合翼中心部位测试分析
[铁路、船舶、航空航天和其他运输设备制造业] [2014-03-15]
The hybrid wing body center section test article is an all-composite structure made of crown, floor, keel, bulkhead, and rib panels utilizing the Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) design concept. The primary goal of this test article is to prove that PRSEUS components are capable of carrying combined loads that are representative of a hybrid wing body pressure cabin design regime.
关键词：飞机设计；结构稳定性；失效模式；舱壁；数学模型
-
4220.利用确定性初始来源促进蒙特卡罗临界计算
[信息传输、软件和信息技术服务业] [2014-03-15]
A new automatic approach that uses approximate deterministic solutions for providing the starting fission source for Monte Carlo eigenvalue calculations was evaluated in this analysis. By accelerating the Monte Carlo source convergence and decreasing the number of cycles that has to be skipped before the tallies’ estimation, this approach was found to increase the efficiency of the overall simulation, even with the inclusion of the extra computational time required by the deterministic calculation.
关键词：蒙特卡洛临界；源融合；混合蒙特卡洛；确定性
027-87841330