期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
状态定义条件下覆盖率引导反馈的协议模糊测试方法
1
作者
吴春明
曹夕
《通信技术》
2023年第4期483-493,共11页
模糊测试是软件测试与漏洞挖掘领域使用最广泛、最有效的方法之一,在内核、浏览器、文档、协议等软件的开发测试与漏洞挖掘中得到了深入的应用。通过研究基于状态定义条件下覆盖率引导反馈的协议模糊测试的方法,解决单纯通过覆盖率难以...
模糊测试是软件测试与漏洞挖掘领域使用最广泛、最有效的方法之一,在内核、浏览器、文档、协议等软件的开发测试与漏洞挖掘中得到了深入的应用。通过研究基于状态定义条件下覆盖率引导反馈的协议模糊测试的方法,解决单纯通过覆盖率难以引导协议状态转移的问题,通过事先定义协议状态转移过程,将传统的局部最优的覆盖率引导扩大至全局最优的覆盖率。相较于传统协议模糊测试技术,在小样本情况下,所提方法大幅度提高了代码覆盖率;相较于Peach与Spike,代码覆盖提高最高达143.6%,路径覆盖提高最高达162.4%;在长时间运行过程中,相较于Peach的3种数据生成模式,在达到相同路径覆盖时,时间最多缩短98.9%。
展开更多
关键词
状态
定义
覆盖率引导反馈
协议
模糊测试
下载PDF
职称材料
基于未知环境状态新定义及知识启发的机器人导航Q学习算法
被引量：
1
2
作者
童小龙
姚明海
张灿淋
《计算机系统应用》
2014年第1期149-153,共5页
由于强大的自主学习能力,强化学习方法逐渐成为机器人导航问题的研究热点,但是复杂的未知环境对算法的运行效率和收敛速度提出了考验.提出一种新的机器人导航Q学习算法,首先用三个离散的变量来定义环境状态空间,然后分别设计了两部分奖...
由于强大的自主学习能力,强化学习方法逐渐成为机器人导航问题的研究热点,但是复杂的未知环境对算法的运行效率和收敛速度提出了考验.提出一种新的机器人导航Q学习算法,首先用三个离散的变量来定义环境状态空间,然后分别设计了两部分奖赏函数,结合对导航达到目标有利的知识来启发引导机器人的学习过程.实验在Simbad仿真平台上进行,结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务,收敛性能也有其优越性.
展开更多
关键词
强化学习
状态
定义
知识启发
Simbad平台
下载PDF
职称材料
状态定义粒子群算法在非线性方程组中的应用
被引量：
1
3
作者
尹新
卢鸣凯
+1 位作者
周野
李斯琪
《计算机工程与应用》
CSCD
2012年第35期45-49,共5页
提出了一种新颖的状态定义粒子群优化算法。该算法针对粒子群算法容易陷入局部最优和搜索精度不高的缺点,结合爬山算法和粒子群算法的特点,根据粒子状态的实时更新采用不同的搜索方法,在迭代过程中搜索到尽可能多的局部最优解,从而使算...
提出了一种新颖的状态定义粒子群优化算法。该算法针对粒子群算法容易陷入局部最优和搜索精度不高的缺点,结合爬山算法和粒子群算法的特点,根据粒子状态的实时更新采用不同的搜索方法,在迭代过程中搜索到尽可能多的局部最优解,从而使算法可以更容易地跳出局部最优,更高效地搜索到全局最优解。对测试函数和非线性方程组求解问题进行实例仿真,仿真结果验证了算法的有效性,具有一定的实际应用价值。
展开更多
关键词
状态
定义
粒子群
非线性方程组
优化
下载PDF
职称材料
关于动态规划算法有效教学的思考
4
作者
李建
《教师》
2019年第24期117-118,共2页
技术科目作为浙江省新高考科目以来,算法加试部分难度不断提高。近几年的考题对计数思想的考查,更标志着程序填空题的难度从代码层面到思维深度的跨越。文章作者将结合思维程度的深入,逐步给出数个经典动态规划问题的思考过程,并提出一...
技术科目作为浙江省新高考科目以来,算法加试部分难度不断提高。近几年的考题对计数思想的考查,更标志着程序填空题的难度从代码层面到思维深度的跨越。文章作者将结合思维程度的深入,逐步给出数个经典动态规划问题的思考过程,并提出一种"加一维"的思考方法,切实有效提高学生解决动态规划问题的能力。
展开更多
关键词
动态规划
状态
定义
状态
转移
加一维
下载PDF
职称材料
CTC条件下基于进路状态的进路自动控制方法
被引量：
5
5
作者
陈建鑫
《铁路通信信号工程技术》
2016年第5期11-13,23,共4页
设计一种围绕进路状态展开的进路自动控制方法,详细论述进路状态定义和转换过程,并针对命令丢失和延续进路转发车两个实际运营场景,给出基于进路状态的完整解决方案,最后引入State模式,提出一种基于本方案的软件设计方法。
关键词
CTC
进路
状态
定义
进路
状态
流转
进路自动控制
STATE模式
下载PDF
职称材料
嵌入式自动喷漆设备控制系统硬件可靠性预测
被引量：
1
6
作者
游达章
张敏
+1 位作者
余炼
刘攀
《现代电子技术》
北大核心
2020年第23期79-84,共6页
为了更好地研究嵌入式系统硬件可靠性,提出一种针对嵌入式系统硬件的马尔科夫模型分析方法。首先分析了嵌入式系统各模块的失效形式和故障类别,并根据故障类别将系统定义为不同工作状态;其次,根据状态转移关系建立状态转移矩阵,并求解...
为了更好地研究嵌入式系统硬件可靠性,提出一种针对嵌入式系统硬件的马尔科夫模型分析方法。首先分析了嵌入式系统各模块的失效形式和故障类别,并根据故障类别将系统定义为不同工作状态;其次,根据状态转移关系建立状态转移矩阵,并求解计算马尔科夫状态转移方程,得到系统可靠度随时间的变化关系;最后,对嵌入式系统硬件局部可靠性作了敏感性分析。仿真结果表明,马尔科夫链模型能较为准确地描述硬件失效过程和预测某型喷漆系统硬件的可靠度,此外,提高电源可靠性有利于提升整个嵌入式硬件系统的可靠性。
展开更多
关键词
可靠性预测
模型分析
失效形式分析
工作
状态
定义
状态
转移矩阵
敏感性分析
下载PDF
职称材料
日志分析法在一卡通系统测试中的应用
被引量：
1
7
作者
齐林
郭陟
顾明
《计算机应用研究》
CSCD
北大核心
2006年第5期118-120,共3页
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机...
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。
展开更多
关键词
软件测试
日志分析法
状态
机
状态
机
定义
语言
下载PDF
职称材料
题名
状态定义条件下覆盖率引导反馈的协议模糊测试方法
1
作者
吴春明
曹夕
机构
中国电子科技集团公司第三十研究所
出处
《通信技术》
2023年第4期483-493,共11页
文摘
模糊测试是软件测试与漏洞挖掘领域使用最广泛、最有效的方法之一,在内核、浏览器、文档、协议等软件的开发测试与漏洞挖掘中得到了深入的应用。通过研究基于状态定义条件下覆盖率引导反馈的协议模糊测试的方法,解决单纯通过覆盖率难以引导协议状态转移的问题,通过事先定义协议状态转移过程,将传统的局部最优的覆盖率引导扩大至全局最优的覆盖率。相较于传统协议模糊测试技术,在小样本情况下,所提方法大幅度提高了代码覆盖率;相较于Peach与Spike,代码覆盖提高最高达143.6%,路径覆盖提高最高达162.4%;在长时间运行过程中,相较于Peach的3种数据生成模式,在达到相同路径覆盖时,时间最多缩短98.9%。
关键词
状态
定义
覆盖率引导反馈
协议
模糊测试
Keywords
state definition
coverage guided feedback
protocol
fuzzing testing
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于未知环境状态新定义及知识启发的机器人导航Q学习算法
被引量：
1
2
作者
童小龙
姚明海
张灿淋
机构
浙江工业大学信息工程学院
出处
《计算机系统应用》
2014年第1期149-153,共5页
基金
国家自然科学基金(61070113)
文摘
由于强大的自主学习能力,强化学习方法逐渐成为机器人导航问题的研究热点,但是复杂的未知环境对算法的运行效率和收敛速度提出了考验.提出一种新的机器人导航Q学习算法,首先用三个离散的变量来定义环境状态空间,然后分别设计了两部分奖赏函数,结合对导航达到目标有利的知识来启发引导机器人的学习过程.实验在Simbad仿真平台上进行,结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务,收敛性能也有其优越性.
关键词
强化学习
状态
定义
知识启发
Simbad平台
Keywords
reinforcement learning
states definition
knowledge heuristic
Simbad platform
分类号
TP242 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
状态定义粒子群算法在非线性方程组中的应用
被引量：
1
3
作者
尹新
卢鸣凯
周野
李斯琪
机构
湖南大学电气与信息工程学院
出处
《计算机工程与应用》
CSCD
2012年第35期45-49,共5页
基金
国家自然科学基金(No.61102039)
湖南省科技计划项目(No.2011FJ0380)
中央高校基本科研费资助
文摘
提出了一种新颖的状态定义粒子群优化算法。该算法针对粒子群算法容易陷入局部最优和搜索精度不高的缺点,结合爬山算法和粒子群算法的特点,根据粒子状态的实时更新采用不同的搜索方法,在迭代过程中搜索到尽可能多的局部最优解,从而使算法可以更容易地跳出局部最优,更高效地搜索到全局最优解。对测试函数和非线性方程组求解问题进行实例仿真,仿真结果验证了算法的有效性,具有一定的实际应用价值。
关键词
状态
定义
粒子群
非线性方程组
优化
Keywords
mode definition
particle swarm
nonlinear equations
optimization
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
关于动态规划算法有效教学的思考
4
作者
李建
机构
浙江省杭州第二中学
出处
《教师》
2019年第24期117-118,共2页
文摘
技术科目作为浙江省新高考科目以来,算法加试部分难度不断提高。近几年的考题对计数思想的考查,更标志着程序填空题的难度从代码层面到思维深度的跨越。文章作者将结合思维程度的深入,逐步给出数个经典动态规划问题的思考过程,并提出一种"加一维"的思考方法,切实有效提高学生解决动态规划问题的能力。
关键词
动态规划
状态
定义
状态
转移
加一维
分类号
O221.3 [理学—运筹学与控制论]
下载PDF
职称材料
题名
CTC条件下基于进路状态的进路自动控制方法
被引量：
5
5
作者
陈建鑫
机构
北京全路通信信号研究设计院集团有限公司
出处
《铁路通信信号工程技术》
2016年第5期11-13,23,共4页
基金
北京全路通信信号研究设计院集团有限公司重点课题项目(2014X004-C)
文摘
设计一种围绕进路状态展开的进路自动控制方法,详细论述进路状态定义和转换过程,并针对命令丢失和延续进路转发车两个实际运营场景,给出基于进路状态的完整解决方案,最后引入State模式,提出一种基于本方案的软件设计方法。
关键词
CTC
进路
状态
定义
进路
状态
流转
进路自动控制
STATE模式
Keywords
CTC
definition of route state
transition of route states
automatic route control
state mode
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
嵌入式自动喷漆设备控制系统硬件可靠性预测
被引量：
1
6
作者
游达章
张敏
余炼
刘攀
机构
湖北工业大学机械工程学院
出处
《现代电子技术》
北大核心
2020年第23期79-84,共6页
基金
国家自然科学基金资助项目(51875180)。
文摘
为了更好地研究嵌入式系统硬件可靠性,提出一种针对嵌入式系统硬件的马尔科夫模型分析方法。首先分析了嵌入式系统各模块的失效形式和故障类别,并根据故障类别将系统定义为不同工作状态;其次,根据状态转移关系建立状态转移矩阵,并求解计算马尔科夫状态转移方程,得到系统可靠度随时间的变化关系;最后,对嵌入式系统硬件局部可靠性作了敏感性分析。仿真结果表明,马尔科夫链模型能较为准确地描述硬件失效过程和预测某型喷漆系统硬件的可靠度,此外,提高电源可靠性有利于提升整个嵌入式硬件系统的可靠性。
关键词
可靠性预测
模型分析
失效形式分析
工作
状态
定义
状态
转移矩阵
敏感性分析
Keywords
reliability prediction
model analysis
failure mode analysis
working status definition
state-transition matrix
sensitivity analysis
分类号
TN876-34 [电子电信—信息与通信工程]
TP302.7 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
日志分析法在一卡通系统测试中的应用
被引量：
1
7
作者
齐林
郭陟
顾明
机构
清华大学软件学院
出处
《计算机应用研究》
CSCD
北大核心
2006年第5期118-120,共3页
基金
国家"863"计划项目(2003AA414031
2003AA413031)
文摘
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。
关键词
软件测试
日志分析法
状态
机
状态
机
定义
语言
Keywords
Software Testing
Log File Analysis
State Machine
Testing State Machine Language
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
状态定义条件下覆盖率引导反馈的协议模糊测试方法
吴春明
曹夕
《通信技术》
2023
0
下载PDF
职称材料
2
基于未知环境状态新定义及知识启发的机器人导航Q学习算法
童小龙
姚明海
张灿淋
《计算机系统应用》
2014
1
下载PDF
职称材料
3
状态定义粒子群算法在非线性方程组中的应用
尹新
卢鸣凯
周野
李斯琪
《计算机工程与应用》
CSCD
2012
1
下载PDF
职称材料
4
关于动态规划算法有效教学的思考
李建
《教师》
2019
0
下载PDF
职称材料
5
CTC条件下基于进路状态的进路自动控制方法
陈建鑫
《铁路通信信号工程技术》
2016
5
下载PDF
职称材料
6
嵌入式自动喷漆设备控制系统硬件可靠性预测
游达章
张敏
余炼
刘攀
《现代电子技术》
北大核心
2020
1
下载PDF
职称材料
7
日志分析法在一卡通系统测试中的应用
齐林
郭陟
顾明
《计算机应用研究》
CSCD
北大核心
2006
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
