DATALOG

作品数：29被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：秦小麟钟勇马莉霍颖瑜胡虚怀更多>>
相关机构：南京航空航天大学复旦大学佛山科学技术学院北京大学更多>>
相关期刊：《上海纺织科技》《软件导刊》《东北大学学报（自然科学版）》《北京大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金佛山市科技发展专项基金湖南省自然科学基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
DDoop:基于差分式Datalog求解的增量指针分析框架
《软件学报》2024年第6期2608-2630,共23页沈天琪 王熙灶 宾向荣 卜磊 
国家自然科学基金(62232008,62172200);江苏省前沿引领技术基础研究专项(BK20202001);中央高校基本科研业务费专项资金(020214380101)。
指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序...
关键词：指针分析 增量分析 Datalog引擎 增量计算 差分式Datalog 
基于多核CPU的无锁并行Semi-naive算法被引量：1
《计算机科学》2023年第6期29-35,共7页喻婷 王立松 秦小麟 
国家自然科学基金(61802182)。
Datalog系统被广泛应用于很多领域,如图数据库、网络和静态程序分析等。在处理海量数据时,基于串行的Datalog求解策略无法充分发挥现有多核处理器的计算性能。针对上述问题,提出一种基于多核CPU的无锁并行Semi-naive算法(Parallel Semi-...
关键词：DATALOG Semi-naive算法 并行 递归规则 负载均衡 
可更新Datalog的分布式时态逻辑扩展及应用
《计算机工程与应用》2017年第15期101-105,共5页霍颖瑜 马莉 胡敬文 钟勇 
国家自然科学基金(No.61373015);广东省自然科学基金(No.2015A030313638);广东省前沿与关键技术创新专项资金(No.2016B010113004);佛山科学技术学院科研项目
针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalo...
关键词：TU-Datalog语言 分布式时态逻辑 社交网络 访问控制 
LFIO:基于输入输出的Datalog归纳学习系统
《贵州大学学报（自然科学版）》2017年第1期57-61,71,共6页王旭 王以松 黄羿 
贵州省优秀青年人才培养基金项目资助((2015)01)
归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO归...
关键词：归纳学习 DATALOG PROGRAMS LFIO 输入输出 
带权重谓词的可选事务逻辑及其访问控制应用被引量：1
《计算机科学》2016年第10期177-181,共5页马莉 霍颖瑜 钟勇 秦小麟 
国家自然科学基金(61373015;11326123);国家星火计划(2014GA780031);广东省自然科学基金项目(2015A030313638);佛山市科技发展专项资金项目(2012AA100251)资助
逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进行了扩展,提出了一种带权重谓词的可选事务逻辑WT-Logic。首先对WT-Logic的语法、语义进行了说明;然后解...
关键词：可选事务逻辑 权重谓词 WT-Logic DATALOG 授权语言 
面向社交网络的多方授权模型被引量：2
《计算机科学》2016年第1期116-121,共6页霍颖瑜 马莉 钟勇 秦小麟 
国家自然科学基金(61373015;11326123);广东省教育厅育苗工程项目(2013LYM0097);佛山市科技发展专项资金项目(2012AA100251);佛山科学技术学院科研项目资助
现有的访问控制机制大多局限在用户个人空间内的数据,难以控制个人空间以外的数据,例如用户不能对其在朋友空间中发布的评论进行访问控制,不能对共有的资源进行联合访问控制等。面向社交网络的多方授权模型MRuleSN采用单一所有、多方共...
关键词：多方授权 社交网络 授权规则 w-Datalog 
IC测试仪的数据采集及GUI的设计与实现被引量：1
《电子设计工程》2014年第13期91-93,共3页韩磊 马宁 
为了快速精确测量模拟芯片总谐波失真,转换速率等参数指标,设计了一款基于模拟IC测试仪的数据采集系统,模拟信号经过数据采集卡后变成数字信号,根据数字信号进行相关参数的测量,然后将结果通过控制板经过PCI传给上位机,将结果显示在GUI...
关键词：模拟IC测试机 DIG AB-MS界面 数据采集 DATALOG 图形用户界面 
进口综合录井仪WITS标准实时数据传输与接收被引量：6
《录井工程》2012年第3期54-59,101,共6页侯艳伟 刘波 
摘要适应井场数据共享的需要,不同型号的进口综合录井仪都提供了相应的符合WITS标准的实时数据传输程序软件,但由于软件各具特色且数据接口设置不统一,实时数据的输出格式未达到统一的要求,给数据接收及应用带来了一定的不便。为了解决...
关键词：WITS ADVANTAGE ALS DataLog实时数据 传输与接收 格式文件TCP IP协议插件 
知识库语言—Prolog与Datalog被引量：1
《软件导刊》2009年第12期58-60,共3页曾亮 
知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有智能的各种复杂问题。论述了知识库语言Prolog与Datalo语言的...
关键词：PROLOG DATALOG 
一种感知情景的存取控制策略的规范和分析方法
《华东理工大学学报（自然科学版）》2006年第9期1098-1103,共6页杜丽萍 虞慧群 
国家自然科学基金(60473055;60373075);上海市浦江人才计划(05PJ14030)
对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型...
关键词：存取控制策略 规范 实施 RBAC模型 DATALOG 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部