题名 组件式GIS空间查询与分析包的设计与实现
被引量:1
1
作者
薛吟兴
郭生健
胡启平
机构
武汉大学国际软件学院
出处
《舰船电子工程》
2007年第3期171-174,共4页
基金
国家"九七三"重点基础研究发展计划(编号:2006CB701305)资助项目
文摘
在组件式技术成熟和空间查询语言规范化的今天,越来越多的GIS系统不再满足于现有的空间查询与分析能力。组件式GIS空间查询分析开发包?S-GIS的Queries包提供了一组API接口可供GIS系统二次开发人员使用。该组件包提供一个轻量级的SQL解释器来对内存中要进行查询的SQL语句进行解释执行。本文介绍了Queries包的特色,并且将它与Oracle10g,ArcGIS等软件的空间查询部分做了一些简单比较。
关键词
SQL解释器
空间查询
空间算子
聚集函数
Keywords
SQL interpreter,spatial query,spatial operator,aggregate function
分类号
TP39
[自动化与计算机技术—计算机应用技术]
题名 车联网络协议的模糊测试研究综述
2
作者
张翼
郭燕
周继祥
龚汉文
唐顺成
薛吟兴
机构
中国科学技术大学软件学院
中国科学技术大学计算机科学与技术学院
中国科学技术大学苏州高等研究院
出处
《小型微型计算机系统》
CSCD
北大核心
2023年第6期1204-1213,共10页
基金
安徽省科技重大专项项目(202103a05020009)资助
国家自然科学基金面上项目(61972373)资助.
文摘
随着网络通信技术和汽车产业的快速发展,车联网内数据交互日益频繁,同时,车联网的安全问题也日益严重.本文首先介绍了针对车联网的多个攻击案例,并引入模糊测试这一解决方案.其次,介绍智能车联网架构,从车载有线网络协议和车载无线通信技术进行分析.之后,介绍模糊测试在车联网中的流程与分类,从测试用例的生成、异常检测手段和测试评估指标三方面分析车联网模糊测试的发展现状.最后展望了车联网模糊测试的未来发展方向.
关键词
车联网
模糊测试
网络协议安全
Keywords
internet of vehicles
fuzz test
internet protocol security
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于代码嵌入的二进制代码相似性分析方法
3
作者
熊敏
薛吟兴
徐云
机构
中国科学技术大学计算机科学与技术学院
安徽省高性能计算重点实验室
出处
《网络安全与数据治理》
2023年第3期58-67,共10页
基金
国家自然科学基金项目(61672480,61972373)
教育部和外专局高等学校学科创新引智计划项目(B0703308)。
文摘
代码嵌入利用神经网络模型将二进制函数的代码表示转化为向量,在漏洞搜索等应用中展现了优势。现有的方法将函数表示为汇编指令序列、控制流图的拓扑结构或若干路径,都没有克服不同编译环境导致控制流图结构变化的干扰。为此,设计了基于基本块树(Basic Block Tree, BBT)的代码表示以及构建了对应的代码嵌入模型BBTree。首先,二进制函数被表示为一系列BBT,每个BBT被处理为指令序列;其次,BBTree利用LSTM和Bi-GRU将基于BBT的代码表示转化为向量;最后,通过计算向量间的距离去高效衡量对应函数的相似性。在代码搜索中,BBTree的平均准确率比主流工具提升了24.8%;在漏洞搜索中,BBTree的平均召回率比主流工具提升了26.1%。
关键词
代码表示
代码嵌入模型
代码搜索
漏洞搜索
Keywords
code representation
code embedding model
code search
vulnerability search
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于ORDBMS的Spatial数据管理的实现
4
作者
朱沈丹
薛吟兴
胡启平
机构
武汉大学国际软件学院
出处
《计算机与数字工程》
2007年第3期121-124,共4页
基金
国家973重点基础研究发展计划(编号:2006CB701305)资助
文摘
随着地理信息系统的发展,如何有效地实现空间数据的存储和管理已经成为GIS中急待解决的问题。对象关系数据库,主要是Oracle数据库通过其Spatial组件,对空间数据的存储和管理提供了较为完备的支持。Data Manager作为组件式GIS——SmartGIS的数据组织与管理组件,探讨了如何实现空间数据在对象关系数据库存储与管理。
关键词
对象关系数据库
ORACLE
SPATIAL
几何类型转化
空间操作
Keywords
spatial database, Oracle Spatial, geometry type conversion, spatial operation
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
P208
[天文地球—地图制图学与地理信息工程]
题名 基于BERT的提示学习实现软件需求精确分类
被引量:3
5
作者
罗贤昌
薛吟兴
机构
中国科学技术大学计算机科学与技术学院
出处
《信息技术与网络安全》
2022年第2期39-45,共7页
基金
江苏省基础研究计划(自然科学基金)(BK20201192)。
文摘
软件需求是用户对软件效用的直接回馈,实现对软件需求工程精确分类可大幅降低维护成本并显著加快软件开发维护的流程。使用传统的基于机器学习分类方法(如逻辑回归、支持向量机以及K近邻算法),或简单地应用BERT(Bidirectional Encoder Representation from Transformers)模型都不能很好地利用软件需求PROMISE数据集样本,最终表现为通用性差或分类效率低。为了增强BERT模型对自然语言文本的语义理解能力,应用提示学习的思想,将K分类选择问题转化为二分判断问题。实验结果表明,无需对不均衡的数据集执行样本均衡策略,模型分类性能便远优于上述两种分类工作,获得最佳的预测结果。
关键词
软件需求
精确分类
双向编码器
提示学习
Keywords
software requirement
accurately classify
bidirectional encoder representation from transformer
prompt learning
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]