计算约简的差别矩阵简化算法不成立

Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式.本章给出反例,说明该简化算法不总成立.     

类树图亏格分布的单峰性

图的亏格分布是否为单峰,这一猜想至今没有得到证明.文章首先给出了单峰性的概念及性质,并进一步推导得到了单峰性的另一重要性质。在此基础上,使用分类讨论的方法,证明了类树图的亏格分布是单峰的.     

金融数学的发展及其在证券投资组合中的应用

论述了金融科学中一种新兴的数学工具和数学技术——倒向随机微分方程，通过运用倒向随机微分方程，研究当投资者以将来某一时刻获取一定数额的适应性收益为投资目标时，如何确定当前证券投资组合中各证券的投资比例．     

正确处理微元的方法

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

具有非空本质谱的四阶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的 .     

图Q(2,n)∪(∪i∈ACi)的匹配等价图类

刻画了Q（2,n)∪（∪i∈ACi)和它的补图的匹配等价图类，其中A是大于等于3的一些整数组成的可重集。     

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

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

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

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

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

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

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

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