-
1811.视觉识别和描述的长时反复卷积网络模型
[信息传输、软件和信息技术服务业] [2015-03-29]
We develop a novel recurrent convolutional architecture suitable for large-scale visual learning which is end-to-end trainable, and demonstrate the value of these models on benchmark video recognition tasks, image description and retrieval problems, and video narration challenges.
关键词：视觉识别；图像处理；深度学习；卷积神经网络
-
1812.计算内核能量消耗边界模型
[信息传输、软件和信息技术服务业] [2015-03-29]
This thesis extends previous research on communication bounds and computational kernels by presenting bounds on the energy consumption of a large class of algorithms. These bounds apply to sequential, distributed parallel and heterogeneous machine models and we detail methods to further extend these models to larger classes of machines. We argue that the energy consumption of computational kernels is usually predictable and can be modeled via linear models with a handful of terms. Thus, these energy models (and the accompanying bounds) may apply to many HPC applications when used in composition.
关键词：计算内核；能量消耗；高性能计算；算法
-
1813.托勒密编码风格
[信息传输、软件和信息技术服务业] [2015-03-29]
Collaborative software projects benefit when participants read code created by other participants. The objective of a coding style is to reduce the fatigue induced by unimportant formatting differences and differences in naming conventions. Although individual programmers will undoubtedly have preferences and habits that differ from the recommendations here, the benefits that flow from following these recommendations far outweigh the inconveniences. Published papers in journals are subject to similar stylistic and layout constraints, so such constraints are not new to the academic community. This document describes the coding style used in Ptolemy II, a package with 550K lines of Java and 160 contributing programmers that has been under development since 1996.
关键词：Ptolemy II；编码风格；Java
-
1814.纳米金刚石成像:方法与装置
[信息传输、软件和信息技术服务业] [2015-03-29]
By imaging the spatial distribution of the nanodiamonds with a nanodiamond imaging system, one can thus discern information pertaining to various biological processes. In this project report, we describe the methods and apparatus that constitute nanodiamond imaging, both in terms of the current embodiment as well as in terms of hypothetical approaches that would offer improved performance.
关键词：纳米材料；纳米金刚石；分子影像学
-
1815.MultiSE:应用值总结方法的多路径符号执行技术
[信息传输、软件和信息技术服务业] [2015-03-29]
In this paper, we propose MULTISE, a new technique for merging states incrementally during symbolic execution,without using auxiliary variables. The key idea of MULTISE is based on an alternative representation of the state, where we map each variable, including the program counter, to a set of guarded symbolic expressions called a value summary.
关键词：MultiSE；多路径；符号执行；值总结
-
1816.步态运动的混合动力系统理论
[信息传输、软件和信息技术服务业] [2015-03-29]
Beginning with a general class of hybrid control systems, we construct an intrinsic state-space metric and derive a provably-convergent numerical simulation algorithm. This resolves two longstanding problems in hybrid systems theory: non-trivial comparison of states from distinct discrete modes, and accurate simulation up to and including Zeno events.Finally, we show that the non-smooth flow resulting from arbitrary footfall timing possesses a non-classical (Bouligand) derivative.
关键词：步态运动；混合动力系统；模拟算法
-
1817.分布式非结构化环境中受驱动的移动传感研究与应用
[信息传输、软件和信息技术服务业] [2015-03-29]
This dissertation considers the design and implementation of the mobile sensor network system.Issues addressed include physical design,communication techniques for mobile sensor networks, control schemes for fleets of underactuated vehicles in unstructured flow environments, assimilation techniques for mobile Lagrangian data, and field experiments to validate and demonstrate the actuated mobile Lagrangian sensor concept.
关键词：移动传感网络；传感器；分布式；拉格朗日法
-
1818.低成本、大规模电子产品的高度规模化凹印有机薄膜晶体管设计
[信息传输、软件和信息技术服务业] [2015-03-29]
In this dissertation, we present a highly-scaled direct-gravure printing technique that allows sub-femtoliter scaling of printed inks, resulting in printed features as small as 4 μm while printed at high speed up to 1 m/s. Along with the demonstration, we discuss how accurate pattern generation in various printing systems can be achieved with the knowledge of using contact angle hysteresis.
关键词：晶体管；凹印；规模化；打印技术
-
1819.使用高对比度光栅的基于InP的长波长VCSEL设计
[信息传输、软件和信息技术服务业] [2015-03-29]
In this dissertation, I show how a high contrast grating can potentially solve several of the issues facing InP-based long wavelength VCSELs. The high contrast grating may be an important tool to achieving higher performance VCSELs, and VCSELs with features that enable new applications.
关键词：VCSEL；InP基；HCG；长波长激光器
-
1820.从基因组变异数据推断祖先的可扩展统计方法
[科学研究和技术服务业] [2015-03-29]
We develop a method using reversible jump MCMC to infer genome-wide variable recombination rates and apply it to data from two Drosophila melanogaster populations. In addition, we describe a particle filtering method to sample genealogies from the posterior distribution.
关键词：基因组；变异； 马尔科夫链蒙特卡罗；序贯重要性采样；粒子滤波
027-87841330