中央高校基本科研业务费专项资金(09NZYZJ07)
- 作品数：5 被引量：6H指数：2
- 相关作者：徐嘉姚勇李高平李佳琦更多>>
- 相关机构：西南民族大学中国科学院成都计算机应用研究所更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金中国科学院知识创新工程重要方向项目更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 三元Schur基的新证法与推广
- 2010年
- 本文利用单项字典序的概念,采用比较首单项的方法给出了对称型三元Schur基的新证法.又以三元Schur基为基础,使用列举首单项的方法,进一步构造了一般n元m次对称型空间的Schur基.并给出了一些应用.
- 徐嘉
- 基于随机矩阵的差分代换算法的完备化被引量：3
- 2011年
- 本文利用有限核原理,给出了基于随机矩阵的逐次差分代换方法的一个完备化.获得了判定多项式半正定性的完全算法.此算法可进一步应用于计算有理函数的全局最优值.与常用的数值最优化方法不同的是,本方法获得的是精确符号解.
- 徐嘉姚勇
- 关键词：完备化
- Schur型基的一般构造算法
- 2011年
- 本文研究了具有零点(1,1,…,1)的实对称型形成的子空间,可用平方型表示的子空间,以及可用Schur型表示的子空间的相互关系.证明了这三个子空间是同一个子空间。
- 徐嘉李佳琦
- 一个三角不定方程的机器解法
- 2011年
- 研究了如下具有几何意义的三角不定方程(采用角度制)sin(x°)sin(y°)sin(z°)/sin(A°-x°)sin(B°-y°)sin(C°-z°)=1其中A,B,C是给定的正整数,满足2≤A≤B≤C且A+B+C=180;1≤x≤A-1,1≤y≤B-1,1≤x≤C-1.设计了两种求解方案,使用计算机按两种求解方案完整的求出了上述方程的所有正整数解.
- 徐嘉姚勇
- copositive二次型与copositive矩阵被引量：3
- 2011年
- 变元在n+上变化的二次型,如果总取非负值,则称为copositive二次型;其对应的矩阵称为copositive矩阵.判定一个给定的矩阵不是copositive矩阵是一个有名的NP-完全问题.本文利用齐次线性不等式在m+上的解矩阵,建立了一个关于二次型的投影定理进一步,一个判定copositive二次型的完全算法被建立.等价地也得到了判定copositive矩阵的完全算法.
- 徐嘉李高平
