2010—2011年冬季浙江两次强降雪天气过程对比分析

 使用NCEP/NCAR 1°×1°格点资料,对2010—2011年冬季浙江两次强降雪进行了对比,通过对环流形势、水汽、动力、热力特征的诊断分析表明,2010年12月15日降雪过程是一次高空横槽转竖,地面强冷空气南下的冷过程,而2011年1月18—21日降雪过程是冷背景下西南气流北抬的暖过程;在700hPa两者都存在着西南气流的加强;850hPa,前者是东风急流,后者是西南风急流。两次降雪都有充分的水汽和强烈的垂直上升运动,前者能量锋区是南压的,而后者是南北波动的;两次降雪都满足温度场的基本条件,并具有逆温结构,前者的逆温层深厚,后者的比较浅薄。     

极大局部边连通有向图的度条件

对有向图D=(V(D),E(D)),顶点u和v的局部边连通度λ(u,v)=min {X:X∈E(D),D-X中不存在从u到v的路}.若对D中任意两个顶点u和v,λ(u,v)=nin{d+(u),d-(v)},称D为极大局部边连通的.笔者得到了有向图是极大局部边连通的两个度条件.推广了别人的三个结果.     

2010年7月8日英山特大暴雨过程的成因分析

利用GFS(0.5°×0.5°)6 h再分析资料、LAPS资料以及FY-2c卫星云图资料、武汉区域雷达拼图产品和自动站实时资料,对2010年7月8日发生在英山的特大暴雨过程进行了分析.结果表明:控制湖北地区的副高南退时,副高外围东移的短波槽引导北方冷空气下滑是此次过程的触发机制;低层切变、低空急流、露点锋和地面辐合线引起了低层辐合、中层辐散、低层θse锋生及中上层θse锋区下移,提供了有利的动力条件;750～1 000 hPa的高湿区是水汽条件;温度槽温度脊的配合、对流有效位能的持续增加和湿位涡上正下负的配置为此次过程提供了不稳定能量.     

基于TMR的FPGA单粒子加固试验探究

设计了一个可对基于静态随机存储器的现场可编程门阵列进行单粒子效应测试的系统.采用三模冗余和定时回读重配的方法对待测器件进行单粒子加固.测试电路为移位寄存器链,定时回读的间隔约为80 ms,测试时钟为10 MHz.在非辐照环境下先进行了单粒子翻转的仿真试验,获得系统基本参数后,在兰州中科院近代物理研究所进行了重离子单粒子效应辐照试验.试验芯片为商用FPGA,辐照试验增加单粒子闩锁监控,观察不同注量率下待测器件的加固效果.分析仿真试验与辐照试验结果,系统可正确实现加固与测试功能,也证明三模冗余技术结合回读重配方法能够提高FPGA芯片的单粒子加固能力.     

Cs相似度函数下正则谱聚类的收敛阶

用覆盖数逼近的方法给出Cs相似度函数下正则谱聚类的收敛阶.     

准一维量子线中电子的传导性

一条理想的量子线同一条无序量子线耦合在一起,理想链中能量为E的电子波函数,能被无序链中某些格点能量Vn,2在电子能量E附近的格点强烈散射.在Vn,2=E格点,能量为E的电子波函数能发生全反射,也就是"反共振效应".在无序度W较大时,随着W的增大,无序链中能够强烈影响周期链的格点数减少,这使得周期链中电子的局域长度增大,与数值计算结果一致.     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

基于信息熵的庄浪县土地利用结构合理性分析

通过研究县域的土地利用结构合理度的时空变化规律,为土地利用总体规划中的土地利用结构调整提供科学依据;以甘肃省庄浪县作为研究对象,借助信息熵、均衡度和优势度原理,分析庄浪县1997~2008年土地利用结构的动态演变特征。结果表明：在研究区间内,庄浪县土地利用信息熵总体表现为波折性增长趋势,均衡度、优势度随信息熵的变化呈波动状态,土地空间利用类型表现出均衡发展的良好趋势。     

一维p-Biharmonic方程非零解的存在性

利用一维p-Biharmonic方程在Navier边值条件下特征值问题的相关结果,Leray-Schauder度理论以及标准分支定理讨论了一维p-Biharmonic方程在Navier边值条件下非零解的存在性问题.     

扩展主题图本体融合策略与算法

针对分布式建立与存储的领域本体主题图在融合过程中的语义与结构重复问题以及冗余信息的判断与消除问题,提出了基于语义词典与语料库相结合的主题图融合算法(TMMC),给出了概念相似度计算以及同义关系、整体部分关系等的处理方法.对本体中概念进行基于HowNet语义词典及其他语义词典的多层次相似度计算,定义概念间不同语义关系的融合规则,针对专业领域本体中大量术语词典未收录的问题,提出基于语料库的概念相似度算法,并对计算机教育专业领域扩展主题图进行了融合实验.实验结果表明,TMMC提高了融合的准确率与查全率.