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

1

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

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

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

在线阅读 下载PDF 职称材料

基于机构组合原理复杂机构的符号表达 被引量：1

2

作者 段路茜 王玉新 朱殿华 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2004年第2期144-147,共4页

概念产品的信息表达是目前实现计算机对机构概念设计支持的瓶颈问题.作者基于机构组合原理,用矩阵形式描述基本机构,给出了串联式、并联式和混合式3种基本机构的组合方式的符号表达方法.该方法能够描述机构的类型、连接关系、空间位置... 概念产品的信息表达是目前实现计算机对机构概念设计支持的瓶颈问题.作者基于机构组合原理,用矩阵形式描述基本机构,给出了串联式、并联式和混合式3种基本机构的组合方式的符号表达方法.该方法能够描述机构的类型、连接关系、空间位置关系以及机构的多功能等信息,为开发基于基本机构组合的复杂机械系统的计算机辅助概念设计系统奠定了理论基础.以复杂凸轮连杆机构为例,验证了本文提出的符号表达方法的可行性. 展开更多

关键词 机构组合原理 复杂机构 符号表达 概念产品 组合方式

在线阅读 下载PDF 职称材料

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

3

作者 高端阳 边少锋 李厚朴 《海洋测绘》 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 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

复杂网络系统可靠性符号表达式的微机实现 被引量：4

9

作者 陆宁 方建国 《西北建筑工程学院学报（自然科学版）》 1997年第2期52-57,共6页

根据系统可靠性原理和微机技术，编制出在一定范围内求解系统可靠度符号表达式的计算程序，为系统可靠性问题在微机上的应用，进行了有益的探索．

关键词 可靠性 复杂网络系统 符号表达 可靠性

在线阅读 下载PDF 职称材料

革命精神的符号化表达与认同建构策略

10

作者 刘志礼 巴莹 《北京社会科学》 北大核心 2025年第5期4-15,共12页

通过系统梳理物质实体、行为活动、语言文字、艺术创作等红色文化传承中的多元符号表达形式,并以赵尚志革命精神传承过程中的符号化表达形式为案例进行分析,认为红色文化传承中革命精神符号化的推动作用主要通过情感纽带连接、记忆传承... 通过系统梳理物质实体、行为活动、语言文字、艺术创作等红色文化传承中的多元符号表达形式,并以赵尚志革命精神传承过程中的符号化表达形式为案例进行分析,认为红色文化传承中革命精神符号化的推动作用主要通过情感纽带连接、记忆传承强化、价值观念塑造三大机制来实现。在此基础上,提出了红色文化传承中革命精神符号化表达与认同建构的优化策略:充分利用网络与实体空间,结合产业融合优势,推动红色文化与旅游、教育、文创、科技等领域融合;完善红色文化传播渠道与平台建设,建立健全红色文化符号传播管理机制,加强数字赋能与科技赋能;面向不同群体开展特色红色文化教育活动,营造全社会传承红色文化的良好氛围,结合地域文化特色促进革命精神认同。 展开更多

关键词 红色文化 革命精神 赵尚志 符号化表达 党的建设

在线阅读 下载PDF 职称材料

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

11

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

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

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

原文传递

基于MapInfo交换格式的空间属性数据符号化表达

12

作者 王芳霞 《海洋测绘》 2006年第5期42-44,共3页

通过对M apInfo交换格式的分析,介绍了如何实现基于M apInfo交换格式的空间属性数据符号化表达,在进行空间地理数据的处理方面具有一定的参考和应用价值。

关键词 地理信息系统 属性数据 制图数据 交换格式 符号化表达

在线阅读 下载PDF 职称材料

基于符号映射机制的GIS数据共享研究 被引量：2

13

作者 刘鹏程 艾廷华 +1 位作者 帅赟 成小强 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2009年第6期913-916,共4页

为了解决现阶段不同GIS平台间的数据共享问题,采用集合论和符号学方法对各类地理要素在不同GIS平台的不同的表达方式,提出了基于嵌套的地图符号树状结构描述、符号解析以及符号映射的机制,在此基础上通过制定模版以实现不同GIS平台间的... 为了解决现阶段不同GIS平台间的数据共享问题,采用集合论和符号学方法对各类地理要素在不同GIS平台的不同的表达方式,提出了基于嵌套的地图符号树状结构描述、符号解析以及符号映射的机制,在此基础上通过制定模版以实现不同GIS平台间的数据共享。实践表明:这种方法能够实现多个GIS平台间的数据共享,具有开放性、实用性的特点。 展开更多

关键词 符号映射 符号解析 符号表达 数据共享 嵌套

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

职业院校课程教学该呈现怎样的类型特征 被引量：1

15

作者 朱孝平 《职业技术教育》 北大核心 2024年第20期1-1,共1页

2022年新修订施行的《中华人民共和国职业教育法》明确指出,职业教育与普通教育是两种不同的教育类型。在职业院校课程教学领域,职业教育该具备什么样的类型特征,本文认为,其应集中体现在以下三个方面。一是行动性知识的学习领域。这一... 2022年新修订施行的《中华人民共和国职业教育法》明确指出,职业教育与普通教育是两种不同的教育类型。在职业院校课程教学领域,职业教育该具备什么样的类型特征,本文认为,其应集中体现在以下三个方面。一是行动性知识的学习领域。这一特征回答的是“教什么”的问题。在这一的问题上,普通教育更多指向的是符号性知识的学习,即通过符号表达的知识与范畴,它们是人类发现的规律性认知。而职业教育要传授的主要是行动性知识,这些知识表达的是人类的经验、技巧以及做事的智慧,与符号性知识一样,它们都是人类的宝贵精神财富,具有同样重要的价值。这两种不同类型的知识,共同组成了学校课程教学的内容集合,它们既相互区别又深刻关联。当我们在“怎么做”的基础上,追求为什么的时候,行动性知识就与符号性知识产生深刻联系,导向“理实一体”与“知行合一”。因此,职业教育课程的理想内容组织方式是“项目化”,通过项目化把理论性知识与行动性知识有机地结合起来,实现理实一体;在教材的呈现上则需要“立体化”表达。 展开更多

关键词 理实一体 职业教育课程 教学领域 性知识 知识表达 普通教育 知行合一 符号表达

在线阅读 下载PDF 职称材料

柴油机喷油系统压力波形的特征抽取及描述方法 被引量：6

16

作者 吴波 吴功平 +1 位作者 杨叔子 马元镐 《振动工程学报》 EI CSCD 1992年第1期34-40,共7页

本文基于主导峰(谷)思想提出了一种波形特征抽取和描述方法,这种方法能有效地抓住波形的主要特征.文中首先给出了主导峰(谷)的概念及识别算法.然后,根据柴油机喷油压力波形的特点,具体讨论了压力波形的符号化方法及步骤,并给出了描述实... 本文基于主导峰(谷)思想提出了一种波形特征抽取和描述方法,这种方法能有效地抓住波形的主要特征.文中首先给出了主导峰(谷)的概念及识别算法.然后,根据柴油机喷油压力波形的特点,具体讨论了压力波形的符号化方法及步骤,并给出了描述实例.最后,简要分析了将这种方法进一步扩展而构造的波形特征层次树及其特点. 展开更多

关键词 符号表达 柴油机 波形

在线阅读 下载PDF 职称材料

基于省级基础地理信息数据库制图的关键技术研究 被引量：10

17

作者 菅建华 蔡志刚 《测绘通报》 CSCD 北大核心 2010年第7期49-52,58,共5页

基于基础地理信息数据库的自动快速制图,是目前地图学研究的关键问题之一。首先研究地理信息数据与地形图之间的逻辑关系,再根据国标图式表达规范,采用面向制图和GIS的省级基础地理信息分类编码体系,开发了相应的符号库系统,以自动或半... 基于基础地理信息数据库的自动快速制图,是目前地图学研究的关键问题之一。首先研究地理信息数据与地形图之间的逻辑关系,再根据国标图式表达规范,采用面向制图和GIS的省级基础地理信息分类编码体系,开发了相应的符号库系统,以自动或半自动化方式实现了地图的符号化,解决了符号配置过程中要素之间的各种关系处理、注记的自动配置以及自动整饰等关键技术,实现了基于省级基础地理信息数据库自动快速制图系统。 展开更多

关键词 省级基础地理信息 编码体系 符号表达 要素关系

在线阅读 下载PDF 职称材料

网络公共空间分化及其发展新趋向——基于缺场网络公共空间的话语实践分析 被引量：8

18

作者 吴海琳 王敬贤 《福建师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第1期38-45,共8页

随着互联网的发展,网络社会对现实社会的影响已然成为学界的研究热点,现有研究对线上缺场网络空间与线下在场社会空间的相互关系和作用方式做出了较为充分地分析和考察,但对于缺场网络公共空间自身的分化及其最新发展关注不足。不同缺... 随着互联网的发展,网络社会对现实社会的影响已然成为学界的研究热点,现有研究对线上缺场网络空间与线下在场社会空间的相互关系和作用方式做出了较为充分地分析和考察,但对于缺场网络公共空间自身的分化及其最新发展关注不足。不同缺场网络公共空间及其网络符号表达方式受其空间原初定位、功能特征、用户群体等因素影响而相互区别并分化为不同类型。本文对缺场网络公共空间进行类型学划分,关注不同类型缺场网络公共空间的特质及其符号表达特点。网络话语实践蕴含了网络社会的微观互动与话语权力,展现了缺场网络公共空间的发展新趋势。本研究以期拓展缺场网络公共空间及网络符号表达研究,进而推进我国现有网络社会研究。 展开更多

关键词 缺场网络公共空间 分化 符号表达 网络话语实践

在线阅读 下载PDF 职称材料

语词定义类型浅探

19

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

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

在线阅读 下载PDF 职称材料

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

20

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

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

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

在线阅读 下载PDF 职称材料