-
题名基于核外计算的Datalog引擎设计与实现
- 1
-
-
作者
张奕裕
王归航
左志强
李宣东
-
机构
南京大学计算机科学与技术系
计算机软件新技术国家重点实验室(南京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2023年第8期3587-3604,共18页
-
基金
国家自然科学基金(61802168)
江苏省自然科学基金(BK20191247)。
-
文摘
随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎计算规模往往受限于内存容量大小,不具有可扩展性.为解决上述问题,设计并实现基于核外计算的Datalog引擎.方法首先设计一系列计算Datalog程序所需的支持核外计算的操作算子,然后将Datalog程序转换合成带核外计算算子的C++程序,接着方法设计基于Hash的分区策略和基于搜索树剪枝的最少置换调度策略,将相应的分区文件调度执行计算并得到最终结果.基于该方法,实现原型工具DDL(disk-based Datalog engine),并选取广泛应用的真实Datalog程序,在合成数据集以及真实数据集上进行实验,实验结果体现了DDL良好性能以及高可扩展性.
-
关键词
Datalog引擎
核外计算
操作算子
分区策略
调度策略
-
Keywords
Datalog engine
out-of-core computation
operators
partition strategy
scheduling strategy
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Java的Web开发技术的探讨
被引量:4
- 2
-
-
作者
王归航
-
机构
河海大学物联网工程学院
-
出处
《信息系统工程》
2018年第7期95-95,共1页
-
文摘
随着互联网技术普遍发展,Web技术也得到了越来越广泛的应用。对Web技术的发展和探索,能够帮助解决出现在计算机技术中的一系列问题。论文对基于Java的Web开发技巧进行探讨,从而为Web技术的发展和进步提供可供参考的实施方案。
-
关键词
JAVA
WEB开发
互联网技术
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名管理会计和财务会计融合探讨
- 3
-
-
作者
王归航
-
机构
南京工程学院经济与管理学院
-
出处
《成功》
2018年第21期4-4,共1页
-
文摘
在社会经济不断发展的背景下,企业之间的竞争力不断增加,为了能够满足社会发展的需求,管理会计与财务会计需要提高自身能力,提高经济效益,使企业能够得到进一步的发展。另外,为了能够将管理会计与财务会计合理融合,需要将其中的相同点与不同点进行分析,进而将其进行融合。
-
关键词
管理会计
财务会计
融合
-
分类号
G4
[文化科学—教育技术学]
-
-
题名关于软件测试在Web开发中的运用探讨
- 4
-
-
作者
王归航
-
机构
河海大学物联网工程学院
-
出处
《中国新通信》
2018年第8期98-98,共1页
-
文摘
随着计算机技术和互联网技术的不断发展,Web开发在计算机网络的发展和进步中具有非常关键的意义。本文根据Web开发中出现的问题,对软件测试在Web开发中的运用进行探讨,从而为Web开发提供具有参考意义的实施手段,促进Web开发的进一步发展。
-
关键词
WEB开发
软件测试
计算机网络
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
TP393.09
[自动化与计算机技术—计算机应用技术]
-