一类滞后型泛函微分方程振动的充分必要条件

考虑具有三个滞后变元的线性常系数泛函微分方程的振动性,以包络线为工具得到用系数和变元表示的一切解振动的充分必要条件.此研究推广了文[1]的结果,将使振动性的判断得到简化.     

MOCVD法制备金属-陶瓷功能梯度材料的研究

利用金属有机化学气相沉积（MOCVD）方法，以Mo（CO）6，Si（OC2H5）4为物源，在Al2O3陶瓷基片上制备了金属一陶瓷功能梯度材料，并用XPS，XRD，SEM等技术对其成分分布，物相组成和表面形貌进行测试和表征，结果表明：材料的组成沿厚度方向呈连续梯度变化，符合功能梯度材料的变化规律。     

双值预测函数控制及其性能分析

针对有限时域脉冲响应模型，给出了双值预测函数控制（DPFC）算法，推导出了闭环系统的特征方程和传递函数，定量分析了阶跃响应系数对闭环系统稳定性的影响．采用脉冲响应模型簇来描述被控过程的不确定性，推导出DFFC闭环系统的鲁棒稳定条件．     

几类具有正负系数的中立型泛函微分方程的振动性

研究了几类具有正负系数的中立型泛函微分方程的振动性，得到了其解振动的新的充分条件。     

科技英语中的名词化结构及其功能分析

科技英语作为一种语篇形式具有独特的体特点，其词汇语法层最典型的特点之一是大量的名词化结构的使用。在描述科技英语的体特点和名词化结构的基础上应用系统功能语法理论作为框架对科技英语中的名词化结构进行功能分析，旨在探讨名词化结构在科技英语这种体中表达意义所发挥的作用。     

Modal extension rule

Sinceautomatedtheoremprovingwasintroduced inthe1950s,ithasbeenmaturedintooneofthe mostadvancedareasofcomputerscience.Theresolu tionmethodisoneofthemostdistinguishedandmost widelyappliedmethodsintheoremproving(TP).ResolutionbasedTPtriestodeducetheemptyclause tochecktheunsatisfiabilityofclauseset.Butexten sionrulebasedTP[1]proceedsinverselytoresolution.Namely,extensionrulebasedTPcheckstheunsatis fiabilitybydeducingthesetofclausesconsistingofall themaximumterms.Therefore,itisanewtheorem provi…     

SF5CF3几何构型及红外振动光谱的量子化学研究

采用8种密度泛函方法BHLYP,BLYP,B3LYP,BP86,B3P86,B3PW91,BPW91和KMLYP,以及DZP 基组,对新的温室气体SF5CF3进行了几何构型优化和红外谐振光谱计算.该分子为Cs构型.通过计算值与实验值比较,用KMLYP和BHLYP方法所得几何构型参数与实验值最接近.采用8种方法对SF5CF3进行了红外谐振频率计算,通过与实验值对比,用B3LYP,B3P86和B3PW91方法得出了比较满意的结果.其平均绝对误差分别为29 cm-1,22 cm-1和24 cm-1.红外吸收强度预测表明,SF5CF3是一种威胁性很大的温室气体.     

梭毒隐翅虫对萝卜蚜的捕食反应

梭毒隐翅虫Paederus fuscipes Curtis是一种重要的天敌昆虫．本文就它对萝卜蚜Lipaphis erysimi Kaltenback)的捕食反应及其相互之间的干扰作了初步研究，捕食反应用Holling圆盘方程LRⅡ拟合，得出理论方程为Na=1．7575N／(1 0．1161N)，最大捕食量为15．1286头，当隐翅虫虫口密度增大时，它对萝卜蚜的捕食能力下降，相互之间有一定的干扰，用Hasell方程拟合，理论方程为a’=25．2872P^-0.4901。     

中药降血脂的研究进展

阐述了高血脂的形成与危害，以及降血脂的作用机理．根据作用机理的不同，阐明了中药中各类功能因子的作用方式和中药降血脂作用的研究和结果。并对中药联合用药的现状进行了阐述和分析．得出结论：中药中降血脂功能因子种类及含量丰富，存在多种降血脂的作用途径，且效果明显。毒副作用小，具有广阔的应用前景．     

非线性泛函微分方程指数稳定的充要条件

本文研究了非线性泛函微分方程的指数稳定性.利用非负矩阵性质和微分不等式等技巧给出了指数稳定的充要条件.