基于广义最小二乘模型的动态交通OD矩阵估计

基于广义最小二乘模型,建立了一种带滑动窗的动态OD矩阵估计算法,可通过对路段交通量和行程时间的检测来估计时变的OD数据.对模型中关键的交通分配矩阵,给出了解析的计算公式.算法是一种递推的估计过程,仅需较少的先验信息,且估计过程不会发散;滑动窗的引入可充分利用量测信息,抑制量测噪声.     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

ρ~0→π~ π~-衰变的么正计算和ρ~0极化插入的虚部

本文给出了ρ~０→π~＋π~－衰变的么正计算及其衰变率和ρ~２极化插入的关系．ρ~０极化插入的虚部是用维度积分的方法来计算．极化插入虚部的计算方法是普适的．     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

三维广义Sierpinski垫的Hausdorff维数公式及其在一种特殊情形下的证明

本文在二维的基础上提出了三维广义Sierpinski垫的Hausdorff维数与度量维数公式.对三维广义Sierpinski垫在属于同一层每一行留下立方体块数除零外均相等的情形下,改写了其Hausdorff维数公式,并利用测度论方法给予严格的证明.证明表明,它推广了二维广义Sierpinski垫的结果,该方法也可推广到n维的情形.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

有关勾股定理、射影定理的研究性论题

本文对勾股定理、射影定理的研究性论题进行了研究。     

累次极限换序的一个充分条件

本文对于二元函数的累次极限的换序给出了一致收敛这一充分条件。