期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
有界闭域上的线性赋值循环终止性分析
1
作者
李轶
吴文渊
冯勇
《软件学报》
EI
CSCD
北大核心
2014年第6期1133-1142,共10页
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是...
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.
展开更多
关键词
可信计算
非线性循环
终止性分析
JORDAN标准型
有界闭域
在线阅读
下载PDF
职称材料
Hammerstein型非线性积分算子的固有元
2
作者
白锦东
《山东海洋学院学报》
1985年第3期102-106,共5页
本文是作者工作的继续。我们通过使用不同于[2、*]中的方法推广了[2、*]中关于Leray—Schauder度计算的两个结果。
关键词
HAMMERSTEIN
非线性积分算子
固有元
实值连续函数
欧氏空间
有界闭域
在线阅读
下载PDF
职称材料
题名
有界闭域上的线性赋值循环终止性分析
1
作者
李轶
吴文渊
冯勇
机构
中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2014年第6期1133-1142,共10页
基金
国家自然科学基金(61103110)
重庆市科技攻关项目(cstc2012ggB40004)
文摘
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.
关键词
可信计算
非线性循环
终止性分析
JORDAN标准型
有界闭域
Keywords
trusted computing
non-linear loop
termination analysi
Jordan canonical form
closed and bounded domain
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
Hammerstein型非线性积分算子的固有元
2
作者
白锦东
机构
数学系
出处
《山东海洋学院学报》
1985年第3期102-106,共5页
文摘
本文是作者工作的继续。我们通过使用不同于[2、*]中的方法推广了[2、*]中关于Leray—Schauder度计算的两个结果。
关键词
HAMMERSTEIN
非线性积分算子
固有元
实值连续函数
欧氏空间
有界闭域
分类号
O177.6 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
有界闭域上的线性赋值循环终止性分析
李轶
吴文渊
冯勇
《软件学报》
EI
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
2
Hammerstein型非线性积分算子的固有元
白锦东
《山东海洋学院学报》
1985
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
