新型螺旋式浓硝酸漂白塔及其应用

针对传统的帽罩式浓硝酸漂白塔存在的缺点和不足，找出原因并予以改进，开发研制出螺旋式浓硝酸漂白塔，改进了工艺状况，减少了维修工作量，达到了节能降耗的目的，确保了直接法浓硝酸装置的长周期运行。     

Excel在矿业优化计算中的应用

详细介绍了Excel的"规划求解"功能,并以矿石产量和品位优化问题为例进行了验证.     

二氧化氯的生产和应用评述

详细评述了 2 0世纪二氧化氯的主要生产工艺和制备方法及二氧化氯作为漂白剂、消毒杀菌剂、水处理剂等在多种行业中的应用 ,分析展望了 2 1世纪二氧化氯的生产和应用前景 ,认为应在我国大力发展二氧化氯的生产并促进其应用。     

2-氰基-4′-甲基联苯的合成进展

综述了2-氰基-4′-甲基联苯的合成方法,着重介绍了Ni金属催化偶合法制备该化合物。     

纳米CeO2的制备方法研究进展

介绍了近年来纳米CeO2的制备方法的研究进展情况，重点分析对比了沉淀法、溶胶—凝胶法、水热法、微乳液法、喷雾热分解法、喷雾反应法等制备纳米CeO2的优缺点，指出了在今后应重点研究和解决的主要问题。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

干法合成阳离子淀粉絮凝剂的初步研究

研究了干法合成阳离子淀粉絮凝剂的方法。结果表明,制备阳离子淀粉絮凝剂的最佳工艺条件为:在反应体系中水的质量分数为35％、阳离子醚化剂与NaOH混合温度低于110℃的条件下,阳离子醚化剂与淀粉物质的量比为0.35,NaOH与阳离子醚化剂物质的量比为1.4,反应温度90℃,反应时间4h。在此条件下合成的阳离子淀粉相对黏度为2.0。     

快速鲁棒特征算法的CUDA加速优化

提出一种基于统一计算设备架构(Compute Unified Device Architecture,CUDA)的快速鲁棒特征(Speed-up Robust Feature,SURF)图像匹配算法。分析了SURF算法的并行性,在图像处理单元(Graphics Processing Unit,GPU)的线程映射和内存模型方面对算法的构建尺度空间、特征点提取、特征点主方向的确定、特征描述子的生成及特征匹配5个步骤进行CUDA加速优化。实验表明,相比适用于CPU的SURF算法,文中提出的适用于GPU的SURF算法在处理30MB的图片时性能提高了33倍。适用于GPU的SURF算法拓展了SURF算法在遥感等领域的快速应用,尤其是大影像的快速配准。     

时序最短路径算法

最短路径是指网络中两结点间阻碍强度最小的一条路径。传统的最短路径是在静态网络上进行研究的,然而现实生活中很多网络是动态的、有时序性的,因此传统的最短路径算法并不能用于解决所有最短路径问题。为了寻找时序网络上的最短路径,在Dijkstra算法思想基础上,提出一种时序最短路径的精确算法。文中利用严格的数学推导证明了本算法的可行性,并通过对构建的网络做实证分析验证了算法的正确性。     

我国节能减排的现状、问题与解决路径-一个文献综述

我国的节能减排问题日趋突出。本文从文献梳理角度对我国节能减排的现状、存在的问题以及解决路径进行了述评。研究显示,我国节能减排潜力巨大,节能减排效率低下。直接原因是由于我国产业结构、外贸结构、FDI 结构以及技术结构不合理造成的,但其背后更深层次的原因主要体现在：（1）GDP锦标赛下政治晋升制度的不合理导致了环境的负外部性;（2）激励与约束机制不完善导致政府缺乏节能减排的动力;（3）分税制的不完善导致了我国产业结构的不合理。为此,我们需要从优化产业结构、调整外贸结构、弱化 FDI的“污染避难所”效应以及增强技术进步效应入手,通过改革 GDP 锦标赛下政治晋升制度、完善激励与约束机制、调整财税体制等途径解决我国节能减排问题。