-
5261.合成可人为干涉的控制系统
[计算机、通信和其他电子设备制造业,汽车制造业] [2013-11-24]
In this paper, we present a formalism for human-in-the-loop control systems.Particularly, we focus on the problem of synthesizing a semi-autonomous controller from high-level temporal specifications that expect occasional human intervention for correct operation. We present an algorithm for this problem, and demonstrate its operation on problems related to driver assistance in automobiles.
关键词：人为干涉控制系统；半自治控制器；汽车驾驶员
-
5262.StreaMorph:综合节能自适应程序使用高层抽象的实例
[信息传输、软件和信息技术服务业] [2013-11-23]
This paper presents the concept of adaptive programs, whose computation and communication structures can morph to adapt to environmental and demand changes to save energy and computing resources.In this approach, programmers write one single program using a language at a higher level of abstraction.The compiler will exploit the properties of the abstractions to generate an adaptive program that is able to adjust computation and communication structures to environmental and demand changes.
关键词：自适应程序；编译器；计算和通信结构
-
5263.集成的核能发电项目
[电力、热力、燃气及水生产和供应业] [2013-11-23]
The development of nuclear energy technologies involves multiple research fields, including reactor design and licensing issues. In the modern world, interests had increased in methods to integrate nuclear reactors with other applications such as renewable energy, desalination and low-carbon electricity sources into the grid. In addition to nuclear energy itself, there are technical challenges and business contexts we need to take into consideration. Usually, traditional nuclear reactors are limited to base load electricity generation. In our project, the pebble-bed fluoride-salt high-temperature reactor (PB-FHR) could have the flexibility to meet both the base load and peak load.
关键词：核能技术；核反应堆；负荷
-
5264.从泊松到硅——推进紧凑香料为IC设计模型
[计算机、通信和其他电子设备制造业] [2013-11-23]
The semiconductor industry has relied on accurate device models for analyzing, predicting and innovating integrated circuit design.
Multi-gate MOSFET device architectures like FinFETs are beginning to replace their planar MOSFET counterparts at the 22 nm technology node to enable continued technology scaling. Vertical cylindrical gate (CG) MOSFET are touted to replace planar MOSFETs as the memory device for DRAM and NAND Flash offering increased area density.
关键词：半导体工业；集成电路设计；多金属氧化物；半导体场效应；晶体管器件
-
5265.设计灵活的合作MIMO软输出MIMO探测器
[计算机、通信和其他电子设备制造业] [2013-11-23]
The motivation for this work is to show a practical demonstration of the cooperation betweenterminals on the user side of a wireless network. The simplest setup is described - the system weconsider has one antenna at the source, one antenna at the relay and two antennas at the destination.
关键词：无线网络；协作MIMO；MIMO探测器；继电器；天线
-
5266.纳米材料对大规模灵活/可伸缩元件的处理
[计算机、通信和其他电子设备制造业] [2013-11-23]
In this thesis, a promising approach using chemically synthesized nanomaterials is explored to overcome various obstacles current technology faces in this field. Here, we use chemically synthesized semiconducting nanowires (NWs) including group IV (Si, Ge), III-V (InAs) and II-IV (CdS, CdSe) NWs, and semiconductor-enriched SWNTs (99 % purity), and developed reliable, controllable, and more importantly uniform assembly methods on 4-inch wafer-scale flexible substrates in the form of either parallel NW arrays or SWNT random networks, which act as the active components in thin film transistors (TFTs).
关键词：纳米材料；大型机械柔性电子元件；平板显示器；化学合成半导体纳米线(NWs)；薄膜晶体
-
5267.有效的学习算法与有限的信息
[信息传输、软件和信息技术服务业] [2013-11-23]
The thesis explores efficient learning algorithms in settings which are more restrictive thanthe PAC model of learning in one of the following two senses: (i) The learning algorithmhas a very weak access to the unknown function, as in, it does not get labeled samples for theunknown function (ii) The error guarantee required from the hypothesis is more stringent than the PAC model.
关键词：PAC学习模型；CNFs；参数f
-
5268.实时离散事件系统的调度性分析和验证
[信息传输、软件和信息技术服务业] [2013-11-23]
In spite of the significance of time in the dynamicsof the physical world, real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. PTIDES (Programming Temporally Integrated Distributed Embedded Systems) is a programming model whose goal is to addressthis problem.It proposes a model-based design approach for the programming of distributed real-time embedded systems, in which the timing of real-time operations is specified as part of the model.
关键词：实时离散事件系统；实时操作；实时嵌入式软件
-
5269.利用可再生能源的电力系统的优化与控制：电压调节和发电机调度
[电力、热力、燃气及水生产和供应业,信息传输、软件和信息技术服务业] [2013-11-23]
The electric power system is undergoing dramatic transformations due to the emergence of renewable resources. However, integrating these resources into the electric grid has proven to be difficult for two main reasons: these resources are uncertain and distributed. This thesis discusses how uncertainty and distributedness of the new resources are manifested as challenges in time and spatial scales, and how we can optimally control the power grid to overcome these challenges.
关键词：电力系统；可再生资源；分布性
-
5270.卵石游戏和复杂性
[信息传输、软件和信息技术服务业] [2013-11-23]
We study the connection between pebble games and complexity. First, we derive complexity results using pebble games. Second, the pebble costs are applied to proof complexity. Finally, we study the space complexity of computing the pebble costs and of computing the minimum depth of resolution refutations.
关键词：卵石游戏；复杂性；联系
027-87841330