-
4191.无线电动态称重：利用道路振动估算卡车重量
[电气机械和器材制造业] [2014-03-18]
We present energy-ecient algorithms for three such applications: automatic vehicle classi cation for categorizing each passing vehicle based on its axle count and inter-axle spacings; weigh-in-motion for estimating individual axle weight and total weight of trucks while they are traveling at normal speeds; and estimating pavement displacement from measured acceleration.
关键词：无线电；无线传感网络；动态称重；信号处理；传感器；道路振动
-
4192.推理模型和错误发现的技术研究
[信息传输、软件和信息技术服务业] [2014-03-18]
In this thesis, we explore two directions towards solving the problemof finding bugs in networkbased applications.
关键词：推理模型；错误发现；符号分析
-
4193.近确定性系统中的高效推理算法
[信息传输、软件和信息技术服务业] [2014-03-18]
This thesis addresses the problem of performing probabilistic inference in stochastic systems where the probability mass is far from uniformly distributed among all possible outcomes.
关键词：随机系统；推理算法；动态贝叶斯网络
-
4194.数据密集型集群中并行工作表现的优化
[信息传输、软件和信息技术服务业] [2014-03-17]
To cope with the deluge in data that is growing faster than Moores law, computation frameworks have resorted to massive parallelization of analytics jobs into many ne-grained tasks. These frameworks promised to provide efficient and fault-tolerant execution of these tasks. However, meeting this promise in clusters spanning hundreds of thousands of machines is challenging and a key departure from earlier work on parallel computing.
关键词：并行工作；数据密集型集群；优化
-
4195.隧道场效应晶体管中势垒厚度调制的电导和亚阈值摆幅电压的基本权衡
[信息传输、软件和信息技术服务业] [2014-03-17]
There is a fundamental tradeoff between conductance and subthreshold swing voltage in tunnel field effect transistors that achieve a sharp turn off by modulating the tunnel barrier thickness.
关键词：隧道场效应晶体管；势垒厚度；亚阈值摆幅
-
4196.GMS空白：农村移动电话服务的机遇
[信息传输、软件和信息技术服务业] [2014-03-17]
we argue that GSM whitespaces should be regulated for dynamic spectrum sharing, and that doing so will support the growth of community cellular networks and thereby improve rural access to communications services. We propose a hybrid sensing and database-driven spectrum sharing scheme called Nomadic GSM that provides safe coexistence between primary and secondary users without requiring coordination or cooperation from existing license holders.
关键词：GSM网络；移动电话服务；农村
-
4197.健壮的合成策略在概率系统中可再生能源价格风险限制的应用
[信息传输、软件和信息技术服务业] [2014-03-17]
The use of economic incentives has been proposed to manage user demand in smart grids that integrate renewable sources of energy to compensate for the intrinsic uncertainty in the prediction of the supply generation.We address the problem of synthesizing optimal energy pricing strategies, while quantitatively constraining the risk due to uncertainty for the network operator and guaranteeing quality-of-service for the users.
关键词：合成策略；可再生能源价格；马尔可夫决策过程
-
4198.离散和连续物理现象的建设性模型
[信息传输、软件和信息技术服务业] [2014-03-17]
This paper studies the semantics of models for discrete physical phenomena such as rigid body collisions and switching in electronic circuits. The paper combines generalized functions (specifically the Dirac delta function), superdense time, modal models, and constructive semantics to get a rich, flexible, efficient, and rigorous approach to modeling such systems.
关键词：模型建设；物理现象；语义模型
-
4199.超越深度学习：机器学习的可扩展方法与模型
[信息传输、软件和信息技术服务业] [2014-03-17]
In my thesis I explored several techniques to improve how to eciently model signal representations and learn useful information from them. The building block of my dissertation is based on machine learning approaches to classi cation, where a (typically non-linear) function is learned from labeled examples to map from signals to some useful information (e.g. an object class present an image, or a word present in an acoustic signal).
关键词：机器学习；深度学习；优化算法；递归神经网络
-
4200.建筑管理系统的传感器数据处理与校验平台体系结构设计
[信息传输、软件和信息技术服务业,建筑业] [2014-03-17]
This thesis examines the state of the art of building information systems and evaluates their architecture in the context of emerging technologies and applications for deep analysis of the built environment. Our system, StreamFS, embodies these system properties through a filesystem abstraction and a set of data services. Data services are made available to applications through an overloaded pipe abstraction. This allows for dataflow specification of processing streams to clean and analyze the streaming sensor data.
关键词：BMS；建成环境；数据集成；平台设计
027-87841330