-
题名“既X也Y”结构的衍生机制与动因
- 1
-
-
作者
程亚恒
-
机构
牡丹江师范学院文学院
-
出处
《河南科技大学学报（社会科学版）》
2015年第1期53-58,共6页
-
基金
国家社科基金重大项目(10AYY005)
牡丹江师范学院一般项目(XYB2013010)
-
文摘
"既X也Y"结构是在"既X又Y"结构的类化作用下产生的。其中Y与X的语义关系可以是平列、递减或递增,而"既X又Y"结构中Y与X的语义关系可以是平列、递增或转折。历时研究材料显示,"既X又Y"结构的类化作用及表达上的语义空缺是"既X也Y"结构产生的重要机制和动因。在后来的发展过程中,"既X也Y"和"既X又Y"结构的实际使用情况呈现既交叉又互补的特征。
-
关键词
“既X也Y”结构
类化
语义空缺
语义倾向
-
Keywords
the structure ＂Ji （既） X Ye （也） Y＂
analogy
semantic defect
semantic inclination
-
分类号
H109.4
[语言文字—汉语]
-
-
题名基于符号表达式的程序语义缺陷警报关联识别方法
被引量：4
- 2
-
-
作者
王淑栋
刘浩
董玉坤
陈红旗
张莉
尹文静
-
机构
中国石油大学(华东)计算机科学与技术学院
-
出处
《科学技术与工程》
北大核心
2020年第9期3648-3655,共8页
-
基金
国家自然科学基金(61572522,61873281)
中央高校基本科研业务费专项(19CX02028A)。
-
文摘
针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。
-
关键词
静态分析
缺陷检测
程序语义缺陷
警报关联
符号表达式
-
Keywords
static analysis
defect detection
program semantic defect
warnings correlation
symbolic expression
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于警报关联摘要的过程间警报关联分析
- 3
-
-
作者
张莉
董玉坤
刘浩
尹文静
-
机构
中国石油大学(华东)计算机科学与技术学院
-
出处
《计算机与数字工程》
2022年第4期821-826,共6页
-
文摘
针对函数与函数之间存在警报间关联关系的问题,论文提出警报关联摘要来实现函数间分析,并利用该警报关联摘要实现过程间警报关联,通过该方法能够有效减轻人工判定警报的工作量。论文首先通过采用警报关联摘要实现函数调用的过程间分析,接着在调用点处进行警报关联摘要实例化得出警报对应的符号表达式及取值区间,分析警报间对应的符号表达式的逻辑关系得出关联关系,最后根据警报间的关联关系对警报进行判定。通过对5个实际C工程的测试结果表明,论文所提方法可以有效识别过程间警报关联关系,能够在一定程度上有效减轻人工判定警报的工作量。
-
关键词
静态分析
缺陷检测
程序语义缺陷
警报关联摘要
警报关联
-
Keywords
static analysis
defect detection
program semantic defect
warnings correlation summary
warnings correlation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
