嵌入式大气数据系统Kriging算法模型

基于Kriging算法提出了一种嵌入式大气数据系统的计算模型.该模型以测压点压强为输入,攻角、偏航角和Ma等大气参数为输出.采用Kriging插值方法,建立了输入与输出间的映射关系,从而避免了迭代类方法反复迭代的过程,实现了高实时性.分别比较了取三、四和五个测压点时,以及取不同位置处测压点时,计算大气数据的精度.通过与神经网络模型比较,Kriging模型的精度明显优于神经网络模型.     

渭河干流关中段季节性水环境容量研究

针对季节性河流流量具有周期性变化的特点,采用季节性污水排放计划(SDP)的季节划分方法,提出季节性河流水环境容量计算方法。以渭河干流关中段为例,将一年划分为旱雨两季,利用一维水质模型计算8个季节划分方案和1个对照方案在50%、75%和90%保证率下的水环境容量。研究结果表明:在相同保证率下,分季节计算的渭河干流关中段COD和NH3-N环境容量分别是传统环境容量计算方法的1.17~1.59倍和1.25~1.79倍,表明分季节计算的河流水环境容量明显大于以年为单位计算的河流水环境容量。     

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.     

近100多年来香港和澳门气温时序变化特征及其与ENSO的关联性

基于近 100 多年来的均一化气温数据,从趋势变化、季节差异、突变特征、周期振荡方面诊断香港和澳门的气温变化特征。结果表明: ( 1) 港澳年平均气温和不同季节气温在近 100 多年来均呈显著增加趋势,其中春冬季节增加速率较大,夏秋季节增加速率较小。除秋冬季节外,其它时间上的香港气温增加趋势均大于澳门。港澳夏冬季节气温差异均呈减少趋势。( 2) 香港和澳门年平均气温分别于 1963 年和 1991 年发生突变。在季节上,港澳地区的气温突变均在秋季发生年份最晚,冬季次之,夏季再次之,春季最早。( 3) 香港年平均气温分别存在 3 a、7 a、15 a 和 30 a、60 a 和 120 a 的周期振荡特征。澳门年平均气温存在 3 a、6 a、12 a、24 a 和 48 a 左右的周期振荡特征。( 4) ENSO 与香港年平均气温在 4 a 以下尺度以同位相或提前 1 a 位相变化关系为主,在 4 a 以上尺度以同位相变化关系为主。ENSO 与澳门年平均气温在不同时频域均以同位相变化关系为主。     

季节性冻土对风电场杆塔基础稳定性影响研究

本文分析了风电场架空输电线路的特点以及季节性冻土对线路基础的危害,并结合风电场中35 kV直流输电线路杆塔基础的稳定进行分析.计算结果表明,在季节性冻土地区,特别是对冻深较大的地区,在基础埋深达到要求的同时,切向冻胀力也会对基础的稳定造成不利影响.因此,对季节性冻土地区的输电线路基础工程除按一般地区的要求进行设计施工外...     

淮安市地表水水质变化趋势分析

应用季节性kendall检验法,对2000—2009年淮安市主要水系河流的地表水水质指标变化趋势进行分析评价。结果表明:随着近年来淮河流域水污染防治力度的加大,以及对洪泽湖作为南水北调东线工程输水主干线自身的治理,淮安市境内的主要河流湖泊总体水质略有好转,由于淮河入海水道水功能区划的调整,入海水道总体水质有所下降,而洪泽湖水体TP含量呈逐年上升趋势,其他水体水质总体变化不大。     

半干旱区季节性水源实时调度模型

漳卫南水系地处海河流域南沿,大部分属于半干旱半湿润地区,下游区年产流深仅数十毫米,使得季节性洪水资源利用的意义尤为突出,采用模型计算分析,可模拟季节性各种洪水资源利用方案的利用效率,通过比选便于制定合理的利用方案。根据漳卫南运河中下游水文气象特征,建立实时调度数学模型,并对所采用的数学模型方法及模型河网中的各类节点处理方法进行介绍,该模型可用于汛期实时调度,能为合理蓄存洪水资源提供辅助决策支持。     

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

对大型抽水蓄能电站首机首次水泵工况启动试验方式关注的主要技术问题,重点研究了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).