几何规划——一种简单有效的最优化方法

几何规划是为解决具有非线性约束的代数非线性规划问题的一种最优化方法。自1961年问世以来,在理论研究和实际应用上都取得了显著的进展,在化工、炼油等领域也出现了不少成功地应用几何规划的例子。本文结合化工方面的实例,对此法作一简要介绍。     

电子脉冲袋式除尘器

喷雾干燥器是化工行业中较为常见的一种浆料干燥器,其喷雾形式各有不同,因此干燥设备也有所不同。上海染化八厂的喷雾干燥设备系由热源、喷头、干燥筒、旋风分离器、引风机、袋式捕集器等组成。其简单原理过程如下:冷空气经过蒸汽排管加热后进入干燥筒,处于干燥筒底部的喷头将料液由压缩空气雾化后均匀向上喷入干燥筒。此时,热空气即与雾化之料进行热交换以至干燥(?)随后由干燥筒顶部管道输送至旋风分离器进行气料分离,最后     

浙江古代青瓷工艺发展过程的研究

前言浙江是我国青瓷的著名发源地。根据对出土文物的考察,在中国瓷器史上浙江青瓷出现的时间最早,从汉代上虞等地烧制成功瓷器以来,已有一千八百多年。名窑迭出,晋代瓯窑有“缥瓷”之称,唐代越窑有“千峰翠色”之誉,南宋官窑、龙泉哥窑和弟窑有“青翠如玉”之感,早已誉满海外,闻名世界。唐宋以后,越窑和龙泉窑青瓷大量行销海外,深受世界各国人民的喜爱。青瓷的烧制工艺,是我国瓷器史上一个伟大的成就。研究浙江古代青瓷工艺的发展对研究我国陶瓷工艺发展有着重要意义。本文作者在文物考古工作者的帮助下,对浙江古代青瓷和窑址作了大量的考察,并综合有关论文(1～10),对浙江古代青瓷工艺发展过程中某些比较突出的问题,进行初步探讨。     

星子高岭-南港瓷石组成的瓷坯在加热过程中的物相变化

本文通过X光衍射分析、透射电镜与扫描电镜的观察,研究了星子高岭—南港瓷石坯料在电炉中从700℃至1320℃的物相变化。研究结果表明瓷坯中的高岭石加热至700℃～1000℃范围内出现了莫来石雏晶,瓷坯中的绢云母加热至1000℃左右时,开始形成莫来石与r—Al_2O_3,而未生成白榴石。同时发现即使在1300℃的温度下绢云母仍保留着片状形态的假象,这说明绢云母并没有熔融,但己断链,并部分转变为莫来石。因此过去认为此瓷相中存在绢云母,实为绢云母假象。     

基于分布的中文词表示研究

针对基于分布的中文词表示构造过程中的参数选择问题进行了系统性的研究。选择了六种参数进行对比实验,在中文语义相似度任务上对不同参数设置下得到的中文词表示的质量进行了评估。实验结果表明,通过选择合适的参数,基于分布的词表示在中文语义相似度任务上能够得到较高的性能,而且,这种高维的词分布表示的质量甚至优于目前流行的基于神经网络（Skip-gram）或矩阵分解（GloVe）得到的低维的词表示。     

从粉煤灰中提取微珠与超细微珠粉的工艺及设备

我们结合我国国情 ,研制了一种FZ - 4型干状粉煤灰微珠和超细微珠粉分离提取专用设备。该设备利用可调频高速旋转转子产生强烈机械碰撞、颤振、摩擦和一、二、三次风气流的共同作用 ,使物流在涡流中获得足够的冲击力 ,将粒料与附着的混杂粉片物分离。它把不同级次分离与分级集于一体 ,使生产过程处于闭路循环 ,避免了粉尘的跑、冒、漏 ,可满足 2 8μm粒径以上的颗粒分离 (多级可至 1 μm以上的颗粒分离 )。分离出的微珠颗粒完整性好 ,表面光洁 ,流动性好 ,粒度分布合理。该设备可对不同锅炉、不同燃烧方式和不同燃烧温度所产生的粉煤灰进行…     

两河口水电站施工组织设计综述

两河口水电站地处藏民族聚居地,为特大型工程,工程量巨大、大坝填筑料源多且分散、施工强度高、场内交通错综复杂且运输量大,施工条件差。可行性研究阶段的施工组织设计主要在大坝心墙防渗土料、混凝土骨料、施工导流、场内交通仿真分析、大坝施工规划、施工总布置规划等方面进行了大量深入的研究工作,研究成果较好地解决了施工组织设计中的难题。     

公式分层的谓词模态逻辑

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

软件测试课程教学改革探索

结合软件测试的发展,对软件测试课程教学面临的问题进行分析。从课程的设置模式、课程内容的选择、测试工具的选择等方面进行探讨,提出课程改革的方法和途径,提高学生的测试应用能力。