搜索筛选:
搜索耗时1.1327秒,为你在为你在102,285,761篇论文里面共找到 21 篇相符的论文内容
发布年度:
[学位论文] 作者：陈冬火,,
来源：中国科学院研究生院（成都计算机应用研究所） 年份：2006
传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自始至终维持系统的协调性成为一个具有挑战性...
[期刊论文] 作者：陈冬火,
来源：福建电脑 年份：2014
形式化文法是编译理论及程序语言理论重要的研究内容之一，同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论，自动及非自动......
[期刊论文] 作者：陈冬火,刘全,
来源：计算机研究与发展 年份：2013
基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展．对于输入和输出为无界抽象数据类型的无限状态系统，利用传统模型检验技术难以有效地产生测......
[期刊论文] 作者：夏新凯,陈冬火,
来源：软件 年份：2016
可信性是各安全攸关领域软件的基础要求,例如航空航天飞行器控制软件、核电站控制软件和交通控制管理软件等,基于形式化方法的程序验证和分析是确保软件正确,具有可信性的重...
[期刊论文] 作者：陈冬火, 姚望舒,,
来源：计算机教育 年份：2009
"计算机程序设计语言"课程是计算机科学与技术学科核心的课程之一,极大地影响着学生对计算机领域的理解和兴趣。本文针对教学过程中存在的问题,提出了层次化教学目标思想。以...
[期刊论文] 作者：陈冬火,张宏斌,,
来源：计算机应用与软件 年份：2011
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它......
[期刊论文] 作者：金海东, 刘全, 陈冬火,,
来源：计算机学报 年份：2019
在线强化学习中,值函数的逼近通常采用随机梯度下降(Stochastic Gradient Descent,SGD)方法.在每个时间步,SGD方法使用强化学习算法获取随机样本,计算损失函数的局部梯度,单...
[期刊论文] 作者：陈道喜, 张广泉, 陈冬火,,
来源：微电子学与计算机 年份：2008
NSPK协议是一个经典的认证密码协议．通过建立该协议的Promela模型，采用线性时序逻辑描述模型性质，并用模型检测工具Spin进行验证，进而生成入侵者的攻击序列．...
[期刊论文] 作者：罗浩,张广泉,陈冬火,
来源：苏州大学学报：自然科学版 年份：2007
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,...
[期刊论文] 作者：陈道喜,陈冬火,张广泉,,
来源：苏州大学学报(自然科学版) 年份：2008
网络协议簇中，传输控制协议TCP是最重要的协议之一，提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输，并用模型检测工具Spin，验证TCP三次握手协议的安全性与......
[期刊论文] 作者：陈道喜,陈冬火,张广泉,,
来源：苏州大学学报(工科版) 年份：2008
密码协议安全性的分析是网络安全研究领域的一个主要内容,研究人员提出多种形式化方法来分析这个问题。模型检测工具Spin是一个广泛验证并发系统性质的工具,可用来分析密码协...
[期刊论文] 作者：赵世忠,陈冬火,刘静,
来源：软件学报 年份：2020
循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间...
[期刊论文] 作者：谢岩松,金海东,陈冬火,,
来源：软件 年份：2016
传统强化学习中,函数近似方法用于同一任务中不同状态之间的知识泛化。提出基于函数近似的知识迁移方法 KTBFA,实现不同任务之间的知识泛化与迁移。KTBFA方法在对状态-动作空间进行特征编码的基础上,使用线性函数逼近器近似表示Agent在源任务中学习到的V*值。近......
[期刊论文] 作者：陈冬火,刘全,朱斐,金海东,
来源：计算机学报 年份：2018
表格驱动的算法是解决强化学习问题的一类重要方法,但由于“维数灾”现象的存在,这种方法不能直接应用于解决具有连续状态空间的强化学习问题.解决维数灾问题的方法主要包括...
[期刊论文] 作者：李平福,陈冬火,张广泉,
来源：苏州大学学报：工科版 年份：2008
针对面向对象系统，定义了一种基于时序逻辑的形式化规约语言。它不仅支持对面向对象思想中重要概念，如类、对象、继承等的描述，而且支持对面向对象系统的时序属性的描述，如类的状......
[期刊论文] 作者：陈冬火,王林章,崔家林,
来源：东华大学学报：英文版 年份：2008
古典逻辑不能被用来有效地与矛盾关于并发的系统推理(矛盾经常发生特别在发展的早阶段，当大、复杂的并发的系统被开发时) 。在这份报纸，甚至在历久不渝的模型不是可得到的的地......
[期刊论文] 作者：陈冬火,刘全,金海东,朱斐,王辉,
来源：计算机研究与发展 年份：2016
提出一种区间分支时序逻辑——控制流区间时序逻辑（control flow interval temporal logic,CFITL）,用于规约程序的时序属性.不同于计算树逻辑（computation tree logic,CTL）和线性...
[期刊论文] 作者：朱斐,朱海军,刘全,陈冬火,伏玉琛,
来源：软件学报 年份：2018
策略梯度作为一种能够有效解决连续空间决策问题的方法得到了广泛研究,但由于在策略估计过程中存在较大方差,因此,基于策略梯度的方法往往受到样本利用率低、收敛速度慢等限...
[期刊论文] 作者：郭锋,林勤,张志平,陈冬火,高平祥,王跃华,
来源：稀土 年份：2003
在碳锰钢中添加单一稀土元素镧和铈,通过测试其腐蚀速度和点蚀特征参数值,考察了材料耐蚀性能的变化.结果表明,稀土对碳锰钢耐蚀性能的提高有作用,添加稀土所引起的组织变化...
[期刊论文] 作者：朱斐, 刘全, 傅启明, 陈冬火, 王辉, 伏玉琛,,
来源：电子学报 年份：2017
强化学习是一种Agent在与环境交互过程中,通过累计奖赏最大化来寻求最优策略的在线学习方法.由于在不稳定环境中,某一时刻的MDP模型在与Agent交互之后就发生了变化,导致基于...
相关搜索：
