≤T^nph极小集与Homer—Spies猜测

本文定义了在多项式时间界下不确定图灵纯正多项式归约(记为≤_T~(n p h))的概念,讨论了≤_T~(n p h)极小集的性质、≤_T~(n p h)极小集与≤_T~(p h)极小集的关系。据此,对Homer-Spies猜测提供了一个解答:P=NP当且仅当存在一个集合A,既是≤_T~(p h)极小集,又是≤_T~(n p h)极小集,且deg_T~(p h)(A)=deg_T~(n p h)(A)。     

基于约束的图形参数化方法研究

推出了一套几何约束求解的方法。该方法基于对工程图形的理解，能自动识别图形的尺寸约束和几何拓扑约束，并建立起以节点为核心的内何约束模型和几何束图；然后通过归约算法进行几何推理，实现参数化设计，大大提高了求解效率。     

基于通过能力约束下的空车调配问题研究

以空车总走行里程最小为目标,在空车流量不超过路段通过能力和车站通过能力双约束条件下,建立相应的空车调配模型。在空车走行总里程不变的前提下,归约双约束空车调配模型为最小费用最大流算法可解决的模型。