期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
状态定义条件下覆盖率引导反馈的协议模糊测试方法
1
作者 吴春明 曹夕 《通信技术》 2023年第4期483-493,共11页
模糊测试是软件测试与漏洞挖掘领域使用最广泛、最有效的方法之一,在内核、浏览器、文档、协议等软件的开发测试与漏洞挖掘中得到了深入的应用。通过研究基于状态定义条件下覆盖率引导反馈的协议模糊测试的方法,解决单纯通过覆盖率难以... 模糊测试是软件测试与漏洞挖掘领域使用最广泛、最有效的方法之一,在内核、浏览器、文档、协议等软件的开发测试与漏洞挖掘中得到了深入的应用。通过研究基于状态定义条件下覆盖率引导反馈的协议模糊测试的方法,解决单纯通过覆盖率难以引导协议状态转移的问题,通过事先定义协议状态转移过程,将传统的局部最优的覆盖率引导扩大至全局最优的覆盖率。相较于传统协议模糊测试技术,在小样本情况下,所提方法大幅度提高了代码覆盖率;相较于Peach与Spike,代码覆盖提高最高达143.6%,路径覆盖提高最高达162.4%;在长时间运行过程中,相较于Peach的3种数据生成模式,在达到相同路径覆盖时,时间最多缩短98.9%。 展开更多
关键词 状态定义 覆盖率引导反馈 协议 模糊测试
下载PDF
状态定义粒子群算法在非线性方程组中的应用 被引量:1
2
作者 尹新 卢鸣凯 +1 位作者 周野 李斯琪 《计算机工程与应用》 CSCD 2012年第35期45-49,共5页
提出了一种新颖的状态定义粒子群优化算法。该算法针对粒子群算法容易陷入局部最优和搜索精度不高的缺点,结合爬山算法和粒子群算法的特点,根据粒子状态的实时更新采用不同的搜索方法,在迭代过程中搜索到尽可能多的局部最优解,从而使算... 提出了一种新颖的状态定义粒子群优化算法。该算法针对粒子群算法容易陷入局部最优和搜索精度不高的缺点,结合爬山算法和粒子群算法的特点,根据粒子状态的实时更新采用不同的搜索方法,在迭代过程中搜索到尽可能多的局部最优解,从而使算法可以更容易地跳出局部最优,更高效地搜索到全局最优解。对测试函数和非线性方程组求解问题进行实例仿真,仿真结果验证了算法的有效性,具有一定的实际应用价值。 展开更多
关键词 状态定义 粒子群 非线性方程组 优化
下载PDF
基于未知环境状态新定义及知识启发的机器人导航Q学习算法 被引量:1
3
作者 童小龙 姚明海 张灿淋 《计算机系统应用》 2014年第1期149-153,共5页
由于强大的自主学习能力,强化学习方法逐渐成为机器人导航问题的研究热点,但是复杂的未知环境对算法的运行效率和收敛速度提出了考验.提出一种新的机器人导航Q学习算法,首先用三个离散的变量来定义环境状态空间,然后分别设计了两部分奖... 由于强大的自主学习能力,强化学习方法逐渐成为机器人导航问题的研究热点,但是复杂的未知环境对算法的运行效率和收敛速度提出了考验.提出一种新的机器人导航Q学习算法,首先用三个离散的变量来定义环境状态空间,然后分别设计了两部分奖赏函数,结合对导航达到目标有利的知识来启发引导机器人的学习过程.实验在Simbad仿真平台上进行,结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务,收敛性能也有其优越性. 展开更多
关键词 强化学习 状态定义 知识启发 Simbad平台
下载PDF
CTC条件下基于进路状态的进路自动控制方法 被引量:5
4
作者 陈建鑫 《铁路通信信号工程技术》 2016年第5期11-13,23,共4页
设计一种围绕进路状态展开的进路自动控制方法,详细论述进路状态定义和转换过程,并针对命令丢失和延续进路转发车两个实际运营场景,给出基于进路状态的完整解决方案,最后引入State模式,提出一种基于本方案的软件设计方法。
关键词 CTC 进路状态定义 进路状态流转 进路自动控制 STATE模式
下载PDF
嵌入式自动喷漆设备控制系统硬件可靠性预测 被引量:1
5
作者 游达章 张敏 +1 位作者 余炼 刘攀 《现代电子技术》 北大核心 2020年第23期79-84,共6页
为了更好地研究嵌入式系统硬件可靠性,提出一种针对嵌入式系统硬件的马尔科夫模型分析方法。首先分析了嵌入式系统各模块的失效形式和故障类别,并根据故障类别将系统定义为不同工作状态;其次,根据状态转移关系建立状态转移矩阵,并求解... 为了更好地研究嵌入式系统硬件可靠性,提出一种针对嵌入式系统硬件的马尔科夫模型分析方法。首先分析了嵌入式系统各模块的失效形式和故障类别,并根据故障类别将系统定义为不同工作状态;其次,根据状态转移关系建立状态转移矩阵,并求解计算马尔科夫状态转移方程,得到系统可靠度随时间的变化关系;最后,对嵌入式系统硬件局部可靠性作了敏感性分析。仿真结果表明,马尔科夫链模型能较为准确地描述硬件失效过程和预测某型喷漆系统硬件的可靠度,此外,提高电源可靠性有利于提升整个嵌入式硬件系统的可靠性。 展开更多
关键词 可靠性预测 模型分析 失效形式分析 工作状态定义 状态转移矩阵 敏感性分析
下载PDF
关于动态规划算法有效教学的思考
6
作者 李建 《教师》 2019年第24期117-118,共2页
技术科目作为浙江省新高考科目以来,算法加试部分难度不断提高。近几年的考题对计数思想的考查,更标志着程序填空题的难度从代码层面到思维深度的跨越。文章作者将结合思维程度的深入,逐步给出数个经典动态规划问题的思考过程,并提出一... 技术科目作为浙江省新高考科目以来,算法加试部分难度不断提高。近几年的考题对计数思想的考查,更标志着程序填空题的难度从代码层面到思维深度的跨越。文章作者将结合思维程度的深入,逐步给出数个经典动态规划问题的思考过程,并提出一种"加一维"的思考方法,切实有效提高学生解决动态规划问题的能力。 展开更多
关键词 动态规划 状态定义 状态转移 加一维
下载PDF
日志分析法在一卡通系统测试中的应用 被引量:1
7
作者 齐林 郭陟 顾明 《计算机应用研究》 CSCD 北大核心 2006年第5期118-120,共3页
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机... 针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。 展开更多
关键词 软件测试 日志分析法 状态 状态定义语言
下载PDF
Status-Aware Resource Adaptation in Information-Centric and Software-Defined Network 被引量:1
8
作者 嘉濡 陈哲 +1 位作者 罗洪斌 张宏科 《China Communications》 SCIE CSCD 2013年第12期66-76,共11页
In recent years, realising a "clean- state" design for the future Internet has become an important research focus. An architecture com- bining an Information-Centric Network (ICN) and Sottware-Defmed Network (SDN... In recent years, realising a "clean- state" design for the future Internet has become an important research focus. An architecture com- bining an Information-Centric Network (ICN) and Sottware-Defmed Network (SDN) (IC-SDN) has gradually attracted more attention. How- ever, the existing studies regarding IC-SDN still lack support in terms of the "network status awareness" function, resulting in unreasonable resource allocation. In this paper, we propose a new status-aware resource adaptation sche- me, i.e. a status-aware module is embedded into basic elements (Forwarding Node (FN) and Resource adaption Manager (RM)). The FNs collect the network status dynamically for the controller to reallocate network resources accor- ding to the fluctuations in environmental con- ditions. Simulation results show that, compared with the existing IC-SDN mechanism, the pro- posed scheme reduced the link bandwidth var- iance by 56% and the content delivery latency by 40%. The proof-of-concept implementation demonstrates the feasibility of our proposed sc- heme for small-scale deployment. 展开更多
关键词 ICN SDN status awareness re-source adaptation load balance LATENCY
下载PDF
Generalized Virial Theorem for Mixed State When Hamiltonians Include Coordinate-Momentum Couplings
9
作者 WANG Min 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第5期1173-1176,共4页
The generalized Virial theorem for mixed state, derived from the generalized Hellmann Feynman theorem, only applies to Hamiltonians in which potential of coordinates is separate from momentum energy term. In this pape... The generalized Virial theorem for mixed state, derived from the generalized Hellmann Feynman theorem, only applies to Hamiltonians in which potential of coordinates is separate from momentum energy term. In this paper we discuss Virial theorem for mixed state for some Hamiltonians with coordinate-momentum couplings in order to know their contributions to internal energy. 展开更多
关键词 generalized Virial theorem mixed state
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部