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

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

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

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

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

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

某隧道围岩掉块成因分析

对某隧道为例，应用工程地质学，地质力学的方法对隧道围岩掉块的成因进行了分析，并对围岩的稳定性用赤平投影进行了解析，对围岩的稳定性判断提供了理论和实践依据，指出隧道中的不稳定块体主要为由于不良地质界面和临空面的相互组合形成的不稳定滑塌体。构造体系的型式为岩体的结构组合型式划分提供了依据，据此就可定性的评价岩体的稳定性，除此而外，隧道岩性及其组合，地应力及构造应力的大小和方向也是引起隧道围岩掉块不可忽视的因素。     

审美人类学之我见

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

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

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

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

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

试论大学生的功能性消化不良与防治

功能性消化不良是大学生中常见的多发性心身疾病之一，常表现为一组上消化道不适的症状群．分析其发病的原因，探索其防治的有效措施，是高校医疗保健工作的重要任务之一．