有色金属资源循环利用

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

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

采用循环伏安法研究了肾上腺素在不同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.     

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…     

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

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

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

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

难净化煤泥水沉降试验研究

针对煤泥水难以自然沉降的问题,从煤泥水性质出发,探讨了煤泥水中颗粒凝聚和絮凝机理, 研究出凝聚剂和絮凝剂的最佳药剂量配比及合理的加药顺序, 以加速煤泥水在浓缩机中的沉降,降低溢流浓度,实现洗水闭路循环.     

污水回用对循环冷却系统的腐蚀影响研究

污水回用是解决城市水资源短缺的重要措施．通过试验，掌握了处理后回用污水的pH值、有机物浓度、浊度、氯离子及硫酸根离子对循环冷却系统金属的腐蚀影响规律，指出控制循环冷却水补充水中有机物浓度是污水回用需要解决的关键问题。     

串联电阻对CdS/CdTe太阳电池稳定性的影响

在温度循环下对CdS／CdTe太阳电池的性能作了研究，测定了其I-V特性曲线，计算了串联电阻和并联电阻．结果表明：经温度循环后，串联电阻增加，并联电阻下降，导致转换效率下降，用ZnTe作背接触层可改善电池性能和其稳定性．     

金属基复合材料纤维断裂脱落后的应力分析

通过对长纤维增强的金属基复合材料纤维脱落后复合材料应力场的分析得到了应力分布的精确解,讨论了循环热/机械载荷对复合材料应力场的影响,并针对Al基Be纤维增强的复合材料中外载荷对纤维与基体间的脱落长度的影响做了定性分析,认为当外载荷与材料参数不发生变化时,纤维与基体将不会产生继续脱落,进而破坏形式将会发生变化,在整个分析过程中纤维作为弹性体,纤维与基体界面的塑性变形采用了理想弹塑性模型.得到结论为以后继续研究金属基复合材料的疲劳特性奠定了基础.