期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
基于递推链代数与迭代序列敛散性的死循环检测 被引量:2
1
作者 姬秀娟 杨巨峰 +2 位作者 许静 李晓虹 封磊 《计算机学报》 EI CSCD 北大核心 2013年第11期2245-2256,共12页
该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后... 该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数. 展开更多
关键词 死循环检测 静态分析 递推代数 迭代函数收敛性 软件工程
下载PDF
乘积格蕴涵代数的子代数的MATLAB实现
2
作者 吴明慧 刘煦 +1 位作者 徐扬 马骏 《计算机科学》 CSCD 北大核心 2011年第3期263-265,289,共4页
借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得... 借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得到了其只存在平凡滤子和素滤子的结论。 展开更多
关键词 滤子 格蕴涵子代数 乘积格蕴涵代数 型子代数 型子代数
下载PDF
一种多重循环程序内存访问越界检测方法 被引量:2
3
作者 王嘉捷 蒋凡 张涛 《中国科学院研究生院学报》 CAS CSCD 北大核心 2010年第1期117-126,共10页
提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题.先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并推断缺陷触发可能性和路径指导信息,从而实现基于符号执行的缺陷定向检测,最终查出越界缺陷及其触发路径... 提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题.先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并推断缺陷触发可能性和路径指导信息,从而实现基于符号执行的缺陷定向检测,最终查出越界缺陷及其触发路径与程序输入.已实现原型工具,检测了多个开源软件,找到了真实的代码缺陷.实验结果表明,该方法既避免了盲目路径遍历,又保持了路径敏感和位级跟踪的检测精度,提高了缺陷检测效率和准确度. 展开更多
关键词 软件缺陷检测 静态分析 符号执行 循环分析 递推扩展代数
下载PDF
PHYSICAL SUBALGEBRA CHAINS IN A SEMISIMPLE LIE ALGEBRA
4
作者 季德璜 凌寅生 《苏州大学学报(自然科学版)》 CAS 1990年第2期205-208,共4页
Using the defining matrices of A1 in classical algebras An, Bn, Cn and Dn, deduce the embedding indices of the physical A1 algebra in classical algebras, The Ginocchio so(8) model is as an example.
关键词 物理子代数链 半单纯李代数 矩阵 嵌入法
下载PDF
符号执行中非线性归纳变量循环优化分析方法 被引量:1
5
作者 秦书锴 王震宇 +1 位作者 汪永红 徐凯杰 《信息工程大学学报》 2017年第5期630-634,共5页
提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次... 提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次曲面拟合的方法对其进行化简,从而达到了循环优化的方法,实验证明文章提出的方法在一定程度上缓解了非线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题。 展开更多
关键词 递推代数 循环优化 符号执行
下载PDF
Generalized Toda Mechanics Associated with Classical Lie Algebras and Their Reductions 被引量:1
6
作者 ZHAOLiu LIUWang-Yun YANGZhan-Ying 《Communications in Theoretical Physics》 SCIE CAS CSCD 2004年第3期339-348,共10页
For any classical Lie algebra , we construct a family of integrable generalizations of Toda mechanics labeled a pair of ordered integers . The universal form of the Lax pair, equations of motion, Hamiltonian as well a... For any classical Lie algebra , we construct a family of integrable generalizations of Toda mechanics labeled a pair of ordered integers . The universal form of the Lax pair, equations of motion, Hamiltonian as well as Poisson brackets are provided, and explicit examples for with are also given. For all , it is shown that the dynamics of the - and the -Toda chains are natural reductions of that of the -chain, and for , there is also a family of symmetrically reduced Toda systems, the -Toda systems, which are also integrable. In the quantum case, all -Toda systems with 1$' SRC='http://ej.iop.org/images/0253-6102/41/3/339/ctp_41_3_339_12.gif'/> or 1$' SRC='http://ej.iop.org/images/0253-6102/41/3/339/ctp_41_3_339_13.gif'/> describe the dynamics of standard Toda variables coupled to noncommutative variables. Except for the symmetrically reduced cases, the integrability for all -Toda systems survive after quantization. 展开更多
关键词 Lax pair Poisson brackets Toda chains
下载PDF
量子通用包络代数的q-变形玻色子表示:q为单位根情况
7
作者 孙昌璞 葛墨林 《中国科学(A辑)》 CSCD 1991年第12期1309-1318,共10页
本文在进一步发展譬q-变形玻色子实现方法的基础上,建立了联系典型子代数链的标准基,在q为单位根情况下系统地构造了量子通用包络代数(A_(1-1))_q和(C_1)_q的不可约和不可分解表示,并分析了它们的约化结构和分解特征。
关键词 量子群 包络代数 代数 代数链
原文传递
On the Filtration Dimensions of a Standardly Stratified Algebra and Its Polynomial Algebra 被引量:1
8
作者 康娜 姚海楼 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2006年第3期440-450,共11页
This paper deals with Δ-good filtration dimensions of a standardly stratified algebra and Δ[x]-good titration dimensions of its polynomial algebra.
关键词 standardly stratified algebras filtration dimensions polynomial algebras quasihereditary algebras.
下载PDF
Motive—Grothendieck的梦想
9
作者 James S.Milne 《数学译林》 2009年第3期193-206,共14页
1964年,Grothendieck(格罗滕迪克)在给Serre(塞尔)的信中引入了“Motive”的概念.(因无合适的术语表达,Motive暂不译出——本刊注.)后来他写道,在所有他有幸发现的事物中,Motive是最充满神秘的,或许将成为最强有力的探索... 1964年,Grothendieck(格罗滕迪克)在给Serre(塞尔)的信中引入了“Motive”的概念.(因无合适的术语表达,Motive暂不译出——本刊注.)后来他写道,在所有他有幸发现的事物中,Motive是最充满神秘的,或许将成为最强有力的探索工具.在此报告中,我将解释什么是Motive以及为什么格罗滕迪克对其如此看重. 展开更多
关键词 术语表达 拓扑学 数学 代数链
原文传递
DG algebra structures on AS-regular algebras of dimension 2 被引量:4
10
作者 MAO XueFeng 《Science China Mathematics》 SCIE 2011年第10期2235-2248,共14页
Let A be a connected cochain DG algebra, whose underlying graded algebra is an Artin-Schelter regular algebra of global dimension 2 generated in degree 1. We give a description of all possible differential of A and co... Let A be a connected cochain DG algebra, whose underlying graded algebra is an Artin-Schelter regular algebra of global dimension 2 generated in degree 1. We give a description of all possible differential of A and compute H(A). Such kind of DG algebras are proved to be strongly Gorenstein. Some of them serve as examples to indicate that a connected DG algebra with Koszul underlying graded algebra may not be a Koszul DG algebra defined in He and We (J Algebra, 2008, 320: 2934-2962). Unlike positively graded chain DG algebras, we give counterexamples to show that a bounded below DC A-module with a free underlying graded A^#-module may not be semi-projective. 展开更多
关键词 AS-regular algebra differential graded algebra Koszul algebra semi-projective module
原文传递
SIMPLE OCKHAM ALGEBRAS
11
作者 FANG JIE Department of Mathematics, Zhongshan University, Guangzhou 510271, China. 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1996年第2期213-218,共6页
An algeber L is said to be simple, if its congruence lattice Con L reduces to the 2-elementchain {ω,v}. This paper describes the structure of finite simple Ockham algebras.
关键词 Ockham algebra Simple algebra Congruence lattic 2-element chain
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部