期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
重大科技成果研发过程回溯的机制与路径——基于案例实证研究
1
作者 薛雅 王雪莹 朱泓光 《科技管理研究》 CSSCI 2024年第22期185-192,共8页
对于重大科技成果研发过程,为了避免传统评价方法带来的重数量轻质量、重形式轻内容、重短期轻长远等问题,冲破原有路径依赖。采用探索式案例研究方法,通过基础研究、应用研究、技术开发和产业化成果3类重大科技成果研发过程分类选取典... 对于重大科技成果研发过程,为了避免传统评价方法带来的重数量轻质量、重形式轻内容、重短期轻长远等问题,冲破原有路径依赖。采用探索式案例研究方法,通过基础研究、应用研究、技术开发和产业化成果3类重大科技成果研发过程分类选取典型案例,运用了扎根理论的编码技术进行数据处理,探索构建重大科技成果研发过程回溯路径的理论模型,合理评价重大科技成果研发过程性贡献。研发过程回溯与阶段性评估是重大科技成果转化的必然要求,围绕创新研发路径,在回溯过程中充分考虑目标、实施、管理三方面内容,动态评估、动态调整,提高整体研发效率。重大科技成果转化回溯路径的方向与机制特征的明确推动了制度设计和政策创新,激发科技创新活力。 展开更多
关键词 重大科技成果 研发过程 回溯路径 案例研究
下载PDF
基于多路径回溯的神经网络验证方法 被引量:3
2
作者 郑烨 施晓牧 刘嘉祥 《软件学报》 EI CSCD 北大核心 2022年第7期2464-2481,共18页
基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度.... 基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度.在数据集ACAS Xu,MNIST和CIFAR10上,将多路径回溯方法与使用单条回溯路径的Deep Poly进行定量比较,结果表明,多路径回溯方法能够获得明显的精度提升,而仅引入较小的额外时间代价.此外,在数据集MNIST上,将多路径回溯方法与使用全局优化的Optimized LiRPA比较,结果表明,该方法仍然具有精度优势. 展开更多
关键词 神经网络验证 符号传播 抽象解释 路径回溯
下载PDF
基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究 被引量:9
3
作者 崔宝江 梁晓兵 +1 位作者 王禹 王建新 《电子与信息学报》 EI CSCD 北大核心 2012年第1期108-114,共7页
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度... 基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。 展开更多
关键词 测试数据自动生成 关键代码区域 符号执行与实际执行 路径回溯与引导
下载PDF
全路径剖析方法 被引量:3
4
作者 王璐璐 李必信 周晓宇 《软件学报》 EI CSCD 北大核心 2012年第6期1413-1428,共16页
路径剖析是动态分析的一项重要技术,通过获取和分析程序中各条路径的执行次数,在编译优化、软件调试和测试等诸多方面发挥重要作用.针对现有技术剖析能力不足的情况(即只能或者剖析非循环路径,或者首先界定循环体执行次数的上限、然后... 路径剖析是动态分析的一项重要技术,通过获取和分析程序中各条路径的执行次数,在编译优化、软件调试和测试等诸多方面发挥重要作用.针对现有技术剖析能力不足的情况(即只能或者剖析非循环路径,或者首先界定循环体执行次数的上限、然后对于执行循环体不多于该次数的路径进行剖析),对使用单个探针变量剖析过程内路径的方法进行了改进,提出了全路径剖析PAP方法,利用探针插装和回溯过程获取路径的执行次数,可以剖析过程内包含任意有限长度的路径;进一步地,针对PAP方法所需探针数目多于EPP方法的问题,通过对控制流图中包含的可规约无环子图实施EPP方法,可以减少PAP方法所需探针的数目.另外,作为PAP方法的一个典型应用,还讨论了如何通过在方法调用图中添加返回边,再利用PAP方法获取方法层次的执行序列的基本思想,满足了某些方法级动态影响分析技术的需要.实验和实例分析表明,PAP在处理循环路径剖析的问题上是有效的,并有很好的效率. 展开更多
关键词 路径剖析 动态分析 循环路径 探针插装 路径回溯
下载PDF
基于改进编辑距离的字符串相似度求解算法 被引量:72
5
作者 姜华 韩安琪 +2 位作者 王美佳 王峥 吴雲玲 《计算机工程》 CAS CSCD 2014年第1期222-227,共6页
编辑距离(LD)算法在求解两个字符串的相似问题时只考虑了编辑操作次数,未考虑字符串之间的公共子串对相似度的影响。为此,提出一种基于改进编辑距离的字符串相似度求解算法,对字符串相似度度量公式及Levenshtein矩阵计算方法进行改进。... 编辑距离(LD)算法在求解两个字符串的相似问题时只考虑了编辑操作次数,未考虑字符串之间的公共子串对相似度的影响。为此,提出一种基于改进编辑距离的字符串相似度求解算法,对字符串相似度度量公式及Levenshtein矩阵计算方法进行改进。在计算编辑距离时,以原有矩阵求出两字符串的最长公共子串及所有LD回溯路径。选取一个单词作为源串,一组与源串不同程度相似的单词为目标串,将改进的相似度度量公式与现有的字符串相似度计算方法进行比较,改进公式减少了进入胜者表的目标串数,相似度的样本极差和标准差分别为0.331和0.150。实验结果表明,改进算法在不改变空间复杂度的情况下,计算字符串相似度的准确性更高,且查询方式更灵活。 展开更多
关键词 编辑距离 LD算法 回溯路径 最长公共子串 相似度 模糊查询
下载PDF
A Fast and Memory-Efficient Approach to NDN Name Lookup 被引量:4
6
作者 Dacheng He Dafang Zhang +2 位作者 Ke Xu Kun Huang Yanbiao Li 《China Communications》 SCIE CSCD 2017年第10期61-69,共9页
For name-based routing/switching in NDN, the key challenges are to manage large-scale forwarding Tables, to lookup long names of variable lengths, and to deal with frequent updates. Hashing associated with proper leng... For name-based routing/switching in NDN, the key challenges are to manage large-scale forwarding Tables, to lookup long names of variable lengths, and to deal with frequent updates. Hashing associated with proper length-detecting is a straightforward yet efficient solution. Binary search strategy can reduce the number of required hash detecting in the worst case. However, to assure the searching path correct in such a schema, either backtrack searching or redundantly storing some prefixes is required, leading to performance or memory issues as a result. In this paper, we make a deep study on the binary search, and propose a novel mechanism to ensure correct searching path without neither additional backtrack costs nor redundant memory consumptions. Along any binary search path, a bloom filter is employed at each branching point to verify whether a said prefix is present, instead of storing that prefix here. By this means, we can gain significantly optimization on memory efficiency, at the cost of bloom checking before each detecting. Our evaluation experiments on both real-world and randomly synthesized data sets demonstrate our superiorities clearly 展开更多
关键词 named data networking binary search of hash table bloom filter
下载PDF
强制跳点的功能性分类及JPS+算法改进
7
作者 吴蓓蓓 梁智文 《重庆理工大学学报(自然科学)》 2025年第1期102-110,共9页
随着无人车、无人机等自主移动机器人的井喷式发展,寻路算法的重要性也一再提升。跳点搜索+(jump point search plus,JPS+)算法因其显著的高搜索效率而成为了经典的静态栅格化地图寻路算法。对JPS+算法的改进策略和应用场景层出不穷,但... 随着无人车、无人机等自主移动机器人的井喷式发展,寻路算法的重要性也一再提升。跳点搜索+(jump point search plus,JPS+)算法因其显著的高搜索效率而成为了经典的静态栅格化地图寻路算法。对JPS+算法的改进策略和应用场景层出不穷,但对路径长度与路径节点数量的优化方法仍有待研究。提出了一种对于强制跳点按功能性的分类方式,并基于这一分类对JPS+算法的预处理和搜索流程进行改进,在提高单次搜索扩展效率的同时,减少路径的长度与节点数。通过仿真地图实验与真实采样地图实验,验证了改进算法的有效性。对比发现:改进JPS+算法在仿真地图中,所求路径长度最大减少5.92%,路径节点数最大减少46.15%,算法用时最大减少25.58%;在真实采样地图中,所求路径长度平均减少2.48%,路径节点数平均减少10.71%,算法用时平均减少17.08%。 展开更多
关键词 路径规划 跳点搜索+算法 跳点分类 地图预处理 路径回溯
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部