期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于图模型的C程序数据流分析
被引量：
4
1
作者
常超
刘克胜
+1 位作者
谭龙丹
贾文超
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2017年第5期1007-1015,1050,共10页
针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于...
针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量.
展开更多
关键词
数据流分析
污点型漏洞
多维属性图
定值分析
在线阅读
下载PDF
职称材料
认知词典学刍论
被引量：
8
2
作者
章宜华
《外国语文》
北大核心
2019年第2期1-10,共10页
把认知语言学的理论方法应用于词典的理论研究和编纂实践、突破词典学的创新瓶颈已经成为国际词典学界新的热点话题,但迄今为止这些研究大多停留在个别理论方法的应用或宏观层面的泛泛而谈。本文在总结国内外认知词典学研究现状的基础上...
把认知语言学的理论方法应用于词典的理论研究和编纂实践、突破词典学的创新瓶颈已经成为国际词典学界新的热点话题,但迄今为止这些研究大多停留在个别理论方法的应用或宏观层面的泛泛而谈。本文在总结国内外认知词典学研究现状的基础上,结合词典学本体特征,比较全面、系统地阐释了认知词典学的理论框架和释义模式,涉及认知词典学的理论基础、理论方法和释义基础。文章指出,认知词典学应该以体验哲学、认知心理学和语言习得理论为基础,运用认知语义观、范畴化、概念隐喻、语义框架等理论方法,根据语言认知的识解规律进行词典信息组织和释义,并提出了认知词典学的释义模式,包括总体原则、意义驱动多维释义模式和基于论元结构构式的多维释义方法。
展开更多
关键词
认知词典学
认知理论基础
语义识解
释义模式
意义驱动多维释义
在线阅读
下载PDF
职称材料
方位构式在英汉学习词典中的呈现模式探究
被引量：
4
3
作者
蒋华华
徐海
《辞书研究》
北大核心
2014年第1期43-50,94,共8页
文章通过对英汉学习词典中的方位动词及方位构式实际表征的深入调查,发现词典没有在释义中完整地给出转换类动词的意义,概念结构也没有在释义中体现。此外,研究发现,词典缺少对比方位构式的例证,大多数词典没能系统地呈现英语方位构式...
文章通过对英汉学习词典中的方位动词及方位构式实际表征的深入调查,发现词典没有在释义中完整地给出转换类动词的意义,概念结构也没有在释义中体现。此外,研究发现,词典缺少对比方位构式的例证,大多数词典没能系统地呈现英语方位构式。基于广狭域规则、意义驱动多维释义理论及注意假设,本研究提出了英语方位构式的表征模式,用以优化方位动词在词典中的表征。
展开更多
关键词
英语方位动词
英语方位构式
意义驱动多维释义
注意假设英汉学习词典
在线阅读
下载PDF
职称材料
题名
基于图模型的C程序数据流分析
被引量：
4
1
作者
常超
刘克胜
谭龙丹
贾文超
机构
解放军电子工程学院
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2017年第5期1007-1015,1050,共10页
基金
国家自然科学基金资助项目(61272491)
文摘
针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量.
关键词
数据流分析
污点型漏洞
多维属性图
定值分析
Keywords
data-flow analysis
taint-style vulnerability
multidimensional
property graph
definition
anal-ysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
认知词典学刍论
被引量：
8
2
作者
章宜华
机构
广东外语外贸大学词典学研究中心
出处
《外国语文》
北大核心
2019年第2期1-10,共10页
文摘
把认知语言学的理论方法应用于词典的理论研究和编纂实践、突破词典学的创新瓶颈已经成为国际词典学界新的热点话题,但迄今为止这些研究大多停留在个别理论方法的应用或宏观层面的泛泛而谈。本文在总结国内外认知词典学研究现状的基础上,结合词典学本体特征,比较全面、系统地阐释了认知词典学的理论框架和释义模式,涉及认知词典学的理论基础、理论方法和释义基础。文章指出,认知词典学应该以体验哲学、认知心理学和语言习得理论为基础,运用认知语义观、范畴化、概念隐喻、语义框架等理论方法,根据语言认知的识解规律进行词典信息组织和释义,并提出了认知词典学的释义模式,包括总体原则、意义驱动多维释义模式和基于论元结构构式的多维释义方法。
关键词
认知词典学
认知理论基础
语义识解
释义模式
意义驱动多维释义
Keywords
cognitive lexicography
cognitive linguistics
semantic construal
definition
al mode
meaning-driven multidimensional definition
分类号
H06 [语言文字—语言学]
在线阅读
下载PDF
职称材料
题名
方位构式在英汉学习词典中的呈现模式探究
被引量：
4
3
作者
蒋华华
徐海
机构
江西理工大学外语外贸学院
广东外语外贸大学外国语言学及应用语言学研究中心
出处
《辞书研究》
北大核心
2014年第1期43-50,94,共8页
文摘
文章通过对英汉学习词典中的方位动词及方位构式实际表征的深入调查,发现词典没有在释义中完整地给出转换类动词的意义,概念结构也没有在释义中体现。此外,研究发现,词典缺少对比方位构式的例证,大多数词典没能系统地呈现英语方位构式。基于广狭域规则、意义驱动多维释义理论及注意假设,本研究提出了英语方位构式的表征模式,用以优化方位动词在词典中的表征。
关键词
英语方位动词
英语方位构式
意义驱动多维释义
注意假设英汉学习词典
Keywords
English verbs of location,English locative construction,
meaning-driven multidimensional definition
,noticing hypothesis,English-Chinese learners' dictionaries
分类号
H319 [语言文字—英语]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于图模型的C程序数据流分析
常超
刘克胜
谭龙丹
贾文超
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2017
4
在线阅读
下载PDF
职称材料
2
认知词典学刍论
章宜华
《外国语文》
北大核心
2019
8
在线阅读
下载PDF
职称材料
3
方位构式在英汉学习词典中的呈现模式探究
蒋华华
徐海
《辞书研究》
北大核心
2014
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
