搜索到219篇“ DATALOG“的相关文章
DDoop:基于差分式Datalog求解的增量指针分析框架
2024年
指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.
沈天琪王熙灶宾向荣卜磊
基于核外计算的Datalog引擎设计与实现
2023年
随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎计算规模往往受限于内存容量大小,不具有可扩展性.为解决上述问题,设计并实现基于核外计算的Datalog引擎.方法首先设计一系列计算Datalog程序所需的支持核外计算的操作算子,然后将Datalog程序转换合成带核外计算算子的C++程序,接着方法设计基于Hash的分区策略和基于搜索树剪枝的最少置换调度策略,将相应的分区文件调度执行计算并得到最终结果.基于该方法,实现原型工具DDL(disk-based Datalog engine),并选取广泛应用的真实Datalog程序,在合成数据集以及真实数据集上进行实验,实验结果体现了DDL良好性能以及高可扩展性.
张奕裕王归航左志强李宣东
关键词:调度策略
基于分层计数的datalog并行增量维持方法
本发明提供了一种基于分层计数的datalog并行增量维持方法,属于知识库领域。本发明首先对datalog的实例化过程进行分层,将迭代的datalog计算过程映射到设计的层次结构中,并在层次结构中结合计数法,对每个推导出来...
秦小麟项哲慧高雅
基于Datalog规则的自适应无人小车仿真方法
本发明公开了基于Datalog规则的自适应无人小车仿真方法,建立动态变化的自适应无人小车仿真场景,采用数字矩阵和Datalog规则改进运行场景,实现场景的动态更新;根据无人小车的状态以及环境参数的变化,构建运行逻辑的状态...
秦小麟李瑭朱润泽费珂迟贺宇黄昱洲
一种基于Datalog的物联网固件第三方组件误用漏洞自动化挖掘方法及系统
本发明公开了一种基于Datalog的物联网固件第三方组件漏洞自动化挖掘方法及系统,属于物联网安全技术领域。系统包括:固件预处理模块,收集固件并对固件进行预处理,存入固件仓库;Datalog编码模块,提取固件中文件并抽取字...
纪守领赵彬彬王琴应张旭鸿祝羽艳杨星
一种基于并行的Datalog系统等价数据处理方法
本发明提出了一种基于并行的Datalog系统等价数据处理方法,并提出了相应的存储介质,目的在于解决传统Datalog系统求解技术中对含等价关系的规则的计算存在冗余,造成计算资源浪费这一问题。本发明采用多线程技术,将计算的...
秦小麟喻婷朱世彪陈浩滨
基于Datalog规则的自适应无人小车仿真方法
本发明公开了基于Datalog规则的自适应无人小车仿真方法,建立动态变化的自适应无人小车仿真场景,采用数字矩阵和Datalog规则改进运行场景,实现场景的动态更新;根据无人小车的状态以及环境参数的变化,构建运行逻辑的状态...
秦小麟李瑭朱润泽费珂迟贺宇黄昱洲
文献传递
基于分层计数的datalog并行增量维持方法
本发明提供了一种基于分层计数的datalog并行增量维持方法,属于知识库领域。本发明首先对datalog的实例化过程进行分层,将迭代的datalog计算过程映射到设计的层次结构中,并在层次结构中结合计数法,对每个推导出来...
秦小麟项哲慧高雅
文献传递
利用Python对集成电路测试数据进行可视化分析被引量:1
2018年
介绍了一种利用Python对集成电路测试数据进行可视化分析的方法,对比目前集成电路测试领域常见的数据分析方法,介绍的方法自动化程度更高,分析结果格式统一,并且可以应用于多种测试系统输出的数据文件,具有明显优势。可以帮助测试工程师得出初步的直观分析结果,从数据分析的机械重复劳动中解放出来,将精力集中于数据的进阶分析上,在集成电路测试领域具有明显的技术进步意义。
张鹏辉章慧彬
关键词:PYTHON集成电路数据分析
可更新Datalog的分布式时态逻辑扩展及应用
2017年
针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。
霍颖瑜马莉胡敬文钟勇
关键词:社交网络访问控制

相关作者

秦小麟
作品数:329被引量:965H指数:16
供职机构:南京航空航天大学
研究主题:数据库 无线传感器网络 数据库安全 范围查询 查询
霍颖瑜
作品数:79被引量:26H指数:3
供职机构:佛山科学技术学院
研究主题:区块链 医疗图像 存储介质 图像处理技术 图书馆
马莉
作品数:84被引量:55H指数:5
供职机构:佛山科学技术学院
研究主题:虚拟机 物理磁盘 并行度 服务器 分布式网络
钟勇
作品数:121被引量:322H指数:9
供职机构:佛山科学技术学院
研究主题:数据库安全 虚实融合 访问控制 聚类 数据挖掘
唐世渭
作品数:231被引量:3,380H指数:28
供职机构:北京大学
研究主题:数据库 XML 数据挖掘 数据仓库 信息集成