高斯渐进贝叶斯滤波器

渐进贝叶斯方法将先验分布到后验分布的演化描述为一阶动态系统,通过在伪时间上连续地引入观测信息实现后验状态估计.该方法的一般形式解,即动态系统的时间导数,是难以得到的.本文提出一种高斯型渐进贝叶斯滤波器.首先在线性高斯条件下推导了时间导数的解析解;然后证明了在该条件下,由该解析解确定的一阶动态系统与常量状态估计的Kalman-Bucy滤波器是一致的,且由此导出的高斯渐进贝叶斯滤波器与卡尔曼滤波器是一致的.最后利用一阶Taylor展开推导了滤波器在非线性高斯条件下的近似解表达式,并采用Monte Carlo方法给出了具体实现方法.通过若干仿真算例表明,新滤波器具有较高的精度,且在一定精度条件下的时间复杂度低于一般粒子滤波器.     

GPU加速在第一性原理输运研究中的应用

分子器件中的第一性原理输运计算比普通的密度泛函计算要慢很多,其最根本原因在于密度矩阵计算方法的不同。本文将 GPU 加速应用于第一性原理的输运计算,重点实现相关矩阵运算的加速。测试结果表明,在单次迭代中,对于较大的体系,相对于调用 MKL 库,密度矩阵的运算速度在单个 Tesla M2090 可以提高一个数量级以上,在 Tesla K20m 上则可以提高 20 倍以上,从而取得了很好的加速效果,而且体系越大,加速效果越好。     

Research Partners,Teaching Partners: A Collaboration between FYC Faculty and Librarians to Study Students’ Research and Writing Habits

In Spring 2012, instruction librarians collaborated with first year composition (FYC) faculty to study students’ research habits as they related to writing. We collected process narratives from students in the introductory FYC course at the beginning and end of the fall semester, and a group of librarians and FYC faculty coded them together. Although we did not achieve one of our initial research goals, we still gained valuable insight into how our students perceive sources and the research process. We applied what we learned to create new instructional materials and developed a valuable relationship with FYC faculty.     

钢木结构组合模板在双岭电站流道施工中的应用

结合双岭电站流道施工难度较大的实际情况,介绍翻转式钢木组合模板在水电站流道施工中的应用,重点介绍该模板的设计思路及安装要点.实践证明,该模板既节约材料又缩短工期,效果显著.     

黄河黑山峡不同开发方案对鱼类的影响

针对黄河黑山峡不同开发方案,已开展了大量的研究和论证工作,在前人研究基础上,采用类比分析方法,根据黄河上游已建水利工程对鱼类的影响,结合黑山峡河段的鱼类现状,分析不同开发方案对鱼类的影响,并分别提出保护对策措施和建议.     

大型抽水蓄能电站首机首次启动试验方式选择研究——水泵工况启动试验方式关注的主要技术问题

对大型抽水蓄能电站首机首次水泵工况启动试验方式关注的主要技术问题,重点研究了9个技术难点和特点问题,提出分析意见和风险性评估。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

无码间串扰传输特性动态仿真分析与研究

码间串扰和信道噪声是影响基带传输系统性能的两个主要因素。因此,如何消除它们的影响,使系统的误码率达到规定的要求是数字基带系统中必须研究的两个问题。奈奎斯特第一准则为消除码间串扰奠定了理论基础。本文将以此为依据,通过使用Systemview和MATLAB软件实现对基带传输系统的仿真,并根据所得图形从消除码间串扰的角度来定性地分析无码间串扰系统函数的传输特性。实验中所得结果将对我们的理解和实践均有一定的指导作用。     

基于EMS系统的低频减载实时计算的实现

目前电网调度生产中尚不能实现低频减载的在线实时监测,调度无法及时掌握低频减载控制负荷,给电网的安全稳定运行造成一定的安全隐患。为解决该问题,在EMS系统中开发了基于设备的动态拓扑功能,利用广度优先算法将末端设备的负荷动态拓扑到需统计的单位母线上,从而实时显示每条母线8轮低频减载值,再利用E语言文件将计算好的值传给上一级单位进行更高电压等级母线的实时统计。