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

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

循环塑性与疲劳裂纹扩展门槛值

基于材料的循环塑性预测了疲劳裂纹扩展的门槛值.所提出的模型强调材料的循环塑性对疲劳裂纹扩展的影响.结合无位错区理论和内聚区理论计算循环载荷下裂纹吸附区的J积分值,并以J积分作为断裂参数建立裂纹扩展的标准.由此计算的疲劳裂纹扩展速率符合通常的模式,预测的门槛值与实验拟合较好.当前模型的主要特点是近门槛疲劳主要由材料的循环变形行为确定,进而由标准循环加载的实验确定,这对于工程实际有重要意义.     

工业锅炉的发展与节能环保

随着能源消耗的急剧增长，环境污染日趋严重，能源的合理利用和环境的保护已越来越受到关注。而锅炉和环境的保护密不可分，从锅炉的本体结构、水循环方式、燃烧方式和锅炉新技术等方综述了工业锅炉的发展与节能环保的关系，并对工业锅炉的发展趋势进行了展望。     

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…     

聚苯胺修饰电极的制备与形貌、阻抗表征

运用循环伏安(CV)法制取聚苯胺,结合扫描电子显微镜(SEM)、阻抗谱(EIS)等手段,对聚苯胺的表面形貌及其特征进行研究,并建立了聚苯胺覆盖Pt电极的阻抗模型.实验表明,随着循环次数的增加,聚苯胺膜厚增加,而且所制得的聚苯胺膜呈现多孔、疏松的特征,符合其作为基体材料的特点.     

甘氨酸修饰玻碳电极的离子通道行为

用电化学氧化技术将甘氨酸修饰在玻碳电极表面形成稳定的单分子膜.改变含离子探针Fe(CN)63-的电解质溶液的pH,或向溶液中加入不同浓度的Ca2 ,通过膜电极上Fe(CN)63-的电子传递,对膜的离子通道行为进行了研究.实验表明,在pH较低或有Ca2 存在的条件下,离子通道开启;pH较高或无Ca2 存在的条件下,离子通道关闭.推测了膜电极离子通道的形成机理.     

镍(Ⅱ)和铜(Ⅱ)配合物的氧化还原与pH值相关性的研究

用循环伏安法研究了两个新的三元配合物[Ni(phendio)(TPA)](CIO_4)_2(1)和[Cu(phendio)(TPA)] (CIO_4)_2(2)(phendio=1,10-菲咯啉-5,6-二酮,TPA=三(2-吡啶甲基)胺)在pH 2～9的磷酸盐缓冲溶液中的电化学性质．实验结果表明,在-0．3～0．4 V(vs．SCE)电位扫描范围内这两个配合物都表现出与pH值相关的氧化还原活性,pH＜4时,是2e~-/3H~ 过程,pH＞4时为2e~-/2H~ 过程．     

19GeV/c能量下质子-铍碰撞中领头奇异超子Λ的产生

利用在美国布鲁克海汶国家实验室的环型加速器(Brookhaven/AGS)上进行的19.6 GeV质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.     

《BASIC语言程序设计》中WHILE／WEND语句和FOR／NEXT语句的应用剖析

《BASIC语言程序设计》是职业院校计算机应用专业的一门专业课教材，该书的重点是培养学生的程序设计基本能力。程序的基本结构主要分为顺序结构、选择结构和循环结构。循环结构在解决实际问题时应用非常广泛。WHILE／WEND语句和FOR／NEXT语句是BASIC语言提供的两个主要的循环语句。这两个语句在编程应用中各有侧重，现剖析如下：