氧自由基清除剂及其在体育运动领域中的应用

综述了近年来医学界、生物学界及体育界关于氧自由基清除剂的研究现状,分析归纳出氧自由基清除剂的种类、氧自由基对机体的作用及清除机理、抗氧自由基天然成分的功能性食品及其在体育运动领域中对运动员健康的保护作用.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

Gauss型函数方程和平均值特征

针对Lehmer平均值和Stolarsky平均值分别探讨了Gauss型函数方程的求解，并且给出了这些平均值新的特征．     

审美人类学之我见

审美人类学是一门以美学、人类学为基础的多学科整合来关注民族文化的新兴学科，目的是建构与西方学理平等对话的平台。本文试从审美人类学的学理存在、研究方法拓展及其功用价值来讨论这门新兴学科的意义及其发展前景。     

在林间防除瓢虫隐尾跳小蜂后红点唇瓢虫Chilocorus kuwanae Silvestri幼虫对杨圆蚧的功能反应

在林间除掉瓢虫隐尾跳小蜂后，红点唇瓢虫各龄幼虫应用ＨｏｌｌｉｎｇⅡ，型公式计算日极限捕食量分别为：Ｉ龄幼虫－１．６７７的头／日，Ⅱ龄幼虫－２．０８８６头／日、Ⅲ龄幼虫－６．１７６７头／日、Ⅳ龄幼虫－１９．３０５０头／日、Ｖ铃幼虫－３１．３４８０头／日。红点唇瓢虫随幼虫龄期增加捕蚧量明显增大，对杨圆蚧的发生有显著的控制作用。     

利用地表化探详查方法确定断块油藏边界

对我国东部某断块油田进行了地表化探详查研究．采用０．２５ｋｍ×０．２５ｋｍ测网，通过地表土壤介质的地化分析，确定了该油田长期以来悬而未决的油藏边界，建立了断块油气藏可能的异常模式，并从油气化探角度提出了对该油藏进行进一步钻探的合理化建议．该项试验成果表明，利用地表化探详查的方法确定我国东部断块油藏的边界和含油层分布是可行的．     

温度和脂肪醇对N一脂肪酰基谷氨酸钠表面活性的影响

用滴体积法研究了温度和一些酯肪醇对阴离子表面活性剂Ｎ一脂肪酰基谷氨酸钠（ＦＡＧ－Ｎａ）表面活性的影响，实验表明：温度或脂肪醇均使ＦＡＧ－Ｎａ的表面张力和临界胶束浓度发生变化。     

某一类一阶非线性中立型泛函微分方程的振动性

研究一阶非线性中立型泛函微分方程的振动性,获得方程为振动的某些充分性条件。     

马尾松木材干燥过程中水分的非稳态扩散

影响木材干燥速率的两个主要因素是反映木材内部水分移动阻力的扩散系数和反映外部水分移动阻力的表面扩散系数。笔者根据非稳态扩散的理论，讨论了马尾松木材中水分沿径向扩散的规律，结果表明：扩散系数随木材含水率的降低而降低，随木材厚度的增加而增加；用一组不同厚度的配套试样可以解出木材的表面扩散系数。