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

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

非完全消化火焰原子吸收法测定粮食中微量元素

用非完全消化法处理样品,即在低温下用高氯酸-硝酸(V(高氯酸)∶V(硝酸)=1∶3)混合酸消解粮食样品,再用乳化剂OP溶解未消解的油脂而配制成透明的草绿色样品溶液.建立了快速测定粮食中微量元素的火焰原子吸收分析法.试液的粘度与空白溶液的一致,无背景吸收干扰.对样品处理条件、化学干扰、检出限及特征浓度进行了考察.测定结果的相对标准偏差小于3.7%,测定结果与灰化法一致,相对误差小于±3.9%.方法简便.     

不可约符号矩阵的广义基指数的上界的可达性证明

给出了本原符号矩阵的广义基指数达到最大值时的极矩阵刻画,并证明了邵、尤给出的非本原不可约符号矩阵的广义基指数的上界是最好的.     

电流变液的流变性试验和建模

利用旋转粘度计装置,研究电流变液的流变特性.通过试验,分析电场强度、剪切速率和分散相粒子的百分比等对电流变液剪切应力的影响.利用实验数据,建立描述电流变液流变特性的Bingham模型、广义Bingham和非线性模型,并讨论它们的误差.     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

左手材料的性质及研究动态

左手材料(也被称为负折射率材料)最早由前苏联科学家Veselago在20世纪60年代从理论上提出来的,是一种具有介电常数和磁导率同时为负值的材料,它具有诸如负相位速度,负折射率,理想成像,逆Doppler频移及反常的Cerenkon辐射等多种奇异的物理现象。本文主要论述左手材料的性质并分析左手材料全新应用前景,简要介绍左手材料近年来的研究动态及发展前景。     

Reconstruction of Temperature Field in 3-D, Absorbing, Emitting, and Anisotropically Scattering Medium

IntroductionRecently ,theinvestigation on numerical radiative heattransfer has been focused onthe reconstruction of temperatureprofile in target space according to its boundary heat fluxgained by detectors[1 8], whichis a kind of inverse problemofradiation. Among these investigation, Li HY[1 4]hasresearched on one-di mension or two-di mension rectangular ,spherical or cylindrical medium which is absorbing ,emitting , and isotropically scattering ; Liu LH[5,6]hasresearched on the semitranspar…     

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.     

二阶半线性时滞差分方程的非振动性

研究了二阶半线性时滞差分方程的非振动解的性质,建立了非振动解的比较定理和充分条件.     

非完整可控力学系统的形式不变性

研究非完整可控力学系统的形式不变性,建立系统的运动方程和形式不变性判据方程,得到系统方程保持形式不变性的条件以及守恒量的形式,举例说明结果的应用。