期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
一种使用非线性循环数列解决堆栈问题的算法 被引量:1
1
作者 孙玫 孙志挥 《东南大学学报(自然科学版)》 EI CAS CSCD 1998年第1期6-11,共6页
提出了一种使用非线性循环数列解决堆栈问题的算法,对研究栈的性质和求解栈的输出序列具有一定的实用价值.
关键词 数据结构 非线性循环数列 算法
在线阅读 下载PDF
非线性循环的终止性分析 被引量:2
2
作者 李轶 《软件学报》 EI CSCD 北大核心 2012年第5期1045-1052,共8页
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
关键词 可信计算 非线性循环 终止性分析 DISCOVERER
在线阅读 下载PDF
有界闭区间并上的非线性循环程序的终止性验证
3
作者 李玲娜 田继东 刘德斌 《计算机应用与软件》 CSCD 北大核心 2012年第10期105-108,共4页
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的... 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。 展开更多
关键词 程序验证 终止性分析 非线性循环程序 不动点 周期点
在线阅读 下载PDF
有界闭连通域上的非线性循环终止性分析
4
作者 李轶 冯勇 《软件学报》 EI CSCD 北大核心 2016年第3期517-526,共10页
运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.
关键词 可信计算 非线性循环 终止性分析 GROEBNER基 计算机代数
在线阅读 下载PDF
非线性循环及R^m上线性循环的终止性判定 被引量:1
5
作者 陈敬敏 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2013年第2期110-116,共7页
为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充... 为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。 展开更多
关键词 非线性循环 线性循环 终止性分析 周期轨道
在线阅读 下载PDF
有界闭域上的线性赋值循环终止性分析
6
作者 李轶 吴文渊 冯勇 《软件学报》 EI CSCD 北大核心 2014年第6期1133-1142,共10页
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是... 对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨. 展开更多
关键词 可信计算 非线性循环 终止性分析 JORDAN标准型 有界闭域
在线阅读 下载PDF
基于循环追踪算法的编队航天器交会控制 被引量:3
7
作者 杨希祥 杨涛 张为华 《国防科技大学学报》 EI CAS CSCD 北大核心 2014年第1期1-5,共5页
采用循环追踪算法解决编队航天器交会控制问题。建立并推导了线性循环追踪算法和非线性循环追踪算法数学模型,提出了绕飞平面采用循环追踪控制,绕飞平面法向采用比例微分进行振动抑制的编队交会控制律。基于脉冲推力方式,对绕飞平面分... 采用循环追踪算法解决编队航天器交会控制问题。建立并推导了线性循环追踪算法和非线性循环追踪算法数学模型,提出了绕飞平面采用循环追踪控制,绕飞平面法向采用比例微分进行振动抑制的编队交会控制律。基于脉冲推力方式,对绕飞平面分别采用线性和非线性循环追踪的三航天器编队交会控制问题进行了仿真分析。仿真结果表明,提出的基于循环追踪的控制方式可满足编队航天器交会控制要求,航天器按顺时针运行轨迹交会于初始位置决定的参考中心,三航天器间相对距离、相对运动速度变化趋势基本一致,速度增量消耗较小,为航天器编队构形控制研究提供有益参考。 展开更多
关键词 航天器编队 交会控制 线性循环追踪算法 非线性循环追踪算法 比例微分
在线阅读 下载PDF
海底管道轴向移动数值模拟研究 被引量:4
8
作者 陈志华 黄金超 +2 位作者 赵思玥 何永禹 刘红波 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2016年第9期1197-1203,共7页
非线性的温度荷载是造成管道产生轴向移动的主要原因,针对海底管道在多次开启/关闭的循环作用下轴向移动现象,采用有限元分析的方法,通过ABAQUS软件建立循环温度作用下平坦海床上短直管道有限元模型,模型中考虑了非线性的温度加载梯度... 非线性的温度荷载是造成管道产生轴向移动的主要原因,针对海底管道在多次开启/关闭的循环作用下轴向移动现象,采用有限元分析的方法,通过ABAQUS软件建立循环温度作用下平坦海床上短直管道有限元模型,模型中考虑了非线性的温度加载梯度和高温对管道材料的影响,揭示短管道在多次开启/关闭循环荷载作用下有效轴向力分布以及管道各点轴向移动现象的形成原因及发展规律。最后通过参数化分析,得到了管土摩擦系数与管道轴向移动速率之间的关系,并对比两种管道内压的加载方式对管道轴向移动速率的影响,为工程中减缓管道轴向移动速率的方法提供借鉴和帮助。 展开更多
关键词 短直海底管道 数值模拟 轴向移动 非线性循环温度 参数化分析
在线阅读 下载PDF
A nonlinear rheological damage model of hard rock 被引量:11
9
作者 HU Bo YANG Sheng-qi XU Peng 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第7期1665-1677,共13页
By adopting cyclic increment loading and unloading method, time-independent and time-dependent strains can be separated. It is more reasonable to describe the reversible and the irreversible deformations of sample sep... By adopting cyclic increment loading and unloading method, time-independent and time-dependent strains can be separated. It is more reasonable to describe the reversible and the irreversible deformations of sample separately during creep process. A nonlinear elastic-visco-plastic rheological model is presented to characterize the time-based deformational behavior of hard rock. Specifically, a spring element is used to describe reversible instantaneous elastic deformation. A reversible nonlinear visco-elastic (RNVE) model is developed to characterize recoverable visco-elastic response. A combined model, which contains a fractional derivative dashpot in series with another Hook’s body, and a St. Venant body in parallel with them, is proposed to describe irreversible visco-plastic deformation. Furthermore, a three-stage damage equation based on strain energy is developed in the visco-plastic portion and then nonlinear elastic-visco-plastic rheological damage model is established to explain the trimodal creep response of hard rock. Finally, the proposed model is validated by a laboratory triaxial rheological experiment. Comparing with theoretical and experimental results, this rheological damage model characterizes well the reversible and irreversible deformations of the sample, especially the tertiary creep behavior. 展开更多
关键词 Hard rock multi-step loading and unloading cycles NONLINEAR DAMAGE rheological model
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部