中央高校基本科研业务费专项资金(12NZYTH04)
- 作品数：4 被引量：2H指数：1
- 相关作者：徐嘉张景中雷开彬姚勇马志霞更多>>
- 相关机构：西南民族大学中国科学院成都计算机应用研究所更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家民委科研基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 具有时滞的中立型泛函微分方程解的渐近性
- 2014年
- 提出了算子一致有界和一致终结有界的概念,讨论了具有限时滞的中立型泛函微分方程解的一致有界和一致终结有界性,利用Lyapunov泛函方法得到了一致有界和一致终结有界性的充分条件,给出了具有限时滞中立型泛函微分方程的解一致有界和一致终结有界性的新判据.一些近期文献中的结果得到了推广,并给出了一个实例说明其结论的应用.
- 马志霞宋建成雷开彬
- 关键词：中立型泛函微分方程一致有界
- 三角代数数极小多项式的机器求解被引量：1
- 2012年
- 代数数极小多项式的重构在数学与计算机等多个学科中是一个基本的问题.这个问题的解决关系到代数数的表示、代数数的存储以及代数数的符号定位等相关问题能否圆满解决.对于三角代数数(含三角函数的代数数)的极小多项式,目前还没有较好的机器求解方法.针对这一点,给出了正弦代数数和余弦代数数的极小多项式的重构算法.在此基础上给出了两个代数数的和与积的极小多项式的算法,从而解决了一般三角代数数的极小多项式的机器求解问题.实例表明文中的算法是有效的.
- 徐嘉
- 关键词：代数数极小多项式机器证明
- 二面体群作用下简单多边形的分类被引量：1
- 2012年
- 针对简单多边形的分类问题,将对称情况看成是相同类别进行分类来简化分类数,提出一种分类方法.首先分析简单多边形顶点的凹凸性,根据简单多边形顶点处凸点和凹点的分布情况,定义了简单多边形的标记矩阵;然后利用标记矩阵将简单多边形的分类问题归结为二面体群作用在状态集(全体标记矩阵组成的集合)上的轨道划分问题;最后利用熟知的Pólya计数定理求解轨道的个数,并给出了新的分类公式.实验结果表明,当简单多边形边数为6时,采用文中方法的分类数小于原来分类数,并且随着边数的增大,这种差距逐渐变大.
- 徐嘉
- 关键词：简单多边形凹凸性状态集二面体群
- n-单形的m阶等分点集与零多项式的判定
- 2014年
- 通过递归方法定义了N-单形的m阶等分点集.证明了n元m次多项式f为零多项式的充要条件是:f在任意n-单形的m阶等分点处的取值为0.然后将这一结果应用到插值方法的适定点问题和几何定理机器证明的数值并行法.
- 徐嘉姚勇张景中
