期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到62篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
面向危险操作的动态符号执行方法 被引量：11
1
作者 王伟光 曾庆凯 孙浩 《软件学报》 EI CSCD 北大核心 2016年第5期1230-1245,共16页
针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.... 针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统Crash Finder,实验结果表明,该方法能够更快地发现更多缺陷. 展开更多
关键词 危险操作 动态符号执行 污点分析 路径选择 缺陷检测
在线阅读 下载PDF
改进动态符号执行中的非线性约束求解过程 被引量：2
2
作者 董齐兴 曾凡平 +2 位作者 严俊 张辉 彭凌 《小型微型计算机系统》 CSCD 北大核心 2014年第11期2396-2401,共6页
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度. 展开更多
关键词 软件测试 动态符号执行 非线性算术约束 约束相似性
在线阅读 下载PDF
从谜米学的崛起看动态符号学的理论框架 被引量：11
3
作者 顾嘉祖 《外语学刊》 CSSCI 北大核心 2008年第1期118-121,共4页
本文作者提出建立动态符号学的理论框架。笔者在回顾索绪尔关于静态语言学和演化语言学的划分理论以及Sebeok,Eco,Jakobson,Bakhtin等国际符号学著名学者的符号学理论后指出:传统符号学的论述停留在动态符号学的宏观框架上,对动态符号... 本文作者提出建立动态符号学的理论框架。笔者在回顾索绪尔关于静态语言学和演化语言学的划分理论以及Sebeok,Eco,Jakobson,Bakhtin等国际符号学著名学者的符号学理论后指出:传统符号学的论述停留在动态符号学的宏观框架上,对动态符号学的微观设置描绘不足。笔者进而指出:谜米学的崛起,尤其是谜米的动态生成与传播理论,大脑、语言和谜米三者的互动理论以及谜米学提供的符号保存理论,发展和丰富了动态符号学的具体理论框架。 展开更多
关键词 动态符号学 宏观框架 微观框架 谜米理论
原文传递
ArcGIS平台中DLG要素的动态符号化方法及实现 被引量：6
4
作者 张鹏程 陈夏宫 《工程勘察》 CSCD 北大核心 2010年第7期61-64,68,共5页
介绍并分析了现有ArcGIS平台上DLG地图符号化的一般方法及其不足之处。基于信息化映射机制,利用ArcEngine组件式平台,开发了基于ArcGIS平台下的动态符号化插件,探索了一条ArcGIS平台符号化DLG数据的新途径,全面解决了我国城市基础测绘部... 介绍并分析了现有ArcGIS平台上DLG地图符号化的一般方法及其不足之处。基于信息化映射机制,利用ArcEngine组件式平台,开发了基于ArcGIS平台下的动态符号化插件,探索了一条ArcGIS平台符号化DLG数据的新途径,全面解决了我国城市基础测绘部门1∶500大比例尺DLG数据的制图和建库一体化这一关键技术难题,具有极其重要的推广价值。 展开更多
关键词 数字线划图 ARCGIS 动态符号化 信息化映射制 制图和建库一体化
在线阅读 下载PDF
基于动态符号执行的二进制程序缺陷发现系统 被引量：4
5
作者 黄晖 陆余良 夏阳 《计算机应用研究》 CSCD 北大核心 2013年第9期2810-2812,共3页
以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷... 以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷的符号断言表达形式,构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。 展开更多
关键词 语义提取 动态符号执行 路径调度 二进制程序缺陷发现
在线阅读 下载PDF
基于过程间动态符号执行的C语言测试框架 被引量：3
6
作者 邵巳航 苏亭 +2 位作者 顾斌 王政 杨孟飞 《计算机工程与设计》 CSCD 北大核心 2014年第8期2746-2751,共6页
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modula... 针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。 展开更多
关键词 过程间测试 测试用例 自动生成 动态符号执行 SMART(系统模块化自动随机测试算法)
在线阅读 下载PDF
科学绿化地理场景的动态符号设计与多尺度表达 被引量：1
7
作者 付乐宜 赵小阳 +1 位作者 吴凯华 孙颖 《测绘通报》 CSCD 北大核心 2023年第11期88-94,共7页
作为城市建设高质量发展的重要环节,科学绿化采用新时代背景下的新型测绘手段,为国土绿化行动提供全方位技术保障。基于人对空间图形的认知规律和地图的空间表达能力,使用地图符号对科学绿化核心要素进行可视化表达,可提高大众对城市绿... 作为城市建设高质量发展的重要环节,科学绿化采用新时代背景下的新型测绘手段,为国土绿化行动提供全方位技术保障。基于人对空间图形的认知规律和地图的空间表达能力,使用地图符号对科学绿化核心要素进行可视化表达,可提高大众对城市绿化的整体认知,使科学绿化理念深入人心。地图符号表达在科学绿化领域中的研究较少,传统方法在具体设计中多以模拟示意为主,难以传达专题特性。本文基于地图学新概念“地理场景”,以动态地图符号设计方法为指导,构建多尺度科学绿化动态场景:依据省级大尺度、区域级中尺度、地块级小尺度的场景特征,通过多符号设计参量组合,基于各尺度动态特性实现绿化要素动态符号设计;为使受众有更优的阅读体验,遵循信息详细程度与视点观察距离呈反比规律,构建连续多比例尺场景实现自适应切换,从而为科学绿化场景表达提供支持,辅助绿化管理部门分析决策。 展开更多
关键词 科学绿化 地理场景 动态符号 符号设计 多尺度表达
在线阅读 下载PDF
基于动态符号距离的模糊多属性决策方法 被引量：3
8
作者 熊艳 叶国菊 +2 位作者 刘尉 赵大方 李宁 《武汉理工大学学报（信息与管理工程版）》 2022年第1期56-61,共6页
为解决区间二型梯形模糊多属性决策问题,提出一种基于动态符号距离的决策方法。首先,在区间二型梯形模糊数的截集上,引入决策者的风险态度定义了动态符号距离,为区间二型梯形模糊数的排序提供了一种新方法。其次,在区间二型梯形模糊数... 为解决区间二型梯形模糊多属性决策问题,提出一种基于动态符号距离的决策方法。首先,在区间二型梯形模糊数的截集上,引入决策者的风险态度定义了动态符号距离,为区间二型梯形模糊数的排序提供了一种新方法。其次,在区间二型梯形模糊数空间上研究了动态符号距离的运算性质。最后,在属性权重完全未知的情形下,运用动态符号距离构建线性规划模型求解属性权重,依据方案的加权动态符号距离值进行排序,并通过实例验证了该方法的合理性,能够灵活处理不确定信息,且体现了决策者的风险态度对属性权重、决策结果的影响。 展开更多
关键词 区间二型梯形模糊数 动态符号距离 决策 风险态度 权重
在线阅读 下载PDF
动态符号执行中搜索策略的选择及改进
9
作者 梁川 《信息与电脑》 2017年第5期88-89,共2页
随着我国科学技术与信息技术的快速发展,人们对网络安全问题也提高了重视。软件漏洞是网络安全问题的主要根源之一,也成为相关研究人员最关注的热点话题。动态符号是研究比较多的漏洞检测技术,也是使用最为广泛的检测技术,通过动态符号... 随着我国科学技术与信息技术的快速发展,人们对网络安全问题也提高了重视。软件漏洞是网络安全问题的主要根源之一,也成为相关研究人员最关注的热点话题。动态符号是研究比较多的漏洞检测技术,也是使用最为广泛的检测技术,通过动态符号的方式来选择搜索策略,从而有效避免反复搜索。笔者就对动态符号执行中搜索策略的选择与改进进行具体的分析,希望能为以后该方面的工作提供一些帮助。 展开更多
关键词 网络安全 动态符号执行 搜索策略
在线阅读 下载PDF
基于动态符号执行的勒索软件检测方法 被引量：3
10
作者 陈政 方勇 +1 位作者 刘亮 左政 《计算机工程》 CAS CSCD 北大核心 2018年第6期104-110,共7页
针对目前因勒索软件造成网络安全事故的问题,在对大量勒索软件样本进行分析的基础上,提出一种基于动态符号执行的勒索软件检测与分析方法。基于插桩工具Pin和约束求解器STP构建ADRAS系统模型,利用动态符号执行和可满足性模理论技术监控... 针对目前因勒索软件造成网络安全事故的问题,在对大量勒索软件样本进行分析的基础上,提出一种基于动态符号执行的勒索软件检测与分析方法。基于插桩工具Pin和约束求解器STP构建ADRAS系统模型,利用动态符号执行和可满足性模理论技术监控勒索软件的加密函数,同时捕捉勒索软件加密行为以及相关的加密信息,从而对多个家族的勒索软件进行检测。实验结果表明,ADRAS系统模型可检测15种已知勒索软件家族的样本,包括著名的CryptoLocker以及最近爆发的WannaCry。 展开更多
关键词 勒索软件 动态符号执行 约束求解器 混合加密算法 恶意代码
在线阅读 下载PDF
基于禁忌搜索的动态符号执行方法 被引量：2
11
作者 蔡军 邹鹏 +1 位作者 马金鑫 何骏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第12期2348-2355,共8页
软件漏洞是网络安全问题的根源之一,软件漏洞检测是当前网络安全领域的一个研究热点.动态符号执行是近年来研究较多的一种漏洞检测技术,针对现有动态符号执行方法在通过约束求解生成测试用例时,生成的测试用例存在大量重复或近似重复的... 软件漏洞是网络安全问题的根源之一,软件漏洞检测是当前网络安全领域的一个研究热点.动态符号执行是近年来研究较多的一种漏洞检测技术,针对现有动态符号执行方法在通过约束求解生成测试用例时,生成的测试用例存在大量重复或近似重复的问题,提出了一种基于禁忌搜索的动态符号执行方法,并实现了一个相应的工具原型Sword SE.该方法利用了禁忌搜索算法的全局逐步寻优能力,通过建立评价函数来优选种子文件,通过建立禁忌表来避免重复搜索.实验结果表明,Sword SE的路径搜索效率明显优于现有工具,且已发现0day漏洞4个. 展开更多
关键词 网络安全 软件漏洞检测 禁忌搜索 动态符号执行 中间表示
在线阅读 下载PDF
专题地图的结构符号与动态符号设计 被引量：2
12
作者 闫俊 王俊友 《北京测绘》 2021年第9期1200-1205,共6页
以教育类专题地图为例,从专题地图符号的内容表达和形式设计两方面入手,分别进行了结构符号、动态符号以及动态结构符号的设计研究。以此来深入表达专题地理信息的特有属性,揭示专题地理信息空间布局和空间位置关系的现状、探讨专题地... 以教育类专题地图为例,从专题地图符号的内容表达和形式设计两方面入手,分别进行了结构符号、动态符号以及动态结构符号的设计研究。以此来深入表达专题地理信息的特有属性,揭示专题地理信息空间布局和空间位置关系的现状、探讨专题地理信息的发展变化、分析专题地理信息内部结构以及与其他事物之间的关系。 展开更多
关键词 专题地图 结构符号 动态符号 动态结构符号
在线阅读 下载PDF
结合静态分析与动态符号执行的软件漏洞检测方法 被引量：6
13
作者 蔡军 邹鹏 +1 位作者 熊达鹏 何骏 《计算机工程与科学》 CSCD 北大核心 2016年第12期2536-2541,共6页
动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通... 动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。 展开更多
关键词 软件漏洞检测 静态分析 动态符号执行 危险路径
在线阅读 下载PDF
遗传算法辅助的动态符号执行测试方法
14
作者 谢章伟 崔展齐 +1 位作者 郑丽伟 张志华 《计算机工程与应用》 CSCD 北大核心 2020年第21期231-236,共6页
动态符号执行是一种有效的软件测试方法,但由于受到约束求解器求解能力的限制,在面对较为复杂的程序和路径条件时,动态符号执行的路径覆盖率还有待提升。针对上述问题,提出了一种遗传算法辅助的动态符号执行测试方法,并基于此方法实现... 动态符号执行是一种有效的软件测试方法,但由于受到约束求解器求解能力的限制,在面对较为复杂的程序和路径条件时,动态符号执行的路径覆盖率还有待提升。针对上述问题,提出了一种遗传算法辅助的动态符号执行测试方法,并基于此方法实现了原型工具JDart-Ga。该方法结合遗传算法的优势,生成约束求解器无法求解的约束条件对应测试输入,从而提升动态符号执行的路径覆盖率。实验结果表明,在测试存在动态符号执行无法覆盖路径的3个实验对象时,所提出方法的路径覆盖率与JDart相比分别提升了16%至23%。 展开更多
关键词 动态符号执行 约束求解 路径覆盖 遗传算法
在线阅读 下载PDF
论地图语言中的动态符号设计与表达 被引量：4
15
作者 解智强 杜清运 +1 位作者 陈厚元 王贵武 《现代测绘》 2012年第4期25-29,共5页
本文探讨地图语言学科中地图符号表示手段,并重点研究动态地图符号的设计与表达对具有时间特征的地理事件支撑作用。以城市洪灾演进地图绘制为例,提出动态符号系统能够对具有时间-空间特征的城市内涝事件进行直观的描述与表达。
关键词 地图语言学 动态地图符号 排水管线信息表达
在线阅读 下载PDF
基于圈复杂度的阶段动态符号执行
16
作者 毕雪洁 於家伟 李世明 《信息技术与网络安全》 2020年第4期24-29,共6页
为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后依据圈复杂度的阈值进行分阶段动态符号执行,使动态符号执行梯... 为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后依据圈复杂度的阈值进行分阶段动态符号执行,使动态符号执行梯度进行,缓解路径选择指数爆炸,合理缩放符号执行。最后在KLEE中实现CCSDSEM框架,并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短,提升了生成测试用例的数量。 展开更多
关键词 圈复杂度 动态符号执行 阶段执行 软件测试
在线阅读 下载PDF
基于动态符号执行的不透明谓词反混淆算法
17
作者 宋雪勦 张俊 何明星 《西华大学学报（自然科学版）》 CAS 2018年第3期73-77,共5页
恶意软件、漏洞利用程序等层出不穷,这些程序通常会利用代码混淆来增加其分析难度,以此来延长生存周期。不透明谓词混淆是代码混淆中的主要方法之一。目前通过数据流分析消除程序中的不可达路径是不透明谓词的主要反混淆方法。文章提出... 恶意软件、漏洞利用程序等层出不穷,这些程序通常会利用代码混淆来增加其分析难度,以此来延长生存周期。不透明谓词混淆是代码混淆中的主要方法之一。目前通过数据流分析消除程序中的不可达路径是不透明谓词的主要反混淆方法。文章提出一种基于动态符号执行的路径不可达分析的不透明谓词反混淆算法,通过控制流图分析得到每个函数的基本块,然后对含有分支的基本块进行路径可达性分析,去除不可达路径。原型系统实验结果表明,该算法的平均反混淆率在80%左右。 展开更多
关键词 混淆 不透明谓词 反混淆 动态符号执行 路径可达性
在线阅读 下载PDF
基于动态符号执行技术的代码安全检测模型研究
18
作者 陈莉娟 喻金龙 《电力信息与通信技术》 2019年第1期127-132,共6页
为了更高效地进行代码安全检测,文章基于动态符号执行技术,针对其存在的执行路径空间爆炸、高效约束求解开销以及程序设计语言兼容性这3个不足进行优化,并在此基础上提出了一种基于优化搜索策略动态符号执行的代码安全检测模型。该模型... 为了更高效地进行代码安全检测,文章基于动态符号执行技术,针对其存在的执行路径空间爆炸、高效约束求解开销以及程序设计语言兼容性这3个不足进行优化,并在此基础上提出了一种基于优化搜索策略动态符号执行的代码安全检测模型。该模型结合了当前主流的代码安全检测技术,提出了一种新型的安全缺陷分类方法,并优化了路径搜索策略,从而可以更加准确、高效地检测出代码中存在的安全问题。 展开更多
关键词 动态符号执行 代码安全缺陷分类 路径搜索 路径约束求解 代码安全检测
在线阅读 下载PDF
消费级CPU与GPU下的矢量场动态符号对比研究
19
作者 李志远 张翔 《地理空间信息》 2021年第2期74-77,I0006,共5页
针对Web制图中主流的Canvas和WebGL 2个图形接口的特点,设计了相应的矢量场动态粒子可视化算法、动态符号控制和实验方案,实验论证了矢量场动态可视化技术在个人电脑及移动设备上应用的可行性,其中GPU方案执行效率高(500K粒子下的交互... 针对Web制图中主流的Canvas和WebGL 2个图形接口的特点,设计了相应的矢量场动态粒子可视化算法、动态符号控制和实验方案,实验论证了矢量场动态可视化技术在个人电脑及移动设备上应用的可行性,其中GPU方案执行效率高(500K粒子下的交互可视化效率)但需浏览器支持Web GL,CPU级的方案通用性更高但不适合大规模模拟。 展开更多
关键词 矢量场 动态地图符号 CPU GPU 可视化
在线阅读 下载PDF
面向虚实融合的应急导航符号动态参量配置及其认知工效分析
20
作者 刘嵩雯 黄丽娜 《测绘学报》 北大核心 2025年第2期385-396,共12页
随着混合现实技术的发展,虚实融合地图应运而生。现有的虚实融合地图广泛使用动态符号,但尚缺乏面向用户认知的动态符号可用性研究,符号参数的适应性也有待验证。本文以应急导航为应用情景,提出虚实融合的动态符号设计方法,采用眼动跟... 随着混合现实技术的发展,虚实融合地图应运而生。现有的虚实融合地图广泛使用动态符号,但尚缺乏面向用户认知的动态符号可用性研究,符号参数的适应性也有待验证。本文以应急导航为应用情景,提出虚实融合的动态符号设计方法,采用眼动跟踪技术开展视觉认知试验,分别从符号的静止与运动模态,旋转、跳跃和缩放变化效果,变化速度分级参数3个层次探究动态符号配置的适宜策略。试验结果表明,动态符号可获得与静态符号相仿的认知效果;在符号动态旋转、跳跃和缩放3种变化方式中,缩放效果在信息处理和视觉搜索比较中表现较好;动态符号的变化分级中,选择2~4个等级较合适,随着分级数目的增加,人们识别、加工处理、记忆符号的难度显著增加。 展开更多
关键词 动态符号 虚实融合 应急导航 空间认知
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部