期刊文献+

结构方阵秩亏为k的可信性验证

Certification of the Square Structure Matrix with Rank Deficiency k
下载PDF
导出
摘要 利用区间算法研究结构矩阵秩亏为k的可信性验证.对具有特殊代数结构的矩阵A(p),给出了算法输出具有相同代数结构的区间矩阵A(p+W),其每个位置的元素为矩阵A(p)相应位置元素的很小区间摄动,使得区间矩阵A(p+W)中包含一个具有相同代数结构且秩亏为k的矩阵A(p+w).结果表明,结构矩阵秩亏为k的可信性验证可以应用到多项式因式分解的可信性计算中. The authors mainly discussed the certification of the square structure matrix with rank deficiency k.For a square structure matrix A(p),we gave an algorithm which outputs an interval square matrix A(p+W)with the same algebraic structure such that A(p+W)contains a structure matrix A(p+w)with rank deficiency k,where each element of A(p+W)is a small interval perturbation of the corresponding element of A(p).
出处 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2014年第3期465-469,共5页 Journal of Jilin University:Science Edition
基金 国家自然科学基金(批准号:11171133) 数学天元基金(批准号:11326209)
关键词 区间算法 结构方阵 可信性验证 interval algorithm square structure matrix certification rank
  • 相关文献

参考文献10

  • 1李喆,周蕊.结构方阵秩亏为1的可信性验证[J].吉林大学学报(理学版),2013,51(6):1101-1103. 被引量:1
  • 2Rump S M. Klcinc Fchlcrschrankcn Bci Matrixproblcmcn [D]. Karlsruhe:University Karlsruhe,1 980.
  • 3Rump S M. Verification Methods:Rigorous Results Using Floating-Point Arithmetic[J].Aeta Numcrica,2010,1 9: 287-4 4 9.
  • 4Moore R A Test for Existence of Solutions to Nonlinear System [J]. SIAM J Numcr Anal,1977,14 (4):611-615.
  • 5Krawczyk R. Newton-Algorithmen zur Bcstimmung von Nullstcllcn mit Fchlcrschrankcn [J]. Computing,1 969,4 :187-201.
  • 6Rump S M. Solving Algcbraic Problems with High Accuracy [C]//Procccding of the Symposium on a New Approach to Scicntific Computation. San Diego: Acadcmic Press,1983: 5 1-120.
  • 7Sommcsc A J,Wampler C W II. Thc Numerical Solution of Systems of Polynomials Arising in Engineering and Scicncc [M]. Singapore:World Scicntific Publishing,2005.
  • 8YANG Zhcngfcng,ZH1 Lihong,ZHU Yijun. Vcrficd Error Bounds for Real Solutions of Positive-Dimensional Polynomial Systems [C]//ISSAC 7 13 Proceedings of the 38th International Symposium on International Symposium on Symbolic and Algcbraic Computation. New York:ACM,2013:37 1-378.
  • 9Golub G H,Van Loan C F. Matrix Computations [M]. 3rd cd. Baltimore:Johns Hopkins University Press,1 996.
  • 10Spcncc A,Poulton C. Photonic Band Structure Calculations Using Nonlinear Eigenvalue Tcchniqucs [J].J Comput Phy,2005,204(1): 65-81.

二级参考文献14

  • 1Rump S M. Verified Bounds for Singular Values, in Particular for the Spectral Norm of a Matrix and Its Inverse [J]. BIT Numerical Mathematics, 2011, 51(2): 367-384.
  • 2Nishi T, Rump S M, Oishi S. On the Generation of Very Ill-Conditioned Integer Matrices [J]. Nonlinear Theory and Its Applications, 2011, 2(2): 226-245.
  • 3Rump S M. Verified Bounds for Least Squares Problems and Underdetermined Linear Systems [J]. SAIM J Matrix Anal Appl, 2012, 33(1): 130-148.
  • 4Rump S M. Accurate Solution of Dense Linear Systems, Part I : Algorithms in Rounding to Nearest [J]. Journal of Computational and Applied Mathematics, 2013, 242: 157-184.
  • 5Rump S M. Accurate Solution of Dense Linear Systems, Part Ⅱ : Algorithms Using Directed Rounding [J]. Journal of Computational and Applied Mathematics, 2013, 242: 185-212.
  • 6Govaerts W. Bordered Matrices and Singularities of Large Nonlinear Systems [J]. Internat J Bifurcation Chaos, 1995, 5(1): 243-250.
  • 7Griewank A, Reddien G W. Characterisation and Computation of Generalised Turning Points [J]. SIAM J Numer Anal, 1984, 21(1): 176-185.
  • 8Griewank A, Reddien G W. The Approximate Solution of Defining Equations for Generalized Turning Points [J]. SIAM J Numer Anal, 1996, 33(5): 1912-1920.
  • 9Rabier P J, Reddien G W. Characterization and ComputatiOn of Singular Points with Maximum Rank Deficiency [J]. SIAMJ Numer Anal, 1986, 23(5): 1040-1051.
  • 10Griewank A, Reddien G W. The Approximation of Generalized Turning Points by Projection Methods with Superconvergence to the Critical Parameter [J]. Numer Math, 1986, 48(5): 591-606.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部