基于子句文字长度动态约束的变量消除算法

变量消除算法作为一种重要的预处理算法已经应用于多种预处理器中。对比研究了在不同约束条件下,变量消除算法对简化性能和求解性能的影响,提出了基于子句文字长度动态约束的变量消除算法。该算法只允许当变量分解后的子句文字长度比原有子句文字少时,执行变量消除替换操作。在此基础上实现了一个基于Mini Sat开源代码的可满足性问题预处理器Mini Sat BFS。实验结果表明,与现有的基于子句数目约束的算法相比,新算法不仅降低了子句、变量和文字的数目,而且缩短了预处理过程和求解过程的时间消耗。更重要的是,改进后的算法在限定时间内可以求解更多的可满足性问题。

荔枝丰歉年的气象差异分析

通过对典型丰产年和歉收年的气象条件进行对比,逐一分析丰歉年气象要素的差异,结果表明,荔枝丰歉年对应的气象条件具有明显的差异。气象条件是影响荔枝丰歉的重要因素,它直接或间接造成荔枝大小年结果。荔枝产量形成的关键期适度低温、干旱和充足的日照有利于荔枝丰产。

温度对荔枝生产的影响分析

对十余年的荔枝产量与同期温度资料进行对比分析,结果表明,温度与荔枝生产的关系密切,温度对荔枝丰歉具有良好的指示作用。冬季适度低温有利于荔枝丰产。温度过高形成暖害,造成荔枝歉收。在茂名等低纬热量丰富的地区.暖冬比寒冬对荔枝区域产量的影响更大,秋季适度干旱起到补偿低温不足的作用。

农村防雷体系建设的缺陷及改进

针对农村防雷体系建设的缺陷,提出农村防雷应把确保人的生命安全放在首位。探讨了雷电预测预警和农村建筑的防雷基础设施建设问题,对农村防雷减灾工作具有重要意义,对新农村建设具有参考作用。

荔枝蒂蛀虫与气象要素关系的研究

针对荔枝蒂蛀虫发生率测报难的情况,通过对高州市荔枝蒂蛀资料和气象资料进行相关分析。结果表明:当年1月、2月、3月、4月日照均与荔枝蒂蛀为害率呈现负相关。相关关系最高达-0.9581;上年11月、12月平均最高气温与荔枝蒂蛀为害率呈正相关;当年3月、4月雨日与荔枝蒂蛀为害率呈正相关。利用这些相关关系建立病虫测报模式,可提高荔枝蒂蛀虫的预报准确率。

高州市荔枝蒂蛀虫为害率的气象预测方法

以现有的高州市近10年的荔枝蒂蛀虫为灾面积和平均为害率与相应气象要素为依据,利用相关系数法进行因子普查,筛选出影响高州市荔枝蒂蛀虫发生和流行的主要气象因子,利用多元回归方法建立了数字预测模型,历史拟合平均误差为0.080 7,用2008年的气象资料进行试报,预报误差为0.438 5%。预警等级为3级,与实况相符。

基于台风路径的台风灾害风险评估及区划

分析了近五十年影响电白区的台风，并基于台风不同路径，开展了台风灾害风险评估。结合GIS技术建立了台风灾害风险区划模型，绘制了电白区台风灾害风险区划图。结果表明：基于不同路径的台风灾害风险评估优于台风灾害综合风险评估。按不同路径开展评估，台风灾害风险分析和风险评价更接近具体的灾害实况。可用于灾前灾害预评估，为选择相适应的台风应急预案提供重要依据。

浅论集体观测云能天的必要及其方法

地面气象测报质量分相对质量和绝对质量两方面,准确观测云能天是提高绝对质量的重要组成部分。笔者结合多年的工作实践经验,对集体观测云能天的必要及在其过程中应注意的事项进行分析,并总结出行之有效的方法,从而提高地面气象测报绝对质量。