-
37061.片上网络中服务质量的形式验证与合成
[信息传输、软件和信息技术服务业] [2014-03-13]
This dissertation presents my recent work toward leveraging formal methods for NoC design and QoS verification.In particular, it addresses the problems of (1) verifying end-to-end latency bounds in a mesh network using abstraction; (2) scalable latency verification using compositional inductive proofs; and(3) optimal buffer sizing based on bounded model checking.
关键词：片上网络；服务质量；形式验证；服务质量合成
-
37062.亚太报告——IT技术（2013年12月）
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2014-03-13]
The Asia-Pacific ICT sector slowed over the six months under review, hampered by sluggish growth in China and India. Emerging countries such as Malaysia, Vietnam, Indonesia and the Philippines spent more on ICT, with governments budgeting to further develop high-tech ICT infrastructure. The ten leading Asian IT stocks were mixed over the six months to October 25, 2013, but most of them performed poorly, declining by an average 5.8%. Although Lenovo remained in a virtual tie for the top position in PC market, it shifted its “attack market” to mobile devices, which contributed to a significant portion of total revenues.Asia-Pacific merger and acquisition activity was low in both volume and value over the past six months, but the long-term outlook remains strong thanks to ongoing technology innovation.
关键词：ICT；IT技术；移动设备；智能手机
-
37063.脑机接口控制中神经活动的变化：从信息编码和局部场电位连接方面分析
[信息传输、软件和信息技术服务业] [2014-03-13]
This thesis explores differences at the neuronal level between BMI operation and natural reaching.And in the end describes our progress in building an adaptive BMI system that takes into account the changes in neural activity that occurs in closed-loop, as well as our efforts in improving the long-term reliability of the system.
关键词：脑机接口；神经活动；信息编码；局部场电位
-
37064.利用高层抽象调度和优化多核机器的流程序
[信息传输、软件和信息技术服务业] [2014-03-13]
The first part of this thesis focuses on improving energy consumption of stream applications on multicore machines by exploiting the modularity and the static properties of Synchronous Dataflow (SDF). In the second part of this thesis, we focus on those compilation issues of stream programs.
关键词：高层抽象；多核机器；流程序；同步数据流；调度
-
37065.为认知无线电灵巧规则建立信任模型
[信息传输、软件和信息技术服务业] [2014-03-13]
This thesis introduces an incentive-based trust model to let wireless spectrum regulation embrace diverse current and future means of implementing cognitive radio.
关键词：认知无线电；信任模型；灵巧规则
-
37066.室内环境相机姿态噪声的纹理映射三维模型
[信息传输、软件和信息技术服务业] [2014-03-13]
We present a method for texture mapping models of indoor environments that starts by selecting images whose camera poses are well-aligned in two dimensions. We then align images to geometry as well as to each other, producing visually consistent textures even in the presence of inaccurate surface geometry and noisy camera poses. Images are then composited into a final texture mosaic and projected onto surface geometry for visualization.
关键词：纹理映射；重建；图像拼接；拼接
-
37067.画图工具Graphviz的使用说明
[信息传输、软件和信息技术服务业] [2014-03-13]
We present several algorithms to draw several of the most common types of graphs. We will provide instruction in the use of Graphviz, a popular open-source graph drawing package developed at AT&T Labs, to execute these algorithms. All figures shown herein were generated with Graphviz.
关键词：图形绘制算法；可视化；绘图软件；应力优化
-
37068.通信网络的现代低复杂度可容代码
[信息传输、软件和信息技术服务业] [2014-03-13]
The focus of this thesis is the design of capacity-achieving network codes realizable by modern signal processing circuits.
关键词：通信网络；低复杂度；可容；代码；编程
-
37069.通过基因组数据变化研究人口推理方面的统计、算法和稳固性
[信息传输、软件和信息技术服务业] [2014-03-13]
We consider some statistical, algorithmic and robustness aspects of demographic inference from genomic variation data. In particular, we study the problem of determining the historical e ective size of a population from the sample frequency spectrum (SFS), which measures the distribution of allele frequencies in a sample of sequences drawn from the population.
关键词：人口推理；人口学；基因组；统计
-
37070.用高窄正交三角矩阵分解法重构householder矢量
[信息传输、软件和信息技术服务业] [2014-03-13]
We show how to perform TSQR and then reconstruct the Householder vector representation with the same asymptotic communication e_ciency and little extra computational cost. We demonstrate the high performance and numerical stability of this algorithm both theoretically and empirically. The new Householder reconstruction algorithm allows us to design more e_cient parallel QR algorithms, with signi_cantly lower latency cost compared to Householder QR and lower bandwidth and latency costs compared with Communication-Avoiding QR (CAQR) algorithm. As a result, our _nal parallel QR algorithm outperforms ScaLAPACK and Elemental implementations of Householder QR and our implementation of CAQR on the Hopper Cray XE6 NERSC system.
关键词：正交三角矩阵分解；高窄正交三角矩阵分解；householder矢量；householder-QR分解；算法性能成本模型
027-87841330