期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
线性程序的Ranking函数自动合成
被引量：
1
1
作者
李骏
李轶
+1 位作者
冯勇
秦小林
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009年第5期176-181,共6页
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法...
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。
展开更多
关键词
DISCOVERER
Farkas’lemma
Ranking函数
半代数系统
程序终止性
程序验证
在线阅读
下载PDF
职称材料
采用近似方法的实代数数准确表示及其应用
被引量：
1
2
作者
秦小林
冯勇
+1 位作者
陈经纬
李骏
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2010年第2期126-131,共6页
针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式...
针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。
展开更多
关键词
实代数数
近似计算
符号计算
符号与数值混合计算
在线阅读
下载PDF
职称材料
题名
线性程序的Ranking函数自动合成
被引量：
1
1
作者
李骏
李轶
冯勇
秦小林
机构
中国科学院成都
计算机
应用研究所
电子科技大学计算机推理与可信计算实验室
出处
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009年第5期176-181,共6页
基金
国家科委973资助项目(2004CB318003)
中国科学院知识创新重要方向项目(KJCX2-YW-S02)
+1 种基金
国家自然科学基金资助项目(10771205)
国家自然科学基金资助项目(90718041)
文摘
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。
关键词
DISCOVERER
Farkas’lemma
Ranking函数
半代数系统
程序终止性
程序验证
Keywords
DISCOVERER
Farkas' lemma
ranking function
semi-algebraic systems
termination of program
program verification
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
采用近似方法的实代数数准确表示及其应用
被引量：
1
2
作者
秦小林
冯勇
陈经纬
李骏
机构
电子科技大学计算机推理与可信计算实验室
中国科学院成都
计算机
应用研究所
中国科学院研究生院
出处
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2010年第2期126-131,共6页
基金
国家973计划资助项目(2004CB318003)
中国科学院知识创新重要方向项目(KJCX2-YW-S02)
国家自然科学基金资助项目(10771205)
文摘
针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。
关键词
实代数数
近似计算
符号计算
符号与数值混合计算
Keywords
real algebraic number
approximate computation
symbolic computation
symbolic-numerical computation
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
线性程序的Ranking函数自动合成
李骏
李轶
冯勇
秦小林
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
2
采用近似方法的实代数数准确表示及其应用
秦小林
冯勇
陈经纬
李骏
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
