终止性

作品数：103被引量：114H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李轶冯勇吴文渊郝忠孝杨泽雪更多>>
相关机构：中国科学院重庆绿色智能技术研究院哈尔滨理工大学中国科学院大学中国科学院成都计算机应用研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划黑龙江省自然科学基金重庆市科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统科学与数学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
线性循环程序的终止性判定被引量：1
《系统科学与数学》2013年第5期626-638,共13页李轶 
国家自然科学基金(61103110);国家自然科学基金重点项目(91018012);国家973计划项目(2011CB302400);重庆市科技攻关项目(cstc2012ggB40004)资助课题
对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归...
关键词：可信计算 线性循环 终止性分析 N-不可终止点 
差分代换矩阵与多项式的非负性判定被引量：19
《系统科学与数学》2009年第9期1169-1177,共9页杨路 姚勇 
国家重点基础研究发展规划项目(2004CB318003);国家自然科学基金重点项目(90718041);中国科学院知识创新工程重要方向(KJCX-YW-S02)资助项目
主要分析了差分代换矩阵的基本性质，证明了存在有限个差分代换矩阵的乘积可以将单位点（1，0，…，0）变换到指定的非负（本原）整点．利用这一结果可以导出R^n＋上判定半正定型的充要条件．根据此充要条件建立的算法（TSDS）可能不停...
关键词：差分代换矩阵 差分代换集序列 终止性 半正定型 
分区参数Grbner基的计算
《系统科学与数学》2005年第2期129-138,共10页李鹏 陈雪峰 王定康 
本工作得到"973"项目(2004CB318000)的资助.
对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.
关键词：分区 GROEBNER基 计算 多项式理想 含参数 终止性 正确性 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部