求解大型特征值问题的块Davidson方法的精化技术

块Davidson方法是求解大型对称矩阵特征值问题的一种有效的方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,提出了精化块Davidson方法,并对精化块Davidson方法进行了收敛性分析.数值试验和理论分析均表明,新方法对计算大型对称矩阵的一些极端特征对是有效的.     

非线性系统的广义模糊控制

提出了一种基于T-S 模糊模型的非线性系统的鲁棒跟踪控制方案. 首先将系统的模糊模型等价变换为广义系统模糊模型,然后设定跟踪性能指标,结合线性矩阵不等式方法设计了鲁棒跟踪控制器. 该方法不仅减少了求解复杂度,而且因减弱了对待定矩阵的限制而降低了保守性. 将该方法应用于倒立摆系统,实现了角度和角速率的 精确快速跟踪控制,从而表明了方法的有效性.     

一种测试用例的生成技术研究

在利用随机数生成测试用例技术中,随机数的生成是关键.在分析研究已有随机数产生方法的算法的基础上,提出了另一种随机数的产生方法,运用了无理数数字无限不循环的特性.介绍了基于无理数产生随机数的关键算法和生成优化测试用例的方法,并给出了实例.通过例子证明,该方法在产生均匀、独立的随机数方面是有效的.     

不完备信息系统的灰色关联决策方法

基于灰色系统理论的思想和方法,运用分析技巧和熵极大化准则,对不完备信息系统下灰色关联决策方法进行了研究.首先提出了灰色区间关联系数公式,将经典灰色关联决策由清晰数的情况推广到了区间灰数的情况.其次研究了方案目标值有空缺的情况,给出了填补空缺的方法和理论依据,建立了基于满意度水平下的灰色区间关联算法.给出的算法使决策方法更具柔性,决策结果更加贴近于实际.     

一种改进的加权模糊推理方法

在模糊专家系统中,模糊推理方法的优劣是衡量系统性能好坏的关键指标.文章举例指出了文[1]中模糊推理方法的局限性,并且给出了改进的方法,并通过实例验证了改进方法的合理性.     

曲线设计的一种细分格式的改进

细分方法是曲线曲面造型中的一项重要技术,在计算机辅助几何设计和计算机图形学等领域得到了广泛应用.本文提出一种非静态割角细分方法,该方法的极限曲线具有保凸性,凸包性等与Bézier方法类似的性质.可以验证当参数取不同的特定值时,该方法为Chaikin割角法和Riesenfeld割角法等.另外文中通过调整参数得到了一些形状各异的曲线.     

一种基于覆盖测试的动态切片的计算方法

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.     

脉搏波的函数叠加逼近分析方法的研究

研究了脉搏波的形成机理,并根据波形变化规律,采用函数叠加逼近方法对其进行了分析,得到了脉搏波的特征参量.初步临床应用表明,该方法物理概念清晰、直观、有效.     

基于排队模型的总线缓冲估计

根据嵌入式微处理器结构特征,提出了一种基于具有优先级排队模型的总线接口缓冲估计方法.通过对系统的抽象,建立了总线缓冲的排队模型,然后给出详细的估计步骤.最后对结果进行了理论分析,并针对实例应用该方法进行了缓冲容量估计,估计结果同高层仿真结果进行了比较,证明了该方法的有效性.     

具有H∞性能的线性时滞系统的未知输入观测器设计

以一类线性时滞系统为研究对象,研究了当观测误差与未知输入不能完全解耦时的未知输入观测器的设计问题.基于时滞系统Lyapunov稳定性方法,给出了观测器的存在条件,提出了含有内部时滞与不含有内部时滞两种观测器的设计问题.基于时滞系统的H∞控制理论,以线性矩阵不等式的形式设计了所提观测器.给出了观测器的设计方法,数值例子说明了方法的有效性.     

素数p在Q（10√u）中的素理想分解

设Q为有理数域,利用局部域的方法,讨论了p在Q的10次根扩张Q（u~（1/10））（u∈R）中的分解问题.并完全确定了（p,10）=1,（p,u）=1时的分解所有可能的形式.     

素数p在Q(u~(1/10))中的素理想分解

设Q为有理数域,利用局部域的方法,讨论了p在Q的10次根扩张Q(u~(1/10))(u∈R)中的分解问题.并完全确定了(p,10)=1,(p,u)=1时的分解所有可能的形式.     

素数p在Q(u~(1/6))中的素理想分解

设Q为有理数域,利用局部域的方法,讨论了素数p在Q的六次根扩张Q(u～(1/6))中的分解问题,并完全确定了分解所可能有的形式(p|6,(p,u)=1).     

素数p在Q（6√u）中的素理想分解

设Q为有理数域,利用局部域的方法,讨论了P在Q的6次根扩张Q（6√u）（y∈R）中的分解问题．并完全确定了（p,6）=1,（p,u）=1时的分解所有可能的形式．     

外强素根(英文)

定义外强素环,即一个环R的每个非零理想包含一个有限子集G,使得由rGr=0,r∈R可推出r=0。所有外强素环组成的环类所确定的上根称为外强素根。证明下列主要结论:A.外强素环一定是右(左)强素环;B.外强素环的每个非零理想也是外强素环;C.外强素环类本质扩张闭的;D.设(S,W,V,T)是一个Morita-Context且VW=S,WV=T,其中S,T是两个有1的环,如果I是S的一个理想,使得S/I是外强素环,那么T/J也是外强素环,其中J=WIV。     

广义马步法构造素数阶完全幻方的计数研究

研究了采用广义马步法构造的素数阶完全幻方的个数．在文献【1】的构造表达式下，广义马步法可构造的完全幻方个数为     

《重筛法》及其应用(Ⅰ)

《重筛法》是一种研究方法,是把复合数与质数区分开来,并进行分类和标码,使质数分布问题的研究转换成对“码”运算的研究.本文介绍了《重筛法》部分内容,及其在若干质数分布问题研究中的应用.本文着重介绍利用等差级数特性,实现复合数和质数的区分、分类和标码;并推导出实用的质数公式.     

53×53阶COSTAS阵列的发现

采用ＷＥＬＣＨ构造的增长法作指导，并借助计算机进行检测和搜索，首次发现了５３×５３阶的ＣＯＳＴＡＳ阵列．     

李善兰考数根四法

整理与解读了李善兰(1811-1882)考数根法原始文献,可以看出,李善兰的素数判定有屡乘求一、天元求一、小数回环、准根分级4种,得到了相当于费马小定理的结论,还指出逆命题不真.将原始的古典文献表述为现代数学符号语言,并且加以分析.获得了李善兰关于素数判定的理论依据以及我国素数理论在当时的发展与传播情况.     

两数平方和问题的性质探讨

在平方和问题解决的基础上 ,给出了平方和问题的几个重要性质 .