论文部分内容阅读
半定规划（SDP）是一类重要的凸优化问题,它可以由Matlab中的SDP软件包有效地求解,比如SeDuMi,SDPT3,DSDP等等.然而由于Matlab只能进行有限精度计算,所得结果往往带有很大误差.在某些需要高精度计算的问题中,Matlab中的SDP软件包难以得到满意的结果.SDPTools是基于符号计算软件Maple的求解SDP的软件包.利用Maple可以进行任意精度计算的特性,SDPTools可以进行高精度的求解.将SDPTools应用于有理函数全局最优值的求解和验证问题中,对于Rump＇sMod