期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模拟人类发散思维的测度值马尔可夫理论模型
被引量：
2
1
作者
王蓁蓁
邢汉承
+1 位作者
张志政
倪庆剑
《南京大学学报（自然科学版）》
CSCD
北大核心
2008年第2期148-156,共9页
本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部分可观察马尔可夫...
本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部分可观察马尔可夫决策过程的推广,它反映人类思维的一个重要特征,人们在把握全部状态可能性(即对状态空间进行权衡度量)的态势下,思考问题并选择自己的最优行动.部分可观察马尔可夫决策过程只是它的一种特例.
展开更多
关键词
测度值
测度值分枝过程
马尔可夫决策过程
在线阅读
下载PDF
职称材料
抽象解释全总域模型
2
作者
王蓁蓁
倪庆剑
+1 位作者
张志政
邢汉承
《中国科学技术大学学报》
CAS
CSCD
北大核心
2014年第7期599-604,共6页
抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是...
抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.
展开更多
关键词
抽象解释
语义
全总域
完备性
在线阅读
下载PDF
职称材料
题名
模拟人类发散思维的测度值马尔可夫理论模型
被引量：
2
1
作者
王蓁蓁
邢汉承
张志政
倪庆剑
机构
东南大学计算机科学和工程学院
出处
《南京大学学报（自然科学版）》
CSCD
北大核心
2008年第2期148-156,共9页
基金
国家自然科学基金(90412014)
计算机软件新技术开放课题(A200707)
文摘
本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部分可观察马尔可夫决策过程的推广,它反映人类思维的一个重要特征,人们在把握全部状态可能性(即对状态空间进行权衡度量)的态势下,思考问题并选择自己的最优行动.部分可观察马尔可夫决策过程只是它的一种特例.
关键词
测度值
测度值分枝过程
马尔可夫决策过程
Keywords
measure-valued Markov decision processes, measure-valued branching processes, Markovdecision processes
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
抽象解释全总域模型
2
作者
王蓁蓁
倪庆剑
张志政
邢汉承
机构
金陵科技
学院
信息技术
学院
江苏省信息分析
工程
实验室
东南大学计算机科学和工程学院
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2014年第7期599-604,共6页
基金
金陵科技学院科研基金(jit-n-201305)
2013年度江苏省高校自然科学研究面上自筹经费项目(13KJD520005)资助
文摘
抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.
关键词
抽象解释
语义
全总域
完备性
Keywords
abstract interpretation
semantics
universe domain
completeness
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模拟人类发散思维的测度值马尔可夫理论模型
王蓁蓁
邢汉承
张志政
倪庆剑
《南京大学学报（自然科学版）》
CSCD
北大核心
2008
2
在线阅读
下载PDF
职称材料
2
抽象解释全总域模型
王蓁蓁
倪庆剑
张志政
邢汉承
《中国科学技术大学学报》
CAS
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
