1951—2014年淮河流域降水量时空变化特征

以1951—2014年淮河流域29个站点月降水量数据为研究对象,运用线性趋势、累积距平、小波分析及空间分析等方法,分析了降水量时间和空间变化特征.结果表明:(1)1951—2014年,年、春、夏和秋季降水量呈不显著减少趋势,冬季降水量则具有不显著增加趋势.(2)春、秋和冬季易发生旱涝灾害,夏季降水量变化控制年降水量变化.(3)年降水量具有准2a和6a振荡周期.(4)东南部年和四季降水量多于西北部,这与我国年和四季降水量分布模式一致.(5)空间上,年和四季降水量变率中,年和夏季最大,降水量减少区域呈半环状包围降水量增加区域;整个流域冬季降水量几乎没有变化.     

城市轨道交通网络时变路径搜索算法

为求解时变路径搜索问题,设计并实现了城市轨道交通大规模网络条件下的时变k短路径搜索算法.算法可分为两部分:首先基于深度优先的边删除法搜索网络的静态k短路径,然后将静态k短路径按照列车到发时刻进行扩展并排序获得时变k短路径.将算法应用于北京地铁网络路径搜索实例中,通过与既有算法对比,证明本文算法具有较优的效率,并能够获取基于列车时刻表的有效的时变k短路径集,为城市轨道交通网络路径搜索和管理提供辅助技术支持.     

基于回溯的移动对象时序轨迹在线化简方法

针对从移动端采集到的移动对象原始轨迹序列的化简,定义了一种回溯化简框架,通过线性预测来控制化简的时机,对当前时刻到回溯的历史轨迹的起始时刻之间的原始轨迹进行离线化简,化简采用时态距离作为误差度量方法.在回溯化简框架下,首先利用每次离线化简后新产生的化简点构建多个向量,通过向量计算出预测速度方向,旨在缩小预测方向与未来真实速度方向的差异;然后利用点集合存储有向无环图中必需访问边来降低最优线化简算法的时间复杂度.第1组实验表明,相对于直接使用最近两个位置点计算速度方向,抖动较为剧烈的原始轨迹在新的预测速度方向下的化简率更高,说明预测速度方向比切线速度方向更接近移动对象的未来运动方向;第2组实验表明,优化后离线化简算法的时间性能有所提高,说明减少边的访问量确实能够降低算法的时间开销.     

陕西省降水时空变化特征及资源化研究

基于陕西省1961-2005年97个县市的逐月降水资料,从年际和年内2个方面分别对陕北、关中、陕南及全省的降水时空分布规律做了统计分析,并利用非参数Mann-Kendall方法对降水的变化趋势做r检验分析.结果表明:陕南地区降水量丰富,而陕北地区较少,全省降水呈现南多北少,并且主要集中在5-10月份(夏秋季节)的特点,特别是陕北地区夏季降水量占全年降水量的56.3%.从资料研究町以看出,全省只有5个县的年降水量有增加的趋势,其中4个在陕南地区,其他92个县市都出现了不同程度的下降,其中陕北南部、关中和陕南西部的地区降水量每年平均减少3nltn以上,降幅最大.从季节降水来看,春秋季3大地区的降水都有减少的趋势,夏季除陕北地区有小幅度的下降外都出现了增加的趋势,冬季都有小幅度的增加.从雨水资源化利用的角度来看,陕北地区可以充分利用土壤蓄集雨水,建立大型地下蓄水库以供城市用水;关中地区可以在黄土台塬区蓄存、下渗雨水,这将会对于台塬以下城市地下水水位恢复产生积极有效的作用;陕南通过水源涵养地建设和蓄水水库修建,收集利用雨水资源,减少污染,保护水源.     

云层信道光通信链路误码率及性能改善途径分析

云层粒子多次散射引起激光脉冲时间扩展,造成接收信号出现码间串扰.首先使用蒙特卡洛光线追踪法对不同云层光学厚度下,云层的激光脉冲时间响应进行了仿真,并将仿真结果拟合为双Gamma函数.然后建立了云层信道最大码元传输速率计算模型和带均衡的云层信道时间响应模型,并推导出考虑码间串扰时的系统误码率计算模型.通过仿真得出:数据传输速率自适应和信道均衡能有效地对云层多次散射效应进行抑制,改善系统误码率性能.     

介质阻挡放电中介质温度对放电时间特性的影响

在大气压氩气介质阻挡放电中,研究了不同电介质温度对放电时间特性的影响.实验发现当外加电压较低时,正负半周的放电时间波形没有明显的差别;而当外加电压较高时,正负半周的放电脉冲个数明显不同.分析表明,电介质温度可以改变其介电常数而影响壁电荷的积累,进而使放电特性发生改变.     

基于时态信息的RBAC建模研究

经过多年的发展,RBAC模型理论研究已十分成熟,并广泛成功应用于信息系统访问控制.本文阐述了RBAC模型安全控制的思想及原理,它通过抽象用户、角色、目标、操作、许可权5个基本数据元素并建立它们之间的联系构建网络状的权限控制模型;分析了RBAC模型在处理具有时间约束的访问控制时的不足,不能充分考虑时态系统中基于时间约束的授权和访问控制;回顾了时态RBAC模型的研究现状,讨论了时态RBAC模型在时态系统授权中存在的问题,它只在角色层次进行了简单约束,而对授权和角色指派等过程中的细节考虑不够;展望了GTRBAC模型的思想并进行了讨论,GTRBAC不仅在时态RBAC的基础上考虑了持续约束、周期约束和其他特定形式的激活约束,而且提出了约束冲突的解决办法,是目前在时态环境下定义比较完全和细致的访问控制模型.     

豫东平原1980-2000年农业景观生态系统格局动态

借助地理信息系统技术,利用LUCC数据,分析了豫东平原1980-2000年农业景观格局动态变化特征及其驱动因素.结果表明,1980-2000年研究区居民点与建设用地从4 998.51 km2 增加到5 212.39 km2,种植业用地为基质的农业景观相对稳定,1980年占研究区土地总面积的80.07%,2000年占79.88%,其它类型用地面积均有不同程度的减少.国家土地利用政策和人口政策是该区土地利用变化的主要驱动因素.探索该区土地优化利用方式对实现农业可持续发展具有重要意义.     

Efficient Translation of LTL to Büchi Automata

The construction of Büchi automata from linear temporal logic is a significant step in model check-ing. This paper presents a depth-first construction algorithm to obtain simple Büchi automata from linear-time temporal logic which significantly reduces the sizes of the state spaces. A form-filling algorithm was used to reduce the size of the generated automata and the algorithms were applied directly to state-based Büchi automata, without transformation into transition-based automata. A form-filling algorit...     

中英礼貌原则及礼貌用语的文化差异

礼貌作为一种文化现象普遍存在于各种语言和文化中,但不同文化中实现礼貌的方法和礼貌的衡量标准却有所不同.英汉文化的巨大差异必然导致其礼貌语的使用差异.从礼貌原则的角度分析英汉礼貌用语在称呼、谦逊与客套、隐私及交际等方面的语用差异,能够避免语用失误,达到跨文化交际成功的目的.