正确处理微元的方法

本文给出在微元法中，正确推导与检验微元表达式的简单可靠的方法。对微元法中常见做法可以作简单而严谨的理论剖析。     

构造一类偏微分方程组通解的机械化方法及力学方程的自动推理

用微分代数的观点，把标准型算法和矩阵多元多项式的带余除法相结合，获得构造一类微分方程组的通解的新方法，并在标准型算法的基础上给出了力学方程的推理的机械化方法。     

具有非空本质谱的四阶limit-3微分算式

证明了一个系数为指数函数的四阶微分算式L =e-4 x D4 -8e-4 x D3 ( e-x 432 e-4 x ) D2 -( e-x 2 2 e-4 x ) D具有非空本谱且是 limit-3的 .     

水性涂料浮色发花的研究

研究了乳胶色漆中影响涂料外观和涂装效果的浮色发花现象．结果表明：颜料和填料的粒径差别大会造成涂料及涂膜的浮色和发花；颜料(TiO2)或填料(高岭土)用量不同，着色后浮色发花的程度也不相同，不出现浮色的漆样用水稀释后可能有浮色出现；适当含量的具疏水基团的分散剂和增稠剂可降低表面张力，提高体系粘度，阻止浮色发花的发生或减轻浮色发花程度．对比试验表明，不同的工艺条件对浮色发花影响不大．     

一类非线性灰色微分方程的拟合方式

给出了形如dx/dt ax^a=6的一类非线性微分方程拟合的形式，对于非负离散点列，根据离散点列的凹凸性，讨论了选取a的方法，然后确定未知参数a、6.这样的拟合方式更能准确地反映序列真实的变化情况。     

一类非线性微分方程的全局吸引性

本研究了一类二阶非线性微分方程模型，利用不等式等技巧，给出了其平衡点全局吸引性的充分条件。     

抑制性扣除杂交(SSH)技术原理及在水稻基因表达差异分析中的应用

抑制性扣除杂交法运用了杂交二极动力学和链内退火优先于链间的原理，使原丰度有差别的单链cDNA相对含量基本一致，使非目的片段两端反向重复序列退火时产生“发卡”结构，不能与引物配对，从而选择性地抑制了非目的片段扩增。该方法假阳性率低，灵敏度高，在水稻基因表达差异分析中有着广泛的应用。     

两部件并联可修系统解的存在惟一性

用纯分析的方法证明了两部件并联可修系统动态非负解的存在惟一性。     

非均匀内热源组合球壁稳态导热微分方程组的解

用热流分流和叠加，直接得出非均匀内热源组合球壁稳态导热微分方程组，分别在第一类、第二类和第三类边界条件下的解。     

对中文机读目录格式中字段使用的探讨

根据太原理工大学图书馆使用的Horizon编目软件系统，对套录CALIS中文图书数据中出现的字段使用上的差异进行了分析，并对转入该馆后的一些字段进行了修改和说明。