李轶

作品数：7被引量：11H指数：3
导出分析报告
供职机构：电子科技大学更多>>
发文主题：瑞利散射非线性程序终止性信号温度报警器更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《系统科学与数学》《软件学报》更多>>
所获基金：国家重点基础研究发展计划国家自然科学基金中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非线性循环的终止性分析被引量：2
《软件学报》2012年第5期1045-1052,共8页李轶 
国家自然科学基金(90718041);上海市高可信计算重点实验室开放课题(07dz22304200801)
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
关键词：可信计算 非线性循环 终止性分析 DISCOVERER 
多区间上非线性程序的终止性判定被引量：3
《四川大学学报（工程科学版）》2011年第3期76-80,共5页牟琳 李轶 李玲娜 刘栋 
国家重点基础研究发展计划资助项目(2004CB318003)
主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1...
关键词：程序验证 计算机代数 非线性程序 不动点 
线性程序的Ranking函数自动合成被引量：1
《四川大学学报（工程科学版）》2009年第5期176-181,共6页李骏 李轶 冯勇 秦小林 
国家科委973资助项目(2004CB318003);中国科学院知识创新重要方向项目(KJCX2-YW-S02);国家自然科学基金资助项目(10771205);国家自然科学基金资助项目(90718041)
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法...
关键词：DISCOVERER Farkas’lemma Ranking函数 半代数系统 程序终止性 程序验证 
有理单变元表示在优化问题上的应用被引量：1
《系统科学与数学》2009年第3期331-341,共11页李轶 
国家自然科学基金(NKBRPC-2004CB318003)资助课题.
利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优...
关键词：优化 正性判定 BOTTEMA 
一类循环条件非线性的程序终止性被引量：4
《四川大学学报（工程科学版）》2009年第1期129-133,共5页李骏 李轶 冯勇 
国家科委973资助项目(2004CB318003);中国科学院知识创新重要方向资助项目(KJCX2-YW-S02);国家自然科学基金资助项目(10771205)
针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算...
关键词：非线性程序 终止性 程序验证 JORDAN标准型 
一类半正定多项式的配平方和算法被引量：5
《系统科学与数学》2008年第4期490-504,共15页李轶 
中国科学院知识创新重要方向性项目(KJCX2-YW-S02);国家重点基础研究发展规划基金(2004CB318003)资助课题.
以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集X_s的算法,利用精确的符号算法PCAD,可将一类半正定多项式配成平方和,并编写了Maple程序"ASSOS",实现了多项式配平方和...
关键词：平方和 Gram矩阵方法 牛顿多胞型 稀疏多项式 Hilbertl7问题. 
基于降维的并行符号行列式计算
《四川大学学报（工程科学版）》2007年第2期133-139,共7页李轶 
国家科委973资助项目(2004CB318003)
为了更有效地计算科学与工程领域所涉及的大量符号行列式计算,基于降维算法和并行行列式计算,呈现了一个混合的符号行列式计算算法。新算法将多变元的符号行列式转化为仅有两个变元的并行行列式计算。更重要的是,新算法大大提高了原并...
关键词：符号行列式 降维算法 并行计算 结式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部