MAX-SAT问题一种改进的局部搜索算法

局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。

数字城市应用示范对接关键技术研究

首先介绍了OGC服务标准,论述数字城市应用示范对接过程中使用的OGC服务进行对接的关键技术,并给出具体的实现方法,最后证明在服务标准化在对平台建设重要性。

浅析铁磁谐振过电压及其防治

分析了铁磁谐振过电压产生的原因及危害， 提出了相应的防治措施． 介绍了微电脑谐振消除装置的工作原理， 并根据微电脑谐振消除装置的运行情况，

小麦种植技术

一、化肥的选用氮元素是小麦生长中需求量最大的元素。一般来说,产量随着氮肥的增加而增加。磷元素对小麦生长也很重要,充分的磷肥可以促进根系发育,增加冬前分蘖,培养越冬壮苗。钾元素能增强小麦抗性,增加抗倒伏能力。我们常用的复合肥含有氮磷钾三种元素,且氮磷钾质量分数为15-15-15或17-17-17,比较均衡。也有一些质量分数不同的,如高氮、低磷、高钾复合肥或高氮、高磷、低钾复合肥。

专题地图系统构建器设计与实现

分析中心目前专题地图系统的开发现状,探索专题地图系统可视化定制的关键技术,设计专题地图构建器,实现专题地图系统快速可视化定制,促进了地理信息系统应用推广。

县域地理信息公共平台的设计与关键技术

数字城市地理信息公共平台作为统一的、权威的空间信息公共服务平台,最终实现国家、省、市、县各级节点的互联互通。本文分析研究了依托市级平台的县级平台建设模式和关键技术,提出了一套切实可行的县域地理信息公共平台设计方案。