-
37051.量子搜索算法研究——专家算法与几何参数
[信息传输、软件和信息技术服务业] [2014-03-14]
We introduce the new framework of natural continuous time quantum search algorithms, that in contrast to the adiabatic quantum algorithms, require neither the ground state initialization nor the adiabatic change of the Hamiltonian parameters. We derive a slightly more general bound for the cumulative matrix multiplicative weights algorithm and introduce the first iterative matrix multiplicative weights algorithm with the same small performance regret. Furthermore, we address the following question:”what is the minimal size quantum circuit required to exactly implement a specifiednqubit unitary operationU, without the use of ancillaqubits?” finally we investigate then-dimensional hypercube quantum random walk(QRW) as a particularly appealing example of a quantum walk because it has a natural implementation on a register onnqubits.
关键词：量子搜索；专家算法；几何算法；矩阵多乘加权算法；量子线路；量子随机行走；非零和博弈
-
37052.可持续的智慧城市发展模式
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2014-03-14]
智慧城市是指以“强政、兴业、惠民、绿色”为目标，创新应用新一代信息技术和泛在宽带安全的信息基础设施，将城市中的信息化资源和系统有效整合，达到人与城市功能系统以及城市客观环境全场信息交流、智能响应、和谐共生的境界，构建具有可持续内生动力的绿色城市新形态。因此，智慧城市模型应该是“多维的，涵盖城市不同方面的智慧，并强调跨多个域的融合和互动的重要性”。
关键词：智慧城市；产业链；硬件；软件
-
37053.智能电网环境下的节能建筑控制：一种网络物理系统方法（CPS）
[信息传输、软件和信息技术服务业,建筑业] [2014-03-14]
We present a physics-based mathematical model of thermal behavior of buildings,along with a novel Parameter Adaptive Building (PAB) model framework to update the model parameters.We then address the "Cyber-Physical" aspect of a building HVAC system in the design flow.The last part of this dissertation is centered on the role of smart buildings in the context of the smart grid.
关键词：智能电路；节能建筑；信息物理系统
-
37054.一阶开宇宙部分可观察马尔可夫决策过程：公式和算法
[信息传输、软件和信息技术服务业] [2014-03-14]
We examine the problem of extending a first-order, open-universe language to describe POMDPs and identify non-trivial representational issues in describing an agent’s capability for observation and action—issues that were avoided in previous work only by making strong and restrictive assumptions.
关键词：一阶概率模型；部分可观察马尔科夫决策过程；开宇宙
-
37055.ThreeFingeredJack：高效寻址平台多样性
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2014-03-13]
Proposal a tool flow that enables a programmer to describe key applications kernels from a high-level description and then generate highly efficient software and hardware solutions from that description. Demonstrate of the effectiveness of our approach to hardware and software code-design by an in-depth case study in large vocabulary continuous speech recognition. Specifically, our results show an energy savings of 3.6×over that of a conventional mobile processor and 2.4×over that of a highly-optimized vector processor.
关键词：Python；循环依赖；实施平台；应用程序；硬件；软件
-
37056.音乐即兴创作控制的应用
[信息传输、软件和信息技术服务业] [2014-03-13]
Our approach can be decomposed roughly into two phases: a generalization phase, that learns from a training sequence an automaton generating similar sequences, and a supervision phase that enforces a speci_cation on the generated sequence, imposing constraints on the music in both the pitch and rhythmic domains. The supervision uses a measure adapted from Normalized Compression Distances (NCD) to estimate the divergence between generated melodies and the training melody and employs strategies to bound this divergence. An empirical evaluation is presented on a sample set of Jazz music.
关键词：即兴创作；即兴创作控制；安全监控；差异监控；爵士乐
-
37057.高通量测序实验的模糊片段分配方法
[信息传输、软件和信息技术服务业] [2014-03-13]
we present our model for ambiguous fragment assignment for RNA-Seq, which includes the most comprehensive set of parameters of any model introduced to date, as well as various methods we have explored for scaling our optimization procedure. These methods include the use of an online EM algorithm and a distributed EM solution implemented on the Spark cluster computing system. Our advances have resulted in the first efficient solution to the problem of fragment assignment in sequencing.
关键词：片段分配；RNA-Sq测序；高通量测序实验；表达生成模型；期望最大化算法
-
37058.远程管理应用中的用户隐私保护
[信息传输、软件和信息技术服务业] [2014-03-13]
This thesis presents an end-to-end system architecture for online services to provide it's users with a "privacy guarantee". The privacy guarantee as described in this thesis relates to the technological enforcement of the user's privacy policies by these online applications that are otherwise untrusted by the user.
关键词：远程管理；用户隐私；隐私保护
-
37059.为规避大规模停电的网络设计
[信息传输、软件和信息技术服务业] [2014-03-13]
We argue the wireless mesh networks are poorly equipped to serve as a meaningful countermeasure against largescale blackouts due to their intrinsically poor scaling properties and projects in this space must consider safety of both users and network operators as a first-order design priority. From these two insights, we frame a definition of dissent networks to capture the essential requirements for blackout circumvention solutions.
关键词：大规模停电；网络设计；解决方案
-
37060.超越安全属性的可缩放模型检测——一种通信网络视角
[信息传输、软件和信息技术服务业] [2014-03-13]
This dissertation offers new capabilities of bit-level liveness verification in general and an in-depth formal analysis of communication fabrics with the objective of their scalable bit-level response verification. We show that the operations of industrially relevant hardware systems (communication fabrics in our case studies) can naturally give rise to a well-founded ordering in their state spaces. We provide an algebraic analysis of a set of industrially relevant communication fabrics. The analysis offers a rigorous mathematical justification of the Chatterjee-Kishinevsky invariants and their connection to the underlying network topology.
关键词：可缩放模型；模型检测；安全性；活性
027-87841330