循环流化床锅炉的国内应用现状

介绍了循环流化床锅炉的特性、现状、应用,分析了循环流化床锅炉在生产、使用中出现的问题,并提出了解决的办法。     

有色金属资源循环利用

资源循环是维持整个生态平衡的重要法则之一。如果这一平衡遭到破坏并长期不加以恢复,其结果是人类社会本身难以持续。资源循环是建立循环经济的核心。资源循环利用是中国有色金属工业可持续发展的根本保证。文章论述了资源循环利用对有色金属工业的重大意义和最终建立资源循环型社会的必然性。     

溶液及电极表面性质对肾上腺素电子转移性能的影响

采用循环伏安法研究了肾上腺素在不同pH缓冲溶液中和不同铂电极表面上的电化学行为.实验结果表明,在不同pH值的Britton-Robinson缓冲溶液中及不同铂电极表面上,肾上腺素的循环伏安曲线中出现不同的氧化还原峰;而且在乙酸-乙酸钠、Britton-Robinson这两种不同的缓冲溶液中,随溶液pH值的变化,肾上腺素的氧化峰电流也呈现不同的变化规律.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

利用曝气生物流化床处理石油树脂生产废水的研究

利用曝气生物流化床工艺处理石油树脂生产废水,对废水中的各项污染物均有很高的去除效率,废水中的COD、NH4 -N、TN可同时得到去除。曝气生物流化床工艺具有容积负荷高、占地面积小、运行稳定、管理方便等许多优点,可有效地解决石油树脂生产废水的治理难题。     

A local positive feedback of the tropical Pacific ocean-atmosphere system on interdecadal timescales

SINCE THE 1990S, THE CLIMATIC VARIABILITY ON INTERDE- CADAL TIME SCALES BECAME THE FOCUS OF THE INTERNATIONAL CLIMATOLOGY RESEARCH MISSIONS[1―3]. ON TIME SCALES OF A DECADE OR MORE, THE OCEAN CIRCULATION PREDOMINATEDHEAT BALANCE AND HYDROLOGICAL CYCLE, S…     

固定化酵母流化床生物反应器发酵玉米淀粉的研究

对固定化酵母流化床生物反应器发酵玉米淀粉进行了研究.结果表明,在南阳混合酵母、拉斯12号酵母以及古巴Ⅱ号酵母3种酵母中,南阳混合酵母最适合作为固定化的菌种.发酵醪初糖为9 86～15 88°Bx,发酵时间为6～11h,成熟发酵醪中酒精的体积百分比含量达4 8%～9 2%,反应器的乙醇生产能力为3 8～4 5g/(L·h),凝胶的乙醇生产能力为11 3～13 6g/(L·h),残糖均低于1 0°Bx.     

多层百页窗式挡板三相流化床中液体流动模型

在矩形气液固三相流化床反应器中,采用脉冲应答技术,考察了挡板结构、气液流量、固体浓度对床层液体混合行为的影响.分别用多釜串联模型与轴向扩散模型描述挡板下方区域与挡板段的液体混合行为,应用矩量法及根据实验数据回归,得到了表征液相返混程度的模型参数的经验关联式.     

我国城市化进程中的水资源环境问题

城市化进程中，城市水文循环和水环境物质代谢的失衡严重影响着城市水环境的量和质，使城市水资源环境问题日益突出。本文在对城市水文循环和水环境物质代谢分析的基础上，提出城市化过程中城市环境面临的挑战，最后简要提出了城市水资源环境问题解决的战略构思。     

我国发展联合循环机组的背景和条件

介绍了燃气-蒸汽联合循环装置的基本组合方式及其技术发展水平，总结了联合循环发电的主要技术特点和经济特性，分析了国内快速发展联合循环发电的环境条件，并展望了联合循环技术的发展前景。