基于符号表达式的程序语义缺陷警报关联识别方法 被引量：4

1

作者 王淑栋 刘浩 +3 位作者 董玉坤 陈红旗 张莉 尹文静 《科学技术与工程》 北大核心 2020年第9期3648-3655,共8页

针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于... 针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。 展开更多

关键词 静态分析 缺陷检测 程序语义缺陷 警报关联 符号表达式

在线阅读 下载PDF 职称材料

卫星运动近点角间的差异极值符号表达式 被引量：1

2

作者 高端阳 边少锋 李厚朴 《海洋测绘》 CSCD 2015年第5期8-11,共4页

卫星星历的计算涉及三种近点角,利用近点角间的几何关系,借助计算机代数系统推导出近点角间的差异极值点及对应的差异极值符号表达式,并将其表示为关于偏心率e的幂级数形式。分别取偏心率e=0.01、e=0.1和e=0.2(小偏心率)为例,将近点角... 卫星星历的计算涉及三种近点角,利用近点角间的几何关系,借助计算机代数系统推导出近点角间的差异极值点及对应的差异极值符号表达式,并将其表示为关于偏心率e的幂级数形式。分别取偏心率e=0.01、e=0.1和e=0.2(小偏心率)为例,将近点角间的差异明确在数值上面。结果表明,近点角间的差异极值的绝对值与偏心率e密切相关,近似为偏心率e的一倍或者两倍的关系。这些分析结果可为研究近点角之间的关系、卫星星历计算以及卫星精密定轨提供理论基础。 展开更多

关键词 平近点角 偏近点角 真近点角 差异极值 极值点 符号表达式

在线阅读 下载PDF 职称材料

弹性力学方程的符号表达式系统

3

作者 王人鹏 沈祖炎 钱若军 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 1999年第1期123-126,共4页

从一般的弹性体变形理论出发 ,利用Mathematica系统 ,初步建立了弹性力学方程的符号表达式系统 .它能够自动地完成若干类弹性问题的精确求解过程 ,给出解析解的符号表达式 ;

关键词 符号计算 弹性力学方程 符号表达式系统

在线阅读 下载PDF 职称材料

弹性体变形分析的符号表达式系统

4

作者 王人鹏 沈祖炎 钱若军 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 1998年第4期479-482,共4页

从一般的弹性体变形理论出发，利用Mathematica系统，初步建立了弹性体变形分析的符号表达式系统．该系统可以自动地完成弹性体变形理论各种张量及方程的推导过程，给出相应的精确符号表达式；

关键词 弹性体变形理论 符号计算 符号表达式系统

在线阅读 下载PDF 职称材料

确定网络函数及其灵敏度全符号表达式的K—树法

5

作者 张燕 孙宪君 《江苏电机工程》 2001年第4期14-17,共4页

给出了确定无源网络函数及其灵敏度全符号表达式的拓扑方法 ,该方法是以图论为基础 ,利用连通图中树与K -树树支导纳乘积之和 ,方法简捷有效 ,工作量减缩。另外 ,给出了具体应用举例。

关键词 网络函数 灵敏度 符号表达式 K-树法 无源网络

在线阅读 下载PDF 职称材料

基于符号表达式的未知协议格式分析及漏洞挖掘 被引量：4

6

作者 罗成 张玉清 +1 位作者 王龙 刘奇旭 《中国科学院研究生院学报》 CAS CSCD 北大核心 2013年第2期278-284,共7页

针对网络通讯软件的Fuzzing技术受限于协议格式,尤其是未知协议难以保证测试效果,提出了基于符号表达式的协议分析方法.将数据包关键处理代码翻译为符号表达式,利用符号表达式的丰富含义加快未知协议格式分析,并依此开发了协议格式分析... 针对网络通讯软件的Fuzzing技术受限于协议格式,尤其是未知协议难以保证测试效果,提出了基于符号表达式的协议分析方法.将数据包关键处理代码翻译为符号表达式,利用符号表达式的丰富含义加快未知协议格式分析,并依此开发了协议格式分析及漏洞挖掘框架PAVD.通过对亿邮客户端的漏洞测试,验证了PAVD能有效提升协议分析效率,为网络通讯软件Fuzzing测试提供良好的支持. 展开更多

关键词 未知协议 FUZZING 符号表达式 漏洞挖掘

在线阅读 下载PDF 职称材料

常用曲率半径间差异符号表达式 被引量：1

7

作者 宗敬文 边少锋 李厚朴 《海军工程大学学报》 CAS 北大核心 2020年第6期30-35,共6页

为满足不同情况下大地测量计算研究的要求和需求,对大地测量计算中常用曲率半径进行了全面系统的分析比较,借助Mathematica软件推导出常用曲率半径(M,N,Ra,ρ)间差异符号表达式及其任意二者相等时的大地纬度符号表达式,将其表示为偏心率... 为满足不同情况下大地测量计算研究的要求和需求,对大地测量计算中常用曲率半径进行了全面系统的分析比较,借助Mathematica软件推导出常用曲率半径(M,N,Ra,ρ)间差异符号表达式及其任意二者相等时的大地纬度符号表达式,将其表示为偏心率e的幂级数形式,利用CGCS2000参考椭球模型,对常用曲率半径间差异进行数值曲线的分析和比对。结果表明:4种常用曲率半径间存在差异极值,且极值点位于赤道或两极处,在两极处N、M和Ra三者相等;任意两种曲率半径间存在一点使其相等。 展开更多

关键词 曲率半径 差异极值 符号表达式 CGCS2000

在线阅读 下载PDF 职称材料

利用遗传编程的符号表达式逼近任意非线性函数

8

作者 陈月辉 董吉文 史奎凡 《山东建材学院学报》 1998年第2期142-145,共4页

在非线性系统的输入输出关系未知的情况下，以其输入输出数据作为训练样本，利用遗传编程算法，随机优化出一个能够完全拟合这批数据的符号表达式，该符号表达式完全反映了非线性系统的内部规律性。模拟实验表明，该算法精度高、可推广... 在非线性系统的输入输出关系未知的情况下，以其输入输出数据作为训练样本，利用遗传编程算法，随机优化出一个能够完全拟合这批数据的符号表达式，该符号表达式完全反映了非线性系统的内部规律性。模拟实验表明，该算法精度高、可推广性强。此外，该算法可用于非线性系统的建模、预测和控制。 展开更多

关键词 遗传编程 优化 符号表达式 非线性函数逼近

原文传递

符号迭代法解算椭球大地测量学反问题 被引量：13

9

作者 李忠美 边少锋 孔海英 《海洋测绘》 2013年第2期27-29,33,共4页

简要介绍了符号迭代法的基本思想;以椭球大地测量学中常见的反问题为例,借助具有强大符号运算功能的计算机代数系统Mathematica,采用该方法对其进行了解算,推导出了这些问题解析解的符号表达式。结果表明,符号迭代法计算过程简单,便于理... 简要介绍了符号迭代法的基本思想;以椭球大地测量学中常见的反问题为例,借助具有强大符号运算功能的计算机代数系统Mathematica,采用该方法对其进行了解算,推导出了这些问题解析解的符号表达式。结果表明,符号迭代法计算过程简单,便于理解,可用于解决大地测量学其他类似问题。 展开更多

关键词 大地测量学 符号迭代法 反问题 符号表达式 MATHEMATICA

在线阅读 下载PDF 职称材料

语词定义类型浅探

10

作者 苑成存 王荣杰 《理论探讨》 CSSCI 北大核心 1997年第2期45-46,共2页

关键词 语词定义 语词符号 形定义 定义项 语义定义 命题公式 符号表达式 递归定义 “乌托邦” 传统逻辑

在线阅读 下载PDF 职称材料

等面积纬度函数与常用纬度间的直接变换 被引量：2

11

作者 李晓勇 李厚朴 +1 位作者 刘国辉 边少锋 《海洋测绘》 CSCD 北大核心 2022年第2期78-82,共5页

借助计算机代数系统Mathematica,推导出了分别以地心纬度、归化纬度、等角纬度、等距离纬度为变量的等面积纬度函数直接解算公式,并将式中的系数分别表示为椭球偏心率e和椭球第三扁率n的幂级数展开形式。算例分析表明,基于第三扁率n的... 借助计算机代数系统Mathematica,推导出了分别以地心纬度、归化纬度、等角纬度、等距离纬度为变量的等面积纬度函数直接解算公式,并将式中的系数分别表示为椭球偏心率e和椭球第三扁率n的幂级数展开形式。算例分析表明,基于第三扁率n的幂级数展开式系数更为简单,精度更高,并且推导得出的直接展开式计算误差均小于0.2 m^(2)(与之相对应等面积纬度误差小于1.0×10^(-9′′)),可以满足地图投影精密计算的需要。 展开更多

关键词 地图投影 等面积纬度函数 常用纬度 直接变换 符号表达式 计算机代数系统

在线阅读 下载PDF 职称材料