搜索筛选:
搜索耗时0.7733秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：夏新凯,陈冬火,
来源：软件 年份：2016
可信性是各安全攸关领域软件的基础要求,例如航空航天飞行器控制软件、核电站控制软件和交通控制管理软件等,基于形式化方法的程序验证和分析是确保软件正确,具有可信性的重...
[期刊论文] 作者：谢岩松,金海东,陈冬火,,
来源：软件 年份：2016
传统强化学习中,函数近似方法用于同一任务中不同状态之间的知识泛化。提出基于函数近似的知识迁移方法 KTBFA,实现不同任务之间的知识泛化与迁移。KTBFA方法在对状态-动作空间进行特征编码的基础上,使用线性函数逼近器近似表示Agent在源任务中学习到的V*值。近......
[期刊论文] 作者：陈冬火,刘全,金海东,朱斐,王辉,
来源：计算机研究与发展 年份：2016
提出一种区间分支时序逻辑——控制流区间时序逻辑（control flow interval temporal logic,CFITL）,用于规约程序的时序属性.不同于计算树逻辑（computation tree logic,CTL）和线性...
相关搜索：
