植物功能基因组研究进展

基因组学研究已开始从结构基因组学转向功能基因组学。对功能基因组学研究的重要意义及内容、方法进行了综述，并对植物功能基因的研究进展及应用前景作了介绍。     

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

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

管子模的拟遗传自同态代数

证明了对管子模M，存在管子模N，使得M＋N的自同态代数End(M N)是拟遗传代数。对M是不可分解管子模的情况，刻划了N的不可分解直和项的个数的下界。     

基于DICOM医学图像软件工具包的设计和实现

DICOM(医学数字成像及通信)是PACS(图像存储与通信系统)网络内各系统互联的基础,也是用于统一各种数字化影像设备的图像格式和数据传输的标准.本文根据的开发经验,介绍了符合DICOM3.0标准的医学图像文件格式,并详细描述了设计DICOM软件工具包的实现过程.     

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

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

一类泛函边值问题正解的存在性

讨论方程u″ a(t)f(u)=0在边界条件u’(0)=u(b)-u(a)，u(1)=∫α^βu(ξ）dξ下正解的存在性，给出了该问题至少存在一个正解的存在性定理．     

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

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

基于半导体致冷器数学模型的TEC制冷系统的效率估算

为了对半导体制冷系统的制冷效率进行估算，通过建立半导体致冷器(TEC)的数学模型，并结合机械连接形式的TEC制冷系统，给出了半导体制冷系统制冷效率的估算公式．     

正则地稳定环和模的稳定同构

设R是一个含幺结合环。如果任意两个稳定同构的有限生成投射R－模均是同构的，则称R是强Hermitian环；如果对任意正则元a,b∈R且aR bR=R,均存在y∈R使得a by可逆，则称R是正则地稳定环。本文证明了环R是强Hermitian环，当且仅当对任意自然数n有Mn(R)是正则地稳定环。还给出了正则地稳定环的一些性质和刻画。     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．