矿区生态恢复与重建研究

以安太堡矿为例，论述了矿区生态恢复与重建过程。优良植物的筛选、先锋植物在矿区的表现，通过适当栽培，可迅速恢复植被有效地改良土壤，对矿区生态环境的改善起到了良好的效果     

两类在医药化学中应用的方程的解的振动性质

给出了在医药化学中应用的分段常变量中立型泛函数分方程（y(t)-cy(t-τ）′＋a(t)y(t) ∑li-1bi(t)y([t-i])=0和（y(t)-cy(t-[t[))′=a(t)y(t) b(t)y(t-[t]) ∑ii=1bi(t)y([t-i])的解的推动性质，得到了方程有振动解的充分条件。     

非线性分数阶泛函微分方程解的延拓(英文)

研究了分数阶泛函微分方程有关解的延拓理论.主要利用了分数阶泛函微分方程解的表达式给出方程解的可延拓条件.分别给出了含有无穷时滞和有限时滞的微分方程解的延拓定理.     

高精度求解密度泛函理论方程的方法与程序

密度泛函理论方法及其应用的发展，要求提高计算精度。我们在分析产生计算误差的各种因素的基础上，采取相应对策，设计了求解Ｋｏｈｎ－Ｓｈａｍ方程的方案和计算程序，使得在合理的计算量范围内可以达到总能量具有８位有效数字，比常用的ＤＶＭ结果的精度提高了２－３个数量级，能满足当前一般量子化学研究工作的要求。本文对该方法和程序作了较详细的介绍。     

无穷时滞泛函微分方程解的完全全局稳定性

建立了无穷时滞泛函微分方程完全有界性与完全全局渐近稳定性的概念及基本定理。     

32位微处理器功能测试状态集的研究

基于微处理器指令译码功能故障模型，给出了各类指令所需的测试状态集应该具有的性质及其构造方法。     

Banach空间中泛函微分方程的稳定性

本文讨论了Ｂａｎａｃｈ空间中一类中立型泛函数微分方程的稳定性，建立了适用于这类系统稳定性分析的Ｒａｘｕｍｉｋｈｉｎ技巧。依此获得了中立型积分微分方程与具有Ｃ０－半群的半线性深入函微分方程稳定性新的充分条件。     

退化羊草（Leymus chinensis）草原恢复演替动态的研究

对退化羊草（Ｌ．ｃｈｉｎｅｎｓｉｓ）草原围封后１１年的群落特征进行了研究分析。结果表明，退化草原在恢复过程中单位面积内植物种丰富度增加，但组成整个要地的种类成分变化不大，多样性指数中期增加后期呈现下降趋势，物种在群落中所占比例大小是造成多样性指数变化的主要因素，而与丰富度关系不大，均匀性指数在恢复过程中呈下降趋势，羊草、冰草（Ａｇｒｏｐｙｒｏｎ ｍｉｃｈｎｏｉ）、针茅（Ｓｔｉｐａ）在演替过程中呈持     

方程X~（n）（t）＋P（t）f（h（t）））g（X~（n－1）（t））＝0的振动性

讨论方程ｘ（ｎ）（ｔ）＋ｐ（ｔ）ｆ（ｘ（ｈ（ｔ）））ｇ（ｘ（ｎ－１）（ｔ））＝０的振动性，其中ｎ为偶数．得出方程振动的充分条件．推广和改进了ＳＫＧｒａｃｅ，ＢＳＬａｌｌｉ和ＳＵｒｓｚｕｌａ的结果．     

列车超速防护系统中主机自诊断方法

分析了 CPU,ROM,RAM 的几种故障检测方法,针对列车超速防护系统主机工作的特点,实现了系统开机时完备的主机功能级自诊断(包括关键 I/O 口)和工作中短时问的周期自检.利用主机中双 CPU 工作的特点,通过双口 RAM 通道,完成双机互检.能监视程序执行行为特征,发现单 CPU 故障或程序跑飞,并对 CPU 的执行结果进行合理性检测,提高了整个系统的故障检测覆盖率.还对故障检测覆盖平及检测代价做了评估.